unification

English[edit]

English Wikipedia has articles on:

Unification (disambiguation)

Wikipedia

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

division

Derived terms[edit]

Translations[edit]

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), 统一 (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

Japanese: 統一 (ja) (tōitsu)
Kazakh: біріздендіру (birizdendirw)
Korean: 통일 (ko) (tong-il) (統一)
Kurdish:
Central Kurdish: یەکگرتن‎ (yekgirtin)
Malay: penyatuan (ms)
Maori: whakakotahitanga
Polish: unifikacja f
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)

Kurdish:
Central Kurdish: یەکگرتو‎ (yekgirtu)
Portuguese: união (pt) f
Scottish Gaelic: co-aonachadh m

in mathematical logic or computer science

Chinese:
Mandarin: 合一 (zh) (héyī), 同一 (zh) (tóngyī)
Russian: унифика́ция (ru) n (unifikácija)

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