« Ensemble de discordance » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵==Sources== » par « ==Sources== ») |
||
(Une version intermédiaire par le même utilisateur non affichée) | |||
Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''disagreement set''' | '''disagreement set''' | ||
==Sources== | ==Sources== | ||
Ligne 15 : | Ligne 13 : | ||
[https://fr.wikipedia.org/wiki/Unification Source : Wikipedia (Unification) ] | [https://fr.wikipedia.org/wiki/Unification Source : Wikipedia (Unification) ] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] |
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