different between unificationist vs unification

English

Etymology

unification +? -ist

Noun

unificationist (plural unificationists)

1. A supporter of unification.
2. Alternative form of Unificationist (“Unification Church”)

Adjective

unificationist (not comparable)

1. Pertaining to unification.
2. Alternative form of Unificatinoist (“Unification Church”)

English

Etymology

Either from unify +? -ification or from 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.

   • 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

Translations

See also

• reunification

Further reading

• unification in Webster’s Revised Unabridged Dictionary, G. & C. Merriam, 1913.

French

Etymology

unifier +? -ification

Pronunciation

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

Noun

unification f (plural unifications)

1. unification

Further reading

• “unification” in Trésor de la langue française informatisé (The Digitized Treasury of the French Language).