The following pages link to TGTP (Q14474):
Displaying 5 items.
- Octopus: combining learning and parallel search (Q861370) (← links)
- Heuristics used by HERBY for semantic tree theorem proving (Q1277339) (← links)
- The practicality of generating semantic trees for proofs of unsatisfiability (Q2710799) (← links)
- Improving the time efficiency of proving theorems using a learning mechanism (Q2740950) (← links)
- (Q3082706) (← links)