This HTML5 document contains 26 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n10http://ja.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
n4:プログラム論理
skos:broader
n4:論理計算
Subject Item
n4:論理計算
rdf:type
skos:Concept
rdfs:label
論理計算
dbo:wikiPageID
4036197
dbo:wikiPageRevisionID
81088361
prop-en:wikiPageUsesTemplate
template-en:仮リンク template-en:Commonscat
skos:broader
n4:形式手法 n4:形式体系 n4:数理論理学 n4:計算機科学における論理
skos:prefLabel
論理計算
prov:wasDerivedFrom
n10:論理計算?oldid=81088361&ns=14
Subject Item
dbpedia-ja:シークエント計算
dct:subject
n4:論理計算
dbo:wikiPageWikiLink
n4:論理計算
Subject Item
dbpedia-ja:タブローの方法
dct:subject
n4:論理計算
dbo:wikiPageWikiLink
n4:論理計算
Subject Item
dbpedia-ja:存在グラフ
dct:subject
n4:論理計算
dbo:wikiPageWikiLink
n4:論理計算
Subject Item
dbpedia-ja:自然演繹
dct:subject
n4:論理計算
dbo:wikiPageWikiLink
n4:論理計算
Subject Item
dbpedia-ja:関係論理
dct:subject
n4:論理計算
dbo:wikiPageWikiLink
n4:論理計算
Subject Item
dbpedia-ja:隠れ代数
dct:subject
n4:論理計算
dbo:wikiPageWikiLink
n4:論理計算
Subject Item
dbpedia-wikidata:Q8601388
owl:sameAs
n4:論理計算