« Complétude de réfutation » : 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 == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Arielle H a déplacé la page Refutation completeness vers Complétude de réfutation) |
(Aucune différence)
| |
Version du 7 avril 2021 à 20:43
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
refutation completeness
the ability of a proof procedure, such as resolution, eventually to derive a contradiction if the set of axioms is contradictory.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
