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
3207623
(xsd:integer)
dbo:
wikiPageRevisionID
74594131
(xsd:integer)
prop-ja:
wikiPageUsesTemplate
template-ja
:数学共有ウォッチリスト
rdf:
type
skos
:Concept
rdfs:
label
数学基礎論の定理
(ja)
数学基礎論の定理
(ja)
skos:
broader
dbpedia-ja
:Category:数学の定理
dbpedia-ja
:Category:数学基礎論
dbpedia-ja
:Category:数理論理学
skos:
prefLabel
数学基礎論の定理
(ja)
数学基礎論の定理
(ja)
prov:
wasDerivedFrom
wikipedia-ja
:Category:数学基礎論の定理?oldid=74594131&ns=14
is
dbo:
wikiPageWikiLink
of
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
:エルブランの定理
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
:数学基礎論の定理