Login / Signup

Methods of Lemma Extraction in Natural Deduction Proofs.

Karol Pak
Published in: J. Autom. Reason. (2013)
Keyphrases
  • benchmark datasets
  • natural deduction
  • significant improvement
  • empirical studies
  • theorem prover
  • information extraction
  • data mining techniques
  • graph cuts