Definify.com

Webster 1913 Edition


Unification

Uˊni-fi-ca′tion

,
Noun.
[See
Unify
.]
The act of unifying, or the state of being unified.
Unification
with God was the final aim of the Neoplatonicians.
Fleming.

Definition 2023


unification

unification

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 UNIF1, applied to X, Y,
      terminates after a finite number of steps.
      (ii) {X, Y} is unifiable iff UNIF1 so indicates upon ter-
      mination. Moreover, the substitution σ then available as out-
      put is a most general unifier of {X, Y}.

Derived terms

Antonyms

Translations

See also

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