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 : Concept, from Named Graph : http://ja.dbpedia.org, within Data Space : ja.dbpedia.org

Property Value
dbo:wikiPageID
  • 4036197 (xsd:integer)
dbo:wikiPageRevisionID
  • 81088361 (xsd:integer)
prop-ja:wikiPageUsesTemplate
  • template-ja:Commonscat
  • template-ja:仮リンク
rdf:type
  • skos:Concept
rdfs:label
  • 論理計算 (ja)
  • 論理計算 (ja)
skos:broader
  • dbpedia-ja:Category:形式体系
  • dbpedia-ja:Category:形式手法
  • dbpedia-ja:Category:数理論理学
  • dbpedia-ja:Category:計算機科学における論理
skos:prefLabel
  • 論理計算 (ja)
  • 論理計算 (ja)
prov:wasDerivedFrom
  • wikipedia-ja:Category:論理計算?oldid=81088361&ns=14
is dbo:wikiPageWikiLink of
  • 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:隠れ代数
is owl:sameAs of
  • dbpedia-wikidata:論理計算
is skos:broader of
  • dbpedia-ja:Category:プログラム論理
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