Empty clause


De DataFranca

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.


Source : Utexas Ai vocabulary

Contributeurs : admin