unification

English

Etymology

Either from unify +‎ -ification or from (deprecated template usage) [etyl] French unification

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

Antonyms

• division

Derived terms

• antiunification
• disunification
• grand unification theory
• Han unification
• preunification
• reunification
• Unificationism
• Unificationist
• unificationist
• unificatory

 

Translations

act of unifying

• Arabic: تَوْحِيد (ar) m (tawḥīd)
• Armenian: միասնականացում (hy) (miasnakanacʻum), միացում (hy) (miacʻum), միավորում (hy) (miavorum)
• Belarusian: аб'ядна́нне n (abʺjadnánnje)
• Catalan: unificació (ca) f
• Chinese:

  Mandarin: 統一／统一 (zh) (tǒngyī), 统一 (zh) (tǒngyī)

• Czech: sjednocení (cs) n
• Dutch: eenwording (nl) f
• Finnish: yhdistyminen (fi), yhdistäminen (fi)
• French: unification (fr) f
• Georgian: გაერთიანება (gaertianeba), უნიფიკაცია (unipiḳacia)
• German: Vereinigung (de) f
• Greek: ενοποίηση (el) f (enopoíisi)
• Ido: unigado
• Italian: unificazione (it) f
• (deprecated template usage) {{trans-mid}}
• Japanese: 統一 (ja) (tōitsu)
• Korean: 통일 (ko) (tong'il) (統一)
• Kurdish:

  Sorani:

• Malay: penyatuan (ms)
• Maori: whakakotahitanga
• Portuguese: unificação (pt) f
• Romanian: unificare (ro) f
• Russian: объедине́ние (ru) n (obʺjedinénije)
• Scottish Gaelic: co-aonachadh m
• Slovak: zjednotenie n, zjednocovanie n
• Spanish: unificación (es) f
• Ukrainian: об'є́днання (uk) n (obʺjédnannja)
• Vietnamese: thống nhất (vi) (統一)
• Yiddish: פֿאַראייניקונג f (fareynikung)

state of being unified

• Czech: sjednocení (cs) n
• Georgian: გაერთიანებულობა (gaertianebuloba)
• Greek: ένωση (el) f (énosi)
• Ido: unigo (io)
• (deprecated template usage) {{trans-mid}}
• Kurdish:

  Sorani:

• Portuguese: união (pt) f
• Scottish Gaelic: co-aonachadh m

in mathematical logic or computer science

• Russian: унифика́ция (ru) n (unifikácija)
• (deprecated template usage) {{trans-mid}}

The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.

Translations to be checked

• Dutch: ^{(please verify)} vereniging (nl), ^{(please verify)} eenmaking (nl)
• (deprecated template usage) {{trans-mid}}
• Esperanto: ^{(please verify)} unuigo, ^{(please verify)} unuiĝo, ^{(please verify)} unuecigo

See also

• reunification

Further reading

• “unification”, in Webster’s Revised Unabridged Dictionary, Springfield, Mass.: G. & C. Merriam, 1913, →OCLC.

---

French

Etymology

unifier +‎ -ification

Pronunciation

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

• Audio

  (file)

Noun

unification f (plural unifications)

1. unification

Further reading

• “unification”, in Trésor de la langue française informatisé [Digitized Treasury of the French Language], 2012.