PARTHENON

MaRDI QIDQ37173swMATHFDO

Official website https://link.springer.com/article/10.1007%2FBF00244281

Described by source

• PARTHENON: A parallel theorem prover for non-horn clauses
• scientific article; zbMATH DE number 4180829 (Why is no real title available?)

Cited in

(14)

• Octopus: combining learning and parallel search
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• PLAGIATOR
• TGTP
• PARTHEO
• Octopus
• Roo
• EQP
• HERBY
• SPTHEO
• Peers-mcd
• METEOR
• Aquarius

This page was built for software: PARTHENON