unification
Language: English
Part of speech: noun
Forms: form: unifications
Etymology: Either from unify + -ification or from French unification
Senses: examples: text: 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.
ref: 1946 March and April, “Notes and News: The "Spirit of Progress," Victorian Railways”, in Railway Magazine, page 119:
text: Despite criticisms which were made of the Railway Executive, it must be recalled that the general framework of the new railway set-up was established by statute, while this form of organisation was particularly well adapted for carrying out the unification of the railways—a very different thing from the purely political act of nationalisation, but an essential part of the objective of nationalisation.
ref: 1958 January 24, 'Borderer', “Ten Years of British Railways”, in Railway Magazine, page 13:
glosses: The act of unifying.
examples: text: 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.
ref: 1936, D. M. B. Collier, C. L'E. Malone, “The Birth of a Country”, in Manchoukuo: Jewel of Asia, London: George Allen & Unwin Ltd, →OCLC, page 21:
text: On November 15 our Ministry of Foreign Affairs informed Soviet ambassador Petrov of this decision. At the same time I sent a message to President Harry S. Truman, pointing out that Soviet Russia's treaty violations and bad faith in Manchuria not only were detrimental to China's territorial integrity and unification, but also constituted a serious threat to peace and order in East Asia, and that the only way to prevent any further deterioration of the situation would be for China and the United States to take positive and coordinated actions.
ref: 1957, Chiang Chung-cheng (Kai-shek), Soviet Russia in China: A Summing-up at Seventy, New York: Farrar, Straus and Cudahy, →LCCN, →OCLC, page 146:
text: On the other hand, I must think of Korea and, particularly, of the three million enslaved Koreans in the North. My obligation as a leader of the Korean people is to achieve unification of our country by peaceful means if possible but by force if necessary.
ref: 1978, Richard Nixon, quoting Syngman Rhee, RN: the Memoirs of Richard Nixon, Grosset & Dunlap, →ISBN, →LCCN, →OCLC, →OL, page 127:
glosses: The state of being unified.
examples: text: 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}.
ref: 1982, Wolfgang Bibel, Automated Theorem Proving, Braunschweig: Friedr. Vieweg & Sohn, →ISBN, page 94:
topics: computer
computing
engineering
mathematics
natural-sciences
physical-sciences
science
sciences
qualifier: mathematical logic
glosses: Given two terms, their join with respect to a specialisation order.
Derived terms: antiunification
disunification
grand unification theory
Han unification
preunification
reunification
Unificationism
Unificationist
unificationist
unificatory
Related terms: reunification