Clauses parentes


Révision datée du 6 juin 2020 à 20:51 par Pitpitt (discussion | contributions) (Pitpitt a déplacé la page Parent clauses vers 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

Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Imane Meziani, wiki