A Parallelized Theorem Prover for a Logic with Parallel Execution.
David L. RagerWarren A. Hunt Jr.Matt KaufmannPublished in: ITP (2013)
Keyphrases
- theorem prover
- parallel execution
- natural deduction
- proof search
- automated theorem proving
- boolean algebra
- inference rules
- theorem proving
- data partitioning
- cost model
- parallel processing
- parallel computing
- first order logic
- modal logic
- term rewriting
- predicate calculus
- logic programming
- logical framework
- query processing
- formal proof
- query execution
- distributed memory
- sequent calculus
- shared memory
- parallel programming
- linear logic
- proof procedure
- massively parallel
- data warehouse
- databases