{"entities":{"Q6535633":{"pageid":14146776,"ns":120,"title":"Item:Q6535633","lastrevid":57343650,"modified":"2026-03-30T14:04:17Z","type":"item","id":"Q6535633","labels":{"en":{"language":"en","value":"Rely-guarantee reasoning for causally consistent shared memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798064"}},"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":"Q6535633$80CB7B33-78C7-4935-8DCB-17B67D018791","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14226860cc2d73076c518d00374e4c56d4838840","datavalue":{"value":{"text":"Rely-guarantee reasoning for causally consistent shared memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535633$CFD53648-50D1-46C7-95DB-99A3BD4C6619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdc810f32ac7e778987971bb499ff8e5c6e2a909","datavalue":{"value":"1547.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$9EF3BBEE-9E5F-4C0A-9EC9-E416408132F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"202e5c24ea808ee63cfefa7d38a0dff8e8c03945","datavalue":{"value":"10.1007/978-3-031-37706-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$456A7445-C8F4-4859-9555-2C764A33BCBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$0BD6A163-5BF6-4C1B-BC1F-12445F5935B0","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":"Q6535633$176CC3FF-7666-42AA-AD8B-698589A3B47A","rank":"normal"},{"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":"Q6535633$F4749C1E-C3D2-4097-8EB5-72FC41E8459D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535633$3835C32C-B001-46DA-942C-D22B940E11B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$87C66C19-7725-4E8F-A272-2D117C2AE428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$9C919648-02FB-4032-9167-D880EEEAF1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$FF899074-0E64-49D1-BEF6-F9EB7B0037DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$D843CC2F-B151-4140-A506-6D64B15E11A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ae7198c4e4b2b070b0a292c9d5e466741e2a35a","datavalue":{"value":"7798064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535633$057076E1-A4B3-401F-9CA2-A3829B9631A2","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":"Q6535633$1DDD16E8-0CF4-46EF-A2A1-2C259BF36706","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ec0b617285c8b6d360ace8b833129f47a4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4608655,"id":"Q4608655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$0E64C863-2F24-4DEA-879F-72B065188578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3099f1a39d44b429fb2a1d3d59a7402f165c17bb","datavalue":{"value":{"entity-type":"item","numeric-id":3130550,"id":"Q3130550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$B06440B1-7E38-4A79-A46D-EBDA6F008E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f1a2bf81f4948b599f0e2c54911aaef52d665","datavalue":{"value":{"entity-type":"item","numeric-id":5137003,"id":"Q5137003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$AD2BACC0-DAC3-43B9-80D7-288785740EA6","rank":"normal"},{"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":"Q6535633$5661D2EE-84D8-40E7-AAD3-90A19E48E872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$01EBE57D-38EA-4263-A1F9-96292BEB0820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b3bbfa84acd5d57ae1f882eef6633a4bc9917","datavalue":{"value":{"entity-type":"item","numeric-id":5856416,"id":"Q5856416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$567FC141-5A3F-4C38-BF56-A9595160824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed7d9baee26370588a84ec72c501127f68d4c84","datavalue":{"value":{"entity-type":"item","numeric-id":5370895,"id":"Q5370895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$F41B789B-5EA5-4B31-A1AC-86BF573ABA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$43198DF0-7CF3-4DF4-9B01-489255DF54E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45717dcbd993509690a1b2f8bb6874fa3fc72f69","datavalue":{"value":{"entity-type":"item","numeric-id":6610380,"id":"Q6610380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$96182348-4D8E-4B75-8F7B-BA9F0466B54C","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":"Q6535633$5648C288-BE78-4348-AEAB-B9F2B3645627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$81BD7036-021C-4269-8FAF-C83A6081CC7D","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":"Q6535633$06EFCFF5-5739-4269-9E3E-0BBFC4086604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$18FA4AA2-186A-463C-97D4-7ABB1B29496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$04324F17-4CFD-4674-BE42-6461EDC495EA","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":"Q6535633$B62E6007-6557-4193-A744-B353B21C54AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8770e3a9b6df5e3878fac05a3bfe1d64a276320f","datavalue":{"value":{"entity-type":"item","numeric-id":2828304,"id":"Q2828304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$B933AE28-7B20-4E9D-9DCB-972BB6EB5381","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":"Q6535633$0BB03963-8170-4099-959B-7D7889C1C561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$BAC8FB05-755B-4D1B-83FF-FEF83C532256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0847dc10281eb05003b606c7949fd8f6a6c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$35E4D791-B071-4D9C-810B-220C2714BD81","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":"Q6535633$B0E2F1D2-8159-425D-B105-C3B554096956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$84E24325-E32C-490A-BB46-FCD98CD81902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b52d32cf493a9d30541eb43bfe81d2683002f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2251128,"id":"Q2251128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$0BE88124-342E-4384-871B-7AF53AAA724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f344eac10b1a0373ff87db845d6a3b63e89ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2104504,"id":"Q2104504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$CBFBE25B-5951-4544-B191-33A827391A2A","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":"Q6535633$766CE0E1-4BD9-49D9-984F-9CFD82621244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$0FA4CD10-E16C-4862-8D18-41EE3B5FE618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$9F39B6B9-2FB2-444F-87CA-35EA177E9FE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212ff6189196887d587b6ac8d950910de3d15087","datavalue":{"value":{"amount":"+0.7704624533653259","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":"Q6535633$80EAAE06-1FA0-41F8-937B-26D7ED7DD975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f3b7cd8ee4334fbdc2f1a186f3bf0cf6ffb12","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee6375afc8d6f54394cc9a475f04380f02b2dfb","datavalue":{"value":{"amount":"+0.7608064413070679","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":"Q6535633$1AF0A7B6-D5C8-43BC-BB7C-EB4196EE677E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99948634930667bfb6d949f7c294f287b4b03279","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90036048258ff30fa6c8fd60a8b295db80b78d7","datavalue":{"value":{"amount":"+0.7504881620407104","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":"Q6535633$BA834DAA-5355-4B95-838F-41CCA69B5A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331bfb91374f70d72303964ae5e38ce13d07df53","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db521298cc7223a00afcfc8c9e09f129c1212ce","datavalue":{"value":{"amount":"+0.7493231892585754","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":"Q6535633$0F3760EE-5D44-4E5E-822C-8BF6DF7F8DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e6485ab6ef5d70ddb1649472b64d2e7c1b3483","datavalue":{"value":{"entity-type":"item","numeric-id":2058383,"id":"Q2058383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d419d1eed0308c4b7e633312189be54a41ea8c","datavalue":{"value":{"amount":"+0.7440707087516785","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":"Q6535633$724E2801-A5CE-403F-8688-A24F8169406E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535633$9FC01AFB-24A8-4FDB-B61C-5285763170CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535633"}}}}}