{"entities":{"Q974118":{"pageid":975966,"ns":120,"title":"Item:Q974118","lastrevid":65909811,"modified":"2026-04-12T06:11:51Z","type":"item","id":"Q974118","labels":{"en":{"language":"en","value":"Alternating states for dual nondeterminism in imperative programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712828"}},"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":"Q974118$ADE0374E-ED33-4961-AD3E-33E771FD9786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fd20ba73f046d462d23bdbd8fcba7fa037472b3","datavalue":{"value":{"text":"Alternating states for dual nondeterminism in imperative programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974118$FA51F6C3-A41C-440B-87FD-56A5E8139586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"263e3b1a7e632e32296017dcdcf02ddb14778195","datavalue":{"value":"1208.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974118$E3C8500A-555E-454F-8DFB-49C0E426AD03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$1B66D7EA-9101-42BA-9D58-A2CD9261572D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$562A9C24-973B-4F39-BFCF-356A503B0845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fe2a9116b611a4e0cd03f6e91b5254a2aef5ed","datavalue":{"value":{"time":"+2010-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974118$91B9A7B0-1806-40BA-8B9E-95B7BC53E764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7961668d2c4940d1e2fc4b92fa24dd2ad3780e0b","datavalue":{"value":"https://pure.rug.nl/ws/files/2576371/2010ThCompSciHesselink.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q974118$54164C5C-204D-4D93-9BBD-884430B5014F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974118$ED076580-16BB-40EB-8ABB-8E5D75649535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974118$996A552F-A156-47D6-834E-C11B6D5F9F95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34d132d8302e15cc80a298913bdcf3d2498d0cf6","datavalue":{"value":"5712828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974118$2D17C5FC-96DF-4CD3-AEAD-AF106000E5C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d59917b5923f7d0e28cc656274e4c8c445733f9","datavalue":{"value":"free distributive completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q974118$838CACCC-53DB-43F0-BE86-F481220F4EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q974118$CE140167-79A4-4F37-8DAA-60C1CE9B4DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef47f1c96273504aad0459848b3485a5e133291","datavalue":{"value":"angelic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q974118$7390333E-BB0B-435A-A304-697E19D0B97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c2377928da06455f882b2ea7560531017cc6b5","datavalue":{"value":"demonic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q974118$D332478C-9BAC-47EA-9F2F-B3CE9A96AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q974118$321333FF-1FD9-47DC-AE78-587491337634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa7f72505b2ce18245591d6ee85475d4b2f9fdf","datavalue":{"value":"programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q974118$B802D302-22F8-4DCA-98CD-0EF3777FFE4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$3225EDDE-813F-4E4E-B5C2-136C3561652F","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":"Q974118$48324B13-2206-4535-8B77-5E3BE978C613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b130d828fe3b30a2d11e311b295aec2c829b7a9f","datavalue":{"value":"W2123443277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974118$FD05FCE3-DC84-4E77-AF4A-4248E5E09218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$D7C0A418-BD14-4BC6-A9ED-2BDC243AC085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa22b8020d2e02a46ee6f96a629706536ac1789","datavalue":{"value":{"entity-type":"item","numeric-id":4134908,"id":"Q4134908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$8CC96B19-A9A2-49B3-B4BF-F92DBFF251B2","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":"Q974118$E9B23837-A775-4B0B-9FD6-057FEC52C645","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":"Q974118$4269BCCB-5728-4C12-AAC4-2D86E46C0459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$56B62840-DDBA-4E79-A2F7-A8DB1A63D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$A0F7BFA1-C01E-469D-8EFF-0602E58EEA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb3e26760d87c71a363189dcbfed536d99889b2","datavalue":{"value":{"entity-type":"item","numeric-id":3954796,"id":"Q3954796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$C58B0AF9-76F2-4C19-81BD-CAB5BD0837E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5b732c4ffa7b56a3631819adc7a20415738ad4","datavalue":{"value":{"entity-type":"item","numeric-id":4192046,"id":"Q4192046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$91CE827D-30B5-4BD0-8BCA-36ADBB2A2539","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":"Q974118$57DD44F8-E6B3-4161-BC8E-BF4A911650C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$3FBF997A-F307-4235-BCC0-FCCBF50241B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$8089D328-0754-4DFE-BCD3-76D0742774E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$149D252A-B134-4D37-BB07-003B457AF4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$2208A421-AEC4-4354-8D8A-04176B0D64BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f293d0fef92619b42dc4811f7c0a2dcd5fe3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4109269,"id":"Q4109269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$18C3B379-509B-45E0-A26C-205A43092BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44869c61c83d952c42bca31f4480add28534404","datavalue":{"value":{"entity-type":"item","numeric-id":5563096,"id":"Q5563096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$CCE3BD31-C6D2-4169-BE0B-6079B29488F2","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":"Q974118$3839FC10-A6A1-4BB7-AC57-4CCA13D81374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$1BC9651A-1C2E-4519-9075-078773E3B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$9A8264C8-2ADF-4C69-9CBA-92F288C8E580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738ddf5682058bbc805cfd09073fecab0ab74c09","datavalue":{"value":{"entity-type":"item","numeric-id":1903074,"id":"Q1903074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$B269F315-DEA1-4A91-B76F-537C47929865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$7D5DE930-6792-4D6F-870A-924837B72AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267e5728c52438fc92c0d16497f1b6fd3f946f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1115173,"id":"Q1115173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$97A6C250-C7AD-4718-92B3-3BA602EBAB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d20b3ecf74e65d3204654fdb2a95f88ee63b17","datavalue":{"value":{"entity-type":"item","numeric-id":4711358,"id":"Q4711358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$41680D46-E9D3-44EF-84D3-DBAC5840EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6f37b944bf995fcb106bab7b920c6000a076ca","datavalue":{"value":{"entity-type":"item","numeric-id":3996921,"id":"Q3996921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$B2E51D2C-072C-45B6-8EB5-EB45C5C0B787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acae5b977023587a1e9151b75a311cb1072c83fd","datavalue":{"value":{"entity-type":"item","numeric-id":1196299,"id":"Q1196299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$EAD8D425-AF9A-48FA-8386-475D2509C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3e0e356321ad774ec56ed7eac94e7f3afb152e","datavalue":{"value":{"entity-type":"item","numeric-id":1318704,"id":"Q1318704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$487A2CA4-E983-4E07-B279-E8EED60DE3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18aeadd9a555abca1a74d83a45b5992b82a9255a","datavalue":{"value":{"entity-type":"item","numeric-id":1578396,"id":"Q1578396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$2501F402-21D1-475D-AAB9-ECC32993E5D6","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":"Q974118$5A4E2CBE-F6F4-4BDA-AD7B-187B62157944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$E80FF4A9-FE11-49D2-A753-9C7C3750CFA3","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":"Q974118$CA849168-3519-4E0F-9F2A-3720E0F258D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$501E0834-F448-431B-B96A-DBA091D4E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$A1C02E7F-7418-4088-B57E-B6EAAFA69383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949d09f6288c0b21ee8040f31512331a005e932d","datavalue":{"value":{"entity-type":"item","numeric-id":5313090,"id":"Q5313090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$716A07CA-8C03-4F6C-8644-E80FEAF0CAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8defd58a97a7bd837c0a336d2da89c83fd903e21","datavalue":{"value":{"entity-type":"item","numeric-id":995749,"id":"Q995749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$1BE5E84D-3B51-4461-A2B0-1E286ED2557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbebc53bf38de9f05f7cbec2313453737f92c670","datavalue":{"value":{"entity-type":"item","numeric-id":870280,"id":"Q870280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$178A0F29-6847-4ABE-9A87-7821FD5E1C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$6075142B-0F8F-409A-9087-880179A939CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$36275B83-7EC4-4B76-BF6D-082B6736C4A8","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":"Q974118$4740361C-D396-483D-B810-FDE990736F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21a67219021c44c7c1683639caae8147d97bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":1071039,"id":"Q1071039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974118$2426AB6C-6365-4159-8E8F-07C23C40B737","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33f1bad552952fde785d7068db2aaff591e83440","datavalue":{"value":"10.1016/J.TCS.2010.03.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974118$CA2C5B60-ED33-446B-9561-8531318FADE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9910f779e110a2cc3715c129b01a2ff86df4d43b","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3bef9dec95d78337fe65a1ab83ea9b14064600","datavalue":{"value":{"amount":"+0.765268087387085","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":"Q974118$3A8ACE55-EF97-4C7E-9745-C1A89B49CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4e85de96ed166b1885c46343495a832312dcb8","datavalue":{"value":{"entity-type":"item","numeric-id":5459194,"id":"Q5459194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844dd7b9bdcc04e51ab92085531b04772e8b7553","datavalue":{"value":{"amount":"+0.7635239362716675","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":"Q974118$862794F3-B860-44C9-A707-C4E3C53B1BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8fd8e077030a86292af63c29addf423a408c7a","datavalue":{"value":{"amount":"+0.7624555230140686","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":"Q974118$DC6A9FC5-080A-45C8-A1C1-0A61A78B0701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766c2e79c1502a943e2bc8de2ff590c3f3fd2414","datavalue":{"value":{"amount":"+0.7615674734115601","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":"Q974118$6D590B3B-309C-4333-9F8B-699AEE9C5F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efdf3a21ea57529d4367f0e65385bc92e048c24","datavalue":{"value":{"entity-type":"item","numeric-id":2707309,"id":"Q2707309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3e556f62fc61e4c8ffed5056f63b4dda077fd8","datavalue":{"value":{"amount":"+0.7555453181266785","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":"Q974118$6870ED36-6925-469E-BD24-CAAEE7410E7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating states for dual nondeterminism in imperative programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alternating_states_for_dual_nondeterminism_in_imperative_programming"}}}}}