{"entities":{"Q2117187":{"pageid":2127930,"ns":120,"title":"Item:Q2117187","lastrevid":55976698,"modified":"2026-02-21T16:50:10Z","type":"item","id":"Q2117187","labels":{"en":{"language":"en","value":"Abstraction-based incremental inductive coverability for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493586"}},"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":"Q2117187$D9722D38-846A-4FFF-B5C0-A369A7B73380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfe8b429c63c0b6f79824b0d7b6c74d6c3588d14","datavalue":{"value":{"text":"Abstraction-based incremental inductive coverability for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117187$891724CE-2A10-4BBA-9F29-91B2D85A4C94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"348b7d11126507d537aa8d488e179d172788734c","datavalue":{"value":"1489.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$5C55F17D-DBC9-4102-8C0B-7DDAC81D080B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d70878580dafbde28da2c649817ca27e73385862","datavalue":{"value":"10.1007/978-3-030-76983-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$6B16EC77-77F1-4445-A9E0-CC3D5B14F23E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52dc1f8dc9bba15d62ff3b83579d33e1aed16aae","datavalue":{"value":{"entity-type":"item","numeric-id":2117185,"id":"Q2117185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$DDCEB67D-0B2E-4CD4-B97F-26389546DDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15ff866c03faa84768ce7d9a0b95fedfe0ee205d","datavalue":{"value":{"entity-type":"item","numeric-id":2117186,"id":"Q2117186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$DDA92E7A-92D3-42F7-927F-36234E38443E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$51697326-3C0F-4374-A4FD-A2D4CAAF9C32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117187$38CAA799-17F1-42F8-BD0C-0ED48514571A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$D3A74812-5CEB-4701-B784-6CD9EC10B754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$F287EC15-92EE-4392-80D7-CDC3A197B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$CF229BC6-7C27-4802-A068-5C2ACFF2BACD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51f0b4d0cf4734c9dc3eca4fca5a6bdb0825f7ac","datavalue":{"value":"7493586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$F2DE230B-9A6E-4AC6-8C2F-D9F7A741018B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117187$2AB734C6-0C6F-41A3-BABF-C8F15C2988A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39798fe92e7ff67ee0b4a7633c0b5df74d0f0950","datavalue":{"value":"inductive invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117187$2F58FAC3-4312-4A80-A000-36B02A2A420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117187$9FD60162-2E3C-4821-B7E7-A0927D217381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a122d9ad0bbbbdbf6445cb067f20e2a2142919cf","datavalue":{"value":"IC3","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117187$0E40D87C-B109-44BA-9F27-C54935F13962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42188036deaa89dab728ef06d9ead10d7563e260","datavalue":{"value":"place-merge abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117187$BD8491B2-4112-4A47-9926-895B2D9638B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18407fbdc0151f0b5ba9a01c199138cbfc2a4f45","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$758393C6-B825-49E2-8BD7-70549380DA81","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":"Q2117187$9A63894F-9DCA-4BF6-AB93-01D93C691DFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63d4f746950a598ac59d567334eb70c5c4633027","datavalue":{"value":"https://doi.org/10.1007/978-3-030-76983-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117187$DB62171D-C310-4D55-A201-B937C8D53A24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83b41d00086f84e954b147d6a47fecda5a126154","datavalue":{"value":"W3168898146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117187$745FA934-BB6B-45B9-A044-6C5CA33EFFA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"706ff4099500ebd27df3ddbf2791f5d17d6a6c75","datavalue":{"value":{"entity-type":"item","numeric-id":2226756,"id":"Q2226756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$16B96FE9-601F-4759-9024-973A2BE39A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$957F7E61-B65F-4E74-B2A8-3F4E2FE04513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef993e1a6f9e1affb5ec0a35f6683de283af104b","datavalue":{"value":{"entity-type":"item","numeric-id":2441772,"id":"Q2441772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$2020900B-C8B2-4C10-AA39-A570D6D967C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$31BEE68C-BF91-4E5B-B2FB-FDEF3039C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$8CB74248-606C-4156-85C6-45AE5BB08B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$C5A8732E-4D55-4492-B388-EC8C6A19C864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$A02285AF-6009-49DD-92E0-34B2503E3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5437c5e1251b47d2eb6f6a4f17a545ed4b67fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3612929,"id":"Q3612929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$0788632F-7ED4-4EB3-8D3E-2975091646BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$27C4906B-F044-4527-B2AD-3A362F32FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7f39375d9639e9cf0530721957d00878a0e3de","datavalue":{"value":{"entity-type":"item","numeric-id":2912699,"id":"Q2912699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$35027DA6-7FC6-4377-95ED-06DDE04AEDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117187$B140D62A-1659-44FB-A654-BD42BDC12C94","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":"Q2117187$01732F22-AA80-4D2D-89E7-D56A0E820170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eb6cc7d213f0caaa58d401d9adb5439f8b6bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27013ab9045391c2b4fe061ab6e2f503991bf908","datavalue":{"value":{"amount":"+0.7944387197494507","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":"Q2117187$883A29C5-FEF1-4C7C-845C-79053AB6E001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585be1445e8d666131d390ada5fd4f1841cd5a04","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7500657fd74dc822c3cd23b55a3f2d213c450e39","datavalue":{"value":{"amount":"+0.7889308929443359","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":"Q2117187$2F1273D7-CD20-4D9B-8663-6772EAE7D820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7b31127f6458fb50bd16155ff5515f299a566c","datavalue":{"value":{"entity-type":"item","numeric-id":3612929,"id":"Q3612929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea10074e866e786d5de3af793de8de8b981b6ea0","datavalue":{"value":{"amount":"+0.7785510420799255","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":"Q2117187$32388D3E-7F5B-496A-9F11-3320F82B63F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17a224563afe99658c86e6a53dac5e5d517706b","datavalue":{"value":{"entity-type":"item","numeric-id":3601862,"id":"Q3601862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee08b6129a1c2687284fb9a099772bc62305375c","datavalue":{"value":{"amount":"+0.7785505652427673","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":"Q2117187$8CA5D153-7AC8-4F4A-956E-9C1D6C428F45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117187"}}}}}