Cited in
(12)- Improving the time efficiency of proving theorems using a learning mechanism
- A domain-independent system for modeling number theory using first-order predicate logic
- Octopus: combining learning and parallel search
- Octopus
- Roo
- HERBY
- SPTHEO
- PARTHENON
- Aquarius
- NeuroShell 2
- Heuristics used by HERBY for semantic tree theorem proving
- The practicality of generating semantic trees for proofs of unsatisfiability
This page was built for software: TGTP
