« Résolvant » : différence entre les versions

Dernière version du 28 janvier 2024 à 13:24

Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.

résolvant

résolvante

resolvent

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.
 == Français ==
-xxxxxxx
+'''résolvant'''
+'''résolvante'''
 == Anglais ==
-'''resolvent  '''
+'''resolvent'''
-the result obtained by resolving two clauses.
+==Sources==
-<small>
+[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Resolvent&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]