Keyphrases
- theorem proving
- first order logic
- higher order
- term rewriting
- theorem prover
- equational theories
- computer vision
- mathematical proofs
- stochastic dominance
- bayesian networks
- horn clauses
- decision procedures
- predicate calculus
- image sequences
- case study
- formal proof
- mathematical knowledge
- information retrieval
- databases