Word:

most general unifier

(logic)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.
Browse
moss-trooper
Mossad
Mossback
Mossbanker
Mossbauer
Mossiness
mosstone
Mosstrooper
Mossy
mossy saxifrage
mossy-cup oak
mossycup oak
Most
Most an end
most especially
most evil
-- most general unifier --
most importantly
most recently
Most Reverend Father in God
Most Significant Bit
most unattractive
most undesirable
most unpleasant
most unsuitable
most valuable player
most wicked
most-favored-nation
Most-favored-nation clause
most-valuable
mostaccioli
Mostahiba
Moste
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy