{"entities":{"Q2974777":{"pageid":2985502,"ns":120,"title":"Item:Q2974777","lastrevid":85637468,"modified":"2026-06-03T10:35:07Z","type":"item","id":"Q2974777","labels":{"en":{"language":"en","value":"Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703912"}},"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":"Q2974777$B582578A-2319-4B37-AB4F-590229F088CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61776f7557644cc6a3f8913b9d0e530ae69bbd67","datavalue":{"value":{"text":"Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974777$C776F044-16EE-45FD-ABB3-358625BCF7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d5ec3838e63de296749f2f64c97997d8ad7aa3e","datavalue":{"value":"1445.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974777$5CA4137D-CCAE-469C-B930-86FFCE9F95E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe91b7f8d481186a8c12178adc2efc51b25f9ce8","datavalue":{"value":"10.2168/LMCS-12(3:6)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974777$899FD8B7-3A9A-41E3-BBFE-39E4F6DFB9DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1843352b6f444e474b458244b096b619e5cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2044208,"id":"Q2044208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$2B94FE48-6B15-4256-BE70-105ECD0BBE3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$C5CE686B-139D-4135-9B35-A752181B586C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2974777$CBAEE724-249E-45E4-9989-81A8D7CD369A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f38582bf3045734a111a0a084e41142b8345349","datavalue":{"value":"https://arxiv.org/abs/1606.09110","type":"string"},"datatype":"url"},"type":"statement","id":"Q2974777$F43772CA-F953-42FC-B56B-F6C2EB4BD6FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974777$DDD61000-8D5A-459D-B8E1-1397EB000988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974777$8D5C763A-DBCD-41F3-BD4E-210715F0874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974777$7CF5BFA0-8352-4718-BEED-3CBA515AA512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f9c44ba165e27c20de4f039240bfead8d20c3c","datavalue":{"value":"6703912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974777$1C6B926A-7F6E-4586-8AD3-72D109F02B1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974777$AA2D9953-8EC2-45DC-8AB0-79DF8BC887F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974777$5D282725-AB34-4338-9BCA-8BEB19C556E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5bb199b9466002949c4d8fc46dd4650ac735d0f","datavalue":{"value":"angelic and demonic nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974777$E5375915-32E4-4366-AD02-213BF6D8C8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810f1baf772c120022d33fca51f1bc6d89b6da42","datavalue":{"value":"safety games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974777$9287A90D-C9FF-4EBA-B41F-3CBADD9CCD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974777$8A7CC047-74C5-4DE3-BE1D-ECFF293098C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07df810b33e1d55b22b53908a9292822a7ea27d2","datavalue":{"value":"dual nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974777$4401D486-4760-465A-B8EE-BE40AFFF42AD","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":"Q2974777$C9E98B08-44FB-4CD4-996A-35B1048CD849","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$628C6A5D-A8B0-4778-BD35-A3AAD4106999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$324B3057-080E-46EB-A161-0714FE30FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$DB90EA15-8DA6-4F1E-B69A-312995A50F3E","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":"Q2974777$EDE7895B-B5FD-4D22-9582-8D463F29EE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f96f1b5184988ef14c3a8dd82b1d2786ba8272","datavalue":{"value":{"entity-type":"item","numeric-id":913495,"id":"Q913495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$FADD135E-8A66-434C-9FB5-1DC7B3264BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b116a99357b3d672b8fba8948de48e57254ee","datavalue":{"value":{"entity-type":"item","numeric-id":1199826,"id":"Q1199826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$71C2AFAC-4142-47E7-8C0A-BF9B32BF25B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$39153F53-A565-4184-9C38-A05616DE1094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$9A9F9947-B74F-4712-B1A5-3E8660839EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$A60BE954-3293-4E14-BFBF-A6CDDBD0D2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa1b80f440c80e7a517d3aeade684d63043e6071","datavalue":{"value":{"entity-type":"item","numeric-id":5738904,"id":"Q5738904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$05167366-6F24-4D99-83F0-02135BB66819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$EABCEE30-E2BF-45D8-A2D8-9EA8DE4FA0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$F926FFA8-C6BD-404F-85A5-E2A3DBA526AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$FD6356B8-86C1-4B06-916E-B912EADBBFEA","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":"Q2974777$BB9C3DCB-414A-4A1F-8F26-102BEB25B675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163e69448d39ad531e4cc97f8ffafd03a99ce660","datavalue":{"value":{"entity-type":"item","numeric-id":1393937,"id":"Q1393937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$C466B68E-FCA0-41F7-AA94-FA89E47587C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9feb11a77fdba57e24b265e2c115c8bdbfb70d","datavalue":{"value":{"entity-type":"item","numeric-id":5271064,"id":"Q5271064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$00C2859A-8724-4174-91CD-E62AD1EB6737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea309f37c981e5b0b2835f097b6a2ae230d10a51","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$8C7E4938-F45C-46DD-A56E-BEE7021587B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$486D24B2-E39C-4BFE-B3DD-DF48D6454165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be82556f4392c3a11aabb4e7e7b5078ed0ae9f","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$EA558A78-5207-4701-85C5-D6CA6D423756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$D85A630B-5B22-4BD0-A32F-711C35ED1A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99fd685bcf30f349d06a773c6816df3cf4f339a","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$412B3F39-F1F8-41FC-9872-9A8E6F2C72A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$CC8754D6-979F-4495-B4AB-852ACD64B9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c40bf792f48dba5fa959568e11244e0afca811d","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$91CF1E1E-B8F2-45CC-8165-EEA118C9AE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$07A185FA-DA0B-4177-B04B-3A9639C487F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01d40bda7ef206861db6541842de52188bab23f","datavalue":{"value":{"entity-type":"item","numeric-id":4635654,"id":"Q4635654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$6E10B7AC-FE61-4B6A-BD49-60B7737A0379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81bc418e0d8bb22291569fa0e9d68064297f939","datavalue":{"value":{"entity-type":"item","numeric-id":2948549,"id":"Q2948549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$7CCB8587-9743-49EC-A2BC-CDD8255A1D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904c04e01dcbf6ea612cf0e7a7c8dc9d0d309602","datavalue":{"value":{"entity-type":"item","numeric-id":5277914,"id":"Q5277914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$B83D6AB6-CBA2-40D3-86A3-B5868CCEEAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b538a905e55a3a3ac60540cfc17ddc70ef457fb","datavalue":{"value":{"entity-type":"item","numeric-id":4925034,"id":"Q4925034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$4A4A1206-8ABB-4D95-87B3-143F5A4A37B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7117f24da0591c5d932469565889626f20871e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5313088,"id":"Q5313088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$6AE32E85-30F0-46D9-8668-8D711AE86563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3e8d33ae9d602d2f1eaec1be89220e3de18658","datavalue":{"value":{"entity-type":"item","numeric-id":870278,"id":"Q870278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$4F6ABC70-23F1-4330-A117-31D65CA91BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$2A1CD6E5-0695-445D-BC2B-09BE664768C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$96B70B32-CBEE-4698-9480-A9E28191D840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6df23c941ce47bb225f93d834bb5c870e3e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425186,"id":"Q1425186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$00289834-C818-4BFC-90EF-8DE2816E5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eb2c039713d01ab8b3b55a4699b056bc69884a","datavalue":{"value":{"entity-type":"item","numeric-id":5902058,"id":"Q5902058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$85F7B673-0DA6-4283-9DCA-8A0C2C06F6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda427bf3691d6d17e30eb998c33bad84c6e4597","datavalue":{"value":{"entity-type":"item","numeric-id":5732102,"id":"Q5732102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$112D174C-49A5-4E2D-A986-01D689D5E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$7E3A0F7B-F9E6-4FDD-A57F-136120DD736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377e83d215b56f64009f6d7a5c675a0cab428d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4823140,"id":"Q4823140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$45771370-E375-4B29-9A04-9AD31DA78C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974777$FA75C064-F2F5-4020-8E78-DFE3686894AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73fca1a1ffae185c0772c921be4e8ccb633a8e00","datavalue":{"value":{"entity-type":"item","numeric-id":2948549,"id":"Q2948549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a64fbfa192db407038d23dde27bef05f94adff","datavalue":{"value":{"amount":"+0.9918171167373656","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":"Q2974777$AA0745A9-0CDC-4972-94C4-C25241C2CC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747da4760684c4ae7c17554623ac1f638033033d","datavalue":{"value":{"entity-type":"item","numeric-id":671651,"id":"Q671651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfc4ebcb0fae0ae5776ad84ef02e91f8aad6770","datavalue":{"value":{"amount":"+0.776723325252533","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":"Q2974777$5F32A8CE-8D6E-48D8-9DB0-002064856D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d497665b46c0c1d4a8904a118b7917bd17534","datavalue":{"value":{"entity-type":"item","numeric-id":1822934,"id":"Q1822934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76d18680350618c65698b2e357ca2c00d93e793","datavalue":{"value":{"amount":"+0.7441214919090271","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":"Q2974777$24612FF6-1A6C-4761-B716-8422C8AFEB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f43e1051e2f71242855ca955d1d9a90cf5acdf","datavalue":{"value":{"amount":"+0.7439092397689819","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":"Q2974777$BC6BEB05-ED8A-4572-BFBB-B19D9FA61DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e62ffbc79872d6d9d9e1b33ea0221ff655d767","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554038abe81f85c3cc8426f04abe13c0f143afcd","datavalue":{"value":{"amount":"+0.7199773192405701","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":"Q2974777$4F9D43A7-F2ED-4E0B-ACCE-E47EE68A359C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism","badges":[]}}}}}