About: Double pushout graph rewriting

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

Graph rewriting framework

Property	Value
dbo:description	Graph rewriting framework (en)
dbo:wikiPageWikiLink	dbr:Post_correspondence_problem dbr:Coproduct dbr:Monomorphism dbc:Graph_algorithms dbr:Concurrency_(computer_science) dbr:Halting_problem dbr:Adhesive_category dbr:Hypergraph dbr:Computer_science dbr:Attributed_graph dbr:Category_(mathematics) dbr:Span_(category_theory) dbr:Pushout_(category_theory) dbr:Undecidable_problem dbc:Graph_rewriting dbr:Graph_rewriting dbr:Graph_(discrete_mathematics) dbr:Petri_nets dbr:Graph_grammar dbr:Typed_graph
dbp:wikiPageUsesTemplate	dbt:Short_description
dct:subject	dbc:Graph_algorithms dbc:Graph_rewriting
rdfs:label	Double pushout graph rewriting (en)
owl:sameAs	freebase:Double pushout graph rewriting yago-res:Double pushout graph rewriting wikidata:Double pushout graph rewriting dbpedia-global:Double pushout graph rewriting dbr:Double pushout graph rewriting
prov:wasDerivedFrom	wikipedia-en:Double_pushout_graph_rewriting?oldid=1250833428&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Double_pushout_graph_rewriting
is dbo:wikiPageRedirects of	dbr:Double-pushout_approach
is dbo:wikiPageWikiLink of	dbr:DPO dbr:Graph_rewriting dbr:ZX-calculus dbr:Double-pushout_approach
is foaf:primaryTopic of	wikipedia-en:Double_pushout_graph_rewriting

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