Modelling and performance analysis of a parallel theorem prover
Manfed R. JobmannJohann SchumannPublished in: Forschungsberichte, TU Munich (1991)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- automated theorem proving
- term rewriting
- first order logic
- computer algebra
- formal proof
- automated deduction
- inference rules
- formal semantics
- proof planning
- natural deduction
- timed automata
- proof search
- parallel computing
- predicate calculus
- higher order logic
- boolean algebra
- machine learning
- parallel processing
- parallel algorithm
- artificial intelligence