{"entities":{"Q934672":{"pageid":936520,"ns":120,"title":"Item:Q934672","lastrevid":65461119,"modified":"2026-04-12T02:45:05Z","type":"item","id":"Q934672","labels":{"en":{"language":"en","value":"Subobject transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306135"}},"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":"Q934672$C1B450C9-ECED-474B-9D3C-DE925BBEB7AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87841fb9879160812a4a945b81245e7657db99f2","datavalue":{"value":{"text":"Subobject transformation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934672$D5745ABE-5838-4810-85A0-89275600D4FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e278af379f06368d26370e097213b7634c5414b","datavalue":{"value":"1153.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$C8225674-3055-4AF9-9F25-63FA49C62296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$797E3223-851F-4583-B7FF-1885F96F47A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b712c4b4936c4c071bfbc43ba3e62bb6307ef2e","datavalue":{"value":{"entity-type":"item","numeric-id":934671,"id":"Q934671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$FDEB0D60-C9EA-45D5-A816-5A7957225381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd160c8e2499dade66139ebb79e6fb014565bcf","datavalue":{"value":{"entity-type":"item","numeric-id":308154,"id":"Q308154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$BFC96355-CFED-4D58-BF14-2C9E29963E32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$3F6DF36A-3642-4954-84F8-33C162AE5942","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934672$039B694E-A246-4840-B85B-F786ABB3BC5D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"614675a1d34bfc5f713ca313533ddf1779e1fecb","datavalue":{"value":"Subobject Transformation Systems (STS) are presented as a new formal framework for the analysis of derivations of transformation systems based on the algebraic double-pushout (DPO). In the third section of their paper, the authors use them in order to identify some possible relations among rules. These are used to define other derived relations which are shown to coincide with those introduced in the literature for STS arising as processes of DPO rewriting systems.   An interesting and useful auxiliary graphical ``Venn-diagram'' like notation for reasoning about dependency relations is presented, as well as the notion of region which is, roughly, a complement of a subobject. The basic theory of regions allows the authors to prove that reasoning with the aid of the Venn-diagrams is sound.   Conditions are discussed under which two productions of an STS have to be considered as independent; several equivalent ways to characterize this relation are given. A colimit construction is also presented that builds an STS from a given derivation tree of a DPO system, generalizing the construction of the process of a linear derivation proposed in the literature.   Finally, the authors prove that the analysis of the relationships among rule occurrences in the derivation tree can be reduced faithfully to the analysis of such relationships in the generated STS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q934672$6548346B-5D52-49B8-9AF0-5509DCD7ED94","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f7b6592526c21adc1b3ae63ffd6b669f1f49ebd4","datavalue":{"value":{"entity-type":"item","numeric-id":588695,"id":"Q588695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$F9F6AD93-F522-4533-B043-4FBCCF012997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$8EEFE897-41DF-42C5-947B-D70F40E540EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$F83B1CC6-830E-4CE7-B739-5C933F8A34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$DB32FF1C-9CDA-4193-A1E9-43A2B2AE3AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$9BF189CE-9015-4F09-B266-F1DA49EAF494","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"331e224ad74dd46679e2d528994e553cb8abc45a","datavalue":{"value":"5306135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$CBB4A5B6-8AE4-4B61-A900-34872322C0E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8d548f376d15a60aced985ef2c3c6433bc64e4","datavalue":{"value":"graph transformation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q934672$78F2E4D8-9496-43D6-947D-4D318C48F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea15cbe8de2a89477d70fa4a5f08892bb919e3d5","datavalue":{"value":"adhesive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q934672$CE663DF2-69C9-4579-B0A3-5EBF76907F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f949b1c2acc2834e5db29636455e6727597d2ed","datavalue":{"value":"occurence grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q934672$9DF2D5EE-6C03-40FB-960B-60EFD3822C4C","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":"Q934672$C0F88E84-06D9-4CA7-9A57-332EAA0845CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d972c4db80f15a9e759edd52a72497091bb3b6c","datavalue":{"value":"https://doi.org/10.1007/s10485-008-9127-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q934672$B91E0A56-9358-4E17-A70C-F08A0A297282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dafb481eaf8f03b0f78cbae6edc65bd5a1a6a1f4","datavalue":{"value":"W2052048252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$0828734D-F3D8-41F5-8F27-52FA31F80819","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7a66f4fa81c6f87877bcfef13084bacd9e9fc2","datavalue":{"value":{"entity-type":"item","numeric-id":5899089,"id":"Q5899089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$404D3B08-A2A3-46A4-9B37-AB4E63056E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe751c809312d970080a0339c7bfd57672757f71","datavalue":{"value":{"entity-type":"item","numeric-id":5292596,"id":"Q5292596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$C735908B-C91C-40DF-AA27-F7B8730EE5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405ffb8c2f49dfb899a592081fcc626c5887e32","datavalue":{"value":{"entity-type":"item","numeric-id":3541945,"id":"Q3541945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$A82FDBC4-46D1-4A3A-BEC0-ACC46BB5B29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572d01df1bade3df9424cc96035cb0e941f84c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4890710,"id":"Q4890710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$90A9C904-86E6-4DA9-9DC5-7CDA236A0235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672334a78e6ba3872670873eaab5c6b9b65ed764","datavalue":{"value":{"entity-type":"item","numeric-id":2866345,"id":"Q2866345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$1E769CA6-6AD6-4A90-BA57-9DD7E7E61C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$1E25E527-9EEA-4970-8A86-E9223FAE1CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$CE47F6AE-04B4-4BEC-9CB4-21382E7D9F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d76d59e66979e6ef88aee9dd5b85b00517f76c","datavalue":{"value":{"entity-type":"item","numeric-id":4890712,"id":"Q4890712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$20F16D1C-B308-46CC-B265-BE8892E41F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$4DF480AD-534E-41DE-9BD9-C003C2DE466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$5807E389-F6A7-4D93-AA7F-55991EAA3B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$73DE48D1-6A63-4773-A2FA-B65C818082AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$4335C85F-7F84-42F4-9B00-5C8BCF2ABCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57447cc362fdd18bbd3f1efe7dc487b19f951b10","datavalue":{"value":{"entity-type":"item","numeric-id":1346409,"id":"Q1346409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934672$7BCA310E-5433-4A6A-86F2-AE27A072F321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cda673039cf41ae80a2cbaea9ba92e17ff24ba7","datavalue":{"value":"10.1007/S10485-008-9127-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934672$2390312C-F27C-4E88-9F59-D3B11D466BA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfc7f4684635305f502634496a17bef89138cf7","datavalue":{"value":{"entity-type":"item","numeric-id":2848878,"id":"Q2848878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a429ec00ee044b4f8fcf0c55506684481466d42","datavalue":{"value":{"amount":"+0.723837673664093","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":"Q934672$13712CBF-44F1-4F48-816D-D89EBA88A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6509b8338ebba96025aacc5884148a5a49300910","datavalue":{"value":{"entity-type":"item","numeric-id":3522863,"id":"Q3522863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81d923aa545ac59bf2fdb8bca5b104a7a3532e4","datavalue":{"value":{"amount":"+0.7228434681892395","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":"Q934672$48941376-E507-4ACC-B4E5-65856C3C64E5","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":"ce2c8ada08bf60f32899818fe16b7c890bbe203a","datavalue":{"value":{"amount":"+0.722795307636261","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":"Q934672$9CCFE1A3-ADA3-42A2-9854-76EC3E77890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ad57e820bd112c27686d68d6fb760cc1dbe01","datavalue":{"value":{"entity-type":"item","numeric-id":685462,"id":"Q685462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce2c8ada08bf60f32899818fe16b7c890bbe203a","datavalue":{"value":{"amount":"+0.722795307636261","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":"Q934672$5D620BA9-015A-4BA9-A8DC-11C9038D6316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a52552c08f4670c120289680a45655d6978c00","datavalue":{"value":{"entity-type":"item","numeric-id":729812,"id":"Q729812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4975f50b6e0cca8d2a70e6924dd57a486f952c51","datavalue":{"value":{"amount":"+0.717657208442688","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":"Q934672$F626511E-3BB8-44FA-AD42-8775A7AF030E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subobject transformation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subobject_transformation_systems"}}}}}