PARTHENON

swMATH25434MaRDI QIDQ37173FDOQ37173

Author name not available (Why is that?)

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

Described by source

• PARTHENON: A parallel theorem prover for non-horn clauses
• Unnamed Publication

Cited In (12)

• 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
• PARTHEO
• Octopus
• Roo
• EQP
• HERBY
• SPTHEO
• Peers-mcd
• METEOR
• Aquarius

This page was built for software: PARTHENON