English

Noun

unification ‎(countable and uncountable, plural unifications)

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.
   • 1982, Wolfgang Bibel, Automated Theorem Proving, Braunschweig: Friedr. Vieweg & Sohn, ISBN 3-528-08520-7, page 94:

     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}.

Derived terms

• unificationist
• unificatory

Antonyms

• division

Translations

See also

• reunification

External links

• unification in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913

French

Etymology

unifier +‎ -ification

Pronunciation

• IPA^(key): /y.ni.fi.ka.sjɔ̃/

Noun

unification f ‎(plural unifications)

1. unification