Clause vide
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.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
