{"entities":{"Q5209965":{"pageid":7239536,"ns":120,"title":"Item:Q5209965","lastrevid":55976689,"modified":"2026-02-21T16:50:02Z","type":"item","id":"Q5209965","labels":{"en":{"language":"en","value":"Efficient implementation of coverability verification on communication-free Petri net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7156373"}},"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":"Q5209965$28F619D3-FAC3-42AE-95F8-CD47A116FB61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f86a6264f2e99c6af93ef4569831d24a03b7bd2a","datavalue":{"value":"1449.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209965$527680F9-372C-49E0-AB85-038324B70CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f289b6d9a7d1d440d0427180baad2974c14eb7a6","datavalue":{"value":{"entity-type":"item","numeric-id":5209964,"id":"Q5209964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209965$AA61D382-37E6-4D67-95EC-89543CA9C247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"550d64c91d301beef762269976380a557c575062","datavalue":{"value":{"entity-type":"item","numeric-id":986882,"id":"Q986882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209965$D31E3F07-747B-4961-BD78-2315ACCAE244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-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":"Q5209965$38048290-071B-48F7-A430-A23EB620E176","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209965$D801C914-3037-43DC-A64C-6C24270F19F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209965$BBD5BB22-36ED-4AAA-9B6C-88B86BDDC7E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5abdfb166b8853f190694b08e288db92a689f886","datavalue":{"value":"7156373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209965$57385C25-3212-4124-BACB-291975169F5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee935cb983a3ff305e01ed884606d033e53e66e","datavalue":{"value":"communication-free Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209965$44D43374-90DF-444E-ADBC-F33F0A7B7AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209965$07A16235-3136-419D-9175-3DE86F29BE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209965$B1C521C4-92E7-4A02-BDCB-DC99811A692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209965$1EFAF7BC-10CE-487F-9B23-B85262B5C0DB","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":"Q5209965$798938AE-5711-45A3-BDFA-C9E7B5570B42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f807a4ce97ce111342e14d7f6f0c465bd624211","datavalue":{"value":"10.13328/J.CNKI.JOS.005750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209965$818F8545-2406-427E-9625-211E4C2E38D6","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":"b9557fce3e6079a22fc882363cdcc4ee7c73a6c3","datavalue":{"value":{"amount":"+0.8153859376907349","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":"Q5209965$0240B09D-9E25-4D49-9126-D349EF2027D8","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":"2fb8b4d451e73df578bafbcd5d618f46e0a523ab","datavalue":{"value":{"amount":"+0.7834200859069824","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":"Q5209965$BD5EBA79-9BC2-4849-B131-6466E5ACE0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e24b824d13a98096a8c5251249d35e1dceaa340","datavalue":{"value":{"entity-type":"item","numeric-id":3132071,"id":"Q3132071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40032705608e25841aa3cae167ad5b810750ac14","datavalue":{"value":{"amount":"+0.7638636827468872","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":"Q5209965$E5DF0C5B-CE44-481D-80E9-A7FFA78EC195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5209965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5209965"}}}}}