Clause vide

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