What's the difference between
and
Enter two words to compare and contrast their definitions, origins, and synonyms to better understand how those words are related.

Unification - What does it mean?

unification | |

unification

English

Noun

  • The act of unifying.
  • The state of being unified.
  • (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 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}.

    Derived terms

    * unificationist * unificatory

    Antonyms

    * division

    See also

    * reunification

    External links

    * ----

    Not English

    has no English definition. It may be misspelled.