About: Widening (computer science)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Related to computer science

Property	Value
dbo:description	related to computer science (en)
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Petri_net dbr:Abstract_interpretation dbc:Abstract_interpretation dbr:Transition_system dbr:Least_fixed_point dbr:Computer_science dbr:Symbolic_model_checking dbr:Formal_semantics_of_programming_languages dbr:Well-structured_transition_system dbr:Abstraction_model_checking dbr:Channel_systems dbr:Counter_systems dbr:Coverability_graph dbr:Pushdown_systems
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Abstract_interpretation
rdfs:label	Widening (computer science) (en)
owl:sameAs	wikidata:Widening (computer science) dbpedia-global:Widening (computer science) dbr:Widening (computer science)
prov:wasDerivedFrom	wikipedia-en:Widening_(computer_science)?oldid=1264020564&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Widening_(computer_science)
is dbo:wikiPageDisambiguates of	dbr:Widening
is dbo:wikiPageWikiLink of	dbr:Abstract_interpretation dbr:Widening
is foaf:primaryTopic of	wikipedia-en:Widening_(computer_science)

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