Cited in
(26)- 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
- SETHEO
- PLAGIATOR
- TGTP
- PARTHEO
- Octopus
- linTAP
- Roo
- EQP
- HERBY
- SPTHEO
- PARTHENON
- HARP
- Aquarius
- PATDEX
- RRL
- Controlled integration of the cut rule into connection tableau calculi
- IeanCOP: lean connection-based theorem proving
- scientific article; zbMATH DE number 53302 (Why is no real title available?)
- A novel asynchronous parallelism scheme for first-order logic
This page was built for software: METEOR