Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission

Published in: CoRR (2011)

Keyphrases

mathematical proofs
mathematical knowledge
computer assisted
automated theorem provers
theorem proving
information retrieval
multi agent
expert systems
theorem prover
formal proof
databases
machine learning
bayesian networks
data structure
domain knowledge
independence assumption