{"entities":{"Q6174540":{"pageid":13309428,"ns":120,"title":"Item:Q6174540","lastrevid":94154990,"modified":"2026-06-05T06:01:13Z","type":"item","id":"Q6174540","labels":{"en":{"language":"en","value":"Reasoning about promises in weak memory models with event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728848"}},"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":"Q6174540$92AEC5EB-81B4-488A-8AB5-4508F3FCC524","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9274d29d92eee824f82cb71e345b795d9718c0fb","datavalue":{"value":{"text":"Reasoning about promises in weak memory models with event structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174540$2CCC0BA1-D979-46EF-94E8-9027F74A2BD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2752f1053d2c0c194fa0ba1c00c438adc8e6875e","datavalue":{"value":"1529.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$73967368-D3C7-4A9A-9B00-14B05E2BF4E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2997f5ae1aa95d311bc86f793a3b0418d493ae7e","datavalue":{"value":"10.1007/978-3-031-27481-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$D8172BA0-9CF1-4DC0-A054-621A603ECD6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$88396032-126E-4A27-BAC0-A3D0FE5E768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e62a804e3e7a3a93e98dfbc2a22d379fc6c8e3ed","datavalue":{"value":{"entity-type":"item","numeric-id":6174539,"id":"Q6174539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$3B082F10-A114-48ED-85EF-AA0D84FB0044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$EE330CEE-5DC5-461D-A5B3-FB841018128C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$AA9EBAAD-7B6B-4ECC-B2B7-39A5267BA8FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174540$0C25A3EE-52EE-4F42-9603-B6C7C65EF5B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"369e772eca09d04b203a0306a1bab629f46932ec","datavalue":{"value":"https://arxiv.org/abs/2211.16330","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174540$FA67D0F5-1789-41B0-B589-E225149D9139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a74def7e28e6307f923f4b819434b286624e91d","datavalue":{"value":"https://openresearch.surrey.ac.uk/view/delivery/44SUR_INST/12180650930002346/13180650920002346","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174540$FF395EBB-99CF-44FA-8B2A-8C998F9A08E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$6BEB2ACA-424E-4E50-BA25-9879D3B92C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$6D9EC270-E032-4E8C-8AA9-954A1DCF92C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$645D0096-9B18-41D9-8EA1-8A588752153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$904AF15B-78D0-4B3F-B62D-4B55A3638218","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a09c1c7470e6ad7ea9ae486599a9aa88b85ef331","datavalue":{"value":"7728848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174540$0B7621EC-972F-4367-A50A-7171AFF724C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9050ced9d3aa3989a9247249531599596448f01c","datavalue":{"value":"weak memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174540$38AB6183-D2C1-4AEA-8539-D36F1357904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe4c6226fe28cb6312e0226892d04970a4a7e5d","datavalue":{"value":"promises","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174540$8962E403-797D-4332-9442-E9DE13B6D1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174540$9BC95ADA-0F9A-401F-AE8B-A2824274A32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef85a4b3eeecf23132b9fdad90c5edce5bf77f0","datavalue":{"value":"incorrectness logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174540$9CB5B177-3885-4B0B-8B47-77963F36705C","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":"Q6174540$EB76E806-BCA3-422B-8CC7-F92012C8D2A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b2024aa8d54e27f7fccd5324cb75636425f072","datavalue":{"value":{"entity-type":"item","numeric-id":5370841,"id":"Q5370841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$62249DCD-0547-4692-9FED-808189752572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b91bb151cd8a64e803b2a1e144870181c46cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5408531,"id":"Q5408531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$0C7FAD1D-167C-4F1C-9EF1-23D75C2AA224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1c26eb19363f0d01226bbcc19585d42b1b49e7","datavalue":{"value":{"entity-type":"item","numeric-id":4721639,"id":"Q4721639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$F4C0ADF7-72F0-44BE-A07A-5E03C85731DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$F2F8DF3A-24AA-4379-BA91-4854A42E554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea8f7b2cfcb37ade671d2796cb37966724ff48d","datavalue":{"value":{"entity-type":"item","numeric-id":1391739,"id":"Q1391739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$BF22548C-EA71-4AEC-9FB4-72861539A75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb541d7b5213dfe9005f774f70d16e0ec9a4819","datavalue":{"value":{"entity-type":"item","numeric-id":6045051,"id":"Q6045051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$0C2E586C-BBB0-4479-9A0B-A1AF713A4C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fccca0964dc97c49eeb303e9607e57658451227","datavalue":{"value":{"entity-type":"item","numeric-id":832723,"id":"Q832723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$20521EA6-16D7-425C-8B67-AD3884C17CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24da0ad2f506dcd40fef2cb7f346de9dd02bf71","datavalue":{"value":{"entity-type":"item","numeric-id":5056374,"id":"Q5056374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$A6500812-E10B-420B-8795-F342BB797EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55fbaa7b570af31cfa5d8e16c655c1bc869851e","datavalue":{"value":{"entity-type":"item","numeric-id":2796064,"id":"Q2796064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$DE5E13C7-C633-4294-8DF9-E36482312B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ac06e566439d7db26c136ff61e754b90fb7270","datavalue":{"value":{"entity-type":"item","numeric-id":1884941,"id":"Q1884941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$12690647-94CA-4520-A868-48C194CF709B","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":"Q6174540$43A3B7C9-AA95-46E2-9ECE-8C91A4329612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e24dfcf208ad7ddc97aa163494313cd9959a87","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$A3EA0F55-72C0-43DD-87E1-8A540FC4F2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1cc5a574b49803eb1701499baba77e3e9ea7f","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$FA1C084C-408B-46F4-B6C8-85F5649C4E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$4BDFD94C-C380-40AE-9DD8-DDB3F32C9C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$2D240F68-C102-495A-B61A-2AC241E2B394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758f34ad23e2758a87a12540215d5aa42e2ea7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5041113,"id":"Q5041113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$B36CFEFA-9FBF-4D0C-BAE8-541C67BB8162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aded3f9c41f40827cb7b1b61c5c29bdb1bd7f42","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$827EF330-4214-4797-B064-177C30D683ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4079be32b0d120cadac73eddeda20cd9afa6c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3095238,"id":"Q3095238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174540$DF13BF8F-ABFC-4C2E-B913-44EB0C32702E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b3fd1dec21feb09955bb3289ad5041e6de3501","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b0087a821e4536db8d32bac74451c06f41ced0","datavalue":{"value":{"amount":"+0.7488809823989868","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":"Q6174540$3A10B00D-405F-4400-BB5F-106582F18639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd4b8eb7a9fdb762b7b6b247d433dd50abaa943","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a03f8ef8e3fe2134fe38c6b27c0ad5fb6b0164b","datavalue":{"value":{"amount":"+0.7320813536643982","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":"Q6174540$01ED6542-B4D2-4CCD-A11C-E424F35CCF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca091b71368f84598d64a3e28ec89303393aebf6","datavalue":{"value":{"entity-type":"item","numeric-id":2024349,"id":"Q2024349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb47d7f51cb59f903c7c28603e2976f922c93eb","datavalue":{"value":{"amount":"+0.7163394689559937","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":"Q6174540$83D680A1-76DD-4850-906B-1E57BF50FEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a884bd60cc373db6b86d49b69bd69bfbc284a2","datavalue":{"value":{"entity-type":"item","numeric-id":2233444,"id":"Q2233444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70253911dca9289f85fa7cfd76dc18dbb93417dc","datavalue":{"value":{"amount":"+0.715103268623352","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":"Q6174540$FE7CFCC4-3FA2-4A23-B24E-8BEBAA07834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33a320dc43fc1f71c8f800ccedf755d63835aae","datavalue":{"value":{"amount":"+0.7149567604064941","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":"Q6174540$F9FAA260-4A54-496C-8FB2-46B6A848B0C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about promises in weak memory models with event structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_promises_in_weak_memory_models_with_event_structures"}}}}}