Identity of proofs based on normalization and generality.

Published in: Bull. Symb. Log. (2003)

Keyphrases

theorem proving
normalization method
theorem prover
real time
equational theories
learning environment
expert systems
mathematical proofs
database
formal proofs
natural deduction
inductive logic programming
first order logic
search engine
artificial intelligence
real world
databases