« Clauses parentes » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Pitpitt a déplacé la page Parent clauses vers Clauses parentes) |
(Aucune différence)
| |
Version du 6 juin 2020 à 19:51
Définition
Dans la démonstration du théorème de résolution, les deux clauses originales desquelles une nouvelle clause est dérivée par résolution.
Français
Clauses parentes féminin
Anglais
Parent clauses
Contributeurs: Imane Meziani, wiki
