Eliciting Implicit Assumptions of Mizar Proofs by Property Omission.

Published in: J. Autom. Reason. (2013)

Keyphrases

computer assisted
theorem proving
databases
neural network
theorem prover
formal proofs
three dimensional
bayesian networks
knowledge representation
multi attribute
decision procedures
sequent calculus
formal proof