About DBpedia
  • 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
  • 1170065 (xsd:integer)
dbo:wikiPageLength
  • 20 (xsd:nonNegativeInteger)
dbo:wikiPageRedirects
  • dbpedia-ja:ペアノの公理
dbo:wikiPageRevisionID
  • 15111692 (xsd:integer)
dbo:wikiPageWikiLink
  • dbpedia-ja:ペアノの公理
rdfs:label
  • ペアノ算術 (ja)
  • ペアノ算術 (ja)
owl:sameAs
  • freebase:ペアノ算術
prov:wasDerivedFrom
  • http://ja.wikipedia.org/wiki/ペアノ算術?oldid=15111692&ns=0
foaf:isPrimaryTopicOf
  • http://ja.wikipedia.org/wiki/ペアノ算術
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:証明可能性論理
is foaf:primaryTopic of
  • http://ja.wikipedia.org/wiki/ペアノ算術
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License