PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Transition systems
Transition systems
Concept
http://dbpedia.org/resource/Category:Transition_systems
Action language
Bisimulation
Kripke structure (model checking)
Simulation (computer science)
Stutter bisimulation
Link from a Wikipage to another Wikipage
Action language
Bisimulation
Kripke structure (model checking)
Simulation (computer science)
Stutter bisimulation
subject
Transition systems
Concept
http://dbpedia.org/resource/Category:Transition_systems
Wikipage page ID
64,566,544
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
968,002,332
http://www.w3.org/2001/XMLSchema#integer
wikiPageUsesTemplate
Template:Cat_main
type
Concept
label
Transition systems
@en
broader
Model checking
Models of computation
prefLabel
Transition systems
@en
wasDerivedFrom
Category:Transition_systems?oldid=968002332&ns=14