TGTP
From MaRDI portal
Software:14474
No author found.
Related Items (5)
Octopus: combining learning and parallel search ⋮ Unnamed Item ⋮ The practicality of generating semantic trees for proofs of unsatisfiability ⋮ Improving the time efficiency of proving theorems using a learning mechanism ⋮ Heuristics used by HERBY for semantic tree theorem proving
This page was built for software: TGTP
