{"entities":{"Q2225105":{"pageid":2235848,"ns":120,"title":"Item:Q2225105","lastrevid":78749606,"modified":"2026-05-06T12:21:01Z","type":"item","id":"Q2225105","labels":{"en":{"language":"en","value":"Semantics, specification, and bounded verification of concurrent libraries in replicated systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306414"}},"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":"Q2225105$26797C7D-24A2-427F-953B-D5B57624E7C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de75220aff987439d59f0c9e3e5ff29f65619d20","datavalue":{"value":{"text":"Semantics, specification, and bounded verification of concurrent libraries in replicated systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225105$41827442-B44B-46B0-9CAB-28A28B815609","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d7dbe805f5cca936dffdd13778286c974e47220","datavalue":{"value":"1478.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$164EA04F-3093-42FC-B4EB-619A61E5676E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50d6cf73c66cfc897ab7a4666199dffc2249bbb7","datavalue":{"value":"10.1007/978-3-030-53288-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$CAA1BCBA-4691-48E8-BF1D-477A7DB64F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"955321da71421905453fcd4f14d46511b8527189","datavalue":{"value":{"entity-type":"item","numeric-id":2225103,"id":"Q2225103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225105$68C3B52D-2F60-44A6-9443-3B4AE00E096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe1002af536a1d28a3c8ebd6fc7e474c6476948","datavalue":{"value":{"entity-type":"item","numeric-id":2225104,"id":"Q2225104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225105$E24F2B34-DFB9-41E5-A60D-FA1B9321CE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9ea0621027ebcea1bc6d57ecc6f0e59b3fb507","datavalue":{"value":{"entity-type":"item","numeric-id":436390,"id":"Q436390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225105$43A7A517-49C5-422B-9A89-AA16FE1FB89D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225105$199EB0F1-759A-43F5-8112-FAF58E10D37A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"930b1b9a0b49f288e613af2df8a9c348e8d46a42","datavalue":{"value":"https://arxiv.org/abs/2004.10158","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225105$D9A2F5CE-F68B-40C5-88F2-6BE4CFB03568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$B8BAFC26-D8F6-46E3-B950-4672CC60CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$64F83D33-F431-494A-B5F9-D322E1561264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$7975FE13-0F16-49AD-8240-8B35CA5AE2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$5A014324-F68E-4ED7-BD23-D483D2D9C894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3bc4b8ab5db36eb6467ca36263ddfa8bc17cca5","datavalue":{"value":"7306414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$48EB5CF4-9AE4-4F75-A670-CA93D1708D2A","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":"Q2225105$FABB70D9-6147-4CDC-91B2-12E48CA8A7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9abd31c09f3e16506165ae8981f8e5632b031952","datavalue":{"value":"W3046432703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225105$58D53F5A-AA5B-42BE-A9F5-622A71F648B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34098b80fc7d578351b2d3cf20589c2fce4b8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5408424,"id":"Q5408424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680de7fb7d9ed1fc9058d43961e3d524ac87e48f","datavalue":{"value":{"amount":"+0.7435125112533569","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":"Q2225105$D5540FD2-EDCE-4EFB-9078-A04D8B1D5248","rank":"normal"},{"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":"3913b158696394d51ed423cbb62ab0462ebf7d6c","datavalue":{"value":{"amount":"+0.7243054509162903","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":"Q2225105$10A79292-AC0D-4D01-B6F5-70999597011A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d4ffc42abc2d66cf45250ea6095701383ef068","datavalue":{"value":{"amount":"+0.706872820854187","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":"Q2225105$67E116C5-1A02-41D2-B40F-C71D4977B2DA","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":"c67f55598883879e3a0b32ff1be8ec95867a9cc1","datavalue":{"value":{"amount":"+0.7035209536552429","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":"Q2225105$EBEBD9C3-DCC7-47B6-8BE3-27EBCE86DDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9531cac4ab473db0de36c465d7c608e7b37a1f","datavalue":{"value":{"entity-type":"item","numeric-id":5009459,"id":"Q5009459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bf4310650c4cdf8ee78ee6860fda381734869a","datavalue":{"value":{"amount":"+0.7032333612442017","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":"Q2225105$55B33DFB-4957-4572-8C1B-5C8B92E249A8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225105$1F86471B-B9B0-4E8E-9A0F-E68FAB2C676E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics, specification, and bounded verification of concurrent libraries in replicated systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics,_specification,_and_bounded_verification_of_concurrent_libraries_in_replicated_systems"}}}}}