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: http://ja.dbpedia.org/resource/Template:Mathematical_logic

An Entity of Type : Thing, from Named Graph : http://ja.dbpedia.org, within Data Space : ja.dbpedia.org

Property Value
dbo:wikiPageID
  • 3581919 (xsd:integer)
dbo:wikiPageRevisionID
  • 90811934 (xsd:integer)
prop-en:wikiPageUsesTemplate
  • template-en:Navbox
  • template-en:仮リンク
  • template-en:ドキュメント
  • template-en:Longitem
prov:wasDerivedFrom
  • http://ja.wikipedia.org/wiki/Template:Mathematical_logic?oldid=90811934&ns=10
is prop-en:wikiPageUsesTemplate of
  • template-en:Mathematical_logic/doc
  • 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:Q18655775
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