{"entities":{"Q2335948":{"pageid":2346691,"ns":120,"title":"Item:Q2335948","lastrevid":53592407,"modified":"2026-01-25T09:28:48Z","type":"item","id":"Q2335948","labels":{"en":{"language":"en","value":"Read atomic transactions with prevention of lost updates: ROLA and its formal analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7130962"}},"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":"Q2335948$4D350C14-2648-4AB8-A2D0-256097EC63B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47e2bd1b250e824c00f2b499a5ce4343acde5c43","datavalue":{"value":{"text":"Read atomic transactions with prevention of lost updates: ROLA and its formal analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2335948$378DA052-62F7-4FDB-9100-D373E0E33234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"563f4d74948571bedb59cb40be7bb0bab3a0f7fe","datavalue":{"value":"1425.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$62D2CB52-1033-488D-BFC6-46012C0D8018","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d3655ebb1a96343078d1dd06113d8bc621ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":730471,"id":"Q730471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$3B29B398-B9A0-48E7-8DB8-A105B8F83821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$C6270B9A-1B7C-4C85-9649-1E545F943E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c570c89a692f738a57e168b98a74e831681d361d","datavalue":{"value":{"entity-type":"item","numeric-id":275561,"id":"Q275561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$A40DD621-DF65-4158-8CD6-A6DD82E51C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$EADE2E12-2778-4727-8DFA-8DD2DE3C4A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbbc6cf1fdae3e6446ef27996af046aaafb1d95f","datavalue":{"value":{"entity-type":"item","numeric-id":1007297,"id":"Q1007297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$016CE6BA-867A-4305-88BF-3F72019D8F88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$9EA977A0-B1B1-48CB-BE1C-B9EAA9F650F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"744ff5ba1d34b10b10a5d42b057822c6d7abb013","datavalue":{"value":{"time":"+2019-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2335948$703EF641-D7C8-42F6-BD48-51B19413EFBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3121d88853f17f69f0fa5ec7d68a0615e705761","datavalue":{"value":"http://hdl.handle.net/2142/101836","type":"string"},"datatype":"url"},"type":"statement","id":"Q2335948$D2E779B8-689E-4039-976E-3EC3BA5C0DE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$AF3AC897-D9AD-4428-974D-1B40AB8E0E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$5703F7CF-6946-467D-9A7C-8CCAA61B21EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$F4F58473-E529-4D89-808F-CE78E5FE7E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$C8359776-84FC-4A6E-BF5A-FEB447DE8426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f59746af939100e68ab90f7191cc7efa7cacc5b3","datavalue":{"value":"7130962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$3C969E3E-2363-4751-A211-40D127BE4D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2541b8764f8561793d1c8dcb230975fc26f0e5","datavalue":{"value":"distributed database systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$3BD08969-1FB4-411F-8A66-FE33106BEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e262678f0e2f098a393970957a7f3ba336082d","datavalue":{"value":"transaction protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$72A07C8F-4935-4E06-A55F-D5E225286437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eceb2812915328dd615110c0f7b1c5f6b5d54326","datavalue":{"value":"consistency models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$4618B079-DC97-44A0-894B-BA5A82FEBE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$DB6CDD34-8FB3-4847-80A9-6E217B2881E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$C5348985-D870-428F-86EA-3B43565A9973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$9A74AB9E-E636-45CF-837D-9F6AED68D014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335948$44146DE0-7297-4473-BF29-F96E5178C998","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39f845fecb27dca4d042d6ff50d6e8774b88438a","datavalue":{"value":{"entity-type":"item","numeric-id":5972585,"id":"Q5972585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$E22CA812-631A-42C2-86D4-BA0029AF70D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f018fe556e0356a7803ce2bc2c600a2793464ed","datavalue":{"value":{"entity-type":"item","numeric-id":5974622,"id":"Q5974622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$85B129DB-8CB8-41E2-B2C5-255E41832571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$7315E399-36F4-4322-9ABB-CD0423CEF1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$EB800A1E-AEE4-4B3D-A6C1-5D258AA71531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$751B26BC-A84D-4A90-9DA7-8EE7648A73DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$FD773C60-8C29-4021-B962-CFF8D9A2260F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63670ec9990cae130bf497257dda369111539e56","datavalue":{"value":{"entity-type":"item","numeric-id":20432,"id":"Q20432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$35D3135F-BA02-4C13-8DA5-69DD856B328E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b9c29e01fbf3105f7a6f29bb189b6c2790686c6","datavalue":{"value":{"entity-type":"item","numeric-id":24963,"id":"Q24963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$D7E635C1-7AFE-4710-818C-04568D015922","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":"Q2335948$A3B5854A-5B7B-4AEA-B85F-E91C8F2C0E8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cad58cd2cfc00d551839e8d65d9240f197c2d15","datavalue":{"value":"W2901599465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$7E82EB1E-F76B-46C6-AD83-92EB531480BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0da39881ddc77e798ca445b7f8fb7e3eb8fcb0","datavalue":{"value":{"entity-type":"item","numeric-id":5012561,"id":"Q5012561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$823E743C-A038-434C-9B10-57C31256E24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee087c71e54f07ecc28c923672081daf6396af9","datavalue":{"value":{"entity-type":"item","numeric-id":5357694,"id":"Q5357694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$6C550BEA-CEB0-42E6-9395-A0289785FFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$F465B982-A3AF-4500-9257-6C53C6E00720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff699137844495c56f6b7b63c03d2f2115493c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2848881,"id":"Q2848881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$5BF98395-7E6C-438D-AE7E-6913736D98E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb731449e0ffbb442852a42ff2684c44e4cb7d08","datavalue":{"value":{"entity-type":"item","numeric-id":2324186,"id":"Q2324186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$49EBA6C2-DAC5-405B-B73D-94CFBB59FF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$B71A8AE0-0062-4888-B44B-DC2232F73A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$17A01447-4931-405D-853F-36B8AA75B560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e27fa1f9d1f2d0cc1ccac762e85549158c6c4f","datavalue":{"value":{"entity-type":"item","numeric-id":5208508,"id":"Q5208508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$1C56878F-EB3A-4362-B0BF-AD8A66051DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$D40574AB-8B01-459E-982B-3DBFCD0EED13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e403dc56b2fd911aa43867be9a4c9efd7ea222","datavalue":{"value":{"entity-type":"item","numeric-id":5277939,"id":"Q5277939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$CB43AE64-BF07-455D-902C-9264307B203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$6011C248-99CE-4B33-8E4F-B18CDCFB3919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8a7d69d1fddee9c9a2d74466b5eb6eab42ed50","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335948$4A80FFED-9A17-4FB1-9ACD-C5901CFE0991","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff948911be8c49669572995ea8cf52a0f3b26114","datavalue":{"value":"10.1007/S00165-019-00489-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335948$4F1CC481-0EEB-4F14-8367-CAA747EA1BC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529aee9a7922e5747b6cc42085a6404713fed0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2324186,"id":"Q2324186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b662cd965ce88bece8ad64ee97d46fb7e5744796","datavalue":{"value":{"amount":"+0.9653624296188354","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":"Q2335948$9DD14968-C63F-4E52-BC8A-2DBE00A48CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a21178167e1ded86ae7f03b66589f822690d929","datavalue":{"value":{"entity-type":"item","numeric-id":4021767,"id":"Q4021767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413b5fc3b57c75f8dbb5f24dfc9f322d187a9df3","datavalue":{"value":{"amount":"+0.6969249248504639","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":"Q2335948$0DCB5E7D-B99E-4CDC-8180-57AC340FA131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b22523e7ae1b2a4ecb48c95a8e1e38ce81a8b4","datavalue":{"value":{"entity-type":"item","numeric-id":5357694,"id":"Q5357694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5cfb1ff9ed681c26e18a88890cc85614d11a50","datavalue":{"value":{"amount":"+0.6932789087295532","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":"Q2335948$6BEF5208-4A05-45EE-BCB9-4C134CF4AB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa7d381c5709c1eb789f57939a2dae28044dd86","datavalue":{"value":{"entity-type":"item","numeric-id":1857087,"id":"Q1857087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2f705747b94525e8a457559d137139f8a1a30b","datavalue":{"value":{"amount":"+0.6931329369544983","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":"Q2335948$4D2A268A-F5DB-4ADE-A3A0-2458179866B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51acc5a97f020c3c74f6675e133dc9392814dbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4608658,"id":"Q4608658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e30f0b0e9bb964232e5f9219be7bc7a64fa3fe","datavalue":{"value":{"amount":"+0.6917784214019775","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":"Q2335948$356BF6A7-ADA5-4EE8-B472-72915F3856E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2335948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2335948"}}}}}