Wikidata facts
Show 3 more facts
- different from
- Resolution
- maintained by WikiProject
- WikiProject Mathematics
- described by source
- Encyclopædia Britannica 11th edition
Sources (3)
via Wikidata · CC0
Article · Français
En logique mathématique, la règle de résolution ou principe de résolution de Robinson est une règle d'inférence logique qui généralise le modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est à la base du langage de programmation logique Prolog.
Abstract from DBpedia / Wikipedia · CC BY-SA