{"entities":{"Q2892722":{"pageid":2903447,"ns":120,"title":"Item:Q2892722","lastrevid":44710173,"modified":"2025-11-25T10:44:26Z","type":"item","id":"Q2892722","labels":{"en":{"language":"en","value":"Concurrent Library Correctness on the TSO Memory Model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049260"}},"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":"Q2892722$A92327E6-79BE-4BE4-B430-9533C777A9BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5b6f970c4c363d3e67040684cf6c24d56b8d992","datavalue":{"value":{"text":"Concurrent Library Correctness on the TSO Memory Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892722$6681531F-B816-4FCD-BC97-7818C0203FFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a0905787daeac5ecb56bbe1c7c16c7f64cb692d","datavalue":{"value":"1352.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892722$DCE0303D-8AA5-4E91-A0E4-2DEF228580F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91b99950927ac0aaca10cfc0d15dfbeafe635edd","datavalue":{"value":"10.1007/978-3-642-28869-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892722$129DDCD1-06B5-444B-96BA-7468551B5CCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff257111a2bfcf97b763a683d394a6545834b730","datavalue":{"value":{"entity-type":"item","numeric-id":2220885,"id":"Q2220885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892722$ED026A83-9117-4ACB-9B69-251E1E966234","rank":"normal"},{"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":"Q2892722$650576F5-3EB5-4E63-88A7-BEFA88ED51B7","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":"Q2892722$E74B846E-BD6B-492C-87CD-00FB51754EDB","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":"Q2892722$25040E0C-7366-4187-B4D4-EAD24943FADD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892722$55A9518E-4C5E-4B63-9845-427FF0DB9CC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-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":"Q2892722$0993C30E-886B-4A52-BE6B-7261E6EF995B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892722$DCBBEEC1-1063-42BB-8D38-81F3EA4CFC52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ebe877d92f7b95f49260fd51e8e7d4ccfcdc89","datavalue":{"value":"6049260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892722$9BCF0609-7787-464B-BA71-B21ABCC461D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ada433d56eb73d1ab97d626e0d8ed6f82e93c5c4","datavalue":{"value":{"entity-type":"item","numeric-id":30257,"id":"Q30257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892722$915FE3FC-2CE8-48EE-98F7-4DB659AECF08","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":"Q2892722$A917E668-19EC-4DCA-A478-12D4E5E71000","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f6f032fa9795a7eebeac0089ebbffb1d757e746","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28869-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892722$EF064333-2168-420B-9B7D-1F22DB073BBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4e537d296c76bf464d14352162c3a8354f8befc","datavalue":{"value":"W136533073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892722$D207D2C7-B678-4027-BFFF-54FA5439793F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb8de4a759eb043db7bae2d2520314a4457410b","datavalue":{"value":{"entity-type":"item","numeric-id":6168984,"id":"Q6168984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fa69deee80ea43efcd419f4e365e8df6b9d598","datavalue":{"value":{"amount":"+0.8728433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892722$487980BB-50BB-46ED-8607-81792B4AF9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a05355ee9e643278d508aa84a113c5e6e15b99","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e6409a906c3216d52f546f42484346b75a969d","datavalue":{"value":{"amount":"+0.85665834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892722$B7637C29-1933-4C9E-8D52-80CB59ED22A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0f96cfd67c56313e83cc56439db22422434a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3179280,"id":"Q3179280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991d703af0606793d47508d3a4c1f606a62930e2","datavalue":{"value":{"amount":"+0.851019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892722$7B9DC905-1C01-4FE9-B197-9FAC09F08ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cb5d00b037149845dffd7cfac9f173e7a11b9b","datavalue":{"value":{"entity-type":"item","numeric-id":2225105,"id":"Q2225105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e522b14fb47967ffb3f70ca8c29ad42bc47cc6","datavalue":{"value":{"amount":"+0.84695566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892722$585D5CB7-D3DA-451A-99B6-F56FCF8708F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82eeeda3db65ba0c9e637877280a18f0e7bccd","datavalue":{"value":{"entity-type":"item","numeric-id":5395719,"id":"Q5395719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31299f90914c6ccf8c3c61df79093da64089f71a","datavalue":{"value":{"amount":"+0.8458496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892722$4C6C43B9-A92B-44AB-8C3A-60E36A25DD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8c86159c6b66dacfdca65cfaf472b36b79297f","datavalue":{"value":{"entity-type":"item","numeric-id":3455549,"id":"Q3455549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04e23edef54e14a0deb2a2a217bc60699bf0b06","datavalue":{"value":{"amount":"+0.84520376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2892722$78AC7044-5386-435B-976A-DD2DEA627E70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892722"}}}}}