{"entities":{"Q1664155":{"pageid":1674896,"ns":120,"title":"Item:Q1664155","lastrevid":72464514,"modified":"2026-04-14T05:05:00Z","type":"item","id":"Q1664155","labels":{"en":{"language":"en","value":"Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6924961"}},"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":"Q1664155$BD7D2404-F464-4E08-87F9-C076BC176161","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb70ae6017ced21f96497b54d53d8438563bc8a3","datavalue":{"value":{"text":"Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1664155$D4CDDD88-FE8D-44F6-908E-C6907371D1A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c16b4e27cfbabc4abafcad89b07fd6cd582851d0","datavalue":{"value":"1394.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664155$AF9B2EA1-286C-4DF7-88EF-4463F8D48647","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c65723d9c5a3f5a12cda677a0f03696ae7ae31","datavalue":{"value":"10.1007/978-3-662-48653-5_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664155$7AA2FD8A-17CC-4CFB-BE22-C12E79D0CE38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfaf0512f29ac23b4ac3aa7d60cfce273adf67d5","datavalue":{"value":{"entity-type":"item","numeric-id":391996,"id":"Q391996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664155$4CF7877B-AD2A-4D43-96EC-041701C90A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64b2bd16e7c785c66978ce09fa3ea0ece48a6536","datavalue":{"value":{"entity-type":"item","numeric-id":360276,"id":"Q360276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664155$1C1548B4-73B2-4B61-A0AC-244B7F57A685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1acbbb6beb661dad614ec7dab76bd11dfb8db5","datavalue":{"value":{"entity-type":"item","numeric-id":269462,"id":"Q269462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664155$3C193B7C-FAEF-4F37-AAC2-22D0143F273D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13cdd6edc13ae30df49ead881dcc6c954c3f5ea5","datavalue":{"value":{"time":"+2018-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1664155$AB9811F1-E943-4347-8241-7427CECF3AB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664155$2518B287-A2A0-4735-92D5-D2EBF50A596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664155$BA60E473-A60D-4D50-A06E-9546BDCA68D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f12a07dcff376cbf8b52e08884457f8c0969863","datavalue":{"value":"6924961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664155$E229BF77-C532-4BD2-81DD-B1752671E01E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fca1f0a181bd766ff714379408f06e08b646f8","datavalue":{"value":"concurrent object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664155$3CD8E1F8-37CC-478A-BC11-7C5A2E513149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7009515b65fb658d9ebd67ccc9ddf9aff02253","datavalue":{"value":"task","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664155$3E33DF34-952C-49C9-9D0E-8DB5B78CA698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664155$BD91FE33-F2CA-427B-917D-E206F16B353C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262815a4c9588fa45b3b87750b937fcf217779f","datavalue":{"value":"sequential specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664155$8D2CBBED-F17C-4453-9420-6A33D91C5853","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":"Q1664155$A5AF92D8-C2D7-4673-98FE-6F802FCCC0F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98580467861f79be957d027150168f31273a3171","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48653-5_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664155$19372FA6-B75A-43EF-B8A7-14835A12AA20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69316983f5a6f5d2df0a2b0bb17ec6f88eefebe4","datavalue":{"value":"W2339401772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664155$15CFB628-0E26-49EE-8A8D-23CF99FD115D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5953054d070074d88c4a1ae08df1442f0f3d29b4","datavalue":{"value":{"entity-type":"item","numeric-id":4625665,"id":"Q4625665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136211068783988fae0f46c08edaa86241dbe776","datavalue":{"value":{"amount":"+0.9208909869194032","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":"Q1664155$27560B89-C147-4C82-8F80-E154E21830B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68b047dca148763edffe81fc1cf47d14a9f6175","datavalue":{"value":{"amount":"+0.7269948124885559","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":"Q1664155$B2243436-21DC-455F-9D6E-60442DF26BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396ece4d234662cd2cb27aa2227f29299c7d8022","datavalue":{"value":{"entity-type":"item","numeric-id":919839,"id":"Q919839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7694584ee74868239ccc641bd03e76cc31892485","datavalue":{"value":{"amount":"+0.7119657397270203","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":"Q1664155$F1C93EC2-B26B-462A-8E10-BD5DD5B74075","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":"7dfe16ba89ace91105a8f2e935fbd30d3f21dd54","datavalue":{"value":{"amount":"+0.6993774175643921","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":"Q1664155$D1174C04-BFE9-4DE4-8F38-6D88B7F7BCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852eb63c97a10fe2089a9bbd6eb4d8fa4677be2d","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50e80fb37e579d813fcafb008cc9e826ecb636d","datavalue":{"value":{"amount":"+0.6969138383865356","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":"Q1664155$DA314E17-6F23-4EFF-9E23-4CC61F55FC3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_concurrent_problems:_beyond_linearizability_and_up_to_tasks_(extended_abstract)"}}}}}