This HTML5 document contains 33 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/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://ja.dbpedia.org/resource/Category:
owlhttp://www.w3.org/2002/07/owl#
wikipedia-jahttp://ja.wikipedia.org/wiki/
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
dbpedia-wikidata:Q866364
owl:sameAs
dbpedia-ja:双模倣性
Subject Item
dbpedia-ja:F余代数
dbo:wikiPageWikiLink
dbpedia-ja:双模倣性
Subject Item
dbpedia-ja:プログラム意味論
dbo:wikiPageWikiLink
dbpedia-ja:双模倣性
Subject Item
dbpedia-ja:プロセス計算
dbo:wikiPageWikiLink
dbpedia-ja:双模倣性
Subject Item
dbpedia-ja:双模倣性
rdfs:label
双模倣性
rdfs:comment
双模倣性(そうもほうせい、Bisimulation)とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。 クリプキモデルは(ラベル付き)状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。
owl:sameAs
freebase:m.023gx4
dct:subject
n11:数学に関する記事 n11:理論計算機科学 n11:形式手法
dbo:wikiPageID
785796
dbo:wikiPageRevisionID
88368712
dbo:wikiPageWikiLink
dbpedia-ja:プログラミング言語 dbpedia-ja:同値関係 dbpedia-ja:理論計算機科学 dbpedia-ja:クリプキ意味論 n11:形式手法 dbpedia-ja:様相論理学 dbpedia-ja:合同 dbpedia-ja:二項関係 n11:理論計算機科学 dbpedia-ja:操作的意味論 dbpedia-ja:状態遷移系 n11:数学に関する記事
prop-ja:wikiPageUsesTemplate
template-ja:Normdaten
dbo:abstract
双模倣性(そうもほうせい、Bisimulation)とは、理論計算機科学における複数の状態遷移系の間の同値関係を意味する。そのようなシステムは、互いに他のシステムの動作をシミュレートできるという意味で同じ動作が可能である。 直感的に言えば、同じ動作をする2つのシステムは「双模倣的」である。その意味で観察者から見て両システムは区別できない。 クリプキモデルは(ラベル付き)状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。
dbo:wikiPageLength
1768
prov:wasDerivedFrom
wikipedia-ja:双模倣性?oldid=88368712&ns=0
foaf:isPrimaryTopicOf
wikipedia-ja:双模倣性
Subject Item
dbpedia-ja:同型写像
dbo:wikiPageWikiLink
dbpedia-ja:双模倣性
Subject Item
dbpedia-ja:操作的意味論
dbo:wikiPageWikiLink
dbpedia-ja:双模倣性
Subject Item
dbpedia-ja:状態遷移系
dbo:wikiPageWikiLink
dbpedia-ja:双模倣性
Subject Item
wikipedia-ja:双模倣性
foaf:primaryTopic
dbpedia-ja:双模倣性