About: Well-structured transition system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/UpwardCompatibilityDiagramForWSTS.svg?width=300
dbo:wikiPageWikiLink	dbr:Coverability dbr:File:UpwardCompatibilityDiagramForWSTS.svg dbr:Well-quasi-ordering dbc:Automata_(computation) dbr:Decidability_(logic) dbr:Preorder dbr:Reflexive_relation dbr:Computability dbr:Transition_system dbr:Computer_science dbr:Binary_relation dbc:Wellfoundedness dbr:Transitive_relation dbr:Formal_verification dbr:Ideal_(order_theory) dbr:Petri_nets dbr:Decidable_language dbr:Quasi-ordering
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Automata_(computation) dbc:Wellfoundedness
gold:hypernym	dbr:Class
rdfs:label	Well-structured transition system (en)
owl:sameAs	freebase:Well-structured transition system wikidata:Well-structured transition system dbpedia-global:Well-structured transition system
prov:wasDerivedFrom	wikipedia-en:Well-structured_transition_system?oldid=1237554747&ns=0
foaf:depiction	wiki-commons:Special:FilePath/UpwardCompatibilityDiagramForWSTS.svg
foaf:isPrimaryTopicOf	wikipedia-en:Well-structured_transition_system
is dbo:wikiPageDisambiguates of	dbr:WSTS_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:WSTS_(disambiguation) dbr:Widening_(computer_science)
is foaf:primaryTopic of	wikipedia-en:Well-structured_transition_system

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International