PARTHEO
From MaRDI portal
Cited in
(23)- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- SETHEO
- Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
- APS-1
- A taxonomy of parallel strategies for deduction
- Near-Horn Prolog and the ancestry family of procedures
- APS
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)
- Amphion
- SicoTHEO
- Parallel inference search in logical calculus based on the algebraic programming system
- HOT
- scientific article; zbMATH DE number 1566286 (Why is no real title available?)
- Model elimination and connection tableau procedures
- Cooperating proof attempts
- PARTHENON
- METEOR
- Aquarius
- scientific article; zbMATH DE number 1348483 (Why is no real title available?)
- scientific article; zbMATH DE number 1748586 (Why is no real title available?)
- Fine-grained concurrent completion
- A novel asynchronous parallelism scheme for first-order logic
- A parallelized theorem prover for a logic with parallel execution
This page was built for software: PARTHEO
