This HTML5 document contains 24 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-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n9http://ja.wikipedia.org/wiki/Category:
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n2http://ja.dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
n2:時相論理
rdf:type
skos:Concept
rdfs:label
時相論理
skos:broader
n2:並行性 n2:計算機科学における論理 n2:形式手法 n2:形式仕様記述言語 n2:様相論理 n2:時空の哲学
skos:prefLabel
時相論理
dbo:wikiPageID
3451381
dbo:wikiPageRevisionID
86809880
prop-ja:wikiPageUsesTemplate
template-ja:Pathnav template-ja:Pathnavbox template-ja:Commons_cat_multi
prov:wasDerivedFrom
n9:時相論理?oldid=86809880&ns=14
Subject Item
dbpedia-ja:アミール・プヌーリ
dct:subject
n2:時相論理
dbo:wikiPageWikiLink
n2:時相論理
Subject Item
dbpedia-ja:時相論理
dct:subject
n2:時相論理
dbo:wikiPageWikiLink
n2:時相論理
Subject Item
dbpedia-ja:計算木論理
dct:subject
n2:時相論理
dbo:wikiPageWikiLink
n2:時相論理
Subject Item
dbpedia-ja:線形時相論理
dct:subject
n2:時相論理
dbo:wikiPageWikiLink
n2:時相論理
Subject Item
dbpedia-wikidata:Q8842299
owl:sameAs
n2:時相論理