{"entities":{"Q3369934":{"pageid":3380638,"ns":120,"title":"Item:Q3369934","lastrevid":86825909,"modified":"2026-06-04T09:57:13Z","type":"item","id":"Q3369934","labels":{"en":{"language":"en","value":"FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003469"}},"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":"Q3369934$7A8D67BA-430F-4AA1-8E27-A8CA908B8EBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"864b30a50d2d29ee966e079f3c0a2a1f96f4170d","datavalue":{"value":"1087.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369934$8534AF07-FD70-40AF-810F-EA80B90675BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b16fd91786002b91992a9b66c661f73b22eb408","datavalue":{"value":{"entity-type":"item","numeric-id":3011892,"id":"Q3011892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3369934$3A37578A-B596-4816-BD61-AAEC3A75F9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7da3e661f2590e7d7c6bc02429d34051ced614f6","datavalue":{"value":{"entity-type":"item","numeric-id":3011893,"id":"Q3011893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3369934$BD6EB755-5BB9-4101-A6BC-9F7C9658F8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3369934$C84E8FF1-FFE4-4E7B-8313-1C3E6F0B297C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3ffaa84f6d89d948875b16a20e2c9937be8322b","datavalue":{"value":{"time":"+2006-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3369934$6599355F-3D64-43F2-BE95-9A07A7B5C314","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369934$DE36F2DE-332F-4FB2-8C4A-041E59C3A2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369934$01B8E7A7-4CAF-4A84-8B40-7D5BD3793E9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78f4739a5c31e69d0110b1585c8106b622196222","datavalue":{"value":"5003469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3369934$73E651BD-D9ED-40E2-AF0C-DD4853F25916","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":"Q3369934$1771B3F0-4F6F-4E2F-9441-BC1E848BAA46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3519e6b4ff00b2039a560c273dfe47f9a511510","datavalue":{"value":{"entity-type":"item","numeric-id":5712297,"id":"Q5712297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3873b40b6cee3e7230235ebcb29301b9312a49c7","datavalue":{"value":{"amount":"+0.8448107242584229","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":"Q3369934$F63ECBAC-F089-49E3-97CB-1A8CA60988BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33dbc30f747fab8803a883f02f5c2d3825d94c4","datavalue":{"value":{"entity-type":"item","numeric-id":3510867,"id":"Q3510867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19c7efcbcdbffd3138202bf85200af1eea4e9b9","datavalue":{"value":{"amount":"+0.8172482252120972","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":"Q3369934$481EBEA1-0E0D-4AAD-89F5-3990E9D2D2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb52bc5be944e4a3a1f8f74f9695b1d5b1c240c5","datavalue":{"value":{"entity-type":"item","numeric-id":5491887,"id":"Q5491887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c9911706406e5122c59f2f743943180f608d9e","datavalue":{"value":{"amount":"+0.81425940990448","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":"Q3369934$656B3344-7FD4-401A-9260-6E0D1919A425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116d86e07611903845b4a5515532d8c57432bc86","datavalue":{"value":{"entity-type":"item","numeric-id":5899044,"id":"Q5899044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6797236aca9b3490256d5b3ca86089699502bc15","datavalue":{"value":{"amount":"+0.7958204746246338","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":"Q3369934$C57702A4-4716-4E6D-B92A-4D0E7F66F8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989dacadda237f9c21f4d4d53cbc3c7abb889b29","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce05966a0e5246e22cd804889e35563bc8a09e5","datavalue":{"value":{"amount":"+0.7356769442558289","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":"Q3369934$F5906014-60A5-4E0D-B046-9564860E39F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets","badges":[]}}}}}