Unification vs Contamination - What's the difference?
unification | contamination |
The act of unifying.
The state of being unified.
(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.
*
The act or process of contaminating; pollution; defilement; taint; also, that which contaminates.
(linguistics) A process whereby words with related meanings come to have similar sounds.
(linguistics, etymology) The influence of one form (often from a foreign language) on the historical development of another form to which it may be related in meaning.
The process of making a material or surface unclean or unsuited for its intended purpose, usually by the addition or attachment of undesirable foreign substances.
As nouns the difference between unification and contamination
is that unification is the act of unifying while contamination is the act or process of contaminating; pollution; defilement; taint; also, that which contaminates.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}.