Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
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:
thumbnail
wiki-commons
:Special:FilePath/10,000_digits_of_pi_-_poster.svg?width=300
dbo:
wikiPageExternalLink
http://eccc.uni-trier.de/static/books/A_Simple_Introduction_to_Computable_Analysis_Fragments_of_a_Book/
https://eudml.org/doc/281227
http://www.abelard.org/turpap2/tp2-ie.asp
http://doc.rero.ch/record/304204/files/S0022481200105663.pdf
https://archive.org/details/computationfinit0000mins
https://books.google.com/books%3Fid=KqeXZ4pPd5QC&pg=PA363
https://books.google.com/books%3Fid=oN5nsPkXhhsC
https://github.com/blambov/RealLib
dbo:
wikiPageID
4673269
(xsd:integer)
dbo:
wikiPageLength
13795
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
91903653
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:ほとんど全ての
dbpedia-ja
:Category:計算可能性理論
dbpedia-ja
:Category:計算理論
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
:測度論
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
:Specker_sequence
dbpedia-ja
:決定不能問題
dbpedia-ja
:Ernst_Specker
dbpedia-ja
:Henry_Gordon_Rice
dbpedia-ja
:Hyperarithmetic_hierarchy
dbpedia-ja
:Nested_sequences_of_intervals
dbpedia-ja
:Real_RAM
dbpedia-ja
:Semicomputable_function
dbpedia-ja
:Subcountable
dbpedia-ja
:Table-maker's_dilemma
dbpedia-ja
:Transcomputational_problem
dbpedia-ja
:ファイル:10,000_digits_of_pi_-_poster.svg
dbpedia-ja
:収束係数
dbpedia-ja
:計算可枚挙
dbpedia-ja
:計算可能体
dbpedia-ja
:誤差限界
dbpedia-ja
:順序同型
prop-ja:
date
September 2019
(ja)
September 2019
(ja)
prop-ja:
reason
Give a source for each naming variant.
(ja)
Give a source for each naming variant.
(ja)
prop-ja:
wikiPageUsesTemplate
template-ja
:Cite_book
template-ja
:Cite_journal
template-ja
:Cite_web
template-ja
:Cn
template-ja
:Quote
template-ja
:Refbegin
template-ja
:Refend
template-ja
:Reflist
template-ja
:Sfnp
template-ja
:Number_systems
dct:
subject
dbpedia-ja
:Category:計算可能性理論
dbpedia-ja
:Category:計算理論
rdfs:
label
計算可能数
(ja)
計算可能数
(ja)
prov:
wasDerivedFrom
wikipedia-ja
:計算可能数?oldid=91903653&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/10,000_digits_of_pi_-_poster.svg
foaf:
isPrimaryTopicOf
wikipedia-ja
:計算可能数
is
dbo:
wikiPageWikiLink
of
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
foaf:
primaryTopic
of
wikipedia-ja
:計算可能数