{"entities":{"Q2388714":{"pageid":2399457,"ns":120,"title":"Item:Q2388714","lastrevid":43990275,"modified":"2025-11-18T19:39:26Z","type":"item","id":"Q2388714","labels":{"en":{"language":"en","value":"Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2206374"}},"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":"Q2388714$B9DBFBD6-53F0-4A79-B6F0-0A9F505A9E10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"085b264e8bae6e820d1949ad36d4ad5e7aaf2cdf","datavalue":{"value":{"text":"Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388714$C67BD2BA-23BB-4284-B09D-EDCD8396AC38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91877a4b03251f844fa69b6840ba2dd5451d4ce5","datavalue":{"value":"1069.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$99D1E7B7-B56A-45C5-95CE-B2FA63D28F3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2388714$C2559C13-CB0B-4561-8942-F34845A4079E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eee5710b759ff4703b3f2a7e8853f7df5bb18070","datavalue":{"value":{"time":"+2005-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388714$7B217313-5861-488B-ADA3-AFA86471F60E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10ac9d6555ef6d06e28685621411e6f74f3f5011","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Baldan, Paolo; Corradini, Andrea}, On the concurrent semantics of algebraic graph grammars, 3-23 [Zbl 1075.68037]  \\textit{Baresi, Luciano; Pezz\u00e8, Mauro}, From graph transformation to software engineering and back, 24-37 [Zbl 1075.68566]  \\textit{Engels, Gregor; Heckel, Reiko; Cherchago, Alexey}, Flexible interconnection of graph transformation modules, 38-63 [Zbl 1075.68568]  \\textit{Ermel, Claudia; Taentzer, Gabriele; Bardohl, Roswitha}, Simulating algebraic high-level nets by parallel attributed graph transformation, 64-83 [Zbl 1075.68057]  \\textit{Gadducci, Fabio; Montanari, Ugo}, Graph processes with fusions: Concurrency by colimits, again, 84-100 [Zbl 1075.68058]  Bibliography of Hartmut Ehrig, xi-xxvii [Zbl 1075.68500]  \\textit{Hoffmann, Berthold}, Graph transformation with variables, 101-115 [Zbl 1075.68039]  \\textit{Rossell\u00f3, Francesc; Valiente, Gabriel}, Graph transformation in molecular biology, 116-133 [Zbl 1075.68610]  \\textit{Schneider, Hans J.}, Changing labels in the double-pushout approach can be treated categorically, 134-149 [Zbl 1075.68043]  \\textit{Arbib, Michael A.}, Modules, brains and schemas, 153-166 [Zbl 1075.68629]  \\textit{Astesiano, Egidio; Reggio, Gianna}, From conditional specifications to interaction charts. A journey from formal to visual means to model behaviour., 167-189 [Zbl 1075.68613]  \\textit{L\u00f6we, Michael; K\u00f6nig, Harald; Schulz, Christoph}, Algebraic properties of interfaces, 190-203 [Zbl 1075.68054]  \\textit{Mahr, Bernd; Bab, Sebastian}, \\(\\in_T\\)-integration of logics, 204-219 [Zbl 1075.03013]  \\textit{Meseguer, Jos\u00e9}, Functorial semantics of rewrite theories, 220-235 [Zbl 1075.68042]  \\textit{Padawitz, Peter}, Expander2. Towards a workbench for interactive formal reasoning., 236-258 [Zbl 1075.68617]  \\textit{Wagner, Eric G.}, Relationships between equational and inductive data types, 259-274 [Zbl 1075.68055]  \\textit{Wolter, Uwe}, Cofree coalgebras for signature morphisms, 275-290 [Zbl 1075.68056]  \\textit{Habel, Annegret; Pennemann, Karl-Heinz}, Nested constraints and application conditions for high-level structures, 293-308 [Zbl 1075.68623]  \\textit{Harel, David; Kugler, Hillel; Pnueli, Amir}, Synthesis revisited: Generating statechart models from scenario-based requirements, 309-324 [Zbl 1075.68614]  \\textit{Janssens, Dirk; Kreowski, Hans-J\u00f6rg; Rozenberg, Grzegorz}, Main concepts of networks of transformation units with interlinking semantics, 325-342 [Zbl 1075.68041]  \\textit{Milner, Robin}, Embeddings and contexts for link graphs, 343-351 [Zbl 1076.68045]  \\textit{Orejas, Fernando; P\u00e9rez, Sonia}, Towards architectural connectors for UML, 352-369 [Zbl 1075.68569]  \\textit{Padberg, Julia; Kreowski, Hans-J\u00f6rg}, Loose semantics of Petri nets, 370-384 [Zbl 1075.68059]  \\textit{Ribeiro, Leila; Dotti, Fernando Lu\u00eds; Bardohl, Roswitha}, A formal framework for the development of concurrent object-based systems, 385-401 [Zbl 1075.68621]  \\textit{Schnieder, Eckehard; M\u00fcller, J\u00f6rg R.}, A formal description of the basic concepts of system theory for transportation, 402-411 [Zbl 1075.68622]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2388714$4E72CF8E-FD69-4F8C-8E24-2A5DC737B856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$A0F7D351-89D6-43A8-A638-B87A0180D3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$24296EB2-4C1B-4B38-91CB-4BF9139F4BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$D067BE81-64D5-4CDE-B15C-00332722338A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a72f2cc64710e0785b96dedf3128bd2594df126","datavalue":{"value":"2206374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$63471E91-5A92-44CF-BD5C-5CEE97BBF96E","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":"Q2388714$4AED23B9-D76E-4C75-968D-7F3C10152CD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3970577f54fe17988b8759780dab585e9ccee5b8","datavalue":{"value":"https://doi.org/10.1007/b106390","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388714$E32C2FD3-B9C8-4B6D-993A-7672EE0A107A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2914e1d05e9187a88dfdd309b98557181f92979","datavalue":{"value":"W2492988005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$66684BD9-102F-4B2B-B3F8-E59ECCE182B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e8da6499658fcfccfdea0b7622ad6dc52d6d45b","datavalue":{"value":"10.1007/B106390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388714$4E6B21A9-3587-4CBA-A4BB-19B652AFD148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2388714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2388714"}}}}}