Proof nets and the instantiation overflow property.

Published in: CoRR (2018)

Keyphrases

desirable properties
theorem proving
database
real world
information retrieval
knowledge base
web services
user interface
theorem prover
natural deduction