{"entities":{"Q3507354":{"pageid":5537258,"ns":120,"title":"Item:Q3507354","lastrevid":80611508,"modified":"2026-05-06T16:36:00Z","type":"item","id":"Q3507354","labels":{"en":{"language":"en","value":"Unfolding Graph Transformation Systems: Theory and Applications to Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5290818"}},"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":"Q3507354$900449CB-9A4A-49C8-A984-28207277DA5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eed149ad67c3d6e0aef68681475b45b6afd41e3","datavalue":{"value":{"text":"Unfolding Graph Transformation Systems: Theory and Applications to Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507354$283ED92B-D862-4226-8189-E6186946A44B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29d1c21b442794aff9576059dc2de4ef8a470fce","datavalue":{"value":"1143.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507354$3A3491E4-9A33-48B5-8D14-5470DB913DC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4b31b7e07246210ca51262c42e11264b428ad6c","datavalue":{"value":"10.1007/978-3-540-68679-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507354$F6ABF4BC-DB11-499F-A314-2DDC1E5F4730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$C8EACFC5-685B-4AEF-BDFF-BD487E63D85C","rank":"normal"},{"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":"Q3507354$F0EA4ABD-7816-497B-9AD7-20C2E5FB6DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$6A777121-A811-41EA-AA66-C79A94344E44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b190ab41df846a2dd541793be1b200c006f691ea","datavalue":{"value":{"entity-type":"item","numeric-id":3507351,"id":"Q3507351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$CF278A1F-7468-45BE-9C6B-7D7F7DF47E8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507354$2143F903-48D8-4BBD-B86F-1197A9535C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507354$566BAEDC-5E9A-408A-816C-C4B56B2A28D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507354$A635C1DB-5734-4747-968A-C70F233A1FB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52ebb93ca59c3dacad156d4efe638daa30f59e26","datavalue":{"value":"5290818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507354$684B1A80-976D-4CA4-8584-1C3BB907B4CD","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":"Q3507354$76A48DC1-A98B-49BB-87A9-0ECD4F2DDAD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30cf9ee0142462a91518defcf5a515c855497f7e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68679-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507354$101CC942-8083-4FCC-A124-A26692E3AE87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ce1f8486e430e6c692ea2a59c682e63fd56c130","datavalue":{"value":"W1518708253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507354$E5196AFA-7D09-4DD2-B6E1-F590AC14D7C5","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":"Q3507354$D7AD6CD2-6223-475A-813D-F8D33936AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$7E7713EC-EE97-4E40-9A06-DD50EF3AB770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2920853de1f48ca850ca62d87869ee3d0a907a","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$D23FFA1D-2065-4E92-8BC9-D44599BD4056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09496a73df557c40b259d302e74451197f6f9309","datavalue":{"value":{"entity-type":"item","numeric-id":3599219,"id":"Q3599219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$E4787C04-D180-4335-93C9-CCAAE15411FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fc29421e433371a86784fe83fa8f43c82936f9","datavalue":{"value":{"entity-type":"item","numeric-id":4260701,"id":"Q4260701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$0E356A32-3E59-46A0-AD69-B42421C76D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0e051051fa070cde956cc7f9cb99dc8b2093c7","datavalue":{"value":{"entity-type":"item","numeric-id":1854468,"id":"Q1854468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$C417FC7A-FADF-431C-A5CF-4BF375502DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f72600dd9c442c726fc0b2a729ee3e3cd627f24","datavalue":{"value":{"entity-type":"item","numeric-id":879600,"id":"Q879600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$109A4223-4E6B-49EB-B80B-0D1F9387397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8d8d65811897c843043e94ba40fe7f65bb74e1","datavalue":{"value":{"entity-type":"item","numeric-id":4438762,"id":"Q4438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$A33F5182-B682-4CB1-8F9B-339F244A5762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36154988acf8e7c14adc67949b6440dbb83eeff0","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$EB797D06-7F3D-425D-B1A0-1C787AF61121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0402b8322115467c04832060b119cfdfe71fab02","datavalue":{"value":{"entity-type":"item","numeric-id":5756598,"id":"Q5756598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$0A42625E-804C-4966-BEEF-3ADBA54AD0DD","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":"Q3507354$3C99682C-90A6-4323-9734-14F82EF89A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a61f94f34b177df76a317c8d62663291a02395c","datavalue":{"value":{"entity-type":"item","numeric-id":4353558,"id":"Q4353558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$20723BEA-C9F5-440A-8D9C-83591ED5A3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$79CDDBD3-38C3-4B0E-A3E4-49674CCA0380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bd5fdf5aa5844fbfdca79209f802260aedff52","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$A8FBF3A7-C039-4504-80FE-844F53D1B064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$58617D5E-EBC7-4170-AC9C-90507E22A729","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":"Q3507354$9DFFE1FF-1A54-44A1-8D64-23644234D72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478785c1dbc366c9782cb19b7db71424ec4c2e99","datavalue":{"value":{"entity-type":"item","numeric-id":805257,"id":"Q805257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$3CD82545-4DCE-494B-8CB7-71BC7000F341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de91b91539e6dce8e5fed1bf2118f8815976390f","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$40A68990-9ABE-449A-8558-7EE0FA0E5D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd83fcebabf53ca985bbb64be66b5356ed9cf5e","datavalue":{"value":{"entity-type":"item","numeric-id":4028627,"id":"Q4028627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$C129A262-C82E-4CAA-BD73-144E17E41E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$7862CF69-7A7F-4369-A374-617BEAC19CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$DBB11B4C-184D-4912-A679-9CBC20D23D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$5FEA5BE9-20C1-4004-A3A4-0547966B7958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aae33e6236dbe4006c9ba85f85ffa1585d61ed7","datavalue":{"value":{"entity-type":"item","numeric-id":674197,"id":"Q674197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$5F74DE6C-DA77-45A7-8BB6-A145DC29336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$21FEA57F-9AA1-4EC5-8682-6A047C494B5A","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":"Q3507354$31A65CBD-711B-479D-B047-4EB83CB4512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8ec87c00bd6fdd3425679719d82b21b0e3dea6","datavalue":{"value":{"entity-type":"item","numeric-id":4251922,"id":"Q4251922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$666B584B-78D2-4F44-A2EC-5510943C93EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507354$32B2DC25-DCC4-454A-9D50-BFFDA6631014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db39d77345425f70f26590ebeec14264632dba40","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d43abce06c41644b32b89944ff034e6c661bcc","datavalue":{"value":{"amount":"+0.8322148323059082","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":"Q3507354$01646472-2367-4329-91C5-50B31F663748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d2d95e458830ef76da5c53c8cacdbc1022f3ab","datavalue":{"value":{"entity-type":"item","numeric-id":4260701,"id":"Q4260701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d20bcc224b6b3394ad267259cd46f11563d0a3","datavalue":{"value":{"amount":"+0.8207474946975708","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":"Q3507354$5E37E514-622A-4772-BB66-E1289FD43E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed7e68388311354eeb536ac1661ede7960e617b","datavalue":{"value":{"entity-type":"item","numeric-id":4502811,"id":"Q4502811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d20bcc224b6b3394ad267259cd46f11563d0a3","datavalue":{"value":{"amount":"+0.8207474946975708","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":"Q3507354$176B781A-9B12-4D1F-9A44-CD3E5643CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5170fdce63a14f7e339988cb482a4ca01dfc6d5","datavalue":{"value":{"entity-type":"item","numeric-id":879600,"id":"Q879600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3840845956ec5ec23147c00d1d4b6ce6dc52c5","datavalue":{"value":{"amount":"+0.8119023442268372","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":"Q3507354$2577F0F8-AC1A-4F03-965B-C17F90DEA250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a73f0fab03475355160b1a33e0685f6c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12feb63fda6d3ef30df0ccac637eadc6985fc8aa","datavalue":{"value":{"amount":"+0.8045254349708557","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":"Q3507354$65F008C0-4D1E-4E57-BEEA-46458DACCE28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unfolding Graph Transformation Systems: Theory and Applications to Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unfolding_Graph_Transformation_Systems:_Theory_and_Applications_to_Verification"}}}}}