Login / Signup
Defining the meaning of TPTP formatted proofs.
Roberto Blanco
Tomer Libal
Dale 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