PARTHEO: A High-Performance Parallel Theorem Prover.
Johann SchumannReinhold LetzPublished in: CADE (1990)
Keyphrases
- theorem prover
- inference rules
- distributed memory machines
- theorem proving
- automated reasoning
- distributed memory
- first order logic
- automated theorem proving
- formal proof
- term rewriting
- pc cluster
- higher order logic
- computer algebra
- ibm sp
- proof search
- natural deduction
- shared memory
- parallel processing
- parallel computers
- timed automata
- parallel implementation
- evolutionary algorithm
- formal semantics
- decision trees
- massively parallel