Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Proof_mining> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Proof_mining abstract "In proof theory, a branch of mathematical logic, proof mining (or unwinding) is a research program that analyzes formalized proofs, especially in analysis, to obtain explicit bounds or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.This research has led to improved results in analysis obtained from the analysis of classical proofs.".
- Proof_mining wikiPageExternalLink oliva03proof.html.
- Proof_mining wikiPageID "14484306".
- Proof_mining wikiPageRevisionID "442037556".
- Proof_mining hasPhotoCollection Proof_mining.
- Proof_mining subject Category:Proof_theory.
- Proof_mining comment "In proof theory, a branch of mathematical logic, proof mining (or unwinding) is a research program that analyzes formalized proofs, especially in analysis, to obtain explicit bounds or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.This research has led to improved results in analysis obtained from the analysis of classical proofs.".
- Proof_mining label "Proof mining".
- Proof_mining sameAs m.03d4zgz.
- Proof_mining sameAs Q7250003.
- Proof_mining sameAs Q7250003.
- Proof_mining wasDerivedFrom Proof_mining?oldid=442037556.
- Proof_mining isPrimaryTopicOf Proof_mining.