unification

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia

Etymology[edit]

Either from unify +‎ -ification or from French unification

Noun[edit]

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[edit]

Antonyms[edit]

Translations[edit]

The translations below need to be checked and inserted above into the appropriate translation tables, removing any numbers. Numbers do not necessarily match those in definitions. See instructions at Help:How to check translations.

See also[edit]

External links[edit]


French[edit]

Etymology[edit]

unifier +‎ -ification

Pronunciation[edit]

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

Noun[edit]

unification f (plural unifications)

  1. unification