Unification

Origin

Either from en + -unify + ification or from

Full definition of unification

Noun

1. The act of unifying.
• 1946, Notes and News: The "Spirit of Progress," Victorian Railways
2. The state of being unified.
• 1957, Soviet Russia in China: A Summing-up at Seventy
• 1978, RN: the Memoirs of Richard Nixon
3. (mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
• 1982, Wolfgang Bibel, Automated Theorem Proving, 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

Derived terms

Further reading

• Webster 1913