{"entities":{"Q6104493":{"pageid":13238800,"ns":120,"title":"Item:Q6104493","lastrevid":58684215,"modified":"2026-04-06T07:49:26Z","type":"item","id":"Q6104493","labels":{"en":{"language":"en","value":"Making Linearizability Compositional for\u00a0Partially Ordered Executions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703761"}},"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":"Q6104493$824FDA49-FF81-42BF-B3F7-FF5D34DC1BB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e5c599c868e8b01743d3a253b4d00a8e89ccc9","datavalue":{"value":{"text":"Making Linearizability Compositional for\u00a0Partially Ordered Executions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104493$C33883A7-F64B-466F-8CF4-644FE482AC80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"397b4ed39dcb976d25292453f5bd81267922ed46","datavalue":{"value":"1514.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104493$287B12A4-ACF4-4EBF-B89B-86DFCE77C913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3492841f20893551aa4e9cf310b5c8dfad4557d8","datavalue":{"value":"10.1007/978-3-319-98938-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104493$BACA6197-DB10-4F5E-A5F6-BB7F532F86A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32e53015970cac840f13624d12043d566c18d3f2","datavalue":{"value":{"entity-type":"item","numeric-id":470036,"id":"Q470036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$B94A1F33-6A8B-49B7-BF9A-2970FE9D44CF","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":"Q6104493$948F1385-3500-415B-8A45-7E6F25884302","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":"Q6104493$4AB65733-8FB0-4E65-BA1E-09E652C6D1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$ABB28C7B-BEDC-4223-81A9-6E0937807838","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":"Q6104493$C2A15525-1370-4367-9F01-6C7075F77892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104493$32AEAAD9-2120-4F70-8C5A-FD5343B094A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7639ea74b026bb26b80f00806dedcb2af4798c","datavalue":{"value":"https://arxiv.org/abs/1802.01866","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104493$AE6089E4-E147-457C-8565-7993E901E19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e29af6ce27a0c2119de81cb3ba9ef0d264ee2e34","datavalue":{"value":"http://eprints.whiterose.ac.uk/136601/1/IFM-2018-full.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104493$608CFD61-B2F1-4490-90BA-DBDD2474A750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104493$240D5E1B-DAA3-41DD-AA07-0A1BC743AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104493$BAB7B561-AEC8-471B-844C-2ED5BAE8F6BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"507f2a3ad70aef6d9ff711d0adb41b6fc902d2b9","datavalue":{"value":"7703761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104493$351DB12A-290E-41E2-9B13-545FA09E72B4","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":"Q6104493$ACCDF05C-3655-4B75-A3A7-37E5E71EFBDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"532352ea13a5de4c9f6e6c158abc92d73774b929","datavalue":{"value":"W2887304561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104493$9F5A7F44-2A29-4DAE-86AE-282C61A1CECD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcdc3f39b30ddbcf72bddf86d2beca129b3fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":1683934,"id":"Q1683934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$A3935A87-5C1D-47D4-A977-579C54871796","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":"Q6104493$85F4D85E-7558-43D7-A188-261B9D602ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b73412e81e1ed3669b6f807a405d1ccd1a619f","datavalue":{"value":{"entity-type":"item","numeric-id":2931799,"id":"Q2931799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$59FD79D7-D7D0-47D9-9B57-1EC59DB9FB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c270bc01913399685e0411e4c3f99b6d27372e1b","datavalue":{"value":{"entity-type":"item","numeric-id":2828302,"id":"Q2828302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$B4EAD8E5-F012-46B6-BA81-D31D3FC8DE8A","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":"Q6104493$CF7DA349-FCA3-4D48-80CD-19F2C3667426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882f579fe3bf977f8a4a35f7a7b9e1666648579d","datavalue":{"value":{"entity-type":"item","numeric-id":2164258,"id":"Q2164258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$25C68A01-DEED-457F-B766-B23AD10A18D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b2ce6ca779c63c212ae4393be7651e37cb46c4","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$88957E2B-0B9D-4C37-B974-906366C894F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac24bcde47140102763502797ae911629cf24254","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$C1308177-9B49-44F5-8CE0-F8D3A1B8044F","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":"Q6104493$35344908-C02C-4153-9DAE-1F7FD1730DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1182097fb44d1361e09ae16f758d339b08a5ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2988652,"id":"Q2988652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$F0AF21CC-8906-4913-ABE3-D0C1DFC979D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d4aa62e19a7df05e541336fb02f09bac0487dc","datavalue":{"value":{"entity-type":"item","numeric-id":2938158,"id":"Q2938158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$D14B8C37-F4FE-467A-A42F-F8E370212356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04c3f80328d76205e955a78dd1f5e2f262d0269","datavalue":{"value":{"entity-type":"item","numeric-id":3296328,"id":"Q3296328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$FEECECC9-4B77-4B93-8419-ED771EA82770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a3951f6cfa13dde45c9759bfadb824e215e06a","datavalue":{"value":{"entity-type":"item","numeric-id":615951,"id":"Q615951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$62133B95-8B51-42A5-A55F-2B08312720D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c871037251bc05b208e2b36048f84cafcc3a57e","datavalue":{"value":{"entity-type":"item","numeric-id":4909400,"id":"Q4909400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$8F933F18-B89F-4BFF-B1C1-E462637100FA","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":"Q6104493$479EEFBF-6307-42D4-AC96-4E36D4EAD107","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":"Q6104493$1F987351-F87D-4129-A032-27B647CE1E7C","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":"Q6104493$7DB13C30-1F48-429F-939A-DE8FB03A1D3D","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":"Q6104493$0D3C1DBB-AC65-44FC-8FCA-F6D142E77742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$44130B56-3715-4599-8C2B-25C115A2427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$2B64FA0E-92CD-47EB-A245-308E38C17BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b13457cb42ad28623335ab31537f25be6c73f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$9B949A50-3491-4D2C-8760-2C68E8FFF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbe506beada9bb0831e3665fa451027cf6697b0","datavalue":{"value":{"entity-type":"item","numeric-id":2324213,"id":"Q2324213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104493$27472354-ABAD-4262-9929-E1898EFEAB0B","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":"Q6104493$514F4105-72B6-45BB-90B6-15059F869398","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26aee2426db5be095f8ff36dd1deb12beb861f35","datavalue":{"value":{"entity-type":"item","numeric-id":3296328,"id":"Q3296328"},"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":"Q6104493$14652EBA-7BDF-487B-B969-8E64C9F50C22","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":"1c544ecfd34739425c0f373d0a9051288869a836","datavalue":{"value":{"amount":"+0.8211125731468201","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":"Q6104493$57463BA8-5064-4A52-839E-B7A5CA133571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513bd6c3b0e99fb62412c2b47379263f09e6d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988662,"id":"Q2988662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3fc78a23f2a7838dd6ce6fc3f34e14ed1eebad","datavalue":{"value":{"amount":"+0.7886078953742981","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":"Q6104493$F9152311-B709-4244-82DE-44A9BC865053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f759f321f17edf59634b6b68731cb858a7d50353","datavalue":{"value":{"entity-type":"item","numeric-id":3608884,"id":"Q3608884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7f05beec59ae74b8347e7724ba29653c35654f","datavalue":{"value":{"amount":"+0.7788240313529968","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":"Q6104493$455B286C-CE37-4AF0-8F5E-E052D118DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59794ce866fcce34268e65630d3559b3e3405dc4","datavalue":{"value":{"entity-type":"item","numeric-id":539223,"id":"Q539223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb435e19420ecc2731fd3b13bd3d3b8606c87f2","datavalue":{"value":{"amount":"+0.7720872759819031","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":"Q6104493$92416D29-CB94-415C-9DCF-3B0CFFA8C034","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104493"}}}}}