About: Bisimulation

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Bisimulation Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Bisimulation (en) Bisimulation (fr) Bissimulação (pt) 双模倣性 (ja)
rdfs:comment	En informatique théorique, une bisimulation est une relation binaire entre systèmes de transition d'états, associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa. Intuitivement, deux systèmes sont bisimilaires s'ils sont capables de s'imiter l'un l'autre. Dans cette optique, les systèmes ne peuvent être distingués l'un de l'autre par un observateur. (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/bisimulation http://www.omegawiki.org/DefinedMeaning:955682
sameAs	Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation Bisimulation
Wikipage page ID	823935 (xsd:integer)
Wikipage revision ID	173600813 (xsd:integer)
dbo:wikiPageWikiLink	First-order logic category-fr:Informatique_théorique category-fr:Logique category-fr:Méthode_formelle Congruence Theoretical computer science dbpedia-fr:Langage_de_programmation dbpedia-fr:Logique_modale dbpedia-fr:Logique_monadique_du_second_ordre Modal μ-calculus Simulation (computer science) Binary relation Equivalence relation Kripke structure (model checking) dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Sémantique_opérationnelle Tau
page length (characters) of wiki page	5139 (xsd:nonNegativeInteger)
dct:subject	category-fr:Informatique_théorique category-fr:Logique category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:À_sourcer
prov:wasDerivedFrom	wikipedia-fr:Bisimulation?oldid=173600813&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Bisimulation
has abstract	En informatique théorique, une bisimulation est une relation binaire entre systèmes de transition d'états, associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa. Intuitivement, deux systèmes sont bisimilaires s'ils sont capables de s'imiter l'un l'autre. Dans cette optique, les systèmes ne peuvent être distingués l'un de l'autre par un observateur. (fr)
is dbo:wikiPageWikiLink of	Reinforcement learning First-order logic dbpedia-fr:Coinduction Descriptive complexity theory dbpedia-fr:Distributeur_(théorie_des_catégories) dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Prix_EATCS Simulation (computer science) dbpedia-fr:Robin_Milner dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Théorie_des_ensembles_non_bien_fondés dbpedia-fr:Bissimulation
is Wikipage redirect of	dbpedia-fr:Bissimulation
is oa:hasTarget of	Pt labels Ja labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Bisimulation

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 10 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software