unification

---

Noun

unification

1. The act of unifying.
2. The state of being unified.
3. (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.

   • 5.7.T ( Unification theorem ) For any two terms or formulas
     without quantifiers X and Y, the following holds.
     (i) The unification algorithm UNIF₁, applied to X, Y,
     terminates after a finite number of steps.
     (ii) {X, Y} is unifiable iff UNIF₁ so indicates upon ter-
     mination. Moreover, the substitution σ then available as out-
     put is a most general unifier of {X, Y}.

Antonyms

• division

Translations

• French: unification
• German: Vereinigung
• Italian: unificazione
• Portuguese: unificação
• Russian: объедине́ние
• Spanish: unificación

Translations

• Portuguese: união

Translations

• Russian: унифика́ция

---

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.003