Unsound Inferences Make Proofs Shorter.

Juan P. Aguilera Matthias Baaz

Published in: CoRR (2016)

Keyphrases

theorem proving
theorem prover
mathematical proofs
databases
formal proof
equational theories
data sets
metadata
multimedia
making inferences