Proof Simplification and Automated Theorem Proving.

Published in: CoRR (2018)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
multiresolution
classical logic
preprocessing
logic programs
first order logic
natural deduction
database
incomplete information