ABSFOL: A Proof Checker with Abstraction.

Fausto Giunchiglia Adolfo Villafiorita

Published in: CADE (1996)

Keyphrases

high level
theorem proving
real time
case study
search algorithm
database
information systems
metadata
multi agent
theorem prover
mathematical proofs