{"entities":{"Q6487519":{"pageid":14066288,"ns":120,"title":"Item:Q6487519","lastrevid":95505035,"modified":"2026-06-05T09:10:31Z","type":"item","id":"Q6487519","labels":{"en":{"language":"en","value":"Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650141"}},"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":"Q6487519$E975D309-C3C4-4A8A-B5C8-4406D87AF3CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3fe520ef9456fe3f8c4dd364597f601326b901","datavalue":{"value":{"text":"Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487519$4934B58D-5DED-49D3-8FBA-A95D09A5CEE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87c38e1224d8e725b715951db7b1b475d5042ff9","datavalue":{"value":"1515.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487519$6653AA54-3CD3-43F5-8343-CA7D18797D03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06beb65bb7324a348c680287d2a6a50a4218f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":216138,"id":"Q216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487519$6FF779F1-D3CD-4ADD-B597-6ABB6158E270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487519$2183D700-387C-47B7-8170-447E09FAC8BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487519$11FEE4E2-5870-41A0-89B4-D8E3101327A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487519$F67E0EA5-9350-4C67-BC95-A1A9C68D1EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487519$38616939-0D75-4AEF-9E07-43D685AB6FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487519$93429612-82B8-4431-BE23-F2B3E0973FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04e17414382346e1e058266aaa27d221bfe23ee2","datavalue":{"value":"7650141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487519$4CE6796A-5E38-40E5-8244-DBCF0D771C8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487519$6A4F43BE-2504-41D4-8E6E-7E57AD8C9CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487519$13F496B5-0A4D-4822-BCAB-74716D593709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487519$FA783543-9F2D-41B9-8EFE-18CF27938DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93355f988aa43a9d6a248bb39a696c2868af184d","datavalue":{"value":"forward simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487519$8C50E2E8-6221-411B-A27C-D3468B535F4C","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":"Q6487519$242F9B00-D9FF-426C-861B-D8C41273D79D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66bf1cdca0f0ce8a76f7c32ce2bd651413de06ab","datavalue":{"value":"10.4230/LIPICS.DISC.2019.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487519$35E92E2D-E15B-4907-BD3E-EDE47C64FB4D","rank":"normal"}],"P1643":[{"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":"98d367dddc9da12f1dfe64abeee67fde345b21e9","datavalue":{"value":{"amount":"+0.790195882320404","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":"Q6487519$B54433B6-E2AB-459A-910F-958B1EBDB33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98d4a278292c318daaf7dc401f0c4658131fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2933816,"id":"Q2933816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4803da09d340d5b6e0bcd6a027ea6a87a5d5a961","datavalue":{"value":{"amount":"+0.7575056552886963","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":"Q6487519$2F992320-5D81-4E43-B63A-E187EF604B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4b560752f400a21703faec66c7e406e34762f","datavalue":{"value":{"entity-type":"item","numeric-id":1688548,"id":"Q1688548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b244d29e62cd9c2ad467533334c73e359a58d6","datavalue":{"value":{"amount":"+0.7516828775405884","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":"Q6487519$F8D0F8C6-F721-4296-BF75-E8676E5EF9A4","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":"909804ee7d8fe605259366bf351f437bbd905eda","datavalue":{"value":{"amount":"+0.7475825548171997","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":"Q6487519$1697386D-B8E5-4ACE-B67D-0D3C1F202B5F","rank":"normal"},{"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":"73b2e37324ef7df4cdaadde911f8beda349f3f61","datavalue":{"value":{"amount":"+0.7421103119850159","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":"Q6487519$8D081153-E0A4-42F7-B8FF-0FF7BA70216B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects","badges":[]}}}}}