The Kreisel Length-of-Proof Problem.

William M. Farmer

Published in: Ann. Math. Artif. Intell. (1992)

Keyphrases

data sets
expert systems
theorem prover
arbitrary length
mathematical proofs
databases
information systems
wireless sensor networks
theorem proving
maximum number
linear logic
total length
proof theory