« Ensemble de discordance » : différence entre les versions
Aucun résumé des modifications |
m (JBM a déplacé la page Disagreement set vers Ensemble de discordance) |
(Aucune différence)
| |
Version du 2 juin 2021 à 16:02
Définition
Lors d'une unification, ensemble des sous-expressions qui ont une valeur qui diffère, relativement à leur position, de celle des autres sous-expressions.
Français
ensemble de discordance
Anglais
disagreement set
Contributeurs: Jean Benoît Morel, wiki
