{"entities":{"Q800736":{"pageid":802584,"ns":120,"title":"Item:Q800736","lastrevid":48756094,"modified":"2026-01-05T19:16:29Z","type":"item","id":"Q800736","labels":{"en":{"language":"en","value":"On graph rewritings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878383"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$BDBCC4ED-2EFF-4391-BB0D-D8E73FBC6C13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9091b6343ab99b1b2a3b8bb851907b794b491a04","datavalue":{"value":{"text":"On graph rewritings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800736$C2AE84BD-0469-43B2-A962-410A17843C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9df13f79fa1fc9d695f16f0738ae5f97ccf40183","datavalue":{"value":"0551.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800736$85EA6B9F-639F-4616-815A-DE37C9563194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb2f1f67b1a4a2911cd558826136241f740ac04b","datavalue":{"value":"10.1016/0304-3975(84)90021-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800736$EAC3EED7-0983-46ED-9540-B34B47DEBCAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b635c4a9aa15b39065cada86496465d1b2fe7add","datavalue":{"value":{"entity-type":"item","numeric-id":800735,"id":"Q800735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$30B21103-18F8-400A-AEC8-1BA8617DCD18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$C7798974-F186-4DB4-942F-F465D2458C1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800736$794584A0-B014-405D-9BE4-06AA1C7B575D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"41cf832be89543ac303fe82627a95491fd29796f","datavalue":{"value":"This paper deals with rewriting of directed ordered graphs over a graded alphabet G. The author shows that if graphs are represented by vertices and edges direct derivations accordin to \\textit{H. Ehrig}, \\textit{M. Pfender}, and \\textit{H. J. Schneider} [Graph Grammars: an algebraic approach, Proc. 14th Annual Conf. Switching Automata Theory, 167-180 (1973)] can be simulated using a single push-out of partial morphisms. In the following graphs representing terms of the free G-algebra over a given set of variables are considered. Let A, B, C be graphs, \\(f: A\\to B\\) a total function and \\(g: A\\to C\\) be an occurrence, then the push-out of f and g yields a unique graph structure D provided that certain conditions are satisfied. If A, B, C represent terms exp(A), exp(B), exp(C) and f is associated with a term rewriting rule exp(A)\\(\\to \\exp (B)\\), then D represents a term exp(D) which one obtains by applying the rule exp(A)\\(\\to \\exp (B)\\) to exp(C). Finally the author gives a necessary and sufficient condition for local confluence of a final system of graph rewriting rules associated with term rewriting rules. In the framework of graph grammars according to the Berlin School a similar result holds using the embedding theorem [cf. \\textit{H. Ehrig}, Lect. Notes Comput. Sci. 73, 1-69 (1979; Zbl 0407.68072)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q800736$8811B725-699F-42D9-988A-1DBEFFFB76AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800736$210CBB72-0BEB-4730-8990-420426C3FE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800736$91AEB9BE-53AF-4E32-970D-D1A71826865A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4865d58436131ea28975f3dab048bb335b43a908","datavalue":{"value":"3878383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800736$7882B2F9-B9EC-4217-B934-DCB1494AC88E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336f2be9956a1184564fceaa16d494aaef70c1cb","datavalue":{"value":"local confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q800736$EBA027A1-D3F8-40DF-ADBF-676E25AE90C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q800736$E10F056E-38C7-48D5-AD21-0DF6CC9A99A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q800736$ACC02220-A848-4B64-8C16-7B7AA3EA35CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10aada1bcebcea30af443e4c20bac92e26c0b2a7","datavalue":{"value":"graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q800736$A880901C-3004-4B87-BCD6-228AA0FA3FED","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$3E0A3BED-2568-480B-BEEF-41AFFC45FEA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72b2a836665effa64dab65a79ae8107a3232d9d1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90021-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q800736$D4946E41-2EE8-44C7-8C89-A3F2C78933A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b57f88b54731849f63d934dd0a733fcd96b802a","datavalue":{"value":"W2092445638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800736$8EFD657E-27AE-4DC8-96CD-5BD447425D8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$29F2E579-3646-4C2B-96BB-90CA11D3F93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee4b3dff32df37da8a420ca50710cdb5fb22f6","datavalue":{"value":{"entity-type":"item","numeric-id":5657644,"id":"Q5657644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$DDFE503E-A200-4757-8D8A-89919DBDE6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$10CD18A8-8D3A-4FA7-A77A-CC0429C600BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$6FDAE6B6-3058-4254-BE8E-D9C8B2C0E730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73ff375e77f6f059157734d8521bed22a725826","datavalue":{"value":{"entity-type":"item","numeric-id":4051641,"id":"Q4051641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800736$3E594F8E-CD8C-46FC-A64C-E5D48A2DDA37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d1bab6934178f0cd6662a8827c259ce640cf3a","datavalue":{"value":{"entity-type":"item","numeric-id":4037323,"id":"Q4037323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167edf0e96d05f987c484aaf12ab400674c61c3a","datavalue":{"value":{"amount":"+0.8498548865318298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800736$A877D6AB-6BB7-48AF-A68E-41472DB89979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31c7ed2c2ee183ab26e9c12245da5fc8faff7e5","datavalue":{"value":{"entity-type":"item","numeric-id":4028126,"id":"Q4028126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167edf0e96d05f987c484aaf12ab400674c61c3a","datavalue":{"value":{"amount":"+0.8498548865318298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800736$3C7654A8-56B7-4777-BCDA-04B0FECED7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edeccf5f6a0300858d99390cc80ff527ff6657ad","datavalue":{"value":{"entity-type":"item","numeric-id":4282581,"id":"Q4282581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0b6b89e6c1b4d51e92fed8b1e9b02252b23cef","datavalue":{"value":{"amount":"+0.8496115803718567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800736$21000355-CCCA-4543-ADC2-A439D7D810FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c981e4d257a8ca320cd25e4d0b42b4617bc91b","datavalue":{"value":{"entity-type":"item","numeric-id":3785986,"id":"Q3785986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0b6b89e6c1b4d51e92fed8b1e9b02252b23cef","datavalue":{"value":{"amount":"+0.8496115803718567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800736$59A5CFED-2062-4C92-BEB8-1015A02FEFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f218a549a905088e909055098bb7ef7a9a5507c","datavalue":{"value":{"entity-type":"item","numeric-id":672753,"id":"Q672753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cf8f1a516cb66d37dfbbde07279abbdc165713","datavalue":{"value":{"amount":"+0.8352367877960205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800736$1AE0F10E-017E-4295-ADB6-9356EF803C00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:800736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:800736"}}}}}