{"entities":{"Q3557084":{"pageid":5586988,"ns":120,"title":"Item:Q3557084","lastrevid":55891165,"modified":"2026-02-20T21:32:18Z","type":"item","id":"Q3557084","labels":{"en":{"language":"en","value":"Simplifying linearizability proofs with reduction and abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702250"}},"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":"Q3557084$60EB7FB2-6659-4149-B994-BF6CA27187E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a53012fa971810492ba0eedff7448ad92bfa09f3","datavalue":{"value":{"text":"Simplifying Linearizability Proofs with Reduction and Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557084$660E4E99-6724-4F17-A264-466576C7A341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab1ab6c0fbb490a9c5953ccce4e85767818ebda5","datavalue":{"value":"1284.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557084$2E97E903-4370-4695-8AF7-275ABCAC3C50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41898e33b77271b3afa2e0579c2a1abecf34c11b","datavalue":{"value":"10.1007/978-3-642-12002-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557084$D9F542BF-5389-479B-A7A5-C2DAC28150CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d438cc5808b46989d8bd0c202fb14e6a50141a0","datavalue":{"value":{"entity-type":"item","numeric-id":3557082,"id":"Q3557082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557084$DAEE3398-5545-41E6-9683-1FE807DF6979","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":"Q3557084$98F52E6F-B8DD-4339-AC73-73373CB8005A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af1d13f5ba921a6f2fc1c6e88b814bdd9d6a1452","datavalue":{"value":{"entity-type":"item","numeric-id":3557083,"id":"Q3557083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557084$43ED8148-D31A-44FA-AD4C-BCDD548B7162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc258155bc6debe998a6723e056c58cf0faa3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2050103,"id":"Q2050103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557084$D2733E5C-1CCD-4B15-B90A-535DC4BFFB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557084$BA9F3F14-D8AE-437C-AEAB-C828B0818C3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557084$5ED319FD-B6C4-4B0A-A70E-9AB70A559BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557084$7D9353BF-C038-4943-9D26-C8100D722407","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557084$AE22F411-1B11-4B0E-BB92-E5005DF89DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557084$48B4FFDD-20E9-45C9-9ADE-52A137490F7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"943f4c38e136a0c1460df69843b5aa704c833155","datavalue":{"value":"5702250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557084$37505AFB-6BD0-4829-B718-53D690D882F1","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":"Q3557084$0F402CF0-85E5-4AD5-A301-A3CDC175E2AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db51f3b41a3bc416602b6ad5bafe9ec1aada3503","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557084$BA7DBB7A-81BC-4BBF-AAF6-4A4F693C870C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ca85b6950e2e3bb871831f0254279b7849db3c2","datavalue":{"value":"W2127717454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557084$1EBC7E53-8F8A-41DE-8074-DE4033832D32","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":"84cd4bcc31b0b71b0a44065c2a41d58a0ed39692","datavalue":{"value":{"amount":"+0.7993408441543579","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":"Q3557084$277255AA-B334-4427-BF8D-FB604B8BF90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc0d1144d70c0b6cd329c4c6118b815cc0993b6","datavalue":{"value":{"entity-type":"item","numeric-id":5246726,"id":"Q5246726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d42bf81982f48e85516fb18667ff77b9f8f2555","datavalue":{"value":{"amount":"+0.7983834743499756","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":"Q3557084$5827FA1A-85B1-4540-B93F-7ECB1779F69B","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":"2c89a86307002c1d655376d850e528098aebd39a","datavalue":{"value":{"amount":"+0.7951651811599731","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":"Q3557084$95D4B8B9-4235-41E7-83E6-9D0939A24529","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":"77b8ad2cfdd0b80b1a6e144b28a88c91ab77888f","datavalue":{"value":{"amount":"+0.7943198084831238","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":"Q3557084$9ED80397-1E58-4BCE-A97E-7DBC9D417F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557084"}}}}}