Unificateur le plus général
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
most general unifier
a unifier of a set of literals such that any other unifier can be derived from it by substituting terms for its variables. Abbreviated MGU.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
