Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
most general unifier
Jump to user comments
logic 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)
Related search result for "most general unifier"
Comments and discussion on the word "most general unifier"