{"entities":{"Q5166715":{"pageid":7196287,"ns":120,"title":"Item:Q5166715","lastrevid":52037177,"modified":"2026-01-20T19:39:16Z","type":"item","id":"Q5166715","labels":{"en":{"language":"en","value":"Cunf: a tool for unfolding and verifying Petri nets with read arcs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314182"}},"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":"Q5166715$B0D6A85E-29AF-4869-9C0A-BADC50F95B13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba96a6c37abc7294e6538ecb13ae41c80dfb92b6","datavalue":{"value":{"text":"Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166715$4AC1AC2F-5C5E-4935-B7D8-31C5C43C01D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"269b1b0cba10d399ce89e909d933ee91d343bd7a","datavalue":{"value":"1410.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166715$0643C267-3B72-4C17-9AA1-0409C1D0DA3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf1d3c03903605d023414e0d72b7ab263aff4da5","datavalue":{"value":"10.1007/978-3-319-02444-8_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166715$6127EC3A-4AC7-492B-9C2A-E2B486DB4DFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7e74fc81033469e57e8f9cf85ff29248af5638","datavalue":{"value":{"entity-type":"item","numeric-id":443728,"id":"Q443728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166715$E49FDA47-A0CF-4B94-92D8-1806A4E4861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166715$1C680B80-7A08-4E22-894C-9AB57DE35AED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166715$B10E8E8A-B890-4395-AB5F-9DA6EC0A416F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166715$AFEFEE2E-1032-4756-8A8D-60CCB492E9C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166715$02B9C683-A184-421D-8AFB-F7FB9F67AB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166715$96B68543-094F-41F2-A8FD-804FBA2F4C4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e6bc8958f8206a306d4e34bafd09ccd55401b27","datavalue":{"value":"6314182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166715$DC236000-FF9F-48AB-B2DE-6BA706A7A96C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ec4283ac76ac1eccd5b779eea468102ae4078c9","datavalue":{"value":{"entity-type":"item","numeric-id":21225,"id":"Q21225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166715$6370F31F-543F-4E48-9F17-962FBAB8EB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdb2c787e03b47c283d1273fe43e304dec8e0691","datavalue":{"value":{"entity-type":"item","numeric-id":25665,"id":"Q25665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166715$DE8532F6-A165-4C59-B609-9F54A34E60FC","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":"Q5166715$D6032B63-B7B9-4A04-9D95-FD48FB5D9D46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b243fbecc07bfdbc05ade824dad45f12e861bd9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166715$992BFBA4-C89F-41B5-BC9D-1103A0AC5785","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"825543d25fe00af80b7d0efe2a982ee248a314ad","datavalue":{"value":"W1518016640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166715$25733F7E-0915-492C-A44A-A134A45B289C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e33e645d06072c693f92489034f44813f6c8fe","datavalue":{"value":{"entity-type":"item","numeric-id":5200078,"id":"Q5200078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bda1c5723abeb8971ebf7e2b8f6dc40a42d5ab","datavalue":{"value":{"amount":"+0.81070476770401","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":"Q5166715$90798C03-C820-46CA-9431-9F147557000A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427be0154e599adc8c624a7abb056e301985e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":443729,"id":"Q443729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f4e74187c00765666d80ba55745f8eb0f66cdf","datavalue":{"value":{"amount":"+0.8086890578269958","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":"Q5166715$932F6921-1CC0-4ACA-BD45-B111EAA14151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990004fc6a3746a04931509b2675d84f0d7cbb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4251922,"id":"Q4251922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93080ed97089e7be66f0c7b2c4b1a1d4a28051da","datavalue":{"value":{"amount":"+0.8074184656143188","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":"Q5166715$B31CE14C-DF6D-46A6-8313-F305FB64FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c06cc5f786ed9f0a4df20a80487e12bbeddadf","datavalue":{"value":{"entity-type":"item","numeric-id":2912697,"id":"Q2912697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d224d3fdf311a7d21a098dbbd6c7d7622e9a708","datavalue":{"value":{"amount":"+0.8069759607315063","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":"Q5166715$5ADD21D4-BFA0-4764-BC68-D9AC18F61A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380181fc9094b277e18cd075c358fa48a823ea8d","datavalue":{"value":{"entity-type":"item","numeric-id":3090840,"id":"Q3090840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e82ff8d87741765aa731046b325aacfe346215","datavalue":{"value":{"amount":"+0.803108274936676","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":"Q5166715$61E497F5-9A68-47F8-BE58-9CB9A64301D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166715"}}}}}