PARTHEO
From MaRDI portal
Software:21958
swMATH9981MaRDI QIDQ21958FDOQ21958
Author name not available (Why is that?)
Cited In (14)
- Nagging: A distributed, adversarial search-pruning technique applied to first-order inference
- Cooperating Proof Attempts
- 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
- Fine-grained concurrent completion
- A Parallelized Theorem Prover for a Logic with Parallel Execution
- Title not available (Why is that?)
- A novel asynchronous parallelism scheme for first-order logic
- \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
