The Theorem Prover Museum - Conserving the System Heritage of Automated Reasoning.
Michael KohlhasePublished in: CoRR (2019)
Keyphrases
- theorem prover
- automated reasoning
- cultural heritage
- digital museum
- augmented reality
- theorem proving
- reasoning systems
- inference rules
- first order logic
- digital libraries
- decision procedures
- reasoning tasks
- automated theorem proving
- term rewriting
- formal proof
- knowledge representation and reasoning
- proof planning
- natural deduction
- mathematical knowledge
- boolean algebra
- propositional satisfiability
- artificial intelligence