The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs.
Roddy W. EricksonDavid R. MusserPublished in: CADE (1980)
Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- natural deduction
- formal proof
- first order logic
- inference rules
- automated reasoning
- mathematical proofs
- proof search
- higher order logic
- computer algebra
- term rewriting
- mathematical knowledge
- management system
- proof planning
- formal semantics
- timed automata
- predicate calculus
- data management
- knowledge management
- random forests
- model checking
- decision trees