A Simplification of the Completeness Proofs for Guaspari and Solovay's R.

Frans Voorbraak

Published in: Notre Dame J. Formal Log. (1990)

Keyphrases

formal proofs
equational theories
theorem proving
multiresolution
formal proof
data sets
mathematical proofs
data quality
theorem prover
learning algorithm
natural deduction
preprocessing
high level
metadata
inference rules
reinforcement learning
automated theorem provers