{"entities":{"Q281154":{"pageid":282921,"ns":120,"title":"Item:Q281154","lastrevid":60669321,"modified":"2026-04-10T18:24:26Z","type":"item","id":"Q281154","labels":{"en":{"language":"en","value":"Extending propositional dynamic logic for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578788"}},"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":"Q281154$7D1ED73C-7A25-4536-9432-8D77C33BD32F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46cda68b762baf2b8352697a01c6cdb0521a6bf2","datavalue":{"value":{"text":"Extending propositional dynamic logic for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281154$95E784C4-AD79-4EDB-94BA-ED0FFF6DF416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de62b467f423a45492288ffa3febf896ea8748de","datavalue":{"value":"1335.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$B155773E-A043-43EA-8AAF-EFD8A795ECA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$66DF0877-60FB-416A-982E-2DD770D963BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$67641DB6-EB2D-4B35-9CF6-D7215EFE4B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$B8747615-B33F-4EB7-B3F1-2D9727AEC5FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281154$B5A7D9DF-3B7A-4026-B542-E3610B3656B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$540C7F31-D537-43F6-882E-D22796CB4709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$94BD96B8-2036-4C83-A069-CF8D8972DBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$2FFE27DD-4CF5-4B55-B917-FE75484809BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$6544E7A7-7AA6-443D-B511-9CCB6A96ED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$7AE17A59-A3AB-4DEC-B163-1868E5568094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$0096DEB3-6ABB-4909-BD68-62C9E54F59F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0632c1355bfbb2e5cb463d2fd324fa5c264339e2","datavalue":{"value":"6578788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$D3F754B2-CCE3-4E6E-BB99-FF1F9018A51B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q281154$528B709F-731F-4967-AD32-F21500B3DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q281154$7D375907-7DB6-4A9C-B4B9-B93547F4E725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36435d873b8375565d6a5d37325ad9f71e5b49db","datavalue":{"value":"stochastic Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q281154$C8A9BB61-E690-4732-92B7-028486D1D20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q281154$339F685F-315C-44B6-8F16-1FB9B44590C1","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":"Q281154$09BA0908-E10D-44FB-B443-D541C844A0F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76a0fd31ddd491ed738e6569fc1d5fc49d062dfe","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q281154$D00325B1-B906-453F-81DF-4CF7AD6C394A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bdf6fafed26b049c4dd8158374a86f8d879ae34","datavalue":{"value":"W2035169146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$19BDE581-3698-46C8-BC71-5694D9D34CF0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0e6da576feb8756a486b14274c7da6cb6b5ccbc1","datavalue":{"value":"Q113317870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$E1E93BA0-6174-4E8C-ACBF-AED6419DF79F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b760176cd64eb25e121f74c62f381a07ab10480","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$6EFCFF02-D4EB-4EF1-B251-773D6C888BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$3AA2532E-1A9C-4A11-9828-A5200C2E33AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d19a0525a1acff5da609630f95797fc5590435b","datavalue":{"value":{"entity-type":"item","numeric-id":3122378,"id":"Q3122378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$2C85F223-77E7-42DE-BEA8-E4634D0B7138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dbf5771994548b20fda96ec562836af82729f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$1E469FDF-47C6-43F3-9C59-305933CB4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c89b7fda5390f42e0f304a859cb2cf862b0eab0","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$D470FA4F-04C5-404B-B2AE-7A510BE72C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75882a9a2b6b3a8cba4f283e497ce540bc19b01b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$DF8ED258-B4E9-4B19-8293-095717744346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$4EEA7A64-DEEC-47F6-B1CC-24923FADA9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$624840B5-592F-4066-A4B4-79650CAB3790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4194fe9c5efca3956f2e002d4ccebf6de84f61","datavalue":{"value":{"entity-type":"item","numeric-id":3613348,"id":"Q3613348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$6429C1E6-2B32-4A63-B63F-77EAD2384153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca135c543de34aaface21366afbd9e936f70d877","datavalue":{"value":{"entity-type":"item","numeric-id":4553270,"id":"Q4553270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$C5223CB6-5811-4002-B2F4-D63FB04114E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$CF8ED102-13D7-41E1-B832-7A99CD6C4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c071f156dd6170668d977558cde758fa0c05fbdb","datavalue":{"value":{"entity-type":"item","numeric-id":3238703,"id":"Q3238703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$BE8264B3-38BF-49A7-8074-598ECA8FB88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$05479FAB-F8B4-437B-A98F-EA7200E10837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a75d7eb8197baf9f25ff642e0a4e967ba41360","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$50E47A78-E4BD-45BA-B0AC-2885208F39BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$5FBCEB2D-2521-4461-A768-67167554552E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$F608A53B-AABA-439C-8660-5F226908D3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$BD12E5D9-A8DD-4886-A2EF-835F619FAC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$8AE68238-8C28-484B-815C-E30B50892B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d10355086bf07622c686253a5ff1f05750731fe","datavalue":{"value":{"entity-type":"item","numeric-id":809069,"id":"Q809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$1A83CDAB-E307-4E5E-9453-E99A5162A275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7103a5405286b870e6ab7a14ae128d2d5cab1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1062972,"id":"Q1062972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281154$F0710001-484C-433B-9599-869AB1C4979B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45d97c62b3440f89b451bc7eadf228ef8424faa6","datavalue":{"value":"10.1016/J.ENTCS.2014.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281154$06127C84-FA12-464F-B09D-061A17A9786C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9196921b2f767400fd8e135a2d1aa1284207a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4644609,"id":"Q4644609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4074850939e9f8900930e7d9316e0687aa60f22b","datavalue":{"value":{"amount":"+0.9093107581138612","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":"Q281154$AA345C41-A2D0-467C-AACA-F5A02B787FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9ea80679e044562499fd04606c455ca135080","datavalue":{"value":{"entity-type":"item","numeric-id":1786561,"id":"Q1786561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137d9e3a9049499bff2955db2143120730717627","datavalue":{"value":{"amount":"+0.8288260698318481","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":"Q281154$74B762AE-B2C1-45FD-B264-D6FE94686B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14ba42db8022d87272013c5724dbba6ab287541","datavalue":{"value":{"entity-type":"item","numeric-id":3179415,"id":"Q3179415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7565afad7bb52d8991e45e69009e7e4f46762d9","datavalue":{"value":{"amount":"+0.8169387578964233","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":"Q281154$5B7A5E4F-AC71-40BE-AEC1-182E1693AA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1929f5785aebf2d97a012f7b4238ba5c0c4598cd","datavalue":{"value":{"entity-type":"item","numeric-id":530854,"id":"Q530854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eefbf4f2e73a6b4a6c1cf8a954730b1bed66542","datavalue":{"value":{"amount":"+0.7855075001716614","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":"Q281154$A5B08C4A-8FDE-4574-9DC7-353D80E957A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d531c02f82886d5e4ab19894c6cf343ed46385b","datavalue":{"value":{"entity-type":"item","numeric-id":4644610,"id":"Q4644610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da715f7d092deca8ede91ff036acd83c43a664a","datavalue":{"value":{"amount":"+0.7837599515914917","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":"Q281154$26BC9009-1CA5-4E09-9161-3AF639582B99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending propositional dynamic logic for Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_propositional_dynamic_logic_for_Petri_nets"}}}}}