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
10587
(xsd:integer)
dbo:
wikiPageLength
64
(xsd:nonNegativeInteger)
dbo:
wikiPageRedirects
dbpedia-ja
:停止性問題
dbo:
wikiPageRevisionID
75168202
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:Category:チューリングマシン
dbpedia-ja
:停止性問題
dct:
subject
dbpedia-ja
:Category:チューリングマシン
rdfs:
label
チューリングマシンの停止問題
(ja)
チューリングマシンの停止問題
(ja)
owl:
sameAs
freebase
:チューリングマシンの停止問題
prov:
wasDerivedFrom
wikipedia-ja
:チューリングマシンの停止問題?oldid=75168202&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:チューリングマシンの停止問題
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:PR_(計算複雑性理論)
dbpedia-ja
:Sider
dbpedia-ja
:正当性_(計算機科学)
dbpedia-ja
:還元_(計算複雑性理論)
dbpedia-ja
:ライスの定理
dbpedia-ja
:一階述語論理
dbpedia-ja
:帰納的可算集合
dbpedia-ja
:思考実験
dbpedia-ja
:抽象解釈
dbpedia-ja
:文脈自由文法
dbpedia-ja
:無限ループ
dbpedia-ja
:神託機械
dbpedia-ja
:計算可能性理論
dbpedia-ja
:計算可能関数
dbpedia-ja
:計算理論
dbpedia-ja
:静的コード解析
dbpedia-ja
:Μ再帰関数
dbpedia-ja
:Ω
dbpedia-ja
:ゲーデルの不完全性定理
dbpedia-ja
:コンパイラ最適化
dbpedia-ja
:コード網羅率
dbpedia-ja
:セルフホスティング
is
foaf:
primaryTopic
of
wikipedia-ja
:チューリングマシンの停止問題