{"entities":{"Q1273551":{"pageid":1284301,"ns":120,"title":"Item:Q1273551","lastrevid":80273339,"modified":"2026-05-06T15:49:09Z","type":"item","id":"Q1273551","labels":{"en":{"language":"en","value":"Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230721"}},"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":"Q1273551$3DF11A33-5BC7-49D4-AD39-EF7FA7CCCB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc5e5a60065c8cf1b390c81cea6342f9283c9def","datavalue":{"value":{"text":"Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273551$DD1B8E88-EE4C-4026-8656-3D1F68BBB858","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa778b314434e2f54fbae402e3df9f17daf58f49","datavalue":{"value":"0903.00060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273551$7DD27CBF-7813-4302-887D-FC46ED414230","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273551$A8887469-CA65-4178-A4C0-5A7B6C8093F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22eb0daf1c4e261f9deecf6c1ca51db2f3444156","datavalue":{"value":{"time":"+1998-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273551$50EE7E6C-D829-447B-9556-2B20F3CB0DA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa5fb6818c454869d09dfc4f61822c5a697f3518","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Wadsworth, Chris}, Graph reduction: A retrospective, 1 p. [Zbl 0910.68156]  \\textit{Best, Eike; Koutny, Maciej}, Using net refinement to compute the fixpoint of a recursive expression, 2 p. [Zbl 0910.68134]  \\textit{Courcelle, Bruno}, Logic and graphs, 2 p. [Zbl 0910.68112]  \\textit{Janssens, Dirk}, Process languages for ESM systems, 2 p. [Zbl 0910.68157]  \\textit{Kreowski, Hans-J\u00f6rg}, Specification and programming (by graph transformation), 4 p. [Zbl 0910.68139]  \\textit{Brock, Simon; Ostheimer, Gerald}, A process semantics for functional programming, 7 p. [Zbl 0910.68117]  \\textit{Plasmeijer, M. J.}, CLEAN: A programming environment based on term graph rewriting, 7 p. [Zbl 0910.68120]  \\textit{Banach, Richard}, DPO rewriting and abstract semantics via opfibrations, 8 p. [Zbl 0910.68123]  \\textit{Barendsen, Erik; Smetsers, Sjaak}, A derivation system for uniqueness typing, 8 p. [Zbl 0910.68096]  \\textit{Bauderon, Michel}, Parallel rewriting of graphs through the pullback approach, 8 p. [Zbl 0910.68100]  \\textit{Drappa, Anke; Melchisedech, Ralf}, The use of graph grammar in a software engineering education tool, 8 p. [Zbl 0910.68114]  \\textit{Drewes, Frank}, Semirings and tree-to-graph-to-tree transductions, 8 p. [Zbl 0910.68102]  \\textit{Habel, Annegret; Plump, Detlef}, Unification, rewriting, and narrowing on the term graphs, 8 p. [Zbl 0910.68158]  \\textit{Kuske, Sabine}, Implementing \\(\\beta\\)-reduction by hypergraph rewriting, 8 p. [Zbl 0911.68092]  \\textit{Litovsky, Igor; M\u00e9tivier, Yves; Sopena, Eric}, Checking global graph properties by means of local computations: the majority problem., 8 p. [Zbl 1114.68455]  \\textit{Monserrat, M.; Rossell\u00f3, F.; Torrens, J.; Valiente, G.}, Hypergraph rewriting using conformisms, 8 p. [Zbl 0911.68091]  \\textit{Quemener, Yves-Marie; J\u00e9ron, Thierry}, Model-checking of infinite Kripke structures defined by simple graph grammars, 8 p. [Zbl 0910.68113]  \\textit{Schied, Georg; Barthelmann, Klaus}, Linear types for higher order processes with first class directed channels, 8 p. [Zbl 0910.68034]  \\textit{Schneider, Hans J\u00fcrgen}, A note on outward and inward productions in the categorical graph-grammar approach and \\(\\Delta\\)-grammars, 8 p. [Zbl 0910.68115]  \\textit{Shand, Duncan; Brock, Simon}, Proofs as graphs, 8 p. [Zbl 0910.68192]  \\textit{Engels, Gregor; Sch\u00fcrr, Andy}, Encapsulated hierarchical graphs, graph types, and meta types, 9 p. [Zbl 0910.68110]  \\textit{Heckel, Reiko; Wagner, Annika}, Ensuring consistency of conditional graph rewriting -- a constructive approach, 9 p. [Zbl 0910.68154]  \\textit{Taentzer, Gabriele; Sch\u00fcrr, Andy}, DIEGO, another step towards a module concept for graph transformation systems, 9 p. [Zbl 0910.68121]  \\textit{Sleep, Ronan}, SEMAGRAPH: The theory and practice of term graph rewriting, 9 p. [Zbl 0910.68101]  \\textit{Clark, David; Kennaway, Richard}, Some properties of non-orthogonal term graph rewriting systems, 10 p. [Zbl 0910.68103]  \\textit{Corradini, Andrea; Heckel, Reiko}, A compositional approach to structuring and refinement of typed graph grammars, 10 p. [Zbl 0910.68116]  \\textit{Heimann, Peter; Joeris, Gregor; Krapp, Carl-Arndt; Westfechtel, Bernhard}, A programmed graph rewriting system for software process management, 10 p. [Zbl 0910.68097]  \\textit{Khasidashvili, Zurab; van Oostrom, Vincent}, Context-sensitive conditional expression reduction systems, 10 p. [Zbl 0910.68098]  \\textit{Korff, Martin; Ribeiro, Leilo}, Concurrent derivations as single pushout graph grammar processes, 10 p. [Zbl 0910.68153]  \\textit{Ehrig, Hartmut}, Introduction to COMPUGRAPH, 12 p. [Zbl 0910.68111]  \\textit{Johnsson, Thomas}, Graph reduction, and how to avoid it, 14 p. [Zbl 0910.68155]  \\textit{Kennaway, Richard}, Infinitary rewriting and cyclic graphs, 14 p. [Zbl 0910.68099]  \\textit{Seese, Detlef}, Linear time computable problems and logical descriptions, 14 p. [Zbl 0910.68033]  \\textit{Corradini, Andrea}, Concurrent computing: From Petri nets to graph grammars, 15 p. [Zbl 0910.68109]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$F718DD6D-4C39-4CA9-A858-05E62A21DBC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273551$9CABD9D1-85F4-4044-91BB-8F602509C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273551$1C5B95ED-CC29-466C-A464-C05E0E80A266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273551$C3CEDB4C-2B92-46B3-B758-148909AAD1EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7407a0aabaeb1ffb5114f6dfe8826d1588cb1cd2","datavalue":{"value":"1230721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273551$76E0719C-9D36-49F7-9A73-AC6A773352E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb4a609d3627891cf70439bee5c70b7149ddad6","datavalue":{"value":"Volterra (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$4ED514B4-E203-4269-9F54-A3042D78EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$3621BC21-36B4-448E-A36A-E743EED9C239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$584D8B7B-B10A-4233-8040-F67507D680E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5ddaf4bde818d094792e330a1995662846b4b6","datavalue":{"value":"SEGRAGRA '95","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$01737E1D-B62E-4076-9FE2-BC1055C892E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0092542875b99c57d936e61622488684864e1f15","datavalue":{"value":"Graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$51CBA977-EAA5-4DDA-8629-3E94F2AFD5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7733f4707cd6367a6ff84835298a3aa55a9016e","datavalue":{"value":"Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273551$89E44E6E-B701-4106-87FF-5DED3B2A9823","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":"Q1273551$A3BE13D6-9443-4ACE-9953-90B4045991B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cf4ad085438586c6ea0f115f7c116220d33434","datavalue":{"value":{"entity-type":"item","numeric-id":5284544,"id":"Q5284544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54acca4a1b1b54f6a4f8868c56f378396bf8d68","datavalue":{"value":{"amount":"+0.9709785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$85969B6F-9BF4-4BD3-BEC6-E5ABA5189D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08bce235953efa108f532e2cb7cb4aafdcac847","datavalue":{"value":{"entity-type":"item","numeric-id":4222819,"id":"Q4222819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9dacdd05e5abb11c6dfb56263645813b2ebc1c","datavalue":{"value":{"amount":"+0.8670533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$88E1DE8E-CC17-4D88-B736-1F733D91024C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e301ee25c1c2212e193545bba4ecb473573c4828","datavalue":{"value":{"entity-type":"item","numeric-id":360928,"id":"Q360928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c25b95ae37386367060a3cd0a6bbec9caf438d7","datavalue":{"value":{"amount":"+0.8461286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$B54B121D-997A-4EBB-BA93-2A1974233206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f8552a9cfb3ec14ade964ce8963769e0f25ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3141071,"id":"Q3141071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024a955e23cd47d96aa493cd9c48b930fc1d27b1","datavalue":{"value":{"amount":"+0.83323985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$166FC2CA-EBA4-482E-B9EF-4728F4BB038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ba3d7cc06b8428db5a1ea9d3aaccbaae1da6aa","datavalue":{"value":{"entity-type":"item","numeric-id":1279557,"id":"Q1279557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c092ec5cc123b224b976fe21c578ac84d457d2","datavalue":{"value":{"amount":"+0.83228487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$CC420C6B-3000-4626-B05D-407D634DE1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acad1ec5418de5367d8dc41e6075d769ef3953ec","datavalue":{"value":{"entity-type":"item","numeric-id":1919223,"id":"Q1919223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd55da3ea130ec63a4ea7a79315a563ce31bac3","datavalue":{"value":{"amount":"+0.8282787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$A250B6BD-A5CC-4445-8453-CA238F13397F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fffbde44394f8a1e803a0d3e34549aebd4c2a8e","datavalue":{"value":{"entity-type":"item","numeric-id":359907,"id":"Q359907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40c3bb4cd7ac563c82ebfc747c9e857ca1d13dc","datavalue":{"value":{"amount":"+0.8272607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$0F6FF663-CB1B-459C-8B01-78D7D6AD5C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2031adf442cc6523082134452d1b9acd2f22b78d","datavalue":{"value":{"entity-type":"item","numeric-id":375746,"id":"Q375746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07d5eabcdc88666ee6363dfe74805429acb715c","datavalue":{"value":{"amount":"+0.8262019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$40524805-DBBC-44DE-ABD3-214B3275CAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653d436a854800beca3e17435d14689d400f7908","datavalue":{"value":{"entity-type":"item","numeric-id":2435204,"id":"Q2435204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9122710654ff3d49c20a8e8f20824e03d5ec76","datavalue":{"value":{"amount":"+0.8244631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$B6822751-7136-4FC1-B8FD-F9078EEEEE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69bf20665a7260c53031123f73cf5e3b66d7c28","datavalue":{"value":{"entity-type":"item","numeric-id":5395066,"id":"Q5395066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17475e56a6227883fad3477f904818a6d5000e89","datavalue":{"value":{"amount":"+0.82246745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273551$077DD71E-DAD9-4CFD-A666-563488FD36E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Joint_COMPUGRAPH/_SEMAGRAPH_workshop_on_Graph_rewriting_and_computation_(SEGRAGRA_%2795)._Selected_papers_from_the_workshop,_Volterra,_Italy,_August_28_-_September_1,_1995"}}}}}