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:
http://dbpedia.org/resource/Template:Foundations-footer
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
7365985
(xsd:integer)
dbo:
wikiPageRevisionID
1031057293
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Navbox
prov:
wasDerivedFrom
wikipedia-en
:Template:Foundations-footer?oldid=1031057293&ns=10
is
dbp:
wikiPageUsesTemplate
of
dbr
:Dependent_type
dbr
:Determinacy
dbr
:Homotopy_type_theory
dbr
:Univalent_foundations
dbr
:∞-topos
dbr
:Intuitionistic_type_theory
dbr
:Constructive_set_theory
dbr
:Structuralism_(philosophy_of_mathematics)
dbr
:Category_of_sets
dbr
:Formal_system
dbr
:Foundations_of_mathematics
dbr
:Natural_deduction
dbr
:Hilbert_system
dbr
:Higher_category_theory
dbr
:Topos
dbr
:Axiom_of_reducibility
dbr
:Category_theory
dbr
:∞-groupoid
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License