Partheo: A high-performance parallel theorem prover
From MaRDI portal
Recommendations
Cites work
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- scientific article; zbMATH DE number 4180829 (Why is no real title available?)
- scientific article; zbMATH DE number 4063061 (Why is no real title available?)
- scientific article; zbMATH DE number 3568056 (Why is no real title available?)
- scientific article; zbMATH DE number 194631 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- Resolution, Refinements, and Search Strategies: A Comparative Study
- The foundations of mathematics. A study in the philosophy of science
- The occur-check problem in Prolog
Cited in
(10)- PARTHENON: A parallel theorem prover for non-horn clauses
- SETHEO: A high-performance theorem prover
- SPS-parallelism+SETHEO=SPTHEO
- Parallelization of a hyper-linking-based theorem prover
- scientific article; zbMATH DE number 4180829 (Why is no real title available?)
- Cooperating proof attempts
- scientific article; zbMATH DE number 4164187 (Why is no real title available?)
- scientific article; zbMATH DE number 1301855 (Why is no real title available?)
- scientific article; zbMATH DE number 1552517 (Why is no real title available?)
- Fine-grained concurrent completion
This page was built for publication: Partheo: A high-performance parallel theorem prover
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488521)
