Programmable heuristics for theorem provers.
William F. WilsonSam OwrePublished in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- automated theorem proving
- first order logic
- computer algebra
- automated deduction
- term rewriting
- low cost
- inference rules
- higher order logic
- natural deduction
- computer algebra systems
- search algorithm
- pairwise
- search strategies
- predicate calculus
- programming language
- machine learning
- formal semantics
- propositional satisfiability
- heuristic search
- probability distribution
- proof planning
- data mining