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 2023 :

  • Pas de recasages pour cette année.

Versions :