חילוץ כמתים היא תכונה של תורות מתמטיות, המאפשרת לפשט נוסחאות (לרוב מסדר ראשון). השימושים לכך הם רבים, הן במדעי המחשב התאורטיים והן בתורת המודלים. מתוך ויקיפדיה

חילופיות, חילופית, חילוץ הישראלים מאיראן (1979), חילוץ הנערים מהמערה בתאילנד, חילוץ כלי רכב, חילוץ ספינת המשמר בכנרת, חילוק, חילוק (נפה), חילוק (עיר), חילוק באפס