Some Experiments with a Completion Theorem Prover.
Ursula MartinMichael LaiPublished in: J. Symb. Comput. (1992)
Keyphrases
- theorem prover
- automated reasoning
- first order logic
- theorem proving
- automated deduction
- term rewriting
- computer algebra
- inference rules
- formal proof
- automated theorem proving
- higher order logic
- boolean algebra
- formal semantics
- natural deduction
- timed automata
- proof planning
- mathematical knowledge
- training data
- evolutionary algorithm
- natural language