most general unifier


most general unifier

(logic)If U is the most general unifier of a set ofexpressions then any other unifier, V, can be expressed as V =UW, where W is another substitution.

See also unification.