swMATH9981MaRDI QIDQ21958FDOQ21958
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-52885-7_78
Cited In (23)
- Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
- Title not available (Why is that?)
- Near-Horn Prolog and the ancestry family of procedures
- Parallel inference search in logical calculus based on the algebraic programming system
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- A parallelized theorem prover for a logic with parallel execution
This page was built for software: PARTHEO
