Craig's_theorem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:description	mathematical theorem (en)
dbo:wikiPageWikiLink	dbr:Axiomatization dbr:Carl_Gustav_Hempel dbc:Computability_theory dbr:Craig_interpolation dbc:Theorems_in_the_foundations_of_mathematics dbr:Well-formed_formula dbr:Deductive_closure dbr:William_Craig_(philosopher) dbr:Mathematical_logic dbr:Hilary_Putnam dbr:Kleene's_T_predicate dbr:First-order_language dbr:Recursively_enumerable_set dbr:Primitive_recursive
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Computability_theory dbc:Theorems_in_the_foundations_of_mathematics
rdfs:label	Craig's theorem (en)
owl:sameAs	freebase:m.0274f6d yago-res:Craig's_theorem wikidata:Q5180651 dbpedia-global:4iPzd dbr:Craig's_theorem
prov:wasDerivedFrom	wikipedia-en:Craig's_theorem?oldid=1234936011&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Craig's_theorem
is dbo:wikiPageRedirects of	dbr:Craig's_Theorem dbr:Craig_theorem
is dbo:wikiPageWikiLink of	dbr:Index_of_philosophy_articles_(A–C) dbr:William_Craig_(philosopher) dbr:Theorem dbr:Finite_model_property dbr:List_of_theorems dbr:Craig's_Theorem dbr:Craig_theorem
is foaf:primaryTopic of	wikipedia-en:Craig's_theorem

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International