Développement #195

Titre : Complétude de la méthode de résolution

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

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42