About: ライス＝シャピロの定理

Property	Value
dbo:abstract	計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。 (ja) 計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。 (ja)
dbo:wikiPageID	3106462 (xsd:integer)
dbo:wikiPageLength	5233 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	91553323 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:計算可能性理論 dbpedia-ja:Smn定理 dbpedia-ja:多対一還元 dbpedia-ja:ナンバリング_(計算可能性理論) dbpedia-ja:ライスの定理 dbpedia-ja:停止性問題 dbpedia-ja:再帰理論 dbpedia-ja:Category:数学のエポニム dbpedia-ja:決定可能 dbpedia-ja:帰納的関数 dbpedia-ja:帰納的可算
prop-ja:wikiPageUsesTemplate	template-ja:Comp-stub template-ja:Cite_book template-ja:Lang-en-short template-ja:Reflist
dct:subject	dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:計算可能性理論 dbpedia-ja:Category:数学のエポニム
rdfs:comment	計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。 (ja) 計算可能性理論において、ライス＝シャピロの定理（英: Rice-Shapiro theorem）とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。 (ja)
rdfs:label	ライス＝シャピロの定理 (ja) ライス＝シャピロの定理 (ja)
owl:sameAs	freebase:ライス＝シャピロの定理
prov:wasDerivedFrom	wikipedia-ja:ライス＝シャピロの定理?oldid=91553323&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:ライス＝シャピロの定理
is dbo:wikiPageWikiLink of	dbpedia-ja:ライスの定理
is owl:sameAs of	dbpedia-wikidata:ライス＝シャピロの定理
is foaf:primaryTopic of	wikipedia-ja:ライス＝シャピロの定理