Case Studies in Meta-Level Theorem Proving.

Friedrich W. von Henke Stephan Pfab Holger Pfeifer Harald Rueß

Published in: TPHOLs (1998)

Keyphrases

meta level
theorem proving
case study
first order logic
object level
theorem prover
domain knowledge
inference rules
proof procedure
term rewriting
parallel search
distributed problem solving
automated theorem proving
consequence finding
proof planning
artificial intelligence
proof search
concept formation