Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Reverse_mathematics> ?p ?o }
- Reverse_mathematics wikiPageUsesTemplate Template:Elucidate.
- Reverse_mathematics wikiPageUsesTemplate Template:Harv.
- Reverse_mathematics wikiPageUsesTemplate Template:Harvs.
- Reverse_mathematics wikiPageUsesTemplate Template:Harvtxt.
- Reverse_mathematics wikiPageUsesTemplate Template:Su.
- Reverse_mathematics year "1975".
- Reverse_mathematics year "1976".
- Reverse_mathematics subject Category:Computability_theory.
- Reverse_mathematics subject Category:Mathematical_logic.
- Reverse_mathematics subject Category:Proof_theory.
- Reverse_mathematics hypernym Program.
- Reverse_mathematics type Work.
- Reverse_mathematics type Field.
- Reverse_mathematics type Proof.
- Reverse_mathematics type Redirect.
- Reverse_mathematics comment "Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as \"going backwards from the theorems to the axioms\", in contrast to the ordinary mathematical practice of deriving theorems from axioms.".
- Reverse_mathematics label "Reverse mathematics".
- Reverse_mathematics sameAs Q2005236.
- Reverse_mathematics sameAs Reverse_Mathematik.
- Reverse_mathematics sameAs Mathématiques_à_rebours.
- Reverse_mathematics sameAs Matematica_inversa.
- Reverse_mathematics sameAs 逆数学.
- Reverse_mathematics sameAs m.01w5v1.
- Reverse_mathematics sameAs Tersine_matematik.
- Reverse_mathematics sameAs Q2005236.
- Reverse_mathematics sameAs 逆数学.
- Reverse_mathematics wasDerivedFrom Reverse_mathematics?oldid=696554705.
- Reverse_mathematics isPrimaryTopicOf Reverse_mathematics.