SicoTHEO

MaRDI QIDQ21959swMATHFDO

Official website http://link.springer.com/chapter/10.1007/3-540-61511-3_87

Cited in

(18)

• A parallelized theorem prover for a logic with parallel execution
• Octopus: combining learning and parallel search
• scientific article; zbMATH DE number 1566286 (Why is no real title available?)
• SiCoTHEO: Simple competitive parallel theorem provers
• SETHEO goes software engineering: application of ATP to software reuse
• scientific article; zbMATH DE number 1552517 (Why is no real title available?)
• PLAGIATOR
• TGTP
• Amphion
• PARTHEO
• Octopus
• Roo
• EQP
• SPTHEO
• PARTHENON
• Aquarius
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1748586 (Why is no real title available?)

This page was built for software: SicoTHEO