{"entities":{"Q7361142":{"pageid":31518965,"ns":120,"title":"Item:Q7361142","lastrevid":105363233,"modified":"2026-10-07T13:34:47Z","type":"item","id":"Q7361142","labels":{"en":{"language":"en","value":"Strong Eventual Consistency of the Collaborative Editing Framework WOOT"}},"descriptions":{"en":{"language":"en","value":"AFP entry WOOT_Strong_Eventual_Consistency"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cace96215d06a84acdd196e80a095024a93fb579","datavalue":{"value":"https://isa-afp.org/entries/WOOT_Strong_Eventual_Consistency.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361142$198C4DB3-FD1C-45D9-AD55-E23EFD7AF9BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1dc58417fff361a629180d2ec9efcfddd12ca3","datavalue":{"value":{"time":"+2020-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361142$3620308F-4131-4F64-863E-79B027DE7E1E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"08e34730e8843d863438c2ad5795ad3f0ee72024","datavalue":{"value":"Emin Karayel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361142$E588A490-0E72-4A56-AAFC-A31DA42AD11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"e7d23199761f203ae201ed439227a167c1c81e5f","datavalue":{"value":"Edgar Gonz\u00e0lez","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361142$B833C000-DC0B-4704-B452-CB425E74E684","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4c1f42436509fbcc46733be8a5f98047ed7b671","datavalue":{"value":{"text":"Strong Eventual Consistency of the Collaborative Editing Framework WOOT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361142$B3F59BD7-0B5F-411E-B8A1-91599E903E46","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"474a732239920dfb1b3905a0fedd78f4c8fa19b3","datavalue":{"value":"Commutative Replicated Data Types (CRDTs) are a promising new class of data structures for large-scale shared mutable content in applications that only require eventual consistency. The WithOut Operational Transforms (WOOT) framework is a CRDT for collaborative text editing introduced by Oster et al. (CSCW 2006) for which the eventual consistency property was verified only for a bounded model to date. We contribute a formal proof for WOOTs strong eventual consistency.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361142$84204CAE-0E86-4BED-9043-FE83FF6500D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f4652f5ff9dc12a78446572ddb16acc421995b","datavalue":{"value":{"entity-type":"item","numeric-id":4061956,"id":"Q4061956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$18998135-A544-44AF-B0D4-40F8E26D678E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dffc323e819cf35b5685d2cd31f46987a2a0f14","datavalue":{"value":{"entity-type":"item","numeric-id":2451834,"id":"Q2451834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$F55E13C7-E66B-4882-A589-4EE50F85731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc051c4992a8a32119470ed01c512f9e5f52b6a8","datavalue":{"value":{"entity-type":"item","numeric-id":5894022,"id":"Q5894022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$3A849A73-5C03-43D6-A440-862787E315C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfb258a970069347cee502b3cd2b76cbaf5853","datavalue":{"value":{"entity-type":"item","numeric-id":1428290,"id":"Q1428290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$8E02B305-FACF-4158-949F-8E0FA99E89CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$938670A4-2086-41C8-807D-78EB9E3F06FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad7ef8767ee80497cce2e3326e69d21dd5b8270","datavalue":{"value":{"entity-type":"item","numeric-id":1183422,"id":"Q1183422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$57FA65EF-7D65-4803-B268-090CD3C57BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c49617d49e549c03d85bf48230f4c40e8f2de77","datavalue":{"value":{"entity-type":"item","numeric-id":2841748,"id":"Q2841748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$78B4B547-6C50-4900-9C5C-F21AD3D97BFC","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$4BFDF416-5723-47F1-ABCA-0BBA537CACAC","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"2df63eaed94b8a24c8331bb134612d6bfc9cb1c0","datavalue":{"value":{"entity-type":"item","numeric-id":7361479,"id":"Q7361479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$3275D0BB-76F0-40F3-883E-0FC62E3B1C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"da51d3ec386e981523e814b55f201f5691a30ca7","datavalue":{"value":{"entity-type":"item","numeric-id":7361531,"id":"Q7361531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$644FA3F6-A29A-4B0D-91B5-04457819272D","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"c619aaf4eae47fe7f56126dec3ae88d7d608eebc","datavalue":{"value":{"entity-type":"item","numeric-id":7360775,"id":"Q7360775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$848231C1-ED0F-4D86-B6E4-254EFFED2F14","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361142$C9F104A2-5731-4DFA-B6AE-0C124069BD13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong Eventual Consistency of the Collaborative Editing Framework WOOT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_Eventual_Consistency_of_the_Collaborative_Editing_Framework_WOOT"}}}}}