Peers-mcd

MaRDI QIDQ35719swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-63104-6_6

Cited in

(14)

• PLAGIATOR
• TGTP
• Octopus: combining learning and parallel search
• Octopus
• Roo
• EQP
• HERBY
• SPTHEO
• PARTHENON
• Aquarius
• GKC
• A Wos Challenge Met
• Set of support, demodulation, paramodulation: a historical perspective
• The clause-diffusion theorem prover Peers-mcd (system description)

This page was built for software: Peers-mcd