{"entities":{"Q714877":{"pageid":716726,"ns":120,"title":"Item:Q714877","lastrevid":63830016,"modified":"2026-04-11T15:50:16Z","type":"item","id":"Q714877","labels":{"en":{"language":"en","value":"Failure-divergence semantics and refinement of long running transactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093072"}},"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":"Q714877$8962A166-4084-489F-A0C7-B6B6ACEED7B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4de5dae230ad7d09b6a95d2850df47dafca6febb","datavalue":{"value":{"text":"Failure-divergence semantics and refinement of long running transactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714877$B02FFD68-0F79-43AD-864A-E300718B6386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2fc0466f279b0bae2c02f993bbdce530a7e25df","datavalue":{"value":"1279.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714877$719372B5-A64A-4CC9-91E0-5725E294FA0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be944286afc345df75c2ec6bc9a42c95fc82cd58","datavalue":{"value":{"entity-type":"item","numeric-id":714876,"id":"Q714876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$A5C76B1F-F4AE-4B37-81B8-7225E4C4EADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$082516D4-F39C-4CF4-B8DD-BE8E2744417F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$B770EB41-821B-4574-8D1B-BEA9046C5817","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$BA6A315F-1C77-48CD-A7FB-502A5B0006F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714877$1CF2182B-7C29-47FD-926A-BC9C20A8F34B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714877$1FC0D567-4EDA-4DBA-9F46-3752B2371D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714877$A957EABA-27CE-4412-8BF6-091796B5E69F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"579ac4e50eae8f9f17692fd9c2f496c08d3bbb22","datavalue":{"value":"6093072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714877$3C9BEC84-9DE6-4FD1-A3B7-4A64B2D66C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08a09d7228417c206cfe7c3d0aab6a75d1ceb9e","datavalue":{"value":"compensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$4C5BFCC4-A694-42D7-842E-8F060663478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$C4575093-41E3-4CFC-A6F0-94E5F6A9EA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$EB68E284-221A-4AA9-8520-E65E2DC8A2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5886679075e30a197561c01a03244ceaf7da39","datavalue":{"value":"failure-divergence model","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$86836FAA-F82F-43EE-9A81-6AF9FFAFAAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fff74999d601217e01e93c0fb4866e67b2c6845","datavalue":{"value":"livelock","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$F398EDA0-BA13-443E-AD49-2FC5A3CAA000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$38EECAAC-63D5-4002-BF92-9068FE55F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q714877$FA74B24C-E00F-4CE2-BB63-5B89B0B5542C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94d282fe65ea5eed1e66da6ca542844ca7a9c506","datavalue":{"value":{"entity-type":"item","numeric-id":14236,"id":"Q14236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$9B1A16CF-8E12-4F98-8576-391D32EB8622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4baaec8dbb9129dec61542780391e732464eec00","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$0B5CD7DA-B226-4B2B-BE0E-2FA072511628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab2732a43462e4afd2685a78e5271e3564f77228","datavalue":{"value":{"entity-type":"item","numeric-id":23407,"id":"Q23407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$032DF88A-F100-4E83-99B6-81F2BEE50A17","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":"Q714877$7A400906-4F84-4ADE-A172-4D87CEC3BB01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46a19b1cf4d72431e1d30689e83d650d339e0c81","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.04.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q714877$4F35F46D-18B8-469D-B2A0-F3C8A084DDA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97e3a0822937de2744c7591c309baa41f1bd6210","datavalue":{"value":"W2072325835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714877$8641A33C-AF4A-444C-8808-52C11F1AF6F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d992798afe7f502900c7c1c8931bd8aac4dbc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5902545,"id":"Q5902545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$E9CF8C33-9713-4884-9C7B-CF5AF5996A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fd3393ec124f0c89e107bc46852a8330aa136d","datavalue":{"value":{"entity-type":"item","numeric-id":3636911,"id":"Q3636911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$469E8132-B283-42D0-A912-DDD8ADA8663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7d6b52c5165f5ae5e17d2734a5612c2bbe33c4","datavalue":{"value":{"entity-type":"item","numeric-id":5897496,"id":"Q5897496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$407485EF-7454-41DF-8CB1-4D22523662C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc07fd4f0d278bbe5bf2cd4e04e56cf9f58b8984","datavalue":{"value":{"entity-type":"item","numeric-id":4673433,"id":"Q4673433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$962CDC05-23A9-4347-B4AE-B0B71512EEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ae3720166e553e0d57088b47a3d6bdb63d1579","datavalue":{"value":{"entity-type":"item","numeric-id":5276147,"id":"Q5276147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$494D391D-4CA9-4185-A848-8F57A5EB33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c1e5d523d71debdde27d256d7350130f237d41","datavalue":{"value":{"entity-type":"item","numeric-id":5717744,"id":"Q5717744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$00E1B92F-0B40-4003-91E9-EE1E38178508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b85a724a1257dbf9cbac84dfea3ec1cad4417b","datavalue":{"value":{"entity-type":"item","numeric-id":5709384,"id":"Q5709384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$4F5ADE38-8F16-4F77-ACFA-58C8CC381774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b7c6ac7da5de5a5880cecadd1be1f983b7b9a5","datavalue":{"value":{"entity-type":"item","numeric-id":3189845,"id":"Q3189845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$594E323C-17F1-4FF3-BB19-1B60D15CCC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f106b24b2c5d6a1540466394291577ba754f66","datavalue":{"value":{"entity-type":"item","numeric-id":3585047,"id":"Q3585047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$FADC775B-ABB3-4247-B205-B62F02C9B54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a719b09c741781eed5b77ae51fceb2a045b68e","datavalue":{"value":{"entity-type":"item","numeric-id":3608891,"id":"Q3608891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$AA4DBCF1-2A8D-42E0-ACE6-BC4835B2A524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9672e978b219537e93b93a23579d69ea832c4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5703799,"id":"Q5703799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$6F59D5FE-DDF4-47B4-9001-6473ABF5D89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4d1924d292b9d9ea2be160a764e4bd7ca24048","datavalue":{"value":{"entity-type":"item","numeric-id":3558236,"id":"Q3558236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$CD148D5A-DFD5-4C8A-BD69-1B62295CF547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c328f12ea54a5bfebb55a271159622ff3b3418ff","datavalue":{"value":{"entity-type":"item","numeric-id":5705884,"id":"Q5705884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$F637DBD0-A3B6-477D-B038-726457B77117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4d5de73646afd5be83496609fc347d9960dd28","datavalue":{"value":{"entity-type":"item","numeric-id":4989486,"id":"Q4989486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$E8F00358-AA27-43C6-A513-B2140640C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042db5a1d6d45c0873a02f99f676cfe5a9b5ebf2","datavalue":{"value":{"entity-type":"item","numeric-id":5756484,"id":"Q5756484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$2D600C19-984C-4612-8AF9-2D7B56470C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68570c590aea6577fbdb8c1b492181e368e89267","datavalue":{"value":{"entity-type":"item","numeric-id":1201297,"id":"Q1201297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$A89D3C0D-3B18-4835-8E60-5CAA27B67B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3d5e47b1b1795cfc7eb821cde5a8f587c83107","datavalue":{"value":{"entity-type":"item","numeric-id":5178979,"id":"Q5178979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$8A3C502F-BD07-45D1-86F8-462B7F066732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c949ce7ae655217b6446ccbea59f9afd71429f","datavalue":{"value":{"entity-type":"item","numeric-id":5505592,"id":"Q5505592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714877$2DA17D35-AAAC-483D-993F-AD5CECDF17C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd0a780f8be2ce3225ffc28994f43d4694beba55","datavalue":{"value":"10.1016/J.TCS.2012.04.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714877$1383D854-7869-4A7C-BB3D-74731D698706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc621ec35ae9409af71161d28aee74fee39c5ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3585047,"id":"Q3585047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3cfbcab1d6cd9f98636ec8a3f58d6cdb3d45de","datavalue":{"value":{"amount":"+0.8797459602355957","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":"Q714877$625C813F-472E-4ACC-B3B5-AE041AEA2DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6672f5cdf3da96a9328956cb12cd7ca9102163","datavalue":{"value":{"entity-type":"item","numeric-id":5709384,"id":"Q5709384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22787ea47f4e3cba149a3cea0fe4f97b8dbf1dc1","datavalue":{"value":{"amount":"+0.8193432688713074","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":"Q714877$5D849568-FC66-4669-A2D3-5BC0BA9C9240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8590f948bf6c81bc30a271012ef91ba7ee36edb5","datavalue":{"value":{"entity-type":"item","numeric-id":5902545,"id":"Q5902545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a1c343e82537e2d6b6b6cc3a987a9e88a1cf56","datavalue":{"value":{"amount":"+0.7880825996398926","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":"Q714877$0E45F843-058E-4A08-94F2-8F04234F9527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fcccbcde14dea2c60a872ec1a6f2d8f228ad3d","datavalue":{"value":{"entity-type":"item","numeric-id":3585019,"id":"Q3585019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1e610fa8a6f922bf27fa94372737c7ec35c749","datavalue":{"value":{"amount":"+0.7615582942962646","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":"Q714877$64957E68-6B79-4BF6-A03F-E9454893EF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbbdcd2f0697611dd68ef514456cab8da760e77","datavalue":{"value":{"entity-type":"item","numeric-id":5740633,"id":"Q5740633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb21805728701a0d174e5e8b0dfb63c9ea6bec1","datavalue":{"value":{"amount":"+0.7507578134536743","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":"Q714877$B1ED7219-6169-4D47-ACF4-AEB6163F379E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Failure-divergence semantics and refinement of long running transactions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Failure-divergence_semantics_and_refinement_of_long_running_transactions"}}}}}