Unification vs Standardization - What's the difference?
unification | standardization |
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 process of complying (or evaluate by comparing) with a standard.
The process of establishing a standard.
As nouns the difference between unification and standardization
is that unification is the act of unifying while standardization is the process of complying (or evaluate by comparing) with a standard.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}.
