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