{"entities":{"Q3225718":{"pageid":3236426,"ns":120,"title":"Item:Q3225718","lastrevid":51437654,"modified":"2026-01-18T05:57:41Z","type":"item","id":"Q3225718","labels":{"en":{"language":"en","value":"High-level Petri net model checking with AlPiNA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6017848"}},"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":"Q3225718$7C77D0BD-3F00-41E4-99FD-AE7A09862658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e476adaa5deed4fa4e4b23c2184f187cf20aa30","datavalue":{"value":"1248.68332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225718$A182B9F8-5459-407A-AB6A-003E74F4F0F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67eb7c458c5778822eb770b654217a860170bcce","datavalue":{"value":{"entity-type":"item","numeric-id":3225715,"id":"Q3225715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$5DCA93EB-2033-496B-9E61-B3A6D05CF0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55d6702de84445fcba7fa1c1a17b137208bdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":2805420,"id":"Q2805420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$D29D6A3A-08F8-49A2-96FC-4718AF4BC174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a927ba4fb6862e0849aff5bd95e3f4ab95009eae","datavalue":{"value":{"entity-type":"item","numeric-id":3225716,"id":"Q3225716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$BDAE07CE-076C-4004-A8EC-872A7CD9181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"338878765912f69869238de7e0054e9634114470","datavalue":{"value":{"entity-type":"item","numeric-id":3225717,"id":"Q3225717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$7E1EC5BB-161E-4DAB-B5C4-9E896EFBDFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77619e4bd99d9402e6c20f20a050c9af76f51257","datavalue":{"value":{"entity-type":"item","numeric-id":2761705,"id":"Q2761705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$A3A4C548-DF28-457D-B4FD-0BEFD8F4DB65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851e3f5a92a2070ac5e1904345b7409fb2a9c02","datavalue":{"value":{"time":"+2012-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3225718$80BB75EC-C7CE-4C7F-AF90-6E9C077678CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ae04a180cdd5021a799dd3e1016bad48d4362c9","datavalue":{"value":"http://iospress.metapress.com/content/8w65090m336h0280/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3225718$6A5EA841-7C12-4483-B2BC-9CB94245F198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225718$AF7C1C24-405D-44AA-9B41-5E7A7EFA4E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225718$C38B1FCF-CFC4-436F-AD3C-D0365330B19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225718$9902DF3E-97BA-45A1-B6AF-F22E8053C95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225718$61915066-4114-4EA9-B8CB-D5E105563131","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c3d82175181d6d1c2102bd2115e6d4c2ef8043","datavalue":{"value":"6017848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225718$5F923872-FCA4-4210-B059-F099F95802BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cddb115386e98425b212f23fff7ef16d4325f4","datavalue":{"value":"system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$564302A9-0530-4151-B46D-CCE6E85D7343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$FE230436-21B0-47E6-AAC8-90CF19184173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a29b4d7e58784986066d73ad0495eab7661c37","datavalue":{"value":"higher-level net models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$30760826-719D-4F8A-804D-CE52D67FAE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e019a32cee89a7f9b6013afbdde8fffb2cd5ed","datavalue":{"value":"algebraic Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$1F4CCFF4-D100-4F01-BB7E-51BA60CDBBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e6ace295a7a1ef9adb1cc48c59d18f6d672c01","datavalue":{"value":"state space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$0AD5AB25-9EA4-47ED-AE77-BE760C1E1C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$30441335-60CF-402F-B670-613095B2DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$BAE8E8BD-1FE1-4944-ACEF-E89318E46FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$BEC93C3F-AA59-4E2C-A254-C3D51F3A5847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eee5ed2100faddbc45731b2aca39857bf02fa8c","datavalue":{"value":"topological and algebraic clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225718$34B4DC05-D3BA-423E-B1DF-A5920ECF3C0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fb99985c1975caa9f8b425367205b1e95bb70f1","datavalue":{"value":{"entity-type":"item","numeric-id":15790,"id":"Q15790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$D58525F1-D386-471C-A5CB-2C8425136032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$0FD9E7F7-5126-453E-896C-71A4FD60CB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f09808eb3d7f143f9deeaf12110f51f488260c9","datavalue":{"value":{"entity-type":"item","numeric-id":14614,"id":"Q14614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$8C8A6CE8-A6A5-438A-A008-B7A6E7EF4B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27f420276d81223ccb3bcacde3d329046c08d187","datavalue":{"value":{"entity-type":"item","numeric-id":16559,"id":"Q16559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225718$4AA3B987-7659-4A44-B14D-7CCA311ECD67","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":"Q3225718$513F8E5B-FF6C-47BC-83C3-4BA0C6016844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450102c4551c593ec6976d4c2544f1b56a106eb","datavalue":{"value":{"entity-type":"item","numeric-id":3569873,"id":"Q3569873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e10343a766e2e72f6e07a2eced8065c507dee1","datavalue":{"value":{"amount":"+0.8982338309288025","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":"Q3225718$99BB8ECB-BA95-42CF-A19B-5BCE91569A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0fd8cc6b868a69a44a9d633e592bbf46416e50","datavalue":{"value":{"entity-type":"item","numeric-id":3045275,"id":"Q3045275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cac70a44919053bb5216eb035f9f921f9cdf4c","datavalue":{"value":{"amount":"+0.7843184471130371","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":"Q3225718$4D582C90-5422-4EF8-ABE4-9784336A616D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc83848c0d486b71ce3a78b9ca6522a9739baf3","datavalue":{"value":{"entity-type":"item","numeric-id":2842854,"id":"Q2842854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605bbaade23b8b3c711d4202ba5fddfb9145ba55","datavalue":{"value":{"amount":"+0.7797430157661438","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":"Q3225718$01FBB103-76DC-48F0-A471-0AF05B034F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c8765daf4a39352492b1aa0dcd864c9a89b62c","datavalue":{"value":{"entity-type":"item","numeric-id":5713518,"id":"Q5713518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b4d1116c31c45e997cc56c3d7897d31b38482e","datavalue":{"value":{"amount":"+0.7650711536407471","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":"Q3225718$66812E39-EE6D-496A-BFAA-7E2B56446D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7795160281c8907b19a733c54d4aea46675df3","datavalue":{"value":{"entity-type":"item","numeric-id":2518607,"id":"Q2518607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf96c3472fb0f685be3ad314c7af039b01400f3","datavalue":{"value":{"amount":"+0.7493817210197449","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":"Q3225718$137EC80A-2ED8-4582-9FB8-A61C254BBB62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3225718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3225718"}}}}}