TGTP

swMATH1826MaRDI QIDQ14474FDOQ14474

Author name not available (Why is that?)

Cited In (5)

• 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
• 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