« Ensemble de discordance » : différence entre les versions
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
m (Remplacement de texte : « ↵↵↵==Sources== » par « ==Sources== ») |
||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''disagreement set''' | '''disagreement set''' | ||
==Sources== | ==Sources== | ||
Dernière version du 31 janvier 2024 à 10:01
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
Contributeurs: Jean Benoît Morel, wiki
