PARTHENON

swMATH25434MaRDI QIDQ37173FDOQ37173

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• 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

This page was built for software: PARTHENON