{"entities":{"Q4909400":{"pageid":6938979,"ns":120,"title":"Item:Q4909400","lastrevid":51667430,"modified":"2026-01-19T09:08:50Z","type":"item","id":"Q4909400","labels":{"en":{"language":"en","value":"Show no weakness: sequentially consistent specifications of TSO libraries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144206"}},"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":"Q4909400$D8C68E52-C0F9-419B-A037-10431E3C189D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30a38c774a12291f27cbc7906fcb980e2958e6c4","datavalue":{"value":{"text":"Show No Weakness: Sequentially Consistent Specifications of TSO Libraries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909400$8FB076A3-88A5-4D54-B696-AD5BF2653FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ad0cea163991ef79e0ce53a0c8f233360b958a0","datavalue":{"value":"1377.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909400$A7287813-FD2C-4F97-9DF3-ADB94125F801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef968e55d09887a29ef311e56d1e3bce27c06c1f","datavalue":{"value":"10.1007/978-3-642-33651-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909400$26CBD439-CDE0-4594-8DC8-C5B86B8D599D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909400$EA53453F-0230-45A7-8D87-EFC5EAA886BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9b105d6dc2235f6ec9240b7660c588e0fa1c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2845495,"id":"Q2845495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909400$9F3048FF-BA4B-4011-BDE8-291EEA147F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909400$7F424EEE-7025-4487-B9C0-4FBC4A02975E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909400$F3004CA5-335C-49C3-A37C-E8A689F6277E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4909400$F0819B82-A0ED-4134-9527-8587358E2FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909400$C729E1C8-8ED3-4066-9BFC-BA8879D861B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdcc3080973dfe4648f6b61272f66df776502c1b","datavalue":{"value":"6144206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909400$3A5F4CF5-CDD0-4026-A583-09FE011437FF","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":"Q4909400$B00EDBB6-82FA-4E61-9894-4BE5E0156B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7857fa9d66bd45ba72cf8f661c5b0e9bef16dc95","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33651-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909400$F68E5F9B-09D1-4AE6-BF80-9DA5F88B2116","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19a5e5963a008811abf8728adbf8fddaeb3a2157","datavalue":{"value":"W146875869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909400$80C5FA12-740F-41D9-AC15-B9DF629D7D71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8382678546a1bd28bab11224146a5898a58b87c3","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c034f385093366f88f0d42883c939023260a63","datavalue":{"value":{"amount":"+0.8152401447296143","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":"Q4909400$99BA37F9-3B67-4EBB-B849-66723E3026B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5558b7bd2391c98b2bcfdc4d59551097defa0a","datavalue":{"value":{"entity-type":"item","numeric-id":2802463,"id":"Q2802463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e7761d4a3fe1518f3af2ce495415f1274e2f99","datavalue":{"value":{"amount":"+0.7754265069961548","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":"Q4909400$E8A88011-988B-4847-B611-7A227D13C0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061dd9cc02f7def0e4835eafee7b938d701cd8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747665,"id":"Q5747665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c85035582cac2b26b155ce32c2035cabe40a52","datavalue":{"value":{"amount":"+0.7541071176528931","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":"Q4909400$C85F154F-71B5-4590-AE33-78C2E3182E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a45eeb79b72d83c85cafe5e430ce10511c079f","datavalue":{"value":{"entity-type":"item","numeric-id":2931799,"id":"Q2931799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded5671aff59c10ad8cd53dc8326c98883fe7ad9","datavalue":{"value":{"amount":"+0.746216356754303","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":"Q4909400$BA2D6C0C-B9A5-4F87-B1AE-550443894F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f622db5bb0f5c382014ce87b12b61615e3aa4b0c","datavalue":{"value":{"entity-type":"item","numeric-id":6039412,"id":"Q6039412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2071f02d73d58f86562a6fc479ada27de805c5","datavalue":{"value":{"amount":"+0.734758198261261","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":"Q4909400$AEED143D-8123-4DA6-B8B9-41C5E3858F93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4909400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4909400"}}}}}