Développement : Complétude de la méthode de résolution

Détails/Enoncé :

Soit $\Sigma$ un ensemble de clauses contradictoires. Alors il existe un arbre de réfutation de $\Sigma$.

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :

Fondements mathématiques de l'informatique , Stern (utilisée dans 3 versions au total)