Clauses parentes


Révision datée du 27 janvier 2024 à 20:07 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵↵<small> » par «  ==Sources==  »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

Dans la démonstration du théorème de résolution, les clauses parentes sont les deux clauses originales desquelles une nouvelle clause est dérivée par résolution.

Français

Clauses parentes

Anglais

Parent clauses

Sources

Source : UTexas Artificial Intelligence Vocabulary

Récupérée de « https://datafranca.org/wiki/index.php?title=Clauses_parentes&oldid=87640 »


Contributeurs: Imane Meziani, wiki