Beagle - A Hierarchic Superposition Theorem Prover.
Peter BaumgartnerJoshua BaxUwe WaldmannPublished in: CADE (2015)
Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- automated theorem proving
- automated deduction
- inference rules
- computer algebra
- higher order logic
- proof planning
- natural deduction
- formal proof
- proof procedure
- formal semantics
- propositional logic
- boolean algebra
- proof search
- mathematical knowledge
- decision trees
- timed automata
- predicate calculus
- simulated annealing
- probabilistic model