MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.
Ryuzo HasegawaMiyuki KoshimuraHiroshi FujitaPublished in: CADE (1992)
Keyphrases
- theorem prover
- first order logic
- inference rules
- theorem proving
- term rewriting
- automated reasoning
- formal proof
- automated theorem proving
- computer algebra
- automated deduction
- higher order logic
- boolean algebra
- parallel processing
- natural deduction
- formal semantics
- proof planning
- mathematical knowledge
- parallel implementation
- shared memory
- data model
- knowledge base
- artificial intelligence