Catalogue of Artificial Intelligence Techniques

   

Home :: Theorem Proving

Prolog
AND/OR Graphs Proof Editors
Automatic Theorem Proving Proof by Contradiction
Call-by-need Recursion
Clausal Form Recursion Analysis
Clause Graph Resolution Recursive Function
Computational Logic Reductio ad Absurdum
Condition-action Pairs Reflection
Connection Calculus Refutation Proof
Connection Graph Resolution
Delayed Evaluation Rewrite Rules
Demodulants Rippling
Game Trees Self-reference
Lazy Evaluation Semantic Checking
Least General Generalisation Skolemisation
Mechanical Theorem Proving Theorem Proving
Meta-level Inference Unification
Neighbourhood Parallelism Use of Models
Paramodulation