{"entities":{"Q5408425":{"pageid":7437999,"ns":120,"title":"Item:Q5408425","lastrevid":96177149,"modified":"2026-06-05T10:36:21Z","type":"item","id":"Q5408425","labels":{"en":{"language":"en","value":"Verifying eventual consistency of optimistic replication systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282430"}},"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":"Q5408425$78A11D38-2AC5-4331-9BE4-1A2AA7A7B494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dad4a9fc205a4d8dada8f795f52587981a9c5056","datavalue":{"value":{"text":"Verifying eventual consistency of optimistic replication systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408425$A6DB3FA6-5AEA-422D-858B-2BB5DABB24BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5940e93d4afb9ec6f13d9740dddcb84775d20e3c","datavalue":{"value":"1284.68383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408425$0AB7C285-04C1-49F7-9347-51A607CB3D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d5921b9a35ed21536edec59cbb3de341375ea7","datavalue":{"value":"10.1145/2535838.2535877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408425$94F91935-CC0F-4E8E-B942-F460AD2DF7DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408425$6AE99DE8-37EB-4F73-9C7D-8A906AF282BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408425$B9041834-A1A4-4FA4-B863-E2A11062DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7c9c750cf725fdec33f571a54ffbd7de1850aa","datavalue":{"value":{"entity-type":"item","numeric-id":1641011,"id":"Q1641011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408425$2096BCAD-EF0C-43F7-AD1C-B7D4B6837EE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408425$731755E0-D116-4D37-B2E4-FFB1A8873148","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408425$4E6076EA-F9DF-4F8A-BE4D-1E1168EB4713","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408425$49991EF2-7A0F-44AE-B825-3210DEF25AA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feff21c54e4eac8d4df436c9e9c66ef3acd70fc8","datavalue":{"value":"6282430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408425$C6568B18-DC1A-44A2-97E9-8BF43F7A807E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd8d7190ea9ba55916aab64db4bce726ad16459","datavalue":{"value":"message passing concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408425$A6803EDD-D74C-4A0B-BFA7-3046F32B2A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408425$1E714E5B-B72C-493B-BB91-7EC3CF11E64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408425$698BD3A8-F85F-4FF2-A9AB-55C955758E4B","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":"Q5408425$2D30C115-D5B2-4812-8F30-1894D13CD451","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c60b10dfc18ce6e60ec7fbec3ba1b32f1fe5cb04","datavalue":{"value":"https://doi.org/10.1145/2535838.2535877","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408425$98F63644-4DBC-47A2-9BB9-A0A8FD4DA7C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e027344f081223e10eae91e3c14ea7364ca81e8","datavalue":{"value":"W1967852324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408425$64F53A63-B97F-4F57-8D71-6016E3D7C43F","rank":"normal"}],"P1643":[{"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":"774d848676e90ef1f1ba0687b67dabd025f61afb","datavalue":{"value":{"amount":"+0.9206859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408425$53FDA74F-284B-455E-AE57-50002308C60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7cfe90c5321301ba9deaad4fa4d097cad4b08b","datavalue":{"value":{"entity-type":"item","numeric-id":3437343,"id":"Q3437343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713297ff1037f8c5f1a81ab709fe6649f300e44f","datavalue":{"value":{"amount":"+0.9052853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408425$240490F9-F3B8-4454-8F45-AE6F4A3D4392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404bb905c198364d367742c6ec064e2291ccacc3","datavalue":{"value":{"entity-type":"item","numeric-id":5713679,"id":"Q5713679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add8276ee30616187ba860a85c5391a4c9562787","datavalue":{"value":{"amount":"+0.8845674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408425$4D24EAD3-348B-4331-9FDC-2FD1F506D830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af29a9bb53db3abeb7d840a2c85d228e3a2e4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3457803,"id":"Q3457803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122d722a32480db88b21043da1aa107760ea78cd","datavalue":{"value":{"amount":"+0.8819655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408425$B46916D5-43A6-4F25-A4A6-3877C5A837D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03a4853878f5db9a1780486cf55748d7600d0da","datavalue":{"value":{"entity-type":"item","numeric-id":5192364,"id":"Q5192364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d8593c2a86bbd9e5ea2c46d55d86ca5a69e9e6","datavalue":{"value":{"amount":"+0.879605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408425$A74D085D-05C7-4947-A5FE-1D5C8A245E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a9bfa0976beb5292215b4d131d2eafc8825fd3","datavalue":{"value":{"entity-type":"item","numeric-id":5881540,"id":"Q5881540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e5a3c78c5791dfc252cbee3dc359ec70dbd942","datavalue":{"value":{"amount":"+0.870844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5408425$6E1BDE63-8A62-4A93-9483-962D2EFA3A76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying eventual consistency of optimistic replication systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_eventual_consistency_of_optimistic_replication_systems"}}}}}