Amalgamation vs Unification - What's the difference?
amalgamation | unification | Related terms |
The process of amalgamating; a mixture, merger or consolidation.
The result of amalgamating; a mixture or alloy.
# (specifically) The production of an alloy of mercury and another metal.
(obsolete) The intermarriage and interbreeding of different ethnicities or races.
The act of unifying.
The state of being unified.
(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
*
As nouns the difference between amalgamation and unification
is that amalgamation is the process of amalgamating; a mixture, merger or consolidation while unification is the act of unifying.amalgamation
English
Noun
(wikipedia amalgamation) (en noun)unification
English
Noun
- 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}.
