A Direct Proof for the Completeness of SLD-Resolution.

Robert F. Stärk

Published in: CSL (1989)

Keyphrases

automatic theorem proving
theorem proving
consequence finding
high resolution
linear logic
proof search
real time
databases
web services
high quality
special case
hidden markov models
inference rules
theorem prover
sampling rate
mathematical proofs