Open main menu

Contents

EnglishEdit

EtymologyEdit

Either from unify +‎ -ification or from French unification

NounEdit

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

AntonymsEdit

Derived termsEdit

TranslationsEdit

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 Wiktionary:Entry layout#Translations.

See alsoEdit

Further readingEdit


FrenchEdit

EtymologyEdit

unifier +‎ -ification

PronunciationEdit

NounEdit

unification f (plural unifications)

  1. unification

Further readingEdit