THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques.

Jürgen Avenhaus Jörg Denzinger Jürgen Müller

Published in: RTA (1989)

Keyphrases

theorem prover
theorem proving
inference rules
automated reasoning
first order logic
automated theorem proving
computer algebra
term rewriting
automated deduction
formal proof
proof search
higher order logic
mathematical knowledge
artificial intelligence
proof planning
boolean algebra
knowledge base