unification
Jump to navigation
Jump to search
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, 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
Antonyms[edit]
Derived terms[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 Wiktionary:Entry layout § Translations.
Translations to be checked
See also[edit]
Further reading[edit]
- unification in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913.
French[edit]
Etymology[edit]
Pronunciation[edit]
Noun[edit]
unification f (plural unifications)
Further reading[edit]
- “unification” in Trésor de la langue française informatisé (The Digitized Treasury of the French Language).
Categories:
- English words suffixed with -ification
- English terms derived from French
- English lemmas
- English nouns
- English uncountable nouns
- English countable nouns
- en:Computer science
- English terms with quotations
- French words suffixed with -ification
- French 5-syllable words
- French terms with IPA pronunciation
- French terms with audio links
- French lemmas
- French nouns
- French feminine nouns
- French countable nouns