Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
完全性定理
An Entity of Type :
Thing
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
Property
Value
dbo:
wikiPageID
800311
(xsd:integer)
dbo:
wikiPageLength
23
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-ja
:ゲーデルの完全性定理
dbo:
wikiPageRevisionID
23898974
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:ゲーデルの完全性定理
rdfs:
label
完全性定理
(ja)
完全性定理
(ja)
owl:
sameAs
freebase
:完全性定理
prov:
wasDerivedFrom
wikipedia-ja
:完全性定理?oldid=23898974&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:完全性定理
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:オルガノン
dbpedia-ja
:ゲーデルの不完全性定理
dbpedia-ja
:ソール・クリプキ
dbpedia-ja
:数理論理学
dbpedia-ja
:様相論理
dbpedia-ja
:算術の超準モデル
dbpedia-ja
:自動定理証明
is
foaf:
primaryTopic
of
wikipedia-ja
:完全性定理