Definitions for unificationˌyu nə fɪˈkeɪ ʃən

This page provides all possible meanings and translations of the word unification

Random House Webster's College Dictionary

u•ni•fi•ca•tionˌyu nə fɪˈkeɪ ʃən(n.)

  1. the act or process of unifying; union.

  2. the state of being unified; consolidation.

Origin of unification:

1850–55

Princeton's WordNet

  1. fusion, merger, unification(noun)

    an occurrence that involves the production of a union

  2. union, unification(noun)

    the state of being joined or united or linked

    "there is strength in union"

  3. union, unification, uniting, conjugation, jointure(noun)

    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"

Wiktionary

  1. unification(Noun)

    The act of unifying.

  2. unification(Noun)

    The state of being unified.

  3. unification(Noun)

    Given two terms, their join with respect to a specialisation order.

  4. Origin: Either from or from unification

Webster Dictionary

  1. Unification(noun)

    the act of unifying, or the state of being unified

Freebase

  1. Unification

    Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact either identical or just equal. Unification is widely used in automated reasoning, logic programming and programming language type system implementation. Several kinds of unification are commonly studied: that for theories without any equations is referred to as syntactic unification: one wishes to show that terms are identical. If one has a non-empty equational theory, then one is typically interested in showing the equality of terms; this is referred to as semantic unification. Since substitutions can be ordered into a partial order, unification can be understood as the procedure of finding a meet on a lattice. The first formal investigation of unification can be attributed to John Alan Robinson, who used first-order unification as a basic building block of his resolution procedure for first-order logic, a great step forward in automated reasoning technology, as it eliminated one source of combinatorial explosion: searching for instantiation of terms.


Translations for unification

Kernerman English Multilingual Dictionary

Get even more translations for unification »

Translation

Find a translation for the unification definition in other languages:

Select another language:

Discuss these unification definitions with the community:


Citation

Use the citation below to add this definition to your bibliography:

Style:MLAChicagoAPA

"unification." Definitions.net. STANDS4 LLC, 2014. Web. 18 Apr. 2014. <http://www.definitions.net/definition/unification>.

Are we missing a good definition for unification?


The Web's Largest Resource for

Definitions & Translations


A Member Of The STANDS4 Network


Nearby & related entries:

Alternative searches for unification: