Login / Signup

Defining the meaning of TPTP formatted proofs.

Roberto BlancoTomer LibalDale Miller
Published in: IWIL@LPAR (2015)
Keyphrases
  • automated theorem proving
  • theorem proving
  • theorem prover
  • natural language
  • structured data
  • decision making
  • multiscale
  • semantic interpretation
  • decision procedures
  • natural deduction
  • mathematical proofs