unifications

Noun

unification (countable and uncountable, plural unifications)

1. The act or process of unifying.
   • The route between Melbourne and Albury is one of the first scheduled, under the great Australian gauge unification scheme, for conversion to 4 ft. 8½ in., and this will permit through running between Melbourne, Sydney and Brisbane.1946 March–April, “Notes and News: The ‘Spirit of Progress,’ Victorian Railways”, in The Railway Magazine, London: Tothill Press, →ISSN, →OCLC, page 119

   Synonyms:

   unifying, union, uniting

   Antonyms:

   deunification, dissolution, disunification, disuniting, dividing, division

2. The state of being unified.
   • Chinese domination in Manchuria was revived after the unification of China by the Sui Dynasty in a.d. 590, though this could not be called entirely complete because the Kaokouli kingdom could not be subjugated.1936, D. M. B. Collier, C[ecil John] L’E[strange] Malone, “The Birth of a Country”, in Manchoukuo: Jewel of Asia, London: George Allen & Unwin […], →OCLC, page 21

   Synonyms:

   union

   Antonyms:

   deunification, dissolution, disunification, disuniting, dividing, division

3. An algorithmic process of solving equations between symbolic expressions.
   • For any two terms or formulas without quantifiers X and Y, the following holds. (i) The unification algorithm UNIF#95;1, applied to X, Y, terminates after a finite number of steps. (ii) #92;#123;X,Y#92;#125; is unifiable iff UNIF#95;1 so indicates upon termination. Moreover, the substitution σ then...1982, Wolfgang Bibel, “The Connection Method in First-order Logic”, in Automated Theorem Proving, Braunschweig, Lower Saxony; Wiesbaden, Hesse: Friedr[ich] Vieweg & Sohn, →DOI, →ISBN, page 94