PLAGIATOR

swMATH1825MaRDI QIDQ14473FDOQ14473

Author name not available (Why is that?)

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

Cited In (14)

• On terminating lemma speculations.
• Octopus: combining learning and parallel search
• Termination of theorem proving by reuse
• SPIKE
• Octopus
• Roo
• InKa
• SPTHEO
• PARTHENON
• Aquarius
• ABSFOL
• Plagiator — A learning prover
• Title not available (Why is that?)
• Proving theorems by reuse

This page was built for software: PLAGIATOR