{"entities":{"Q3536336":{"pageid":5566240,"ns":120,"title":"Item:Q3536336","lastrevid":90262454,"modified":"2026-06-04T19:42:51Z","type":"item","id":"Q3536336","labels":{"en":{"language":"en","value":"Verification of temporal properties of nondeterministic algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5370170"}},"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":"Q3536336$9B172684-9CC3-45A4-A423-0F2D3F443BD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4707dd1a6eb8ee15a6d122a82f65a7fc0252790","datavalue":{"value":"1147.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3536336$290CF3F9-FCE2-47DE-9226-BF567A58FD65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3536336$A200AA95-1E64-4376-92FF-B70110DA1B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"218b3b3792c723484e4e10ad64af63d507c6792e","datavalue":{"value":{"time":"+2008-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3536336$2E15A477-F3AD-4705-ACAE-3F4B00F90F21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3536336$6BAC3BDE-533F-4E4D-A5B6-1BB17A45BBA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cf279ec13dc5ab9f5649bb749bb23e2bd8322de","datavalue":{"value":"5370170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3536336$9D368EB2-464E-4A9F-9339-6BDF5DDA448D","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":"Q3536336$25019AE5-EE38-4723-A30C-780E76A86D28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50345fa88c8af3bc18858d089ec67d475c3bd7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4547958,"id":"Q4547958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c1396cc5a9d9716e1b311a5785d1c72438606d","datavalue":{"value":{"amount":"+0.8331230878829956","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":"Q3536336$B0363BEC-0745-4EA1-AC5A-61D7F80EEE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc2fd789aa2f3d014d919c3a3a4076c401257b","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c555a605d8971c9038347543d2679f2c0c380a","datavalue":{"value":{"amount":"+0.8140383362770081","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":"Q3536336$E71B701F-AE76-46B0-A592-8F356288842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939ba46ae8c13870d5d1b99a7324d65de42e33c2","datavalue":{"value":{"entity-type":"item","numeric-id":4031327,"id":"Q4031327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3f7d8cdba6ed64425c5f54be81904f02ad9a92","datavalue":{"value":{"amount":"+0.7991927862167358","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":"Q3536336$A4FC71E4-9232-4B3E-9D40-53B7560516F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea294ec4f01088d81aabd4eedf00652a9700fbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d360b315a2b0634ffb81c7cadcd49656f563eb","datavalue":{"value":{"amount":"+0.7941957116127014","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":"Q3536336$6267CBCF-FA85-4A9D-AB8E-4753CA2D8C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beac1a2789e0b5a4281a7f96134071f404f043bc","datavalue":{"value":{"entity-type":"item","numeric-id":2759366,"id":"Q2759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bf1a8b282faee5723128675181f027cfdf84c0","datavalue":{"value":{"amount":"+0.7866662740707397","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":"Q3536336$705E1BA0-B04F-4406-95DF-AB25FBD91DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of temporal properties of nondeterministic algorithms","badges":[]}}}}}