Login / Signup
Mathematical Significance of Consistency Proofs.
Georg Kreisel
Published in:
J. Symb. Log. (1958)
Keyphrases
</>
mathematical proofs
mathematical knowledge
automated theorem provers
computer algebra
theorem prover
theorem proving
global consistency
data sets
consistency checking
maintaining consistency
databases
information retrieval
search engine
decision making
path consistency
equational theories