CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Work_by_Kurt_Gödel
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Work by Kurt Gödel
rdfs:
subClassOf
Work by American writers
Work by Austrian writers
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Works_by_Kurt_G%C3%B6del
is
rdf:
type
of
Gödel's speed-up theorem
Gödel's incompleteness theorems
Von Neumann–Bernays–Gödel set theory
Constructible universe
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Gödel's completeness theorem
Gödel metric
Original proof of Gödel's completeness theorem
Gödel numbering
Gödel's ontological proof