{"entities":{"Q5246726":{"pageid":7276294,"ns":120,"title":"Item:Q5246726","lastrevid":52246610,"modified":"2026-01-21T06:10:39Z","type":"item","id":"Q5246726","labels":{"en":{"language":"en","value":"Aspect-oriented linearizability proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428629"}},"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":"Q5246726$E7D35223-0148-4BD2-9CFB-9A1DE8188F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92d7205dd2e347d697413ddba4cd8578333bb811","datavalue":{"value":{"text":"Aspect-oriented linearizability proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246726$823BEC7D-360E-44C5-A17B-1FB715403081","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f10b88c7485ff937bf99cb2c516a6b6c78b245f3","datavalue":{"value":"1391.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$755952C4-5921-4B37-B58B-0F3DD2A09C70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74b6e547f56e88892e19511cd63691ba58f474df","datavalue":{"value":"10.2168/LMCS-11(1:20)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$CDA51783-AA85-403C-853F-15AF4EC191AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ebf4f99bf719e96735f654627b346eb40ef70ed","datavalue":{"value":{"entity-type":"item","numeric-id":2819805,"id":"Q2819805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246726$B3C419EF-675A-47F2-8D4A-56881ED445C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09df232cdfd7fdcb6f6054dcb62f2f709ff123ec","datavalue":{"value":{"entity-type":"item","numeric-id":1044735,"id":"Q1044735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246726$F7FC03A6-CC0E-4A4E-A3BB-10586E69E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246726$80A4D492-F7AA-4042-B0DD-FA4AD3ECA088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246726$768BE700-C59A-40CC-B6F4-08FD69DEB779","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246726$BEBF3F63-9DD6-4162-A819-5CD63AB056B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5246726$58CDBD0D-97A2-43CA-BDFC-79CBF715ADBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$1333304D-9C8A-4A90-922E-CD940221B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$A1A5BB44-046B-4B0B-87C8-F151D21B65C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$750DBA61-745B-47D3-A30C-D0F8E3FCBA1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7cb4ed29cc9f0cc4a845c2d1232dd9859e527d4","datavalue":{"value":"6428629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$C2A3911A-5377-4102-B751-D3C6FBB78025","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246726$4676D7BC-2F58-4021-9930-DE7DBD9E3E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d5a9e445983e65fa6e5ae8fb7de4044656bacd6","datavalue":{"value":"queue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246726$1A2E833F-1F7C-43D5-979E-8B13484A37B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246726$3CF89A60-D806-498E-BC97-89992813407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c6c3d8a3fe0c4a1a474d93388fa33a7513c5e7","datavalue":{"value":"Herlihy-Wing queue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246726$8772C4AF-E2B8-4534-B523-1FA64D011DA1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"118b2925554eac0a97d25c2ad925ac4111c08bae","datavalue":{"value":"Q114592100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$8A1683E7-B177-4BC5-BD63-7FD09A1B3BBF","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":"Q5246726$E5A3EFE4-9DB5-4B64-A0B9-DFCABEB635B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b4a046f64467b92fbd89dc5f5f7f6a03cb81274","datavalue":{"value":"https://doi.org/10.2168/lmcs-11(1:20)2015","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246726$108A7465-9743-47D2-8753-B024F9F7B23D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0ac83a6fa514faafb72978d4b9f0556d74c5c49","datavalue":{"value":"W1499110125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246726$B666AC27-94E2-415E-AA0A-5B93CABC7259","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef896335a236046a69e40d814b99d8c75b41a062","datavalue":{"value":{"entity-type":"item","numeric-id":2842111,"id":"Q2842111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7211e10a8b526721fbf7af66c6d6d79124287d","datavalue":{"value":{"amount":"+0.9997404217720032","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":"Q5246726$AFABCD23-C6CF-4E18-9DE8-C9F6DF8C29F6","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":"fcdeb9a33135f5fc420c3145e1c1967f644b2e30","datavalue":{"value":{"amount":"+0.8748219609260559","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":"Q5246726$2AF4075B-4716-4572-88C8-B43D59505A1F","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":"6997bbe5cfcb22a59a2e5b389f8ddf46adb241ce","datavalue":{"value":{"amount":"+0.8522768020629883","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":"Q5246726$031C0A3B-AD79-448B-AD17-45CA4947A71B","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":"09fa639f807477e9ebc8b6415c7fdf62ead7f9b8","datavalue":{"value":{"amount":"+0.8420569896697998","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":"Q5246726$2C2B0EC9-140D-43A8-85FB-0DE2C7C52BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82bd49090757bd386f03031db24c759990208420","datavalue":{"value":{"entity-type":"item","numeric-id":1702885,"id":"Q1702885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f027394a7682cdcfcad48df67d1bb6b6de7d7235","datavalue":{"value":{"amount":"+0.8199222683906555","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":"Q5246726$D553E7AB-2C0F-4B2B-9E26-3C81DF9292C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5246726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5246726"}}}}}