{"entities":{"Q3507360":{"pageid":5537264,"ns":120,"title":"Item:Q3507360","lastrevid":50388821,"modified":"2026-01-13T23:00:19Z","type":"item","id":"Q3507360","labels":{"en":{"language":"en","value":"Explicit State Model Checking for Graph Grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5290823"}},"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":"Q3507360$CF4CA1D4-FD37-4579-99B9-41AAD3415169","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0c52b1350e53946a01bdc33c326689a2d26b448","datavalue":{"value":{"text":"Explicit State Model Checking for Graph Grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507360$2FCF251B-A826-4451-B626-4D4DCA87EE8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"802536e5326944e9f449a0e0e7017c1268c7fbe6","datavalue":{"value":"1143.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507360$AB4AD31D-CAD9-4876-845C-C91E56F573F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c69143ef5c35fc47b80f570c5fdae735dc09d6b","datavalue":{"value":"10.1007/978-3-540-68679-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507360$4686455C-DEDE-431F-89B4-12B2A08CC9D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89238439472c677fdc6823725c455d61dc5d1d2e","datavalue":{"value":{"entity-type":"item","numeric-id":865622,"id":"Q865622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$7EB62C23-951B-438D-871B-8ADDED8982B3","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":"Q3507360$B218835F-793E-4C0A-9701-56F3C4A24FCE","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":"Q3507360$FB0F7E6C-E73C-45A9-908B-3BD1E6B18B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507360$C11C20D2-253F-4B86-A2CC-AD96632D12A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507360$02CD92A3-538B-448B-889C-B0E22B026D1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b024255c2d24f685b3381cd0705e618cb5f007cb","datavalue":{"value":"5290823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507360$07EDA1F4-EFA0-4DB9-8A0B-9DDADE72E37D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$71DB73A2-66DC-4DEE-A669-A51F6BF96919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$D43C54D7-EAF6-446D-9F7A-18DD65106077","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":"Q3507360$2C2B9581-DE53-4FD6-9725-D484A1FE3786","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85ab3d4d769e06fa6974709a5bcbb38b527ba92a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68679-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507360$38AA3E86-4A08-4710-9C7D-254511F4197B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"360f370e51ddfd59bd00aed32138bad1a53bfe2e","datavalue":{"value":"W2102697873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507360$DF333E5F-EE8B-497B-943A-FD2F24D86BEE","rank":"normal"}],"P223":[{"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":"Q3507360$279570EC-E9CC-42B6-B78A-64CCC2F5DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2024f77d65ef00da8219ef7e2d88b01ec7246f0","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$22293AC0-4290-44AB-9257-5C082970F77A","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":"Q3507360$F6A9BEBF-5BAC-4335-85C5-E74D7B714678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe4d2c841edef682758e193b429d2b2701f3ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3416077,"id":"Q3416077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$F40FD351-6DBC-46C9-9912-36ED67DAA715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9423a81fd6dbfe03aa1c6a75b0e1ebd282c6696b","datavalue":{"value":{"entity-type":"item","numeric-id":3416072,"id":"Q3416072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$B4DD1271-BD25-4211-9A73-E87CD01985DC","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":"Q3507360$40E47292-E343-4FFD-A3A6-D59E4CA5D814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f2bffc3ac1cf4bbbc7bfad8abe5d9371f2b980","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$1BB00C93-95A9-4EC1-9E47-E8AC5C26BA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092357363cfbebcece1de59eab91f13c6d38e848","datavalue":{"value":{"entity-type":"item","numeric-id":3416071,"id":"Q3416071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$2DE1CFC3-98D8-4EB6-A42C-8EDDF92D47FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef8b7eb525fccc0f166c9a5b735321dbfda5078","datavalue":{"value":{"entity-type":"item","numeric-id":2867893,"id":"Q2867893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$FF986133-6F3B-4603-8C20-A1042376A2E7","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":"Q3507360$9E68BA25-CD00-4B4D-BB36-1C9045C4DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1251dc7e86f2f66a34eab88743fe38be7168c0","datavalue":{"value":{"entity-type":"item","numeric-id":3541979,"id":"Q3541979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$9DA279BF-D94E-4665-88AC-260DDC982721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ef4dccd11b406f2237938038eae316c6e16a17","datavalue":{"value":{"entity-type":"item","numeric-id":4791833,"id":"Q4791833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$065099B4-7B52-4086-A960-8D4F10B57C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2403efdb80ca326c6a966d3c442b3b7eaab17914","datavalue":{"value":{"entity-type":"item","numeric-id":4989490,"id":"Q4989490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$924DD7A6-8682-4720-BCAD-75AB2E9896DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0304a2dc3d13817357dd001fd41d00cd9e47671","datavalue":{"value":{"entity-type":"item","numeric-id":5899059,"id":"Q5899059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$E5D6E6E8-57CF-4B50-95B7-DB81EBEB2186","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":"Q3507360$A6A21820-6AFC-40A9-BEDD-EC81E8EC8218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4325f135fc50f5625c26dae4bd16210a918cf6d","datavalue":{"value":{"entity-type":"item","numeric-id":2867892,"id":"Q2867892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$BA1F0B23-ADE4-4B90-B149-57614A892B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0099e31e1dc5cd920c9effe974dd2b2026e19d8a","datavalue":{"value":{"entity-type":"item","numeric-id":685460,"id":"Q685460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$9A349C5E-C3DC-4582-B044-6DBB68E68D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607e674a97532a1c6e8bb14540fece481fc3502b","datavalue":{"value":{"entity-type":"item","numeric-id":5308712,"id":"Q5308712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$0570466D-3071-4DE7-B2AF-15B98E27F701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d05fe0de9d0e3e294914de50e10af77eae8e078","datavalue":{"value":{"entity-type":"item","numeric-id":5292605,"id":"Q5292605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$01608F67-27D0-4AE7-905A-E818B86751F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367e2d3b43a3d655adaa8bd97ef7f9cf227b3c31","datavalue":{"value":{"entity-type":"item","numeric-id":5756604,"id":"Q5756604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$CC3741C8-0F79-42F5-B3A9-109C78246504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91259d79d392a3d47849a780eaf2c5a36deec384","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507360$2FCC2AA3-991E-4BE1-B532-058FBC9F4C75","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":"Q3507360$3B53C60F-8791-45BF-9010-51C31C77B102","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c721c745d925a3bb5c9e5f3df9ae8e2a1e97406","datavalue":{"value":{"entity-type":"item","numeric-id":5292598,"id":"Q5292598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93201a2981ef96dd72347334715ae8c475dc659b","datavalue":{"value":{"amount":"+0.8056102991104126","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":"Q3507360$93FB0E7A-F353-46F1-B38F-64F8982D4FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7040d06ce40179a7105a0f37c1b7dedbafd43d","datavalue":{"value":{"entity-type":"item","numeric-id":1049792,"id":"Q1049792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb180d50ea64f198756c77e733ea57684c6f5bf","datavalue":{"value":{"amount":"+0.7966061234474182","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":"Q3507360$CD6E1277-059A-4DD5-900B-7811A40C1C35","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":"6e14e114e30612ffa808b781d16fa4d22ba354d9","datavalue":{"value":{"amount":"+0.7736524343490601","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":"Q3507360$2E03C58A-159D-4EC1-837E-AEAB3CD69B3C","rank":"normal"},{"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":"75c6493f4075e120118c8b6a03718da7fda5ce3c","datavalue":{"value":{"amount":"+0.7717846632003784","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":"Q3507360$868EA2FC-9145-49A4-877A-CB4C0BA7F69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a32db72f307b876d8ed3f059040127f6929c2","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f837caa7a1fe5ddbf6c951ef2f0f5ff9a8088ed","datavalue":{"value":{"amount":"+0.762604832649231","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":"Q3507360$299760FC-D8BD-4C28-9C71-09C6D34685C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507360"}}}}}