Refutation completeness


De DataFranca

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.


Source : UTexas Artificial Intelligence Vocabulary