most general unifier If U is the most general {unifier} of a set of expressions then any other unifier, V, can be expressed as V = UW, where W is another substitution. See also {unification}. (2000-03-07)
Copyright © 2024 3Dict.net