Ensemble de discordance
Définition
Dans une unification, ensemble des sous-termes à une position particulière qui ont une valeur différente des sous-termes correspondants.
Français
ensemble de discordance
Anglais
disagreement set
Sources
![](/wiki/annonces/DF annonce traduction.jpg)
Contributeurs: Jean Benoît Morel, wiki