About: Metatheorems

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	25004140 (xsd:integer)
dbo:wikiPageRevisionID	547706782 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Metatheorems (en)
skos:broader	dbc:Theorems dbc:Metalogic
skos:prefLabel	Metatheorems (en)
prov:wasDerivedFrom	wikipedia-en:Category:Metatheorems?oldid=547706782&ns=14
is dbo:wikiPageWikiLink of	dbr:Entscheidungsproblem dbr:Löb's_theorem dbr:Metatheorem dbr:Deduction_theorem dbr:Gentzen's_consistency_proof dbr:Löwenheim–Skolem_theorem dbr:Compactness_theorem dbr:Gödel's_completeness_theorem dbr:Lindström's_theorem dbr:Barwise_compactness_theorem dbr:Gödel's_incompleteness_theorems dbr:Herbrand's_theorem dbr:Courcelle's_theorem dbr:Abstract_model_theory dbr:Frege's_theorem dbr:Tarski's_undefinability_theorem
is dcterms:subject of	dbr:Entscheidungsproblem dbr:Löb's_theorem dbr:Metatheorem dbr:Deduction_theorem dbr:Gentzen's_consistency_proof dbr:Löwenheim–Skolem_theorem dbr:Compactness_theorem dbr:Gödel's_completeness_theorem dbr:Lindström's_theorem dbr:Barwise_compactness_theorem dbr:Gödel's_incompleteness_theorems dbr:Herbrand's_theorem dbr:Courcelle's_theorem dbr:Abstract_model_theory dbr:Frege's_theorem dbr:Tarski's_undefinability_theorem
is skos:broader of	dbc:Theorems_in_the_foundations_of_mathematics

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License