Parallel Theorem Provers - An Overview.
Johann SchumannPublished in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
- theorem prover
- automated theorem proving
- theorem proving
- automated reasoning
- first order logic
- computer algebra
- inference rules
- automated deduction
- higher order logic
- natural deduction
- shared memory
- term rewriting
- parallel processing
- proof search
- formal semantics
- timed automata
- search space
- computer algebra systems
- operating system
- graphical models
- knowledge representation
- evolutionary algorithm