{"entities":{"Q3296328":{"pageid":3307036,"ns":120,"title":"Item:Q3296328","lastrevid":86731865,"modified":"2026-06-04T09:42:02Z","type":"item","id":"Q3296328","labels":{"en":{"language":"en","value":"On abstraction and compositionality for weak-memory linearisability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218140"}},"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":"Q3296328$F358440C-3E21-4726-A001-1FB7FC9C6F95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41e6017d0843edd45c7e2974cc26fa4aa8e6b765","datavalue":{"value":{"text":"On abstraction and compositionality for weak-memory linearisability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296328$3783E44E-4D57-4155-A2C1-AC07E7414793","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbdd2af154eafceb315d2f4c276288819b25e4fa","datavalue":{"value":"1446.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296328$8FA06DFE-FD15-4BD1-88E5-6444276BF106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e28d53eafb0b0eb9ebc02c0a03ef89e45e0d5f74","datavalue":{"value":"10.1007/978-3-319-73721-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296328$6D79B2DC-0DF7-4D33-858B-BB85FB198283","rank":"normal"}],"P16":[{"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":"Q3296328$5707D70E-6152-4809-AA2D-981249C986A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296328$1756E97D-B4BB-42CC-B4AE-B304D5D79B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661058c43babba56430a6ee50eb96105dced91de","datavalue":{"value":{"entity-type":"item","numeric-id":406432,"id":"Q406432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296328$85930695-0C25-4950-946A-F5DA2805B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f19472be0d635d36d2e1085e324fff1c2ab103","datavalue":{"value":{"entity-type":"item","numeric-id":856918,"id":"Q856918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296328$CA512E72-5F6D-4819-A673-B8F845F42FE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296328$501AA7AB-2454-42CE-823C-338FDE92FD61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296328$83332041-7A44-452F-A36C-771218EFC1D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296328$451A138F-36B9-40DA-8002-B423EBAE1D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296328$87043355-58E8-4709-9409-42E817C7A711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f27561899bd31bb6219ff5a643651eab4315b853","datavalue":{"value":"7218140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296328$7A9EE374-6D8F-4C7F-9F7F-502C63D444E4","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":"Q3296328$5ABA835F-C37B-414F-83C4-147961708ADA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"068bdd0d37503dcb5404c427c50bf77e8549ee1c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73721-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296328$905D99B6-B289-45DB-A418-DC3231BC5946","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb9a5d3894bdc810bb90a140055c9d6d53f59840","datavalue":{"value":"W2775466596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296328$8E302ECB-74AD-4D71-8A6F-A6959EB5B2F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8247a5c5c07995e440fdcd54c5b12259a175cb","datavalue":{"value":{"entity-type":"item","numeric-id":6104493,"id":"Q6104493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8fbea1759dbf3fba44a58575551ef2b6674f35","datavalue":{"value":{"amount":"+0.8374893069267273","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":"Q3296328$E8805DEA-CE68-4380-9179-C41F2B7E46E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69d9090aff3b857d29a177295ee04e9e7984ebf","datavalue":{"value":{"entity-type":"item","numeric-id":782494,"id":"Q782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c0159614314743df4bfd28d32c93a80ba409cd","datavalue":{"value":{"amount":"+0.8365266919136047","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":"Q3296328$B6BD01FB-BFED-4EB4-B634-3582CE1DE5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618b2e265d7d6b1f92aa4a4fb1ec31fbbe705da5","datavalue":{"value":{"entity-type":"item","numeric-id":5859670,"id":"Q5859670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8581e81035290c1ba75893690c41624d65dc0ee7","datavalue":{"value":{"amount":"+0.8210467100143433","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":"Q3296328$B1897824-B157-4BD0-8F63-071275D8C809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e69f03d4c58065b79242cd4546c9a4efa3c07f1","datavalue":{"value":{"entity-type":"item","numeric-id":5326303,"id":"Q5326303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2939257356620684bad87a7cd1153dd2ba21ae63","datavalue":{"value":{"amount":"+0.8071213960647583","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":"Q3296328$1C8C3525-29F4-4AC3-B310-16FD9128D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384da400bbd56081e76c499bef3b4a3deec550f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617704,"id":"Q3617704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71886771ca7b654918791a8cdead675eaf8426ce","datavalue":{"value":{"amount":"+0.8026782870292664","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":"Q3296328$5CFF58BC-31CC-4F0B-9441-4A1CCE5F0D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On abstraction and compositionality for weak-memory linearisability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_abstraction_and_compositionality_for_weak-memory_linearisability"}}}}}