{"entities":{"Q530854":{"pageid":532621,"ns":120,"title":"Item:Q530854","lastrevid":62533791,"modified":"2026-04-11T06:44:43Z","type":"item","id":"Q530854","labels":{"en":{"language":"en","value":"A calculus for automatic verification of Petri nets based on resolution and dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608307"}},"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":"Q530854$88754877-20B0-4434-9623-3DCA8E3CC828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e134c73a92bb03de9f3421fd4d2f1a43b753f3b4","datavalue":{"value":{"text":"A calculus for automatic verification of Petri nets based on resolution and dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530854$32025829-7D5A-4836-81CA-B34B9AEBB3C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d9e13f558969af97909e8a738669f6e24c7a7c","datavalue":{"value":"1342.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$7F1BDD22-7DF7-474B-8ECD-D797B5C6C6FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$DC478DD7-C75A-40D7-B89D-C95CF444AE6F","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":"Q530854$356874B6-FB65-4C16-A3DB-AD17D8B4CF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$CF5F50A0-5663-48F9-914A-6D3289A4A1BE","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":"Q530854$4B50EE99-0D83-4AD8-B7E6-15FC83E44E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q530854$C684D1D1-FC13-45A9-B0CB-5055872AFBD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$22342E0B-D308-405E-B41B-AA27B7F74978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$BCB9117A-8E5D-4FFA-83B0-327032FCC813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$1115A07F-2CFB-4195-81FA-F56A369F44FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$7D5C5F36-4919-4D56-9302-6E7980F5868F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef9a9ae1a07097147fad726a3d9c2823d60267b3","datavalue":{"value":"6608307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$396D3EF0-01B0-484B-B788-69A23600DF44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q530854$D783F73C-A9BB-4F0F-BAB1-1CF16EBFE924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q530854$79EEC5AC-906D-432F-B5E3-DE8881754E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q530854$212C3B42-F945-4CE4-89A7-7237CA95A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q530854$9A0D76A8-BCAA-4BAF-A4CC-D769463D88DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bfb9a9840a68dea4cf8d157ac63fdee4b18dabdd","datavalue":{"value":"Q113317806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$8177F811-3C65-4263-886B-C4E7E657FDC5","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":"Q530854$197EF39A-5463-4506-A6F6-B1DFA1C4CE09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51b3fde2802552ae0180dbb6c50b5a553640c662","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.04.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q530854$CE47C4E0-58E8-46E9-8917-F6C199374789","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b8502899017acd71563681c75b3440ddfee63fa","datavalue":{"value":"W2009555631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$CDFD7D2B-F05E-42EE-A7D1-3FE410BD9D6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b024f968ab39eecba87b54091254c36a354243e","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$AB2316CA-8E5D-4B2A-B2AD-C7C58BF01D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bcda65e610363bddab6f4865aeb9f01f025253","datavalue":{"value":{"entity-type":"item","numeric-id":5712277,"id":"Q5712277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$D793322C-1009-4B9D-B397-834A5B4D6BBA","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":"Q530854$06B80F4F-130C-4F1C-AB8F-4F6863B749DA","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":"Q530854$26E9E5BE-286F-463C-845E-6682BFFB54DA","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":"Q530854$31766CAB-B1E7-4F6C-ABA6-0DA7B421B914","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":"Q530854$18B215C6-6DB8-4DF6-96F7-259D51245068","rank":"normal"},{"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":"Q530854$D5148162-77C0-4261-8557-0987813E8B1C","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":"Q530854$13DCA24E-77BC-421A-8964-D78B0F530FD3","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":"Q530854$8407591A-6498-4748-A19E-4C34B234CF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70b4bd0a0285eb72e09c25a7fa8cfcf48cc0332","datavalue":{"value":{"entity-type":"item","numeric-id":3533143,"id":"Q3533143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$DEDE34D3-35B4-4F0D-A2FF-BD9B1FAE8E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d5dd2ea6e934c488ff6606e63dba48446e71df","datavalue":{"value":{"entity-type":"item","numeric-id":4133144,"id":"Q4133144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$74BBBF82-2E60-4F0E-9A45-A3471FA8C047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530854$3F3FAC4C-DA90-4DFD-9B4B-65ECA0DB307B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc08d4e9d2ba83e1855ca73122b670cce2b87491","datavalue":{"value":"10.1016/J.ENTCS.2015.04.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530854$C2F57A31-0FD2-494B-A351-192D978A7CCB","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":"e8a848c23ec909a426f8d6289be961cb237f9b46","datavalue":{"value":{"amount":"+0.8105028867721558","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":"Q530854$128E1535-06C2-4503-B08E-D63D1D9A1693","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":"5220212db2dca4a1447085925482636bd4aeeaf5","datavalue":{"value":{"amount":"+0.8003895282745361","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":"Q530854$1DED35FD-4A72-4A77-A33A-2A6A61BC77DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855e1b494e2774dfb64132dfd52837c9100b87ce","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"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":"Q530854$A40A46EE-9F52-47DF-95F8-E41D74543E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e489fb615134e9ce941bec2e6145d30ba24c79c","datavalue":{"value":{"entity-type":"item","numeric-id":2937547,"id":"Q2937547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbb184c979d079a9584c28237a1224f44c42d3d","datavalue":{"value":{"amount":"+0.7632781863212585","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":"Q530854$12D167A5-4657-49B9-85DF-D6E77E11CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271cc4fb04944460391aa740a7a9cacd40669f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5039675,"id":"Q5039675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2f948310cacced398bda5a25287f545b911f13","datavalue":{"value":{"amount":"+0.7610482573509216","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":"Q530854$FE0AF2A7-383F-4A59-8D3F-CD4174376694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus for automatic verification of Petri nets based on resolution and dynamic logics","badges":[]}}}}}