unification
Definition from Wiktionary, the free dictionary
Contents
English[edit]
Etymology[edit]
Either from unify + -ification or from French unification
Noun[edit]
unification (countable and uncountable, plural unifications)
- The act of unifying.
- The state of being unified.
- (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}.
- 5.7.T ( Unification theorem ) For any two terms or formulas
- 1982, Wolfgang Bibel, Automated Theorem Proving, Braunschweig: Friedr. Vieweg & Sohn, ISBN 3-528-08520-7, page 94:
Derived terms[edit]
Antonyms[edit]
Translations[edit]
act of unifying
|
|
state of being unified
|
|
in mathematical logic or computer science
- 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.
Translations to be checked
|
See also[edit]
External links[edit]
- unification in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913
French[edit]
Etymology[edit]
Pronunciation[edit]
Noun[edit]
unification f (plural unifications)
