{"entities":{"Q820129":{"pageid":821977,"ns":120,"title":"Item:Q820129","lastrevid":64616847,"modified":"2026-04-11T21:05:38Z","type":"item","id":"Q820129","labels":{"en":{"language":"en","value":"Formal design and verification of operational transformation algorithms for copies convergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017461"}},"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":"Q820129$3006EE00-6A28-4EBC-A36C-B35151368DAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ac92bfc4588ad32371802b26e2f7b2dd04780ed","datavalue":{"value":{"text":"Formal design and verification of operational transformation algorithms for copies convergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820129$79DBB81A-B128-4387-BA04-357B5BD4A457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f2e6319e10fd21599625c007a1bf760c5daa10","datavalue":{"value":"1086.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$5E7734D8-A960-4636-AFB2-254ECEBBFDAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3ebe9f3db2b39e90f4c46b046e19f44012346","datavalue":{"value":{"entity-type":"item","numeric-id":820126,"id":"Q820126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$EA944A4E-CFC8-4C3A-A872-C462BA539EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$1AAFAC62-B48C-4E85-A1A6-974F1AC0DA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a37986e11208ae6c5a9fd5bcf2db1aa48dd5e9a","datavalue":{"value":{"entity-type":"item","numeric-id":820127,"id":"Q820127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$3CC990BB-E558-41D5-BCC6-05470A527069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabad1d7a8ea8270cdd895c9425ca25485ba6552","datavalue":{"value":{"entity-type":"item","numeric-id":820128,"id":"Q820128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$C991B379-5E16-4DBE-8AF1-10A3577C2964","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":"Q820129$63765A04-1EDA-41D9-BC26-596B4159199E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b5cf394bcdbe8afe258f05ea5234af0f11a462","datavalue":{"value":{"time":"+2006-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820129$D9F10F71-3333-4DDC-B430-D405FE8DB05B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$E344CA55-10AC-4FED-9C16-C3F520CE29B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$980930DE-807C-47F2-ACE1-6BABC09D8955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$02D3F696-BBE5-4658-91FD-3A5C4C37EA08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb4abd7afc39b724ae53f23329e86e85844614d3","datavalue":{"value":"5017461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$C298A2FD-95EE-4F01-87FD-DDDF376D7BD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7c3f70d86abde93f576cc9c9b26798a13d20ff","datavalue":{"value":"distributed groupware systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q820129$CDD55AE1-83AD-48A6-8917-972F3056DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc6aa34ae326b441c0784316d7cadfe117069ce9","datavalue":{"value":"replication","type":"string"},"datatype":"string"},"type":"statement","id":"Q820129$B2D0093D-1B24-48B3-AA7A-2CAC13CE4640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a7885e6a2c2b20d5c2f3a9990b2a65b010430","datavalue":{"value":"operational transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q820129$CAC67C26-33A2-4AA8-A2DA-DF6A30DF8900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q820129$9A87ED02-2981-4504-84AC-C97BCFED251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q820129$110BE310-3200-4893-8705-E00EE1F07CAC","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":"Q820129$AB15FDA6-2ABD-4024-A34E-CBF4C2BDA89C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"803b24fd9418b017569dab68361193a64840eb0a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.09.066","type":"string"},"datatype":"url"},"type":"statement","id":"Q820129$39663F72-9BFB-4ADA-B291-8BC2788A8E3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a684419aef33301572b7b064e31bf02c7e809f2","datavalue":{"value":"W2015669758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$28ADB10D-4311-459F-A0A1-7E25492B0B33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"798e10033e3dd1a139712364d2e339f513e371d6","datavalue":{"value":{"entity-type":"item","numeric-id":1404422,"id":"Q1404422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$495D4FBC-535D-4B26-B13C-C4C6E379C3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd513c7c8b6510483a52190c8c99b422eefe9a","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$2AA224A1-622B-4707-BC6C-F0B1C3ED1BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$A61528C1-2579-4DAE-AD06-476897A55F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207a3a86eff30f0709ace65a9572873e620c40c1","datavalue":{"value":{"entity-type":"item","numeric-id":1607227,"id":"Q1607227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$A8AF90F8-DEB1-40A8-9FB3-24B4FC50C00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$4519FB27-FBB7-4B0F-960E-4E63FEBAE673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79bb6c586431f19bacdd62c3b63263102b465ba","datavalue":{"value":{"entity-type":"item","numeric-id":820129,"id":"Q820129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$B112823C-AAA9-403B-9B5B-AAC249B2AF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8742b8049465bf0e9afe1e56c317255dbbf0f2","datavalue":{"value":{"entity-type":"item","numeric-id":1007634,"id":"Q1007634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$D88E78D2-80E0-451A-A03D-DBC9F40963A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b53eef16acf6e73c6325ea284d8b704bee62c4","datavalue":{"value":{"entity-type":"item","numeric-id":1871387,"id":"Q1871387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$DDA2DEC1-5B70-41E6-A5C8-FCC9DAF8B63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e54e1eb346f4196cc1ac66f42c20d0558de23c2","datavalue":{"value":{"entity-type":"item","numeric-id":4715388,"id":"Q4715388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$EC6C6AC6-4B71-4D6D-A379-BBFAD7A8CB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$A803FCE3-000E-43DA-8E7A-F221C506F1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820129$F19345DF-2182-4318-B79B-98EA00740EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30050a237fa1d064c5e11114837c0e6e466f7a50","datavalue":{"value":"10.1016/J.TCS.2005.09.066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820129$55B54543-FB76-4703-9FD6-8C68F8A4BA6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a18cce88b2c4defd7e4f38fe553b208c498da5","datavalue":{"value":{"entity-type":"item","numeric-id":5312983,"id":"Q5312983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d8b8cab7eaa2f88625712a2ec1633e64407234","datavalue":{"value":{"amount":"+0.9177534580230712","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":"Q820129$448C2D3C-65B0-4959-AAF3-8DF1D15F7CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecc431928e99719babff92e3606eda4385739e9","datavalue":{"value":{"entity-type":"item","numeric-id":5479172,"id":"Q5479172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1eaff49ebf08970e4003af65a87c4945ef596d2","datavalue":{"value":{"amount":"+0.824381411075592","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":"Q820129$CF3CD8C3-BE5E-43EE-B9B0-76675F761B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6716d2f01f2e5883ef1116a578fee917de6b8c","datavalue":{"value":{"entity-type":"item","numeric-id":2829271,"id":"Q2829271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037480fb2b0a3e9a1b2c36e046270347b1913017","datavalue":{"value":{"amount":"+0.8161458373069763","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":"Q820129$18007BD4-6210-4B58-9613-4235E4AF72B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd0b515d9555f3faaf529b71821f836eb3c6142","datavalue":{"value":{"entity-type":"item","numeric-id":3388709,"id":"Q3388709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa448d684a74bc89a82141c7f78d580429953f14","datavalue":{"value":{"amount":"+0.8027758002281189","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":"Q820129$4B6FDCA3-1F01-449C-9D34-9C75E864E56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9a0c386d2dd595b93855f1f535d235a7f7ccae","datavalue":{"value":{"entity-type":"item","numeric-id":3608819,"id":"Q3608819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d23853d3ed7d6b5e9e79622630624b72b64ace","datavalue":{"value":{"amount":"+0.7935773134231567","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":"Q820129$9232D397-66B6-4782-A089-1660467E730B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal design and verification of operational transformation algorithms for copies convergence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_design_and_verification_of_operational_transformation_algorithms_for_copies_convergence"}}}}}