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