{"entities":{"Q1708716":{"pageid":1719457,"ns":120,"title":"Item:Q1708716","lastrevid":72160575,"modified":"2026-04-14T03:02:05Z","type":"item","id":"Q1708716","labels":{"en":{"language":"en","value":"Analysing lock-free linearizable datatypes using CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852769"}},"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":"Q1708716$ACF7E4B1-4A36-400B-88AA-079F44FB10F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32523b0b55adb50e0e18446fc120f3d0255ad8de","datavalue":{"value":{"text":"Analysing lock-free linearizable datatypes using CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708716$856F14B6-E60B-4897-B2CA-CB2B028A2EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85d32708118ae10d467e5217c9b3b119dc185cd0","datavalue":{"value":"1485.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708716$D7FE8C40-24F9-425B-822F-6544690D6688","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fdf7c5c3a243c80d01efe8de67e23bbd3e8a2ff","datavalue":{"value":"10.1007/978-3-319-51046-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708716$075E5758-63F9-4E41-97BB-2240E1D0A955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e5b6375cec486c10f672235e2a7de9b55f6384","datavalue":{"value":{"entity-type":"item","numeric-id":557890,"id":"Q557890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708716$7189261F-7EE5-4031-84B4-D8530299A152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708716$46FF37F3-A225-4B3A-A9B5-B2BFFF6AE8EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708716$B9FA1FDB-B9D1-4BE2-B00E-02E1B795E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708716$33C3D4A6-A347-4943-8251-C36E925B077B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eded1741de6015cd3d0152133c2d08ce62fa52d9","datavalue":{"value":"6852769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708716$19B97C28-EAC6-4719-B126-44BD13857EF8","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":"Q1708716$EC814C6C-A419-47AE-A748-554D561097D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d5af938724d52086a11e0cb1c831822b4c17ddb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-51046-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708716$FFF9E428-FAF7-4AC8-8A53-02892C52F769","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdc88716fa1ea71ff1368d0638c60122d58e89a7","datavalue":{"value":"W2561986775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708716$10BE7AE1-FE51-4208-B1BE-5F47B6981B77","rank":"normal"}],"P1643":[{"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":"ab49bdc3ae0b66cfb3f8dcfd229a2f00dbaddea4","datavalue":{"value":{"amount":"+0.7511463761329651","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":"Q1708716$C19E7325-BBE1-4082-B335-18E6D342A94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8908d51930582745582e4220ad11bbb77575ffba","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d84d6c5d1d420cb4b276631d11a12b3dfc09220","datavalue":{"value":{"amount":"+0.7430452108383179","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":"Q1708716$6F73861B-B859-4CDB-AA4F-0B786F7F40DD","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":"19d68f17e3f1b95da8e79b0b5c53b373c0bda2a1","datavalue":{"value":{"amount":"+0.7375444173812866","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":"Q1708716$D0475328-5FB1-4C56-8E95-2E0FD9F53CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c030d16268cf0a67386b708292f2cc7c9b8e2f41","datavalue":{"value":{"amount":"+0.7333835959434509","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":"Q1708716$400BD68B-90D4-4640-B9F3-6267D5FB8871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17da4fd9b156b8f61c5972d9cddfd16b4fc213c","datavalue":{"value":{"entity-type":"item","numeric-id":2845500,"id":"Q2845500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30a8412430b66748e34bf12543090b7d5d37f90","datavalue":{"value":{"amount":"+0.7295388579368591","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":"Q1708716$D93D0651-55A2-4713-BFD3-853AA299C971","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysing lock-free linearizable datatypes using CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysing_lock-free_linearizable_datatypes_using_CSP"}}}}}