Complétude de la méthode de résolution
Soit $\Sigma$ un ensemble de clauses contradictoires. Alors il existe un arbre de réfutation de $\Sigma$.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 924 | Théories et modèles en logique du premier ordre. Exemples.2021 |
Utilisateur : Timothée
Références :
Fondements mathématiques de l'informatique - Stern