Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Foundations of mathematics
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
44555438
(xsd:integer)
dbo:
wikiPageRevisionID
1062502310
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commonscat
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Foundations of mathematics
(en)
skos:
broader
dbc
:Fields_of_mathematics
skos:
prefLabel
Foundations of mathematics
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Foundations_of_mathematics?oldid=1062502310&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Multiverse_(set_theory)
dbr
:Dependent_type
dbr
:Homotopy_type_theory
dbr
:Univalent_foundations
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:∞-topos
dbr
:Intuitionistic_type_theory
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Category_of_sets
dbr
:Foundations_of_geometry
dbr
:Foundations_of_mathematics
dbr
:Higher_category_theory
dbr
:Topos
dbr
:Axiom_of_reducibility
dbr
:Category_theory
dbr
:Relationship_between_mathematics_and_physics
dbr
:∞-groupoid
is
dcterms:
subject
of
dbr
:Multiverse_(set_theory)
dbr
:Dependent_type
dbr
:Homotopy_type_theory
dbr
:Univalent_foundations
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:∞-topos
dbr
:Intuitionistic_type_theory
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Category_of_sets
dbr
:Foundations_of_geometry
dbr
:Foundations_of_mathematics
dbr
:Higher_category_theory
dbr
:Topos
dbr
:Axiom_of_reducibility
dbr
:Category_theory
dbr
:Relationship_between_mathematics_and_physics
dbr
:∞-groupoid
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