Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

most general unifier

You are here: irt.org | FOLDOC | 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.


Nearby terms: Mosiac « MOS Technologies « MOS Technology « most general unifier » Most Significant Bit » motd » mother

FOLDOC, Topics, 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, ?, ALL

©2018 Martin Webb