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

unification | commixture | Related terms |

Unification is a related term of commixture.


As nouns the difference between unification and commixture

is that unification is the act of unifying while commixture is the act or state of being mixed together; a union or mingling of constituents.

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

    * ----

    commixture

    English

    Noun

    (en noun)
  • The act or state of being mixed together; a union or mingling of constituents.
  • *1658': Some apprehended a purifying virtue in fire, refining the grosser '''commixture , and firing out the Æthereall particles so deeply immersed in it. — Sir Thomas Browne, ''Urne-Burial (Penguin 2005, p. 4)