PLAGIATOR

MaRDI QIDQ14473swMATHFDO

Official website https://pdfs.semanticscholar.org/ed86/18810934978630c7b1b894ae83b0b0128ec4.pdf

Cited in

(15)

• On terminating lemma speculations.
• Octopus: combining learning and parallel search
• TGTP
• SPIKE
• Octopus
• Roo
• InKa
• SPTHEO
• PARTHENON
• Aquarius
• ABSFOL
• Termination of theorem proving by reuse
• Plagiator — A learning prover
• scientific article; zbMATH DE number 1552515 (Why is no real title available?)
• Proving theorems by reuse

This page was built for software: PLAGIATOR