Complétude de réfutation
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
