{"entities":{"Q5172640":{"pageid":7202212,"ns":120,"title":"Item:Q5172640","lastrevid":52191035,"modified":"2026-01-21T03:17:28Z","type":"item","id":"Q5172640","labels":{"en":{"language":"en","value":"Analysis of infinite-state graph transformation systems by cluster abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397674"}},"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":"Q5172640$B8859163-3DB3-429A-A45F-ED027EEB053C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f62046ced770def76c1eddde94e3f8903e4a21ca","datavalue":{"value":{"text":"Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172640$0E3F1D3F-BA5C-4287-A1FE-78CDA3D79934","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8644bb7c9022cc4b5546835d71ffeff29a7596bf","datavalue":{"value":"1432.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$CD8F447E-0243-465B-9A89-5CD4E78B1E78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5661e4f6232bffeaa0e1bd2505b2cffefc3fc6a0","datavalue":{"value":"10.1007/978-3-662-46081-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$A130C468-4563-49B8-BC4E-BECA88234A51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f00e32f767ddc326ff6f06fe037b3acf849fe0cb","datavalue":{"value":{"entity-type":"item","numeric-id":5172639,"id":"Q5172639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172640$FDDCC44D-5038-4A63-A1B6-5B29D2802D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d30a6fed3317e8074a396d3ddb5b6af6bd795278","datavalue":{"value":{"entity-type":"item","numeric-id":777058,"id":"Q777058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172640$EF1A8F8A-B77E-4D9A-B470-17189E88458C","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":"Q5172640$70B29378-7471-487F-AE5C-E6F07F6115F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172640$3B5BB1A6-1155-4DF9-8F16-A9553E417227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$B8E50B4B-26CC-4ED9-B56A-9BF21B3C696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$3367619F-CCB5-4C61-B35C-71282A48686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$4233294D-9FF1-4070-9B21-0F0A9590F7E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a731f384de7b2b401fb16b5cbdd4d466c2fa757","datavalue":{"value":"6397674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$158D6E46-A8A4-4E17-840A-BBF8D86813A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172640$FB9F8E38-CD50-4826-AD35-CE03D183894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172640$C4338483-A494-4DA0-9FC0-9E4E1542E526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172640$7548A487-1268-4697-900D-38A93509718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172640$BEA5D473-7FF7-494A-8CA4-A827445717A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8301066fd502383bd51679fbea1d7e42d94fb31","datavalue":{"value":"distributed message-passing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172640$87EF3114-71D1-458D-B429-3CD663CCAD09","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":"Q5172640$9F57AFCF-4A24-44A1-B573-77F8E1DE1C3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22afadc20efd6c2bd012fc5f775ecf471f59aedb","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46081-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172640$8CE8AF38-E32F-4274-A9F8-703CBAD6DDA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36dbd6586706d5d6927670c227e3c69a68dd576a","datavalue":{"value":"W54190742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172640$66D1D0E3-6DDA-47C4-B37A-368A91599949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382b1501d79152d33c3312bd4eee3731aef20cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2918973,"id":"Q2918973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c99bb46ff3a8ff23edf223bfec11aba4f93add","datavalue":{"value":{"amount":"+0.755719780921936","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":"Q5172640$3B06C65A-46BA-4149-B9B4-BA1519BF2C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdf49e404449dc81606c429980f025468341111","datavalue":{"value":{"entity-type":"item","numeric-id":5899059,"id":"Q5899059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54d3807e788be86f2163f05220afc3a5a6ea50d","datavalue":{"value":{"amount":"+0.7348349094390869","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":"Q5172640$D1D92EB7-CB75-41F3-AAA4-762CEBBEECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f336a5cede667cc284c9729d1f9b546b317272","datavalue":{"value":{"entity-type":"item","numeric-id":3540408,"id":"Q3540408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0a88fa0072cbb9141d94bdc14ae19f84ad09fe","datavalue":{"value":{"amount":"+0.728520929813385","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":"Q5172640$6601ADD0-4EE0-433F-9955-C345092C0CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e703b209190d9b5685909a4b70de4e94d9dcd0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3612006,"id":"Q3612006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a0f0e574cd7a097158d76d3142fb435a548be4","datavalue":{"value":{"amount":"+0.7281556725502014","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":"Q5172640$776EFD3B-0F71-4980-BDC7-ED4E444679A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90830764c4a87b18fd30587bda6793c6ea9e6bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b240df376120182a75a5a8d80231e3a40e36fc3","datavalue":{"value":{"amount":"+0.7153924703598022","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":"Q5172640$57F83399-85A2-4A36-98C8-8A852AD3B8A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172640","badges":[]}}}}}