About: http://dbpedia.org/resource/Diaconescu's

Property	Value
dbo:wikiPageWikiLink	dbr:Finite_set dbr:Axiom_of_extensionality dbc:Set_theory dbr:Errett_Bishop dbr:Proposition dbr:John_Myhill dbr:Choice_function dbr:Set-builder_notation dbr:Heyting_arithmetic dbc:Axiom_of_choice dbc:Constructivism_(mathematics) dbr:Axiom_of_specification dbr:Mathematical_logic dbr:Bijection dbr:Natural_number dbr:Axiom_of_choice dbr:Constructive_set_theory dbr:Axiom_schema_of_predicative_separation dbr:Law_of_the_excluded_middle dbr:Constructive_type_theory dbr:Dedekind-infinite
dbp:wikiPageUsesTemplate	dbt:Cn
dct:subject	dbc:Set_theory dbc:Axiom_of_choice dbc:Constructivism_(mathematics)
rdfs:label	Diaconescu's theorem (en) Satz von Diaconescu-Goodman-Myhill (de) Théorème de Diaconescu (fr)
owl:sameAs	freebase:m.04cvl21 wikidata:Q3527059 dbpedia-de:Satz_von_Diaconescu-Goodman-Myhill dbpedia-fr:Théorème_de_Diaconescu dbpedia-global:3FPnZ
prov:wasDerivedFrom	wikipedia-en:Diaconescu's_theorem?oldid=1281032736&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Diaconescu's_theorem
is dbo:wikiPageRedirects of	dbr:Diaconescu-Goodman-Myhill_theorem dbr:Diaconescu_theorem dbr:Diaconescu–Goodman–Myhill_theorem dbr:Goodman-Myhill-Diaconescu_theorem dbr:Goodman-Myhill_theorem dbr:Goodman–Myhill_theorem dbr:Goodman–Myhill–Diaconescu_theorem
is dbo:wikiPageWikiLink of	dbr:Constructive_proof dbr:Axiom_of_choice dbr:Constructive_set_theory dbr:Diaconescu-Goodman-Myhill_theorem dbr:Diaconescu_theorem dbr:Diaconescu–Goodman–Myhill_theorem dbr:Goodman-Myhill-Diaconescu_theorem dbr:Goodman-Myhill_theorem dbr:Goodman–Myhill_theorem dbr:Goodman–Myhill–Diaconescu_theorem
is foaf:primaryTopic of	wikipedia-en:Diaconescu's_theorem

About: http://dbpedia.org/resource/Diaconescu's_theorem