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

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

PrefixNamespace IRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
category-dehttp://de.dbpedia.org/resource/Kategorie:
dbohttp://dbpedia.org/ontology/
n13http://de.wikipedia.org/wiki/Bisimulation?oldid=
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n11http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-dehttp://de.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-dehttp://de.dbpedia.org/property/
Subject Item
dbpedia-de:Bisimulation
rdf:type
owl:Thing
rdfs:label
Bisimulation
rdfs:comment
In der theoretischen Informatik ist eine Bisimulation eine Relation zwischen den Zuständen eines Transitionssystems, die solche Zustände miteinander in Beziehung setzt, die sich gleich verhalten. Das bedeutet, dass der eine Zustand die Übergänge des anderen simulieren kann und umgekehrt. Anschaulich gesprochen sind zwei Zustände bisimilar, wenn ihre möglichen Züge übereinstimmen. In diesem Sinne können sie von einem außenstehenden Beobachter nicht voneinander unterschieden werden.
owl:sameAs
dbpedia-cs:Bisimulace dbpedia-it:Bisimulazione dbr:Bisimulation n11:023gx4 dbpedia-ja:双模倣性 wikidata:Q866364 dbpedia-fr:Bisimulation dbpedia-pt:Bissimulação dbpedia-wikidata:Q866364
dct:subject
category-de:Automatentheorie
foaf:isPrimaryTopicOf
wikipedia-de:Bisimulation
dbo:wikiPageID
1273101
dbo:wikiPageRevisionID
138679750
prop-de:typ
s
prov:wasDerivedFrom
n13:138679750
dbo:abstract
In der theoretischen Informatik ist eine Bisimulation eine Relation zwischen den Zuständen eines Transitionssystems, die solche Zustände miteinander in Beziehung setzt, die sich gleich verhalten. Das bedeutet, dass der eine Zustand die Übergänge des anderen simulieren kann und umgekehrt. Anschaulich gesprochen sind zwei Zustände bisimilar, wenn ihre möglichen Züge übereinstimmen. In diesem Sinne können sie von einem außenstehenden Beobachter nicht voneinander unterschieden werden.
dbo:individualisedGnd
4619739-4
Subject Item
wikipedia-de:Bisimulation
foaf:primaryTopic
dbpedia-de:Bisimulation