TGTP

swMATH1826MaRDI QIDQ14474FDOQ14474

Author name not available (Why is that?)

Cited In (5)

• Improving the time efficiency of proving theorems using a learning mechanism
• Octopus: combining learning and parallel search
• Heuristics used by HERBY for semantic tree theorem proving
• Title not available (Why is that?)
• The practicality of generating semantic trees for proofs of unsatisfiability

This page was built for software: TGTP