SPTHEO

MaRDI QIDQ33368swMATHFDO

Official website https://link.springer.com/article/10.1023/A:1005868304990

Described by source

• SPS-parallelism+SETHEO=SPTHEO

Cited in

(13)

• Octopus: combining learning and parallel search
• Partition-based logical reasoning for first-order and propositional theories
• PLAGIATOR
• BREAKUP
• TGTP
• Octopus
• Roo
• EQP
• HERBY
• Peers-mcd
• PARTHENON
• GETFOL
• Aquarius

This page was built for software: SPTHEO