unification
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Either from unify + -ification or from French unification
Pronunciation
[edit]Noun
[edit]unification (countable and uncountable, plural unifications)
- The act of unifying.
- 1946 March and April, “Notes and News: The "Spirit of Progress," Victorian Railways”, in Railway Magazine, page 119:
- 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.
- The state of being unified.
- 1957, Chung-cheng (Kai-shek) Chiang, Soviet Russia in China: A Summing-up at Seventy[1], New York: Farrar, Straus and Cudahy, →LCCN, →OCLC, page 146:
- 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.
- 1978, Richard Nixon, quoting Syngman Rhee, RN: the Memoirs of Richard Nixon[2], Grosset & Dunlap, →ISBN, →LCCN, →OCLC, →OL, page 127:
- 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.
- (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}.
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. See instructions at Wiktionary:Entry layout § Translations.
Translations to be checked
See also
[edit]Further reading
[edit]- “unification”, in Webster’s Revised Unabridged Dictionary, Springfield, Mass.: G. & C. Merriam, 1913, →OCLC.
French
[edit]Etymology
[edit]From unifier + -ification.
Pronunciation
[edit]Noun
[edit]unification f (plural unifications)
Further reading
[edit]- “unification”, in Trésor de la langue française informatisé [Digitized Treasury of the French Language], 2012.
Categories:
- English terms suffixed with -ification
- English terms derived from French
- English terms with audio pronunciation
- English lemmas
- English nouns
- English uncountable nouns
- English countable nouns
- English terms with quotations
- en:Computer science
- French terms suffixed with -ification
- French 5-syllable words
- French terms with IPA pronunciation
- French terms with audio pronunciation
- French lemmas
- French nouns
- French countable nouns
- French feminine nouns