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