{"entities":{"Q2852020":{"pageid":2862740,"ns":120,"title":"Item:Q2852020","lastrevid":51838574,"modified":"2026-01-20T07:17:26Z","type":"item","id":"Q2852020","labels":{"en":{"language":"en","value":"Action planning for directed model checking of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213639"}},"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":"Q2852020$67A4448D-9591-4342-8496-582663762086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4002d667cef86d7ebb49467577532edaff02f0a1","datavalue":{"value":"1273.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852020$34658859-99C3-4A93-842B-C3728D45FF35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e9891982d51a824b72785c3fad60d1c76460f1","datavalue":{"value":{"entity-type":"item","numeric-id":343908,"id":"Q343908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852020$66631A8F-2EA3-45FD-AE9E-F36E22B78404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aa6298099f3f16de494fa8299557341486c65e9","datavalue":{"value":{"entity-type":"item","numeric-id":2852019,"id":"Q2852019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852020$9D661756-D54A-4C3B-B9EA-967322A7953F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852020$41B562CC-E0B8-4DFF-B0A5-0185A22C898D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"093197a60800079832bbbaa76ff85d3710a1237f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000661","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852020$73E25516-9C2F-46F5-B0BE-41211534396D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852020$762B7EA1-A4FB-43AD-B46D-24A2B58CA217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852020$8AEEB19D-96AF-4BCE-ADB4-1B080E63BB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852020$5A663792-7A08-4246-A5E6-DCD82AD61169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91aa5a4587f3cce7a91da869175f7b5237828080","datavalue":{"value":"6213639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852020$8FA8742D-627E-4502-9CEE-F6817CD1D84B","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":"Q2852020$FE738C7D-008D-4815-AF21-75A73BDCFDCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2683053b3623f9d60f9a36748d55fa9a651d152d","datavalue":{"value":{"text":"Action planning for directed model checking of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852020$C083F6AB-5434-47CC-9F75-C93DC5B7096A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5fae50de319b3be3c18bca40f5f874b75c9a92","datavalue":{"value":{"entity-type":"item","numeric-id":3599218,"id":"Q3599218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073aa7d5ccdeff8e7da7a138301abb05cc280df1","datavalue":{"value":{"amount":"+0.7867670059204102","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":"Q2852020$9D0E33E9-F4C5-4CD1-AAB3-3956F541AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8707c047412bfb176c21830bc845a2a6e4d6bc","datavalue":{"value":{"entity-type":"item","numeric-id":2233488,"id":"Q2233488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cb2d332664db434d1bb85d6d55640bd5b6c31f","datavalue":{"value":{"amount":"+0.7671861052513123","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":"Q2852020$54228B86-7BB7-4F57-99E1-208400D3F4C4","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":"8f8c36906e36d794c34acbce5693229038243d56","datavalue":{"value":{"amount":"+0.756580114364624","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":"Q2852020$7AC2916C-3A4C-464B-9764-BA39344D74DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171a2a6385cdb6da4f7d840f4f9efe710c7cd67a","datavalue":{"value":{"entity-type":"item","numeric-id":4471845,"id":"Q4471845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e72c13fffa69b3fb48ac0fea6991be166950b59","datavalue":{"value":{"amount":"+0.7531751394271851","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":"Q2852020$4A9FEAEA-34FF-41C7-B04C-EB94F47518CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5562d94d880c3c2137a8f74cc3a8390d39e7826","datavalue":{"value":{"entity-type":"item","numeric-id":5899035,"id":"Q5899035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9122228df25ad2b34f7d75635e9e388c07d318df","datavalue":{"value":{"amount":"+0.7497769594192505","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":"Q2852020$F1E8E8E0-2B65-4120-8EAB-6FCD97C628DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852020"}}}}}