Most general unifier
<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.
| < Previous Terms | Terms Containing most general unifier | Next Terms > |
| Mosaic Communications Corporation Moscow ML MOSFET Mosiac MOS Technologies | unification unifier | Most Significant Bit motd mother motherboard Motif |
