Ensemble de discordance
en construction
Définition
Lors d'une unification, ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position dans l'expression, de celle des autres sous-expressions.
Français
ensemble de discordance
Anglais
disagreement set
Contributeurs: Jean Benoît Morel, wiki
