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 vs Undefined - What's the difference?

unification | undefined |

As a noun unification

is the act of unifying.

As an adjective undefined is

lacking a definition or value.

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

    * ----

    undefined

    English

    Adjective

    (wikipedia undefined) (-)
  • Lacking a definition or value.
  • (mathematics, computing) That does not have a meaning and is thus not assigned an interpretation.
    • The result of division by zero is undefined .

    Antonyms

    * defined