Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Conservativity_theorem> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Conservativity_theorem wikiPageID "2101754".
- Conservativity_theorem wikiPageLength "1904".
- Conservativity_theorem wikiPageOutDegree "10".
- Conservativity_theorem wikiPageRevisionID "632731011".
- Conservativity_theorem wikiPageWikiLink Axiom.
- Conservativity_theorem wikiPageWikiLink Category:Mathematical_logic.
- Conservativity_theorem wikiPageWikiLink Category:Proof_theory.
- Conservativity_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Conservativity_theorem wikiPageWikiLink Conservative_extension.
- Conservativity_theorem wikiPageWikiLink First-order_logic.
- Conservativity_theorem wikiPageWikiLink First-order_theory.
- Conservativity_theorem wikiPageWikiLink Formal_language.
- Conservativity_theorem wikiPageWikiLink Functional_predicate.
- Conservativity_theorem wikiPageWikiLink Mathematical_logic.
- Conservativity_theorem wikiPageWikiLinkText "Conservativity theorem".
- Conservativity_theorem hasPhotoCollection Conservativity_theorem.
- Conservativity_theorem wikiPageUsesTemplate Template:Logic-stub.
- Conservativity_theorem wikiPageUsesTemplate Template:Mathlogic-stub.
- Conservativity_theorem subject Category:Mathematical_logic.
- Conservativity_theorem subject Category:Proof_theory.
- Conservativity_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Conservativity_theorem type Field.
- Conservativity_theorem type Proof.
- Conservativity_theorem type Theorem.
- Conservativity_theorem label "Conservativity theorem".
- Conservativity_theorem sameAs m.06m792.
- Conservativity_theorem sameAs Q5163116.
- Conservativity_theorem sameAs Q5163116.
- Conservativity_theorem wasDerivedFrom Conservativity_theorem?oldid=632731011.
- Conservativity_theorem isPrimaryTopicOf Conservativity_theorem.