« Clauses parentes » : différence entre les versions

Version du 6 juin 2020 à 20:51

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.

Clauses parentes féminin

Parent clauses

Source : UTexas Artificial Intelligence Vocabulary

Version du 6 juin 2020 à 20:51 (voir la source) Pitpitt (discussion \| contributions) Aucun résumé des modifications Balise : Éditeur de wikicode 2017 ← Modification précédente	Version du 6 juin 2020 à 20:51 (voir la source) Pitpitt (discussion \| contributions) m (Pitpitt a déplacé la page Parent clauses vers Clauses parentes) Modification suivante →
(Aucune différence)