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 :
Concept
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
Property
Value
dbo:
wikiPageID
3086440
(xsd:integer)
dbo:
wikiPageRevisionID
77628542
(xsd:integer)
prop-ja:
wikiPageUsesTemplate
template-ja
:Commons_cat_multi
template-ja
:See_also
template-ja
:数学共有ウォッチリスト
rdf:
type
skos
:Concept
rdfs:
label
計算可能性理論
(ja)
計算可能性理論
(ja)
skos:
broader
dbpedia-ja
:Category:数理論理学
dbpedia-ja
:Category:計算理論
skos:
prefLabel
計算可能性理論
(ja)
計算可能性理論
(ja)
skos:
related
dbpedia-ja
:Category:計算理論
prov:
wasDerivedFrom
wikipedia-ja
:Category:計算可能性理論?oldid=77628542&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:ELEMENTARY
dbpedia-ja
:Smn定理
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
:緩成長階層
dbpedia-ja
:計算可能性理論
dbpedia-ja
:計算可能数
dbpedia-ja
:計算可能解析学
dbpedia-ja
:帰納的集合
dbpedia-ja
:ポストの定理
is
dct:
subject
of
dbpedia-ja
:ELEMENTARY
dbpedia-ja
:Smn定理
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
:緩成長階層
dbpedia-ja
:計算可能性理論
dbpedia-ja
:計算可能数
dbpedia-ja
:計算可能解析学
dbpedia-ja
:帰納的集合
dbpedia-ja
:ポストの定理
is
owl:
sameAs
of
dbpedia-wikidata
:計算可能性理論
is
skos:
broader
of
dbpedia-ja
:Category:再帰
dbpedia-ja
:Category:決定不能問題
dbpedia-ja
:Category:計算可能性理論の研究者
dbpedia-ja
:Category:還元_(計算複雑性理論)
dbpedia-ja
:Category:コンビネータ論理
dbpedia-ja
:Category:チューリングマシン
dbpedia-ja
:Category:ハイパーコンピュテーション
dbpedia-ja
:Category:ラムダ計算
dbpedia-ja
:Category:エフェクティブ記述集合論
dbpedia-ja
:Category:計算可能解析学