swMATH26327MaRDI QIDQ38058FDOQ38058
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-94-011-3488-0_2
Cited In (23)
- Lemma matching for a PTTP-based top-down theorem prover
- Clause trees: A tool for understanding and implementing resolution in automated reasoning
- Near-Horn Prolog and the ancestry family of procedures
- Octopus: combining learning and parallel search
- SET-VAR
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- Controlled integration of the cut rule into connection tableau calculi
- Title not available (Why is that?)
- IeanCOP: lean connection-based theorem proving
- PARTHEO
- Octopus
- linTAP
- Roo
- EQP
- HERBY
- SPTHEO
- PARTHENON
- HARP
- Aquarius
- PATDEX
- RRL
- A novel asynchronous parallelism scheme for first-order logic
This page was built for software: METEOR
