This HTML5 document contains 53 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

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