« Clause vide » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xx... ») Balise : Éditeur de wikicode 2017 |
m (Arielle H a déplacé la page Empty clause vers Clause vide) |
(Aucune différence)
| |
Version du 15 avril 2021 à 14:28
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
empty clause
in resolution theorem proving, a clause that contains no literals and thus represents the value False or contradiction; the goal of the theorem proving process. Traditionally called ``box.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
