« Clauses parentes » : différence entre les versions
m (Remplacement de texte — « <small> féminin </small> » par « ») |
m (Remplacement de texte : « ↵↵==Sources== » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 7 : | Ligne 7 : | ||
== Anglais == | == Anglais == | ||
'''Parent clauses''' | '''Parent clauses''' | ||
==Sources== | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
Dernière version du 30 août 2024 à 17:53
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
Contributeurs: Imane Meziani, wiki
