{"entities":{"Q3608884":{"pageid":5638790,"ns":120,"title":"Item:Q3608884","lastrevid":50592377,"modified":"2026-01-14T12:19:26Z","type":"item","id":"Q3608884","labels":{"en":{"language":"en","value":"Proving Linearizability Via Non-atomic Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523882"}},"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":"Q3608884$54A3227C-7D3C-4492-A3E9-2CAD319153E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced7167a78e1faf03fb5d85e99aaae54cb3acb6f","datavalue":{"value":{"text":"Proving Linearizability Via Non-atomic Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608884$42BE7EA3-096D-453C-8E16-4C70FE94AB3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"837d0ae41d6a41504c901dc041f57f0b137c7497","datavalue":{"value":"1213.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608884$205A676C-6105-4831-8BB8-85648D910644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"577d10438c58dc28fccf09326a93c30aad341197","datavalue":{"value":"10.1007/978-3-540-73210-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608884$064F7F86-BD21-428A-A8EB-C5BCF70CBDD9","rank":"normal"}],"P16":[{"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":"Q3608884$B64C8B4C-DA30-402C-A806-38AD7D73402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608884$D382775F-C200-4E0F-B13E-DDBDEA4ECDCD","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":"Q3608884$617F609B-C2FD-407C-A663-5CA47C707EE9","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":"Q3608884$A83DC00C-1097-463B-B6F1-671CD37BECF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608884$46252F25-5E87-46EB-964C-C66D7FE13F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608884$936E7A72-CB69-48C4-A420-39794EB499DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608884$94904FDB-BD13-485D-A8D2-FA7BBF5CAABE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"102a944406447e5f416c5522086ebef35d1d2791","datavalue":{"value":"5523882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608884$0D51D35D-08A0-4C37-A71B-30040E684480","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608884$6620352B-649A-4AF9-AB80-1901F2AC08FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608884$68FCC47B-29FE-43BF-94A1-DB722D8609F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608884$D70246D6-F473-4020-B928-9FE344533480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75d39a68a08aaeaee0a47caa359b022fba3374b0","datavalue":{"value":"concurrent access","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608884$B3457EFF-25B1-4139-81A2-873D906209B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608884$F093A3D9-B58A-4B13-AD6E-536CECD93736","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":"Q3608884$60F7688B-6214-4696-876F-338B138A9016","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41984195caf862cdc5260ed3758ebf41b951b4a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608884$73F0BC8E-4116-48D3-8262-728C4534EE9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eb649dc1e2a4a98ae546ec2ad4c55737811f8d7","datavalue":{"value":"W2104046157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608884$3369E7BA-4601-4F98-BA08-449870DAAA3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178a53c525f0f779403cb0e5d85bfca565cf8bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1941870,"id":"Q1941870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172e8f59986d2d06d7bc30da91b65c307c73c0f6","datavalue":{"value":{"amount":"+0.8571290373802185","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":"Q3608884$235C0BC5-4A89-4899-BA5C-A620224ED66D","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":"5079bf63d8c1f9bbd90a9bead9af352443f1bdcb","datavalue":{"value":{"amount":"+0.82895827293396","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":"Q3608884$20721B94-7D32-4625-A4B8-83B0633EA3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbd115948536399f88bcc955f5a031b25d01e93","datavalue":{"value":{"entity-type":"item","numeric-id":2164258,"id":"Q2164258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab19c226e1fb409b534d2061f0de591c1237f594","datavalue":{"value":{"amount":"+0.8197866082191467","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":"Q3608884$A1A3E076-D828-4351-A080-063ED73732E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818b607ffe67bf977534d82c1fd8dac6cd0352c5","datavalue":{"value":{"amount":"+0.8113989233970642","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":"Q3608884$5F6C7C09-37E3-4944-8EA1-796C14508A1F","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":"3d73bafde30f3a0b4be349c6cf51eb814e3b3611","datavalue":{"value":{"amount":"+0.7943567037582397","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":"Q3608884$4184D25F-49BD-4C83-A83B-F345C48BC30C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608884"}}}}}