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