Unification

7 definitions retrieved

Unification \U`ni*fi*ca"tion\, n. [See Unify.]
The act of unifying, or the state of being unified.
[1913 Webster]

Unification with God was the final aim of the
Neoplatonicians. --Fleming.
[1913 Webster]

unification
n 1: an occurrence that involves the production of a union [syn:
fusion, merger, unification]

2: the state of being joined or united or linked; "there is
strength in union" [syn: union, unification] [ant:
separation]

3: the act of making or becoming a single unit; "the union of
opposing factions"; "he looked forward to the unification of
his family for the holidays" [syn: union, unification,
uniting, conjugation, jointure] [ant: disunion]

unification

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)

unification [juːnifikeiʃən]
Vereinheitlichung

unification

Vereinheitlichung f
unification

Vereinigung f; Einigung f

135 Moby Thesaurus words for "unification":
Anschluss, addition, affiliation, agglomeration, agglutination,
aggregation, agreement, alignment, alliance, amalgamation,
articulation, assimilation, association, blend, blending, bond,
bracketing, cabal, cahoots, cartel, centralization, clustering,
coadunation, coalescence, coalition, colleagueship, collegialism,
collegiality, combination, combine, combo, communication,
composition, comradeship, concatenation, concourse, concurrence,
confederacy, confederation, confluence, confraternity, congeries,
conglomeration, conjugation, conjunction, connection,
consolidation, conspiracy, convergence, copartnership, copartnery,
copulation, coupling, ecumenism, embodiment, encompassment, enosis,
federalization, federation, fellowship, fraternalism, fraternity,
fraternization, freemasonry, fusion, gathering, hookup,
identification, identity, inclusion, incorporation, individuality,
indivisibility, intactness, integrality, integration, integrity,
intercommunication, intercourse, interlinking, interlocking,
inviolability, irreducibility, joinder, joining, jointure,
junction, junta, knotting, league, liaison, linkage, linking,
marriage, meeting, meld, melding, mergence, merger, merging,
oneness, organic unity, package, package deal, pairing,
particularity, partnership, purity, selfsameness, simplicity,
singleness, singularity, sodality, solidarity, solidification,
solidity, sorority, splice, symbiosis, syncretism, syndication,
syneresis, synthesis, tie, tie-in, tie-up, undividedness,
uniformity, union, uniqueness, unity, univocity, wedding,
wholeness, yoking

Unification related

top

Popular Words
Webster Dictionary, Online Dictionary, Spanish Dictionary, Medical Dictionary, Internet Dictonary, Web Dictionary, Dictionary Websters Online, Dream Dictionary, English - Spanish Dictionary, Urban Dictionary, Translate English To Spanish, Translate Germany,

Copyrights:
Gcide, Gazetteer, en-de, Devil's D., Freedict: GNU General Public License 2 or later
FOLDOC, VERA: GNU General Public License 1.1 or later
Moby-thesaurus, Jargon, Hitchcock, Bouvier, Elements, Easton: Public Domain
WordNet: Princeton University

Type your search term into the input field and press the 'Search' button!

Professional Link Trading | Links | Contact | Disclaimer | Imprint