« Ensemble de discordance » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
m (Remplacement de texte : « ↵↵↵↵ » par « ») |
||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''disagreement set''' | '''disagreement set''' | ||
| Ligne 15 : | Ligne 14 : | ||
[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]] | ||
Version du 29 janvier 2024 à 12:26
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
