Clauses parentes
en construction
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
