unification

[yoo-nuh-fi-key-shuh n] /ˌyu nə fɪˈkeɪ ʃən/
noun
1.
the process of unifying or uniting; union:
the unification of the 13 original colonies.
2.
the state or condition of being unified:
The unification of the manufacturing and distribution functions under one executive has advantages.
Origin
1850-55; uni(fy) + -fication
Related forms
nonunification, noun
preunification, adjective
reunification, noun
Synonyms
1, 2. consolidation, merger, coalition.
Examples from the web for unification
  • With unification came a new rush to build up as-yet-undeveloped properties.
  • The idea is to signify some level of unification and to spread awareness.
  • Examines continuities between the pre- and post-unification regimes.
  • So this approach also provides a bit of unification between differential and integral calculus.
  • Unfortunately, a similar unification has yet to happen for the electronic infrastructure in a building.
  • We really don't have anything else that achieves the same kind of unification.
  • These two theories are contradicting each other, which makes unification impossible.
  • unification was bound to be expensive because of the way it was done.
  • The government plans to speed up planning and licensing, as it did after unification.
  • Yet both great unification projects are under threat.
British Dictionary definitions for unification

unification

/ˌjuːnɪfɪˈkeɪʃən/
noun
1.
an act, instance, or process of uniting
2.
the state of being united
Word Origin and History for unification
n.

1851, noun of action from unify. Unification Church was founded 1954.

unification in Technology

programming
The generalisation of pattern matching that is the logic programming equivalent of instantiation in logic. When two terms are to be unified, they are compared. If they are both constants then the result of unification is success if they are equal else failure. If one is a variable then it is bound to the other, which may be any term (which satisfies an "occurs check"), and the unification succeeds. If both terms are structures then each pair of sub-terms is unified recursively and the unification succeeds if all the sub-terms unify.
The result of unification is either failure or success with a set of variable bindings, known as a "unifier". There may be many such unifiers for any pair of terms but there will be at most one "most general unifier", other unifiers simply add extra bindings for sub-terms which are variables in the original terms.
(1995-12-14)