Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

PLAGIATOR

From MaRDI portal
Jump to:navigation, search



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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=PLAGIATOR&oldid=56607714"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 13:07. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki