{"entities":{"Q5041111":{"pageid":7070688,"ns":120,"title":"Item:Q5041111","lastrevid":92163173,"modified":"2026-06-05T01:01:46Z","type":"item","id":"Q5041111","labels":{"en":{"language":"en","value":"Proving the safety of highly-available distributed objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600942"}},"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":"Q5041111$B5CB047B-4A40-4179-ACDC-E140055421F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"424b66fc7b33d390461772979941ec9cf1a0056c","datavalue":{"value":{"text":"Proving the Safety of Highly-Available Distributed Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5041111$C4918510-18C9-46A8-907C-DB0838DCE8C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe09421f927e27a5a709fcdb9d47cad02f72d2a4","datavalue":{"value":"10.1007/978-3-030-44914-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041111$D3197446-2481-4AAB-98DF-D37983F1FEB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec14ea254b6f50b8a6b5d4abd068918ef1445e40","datavalue":{"value":{"entity-type":"item","numeric-id":5041110,"id":"Q5041110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$BAF46D96-999B-44DD-A350-0DAF57C41F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754362b8a0c777b4de7ff5ba146561683f73d1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1687773,"id":"Q1687773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$5B5F3B6A-F743-4F2D-B995-2488C6355F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e24c3fdfff04bb6426786023e690bfcf6068d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2828281,"id":"Q2828281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$127584B8-3494-4C5F-BDD2-30709C1BC8F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$449E2ACC-4DB0-4CD5-BBF7-2FAD9ED2EDE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5041111$447417C3-58EF-43E3-9246-F29CCDC029D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041111$3B3BD9E6-B30A-4886-8DC3-5745E8C5BFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041111$D68BBF51-B268-4035-8FF9-A0F3D4289C33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edd24e5f08417735f9a4d5abc3ddf5457e4de92d","datavalue":{"value":"7600942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041111$0F720847-AB9C-4362-8856-9D6A3CFB0913","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df0f18a247670a2c95e25822f3dfd9f8a0ef369","datavalue":{"value":"replicated objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041111$E29D0274-6A05-4AB8-B9E5-0082EE90CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041111$545F7D65-657B-4714-944F-925549204B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041111$C53482D2-A790-494E-A36B-0EA797DDB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa52fe6830265c11d233e857c08ee4819fb6a7d6","datavalue":{"value":"distributed application design","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041111$7EB8C19F-19B0-4C9A-830F-7B12B1066798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbbdcf1c701541c2a3103ebcd643f1515606d8","datavalue":{"value":"tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q5041111$050DD2F8-D6AB-4484-ABF0-8906449206CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$6760D204-9AE9-4263-8C2E-9911D1DAB7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfd5a49d212657f6d773c4344288b90c3d4604b4","datavalue":{"value":{"entity-type":"item","numeric-id":53719,"id":"Q53719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$418A1008-F6FF-4466-BFE7-9F2CCAC69C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$5E74E6B4-239F-413D-B08E-98C29F0618F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$40195446-8DB0-41E1-B626-27AA94510CEF","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":"Q5041111$1EAEDA34-FFB2-461D-BB3E-7966E010C94A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dee34c7f5308a1bfbb0106c0af9145027a3f5cf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-44914-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5041111$F3B1E825-942F-48D7-B033-96F3CBD747F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08cb783771a4d1766ef2131b2f9cc9179317f16b","datavalue":{"value":"W2997905744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5041111$76AEE234-E489-4381-87E3-5329F4195B48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5bdba10883b7fdb95457f9d0601b3e431492b4","datavalue":{"value":{"entity-type":"item","numeric-id":4967240,"id":"Q4967240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$59F2D1C7-3E56-4A17-B67B-E5D12B55E579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4c5dcb2d36c74238f28ddd1fbfa66787d7bd3c","datavalue":{"value":{"entity-type":"item","numeric-id":5408424,"id":"Q5408424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$DF31195C-E18F-49FF-9C18-8BBFEA15861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$877AD290-AC49-441D-A2ED-8B3DF20FF04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9594ab4737b2911ea6fc393f931101f2d24795d3","datavalue":{"value":{"entity-type":"item","numeric-id":2828282,"id":"Q2828282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$B42A4856-1BA7-4436-840D-DA3D8F94E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2300cdafd56ccf643ced7946e0aec53bf8fe9dab","datavalue":{"value":{"entity-type":"item","numeric-id":2324017,"id":"Q2324017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$3CFF6636-51FC-4F4F-96C4-3685095CB342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b961351448ae339d35d91c7e1441dcfbada5d4","datavalue":{"value":{"entity-type":"item","numeric-id":4904106,"id":"Q4904106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$B290746D-E318-4B48-9CB1-6183CFB19F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c95975e29a562d81c447f7ae214f71b2fa2103f","datavalue":{"value":{"entity-type":"item","numeric-id":5899147,"id":"Q5899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062f48edc136072234a1959e6fa546f39f6780e3","datavalue":{"value":{"amount":"+0.6989940404891968","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":"Q5041111$71417FCF-4831-446D-962C-25C74821BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37777c21ab4694663f4492bc143a5cce09f8914","datavalue":{"value":{"entity-type":"item","numeric-id":444466,"id":"Q444466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2e94d36856c46dd4cb67b7ed99bfc4f0d0c30b","datavalue":{"value":{"amount":"+0.6961250901222229","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":"Q5041111$2A33074D-56C9-4A09-80AD-2BE71DF6DF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bfc9eeb646bb8a126950e7d693af6c3ad8bac7","datavalue":{"value":{"entity-type":"item","numeric-id":1109559,"id":"Q1109559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580b9f920e30e05aca7aaa2fba4cb0c5cbb2d4b4","datavalue":{"value":{"amount":"+0.6952282190322876","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":"Q5041111$DB77D410-D55D-4278-BAE0-BC112FEBD4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81c419f19cf0132e8d43b660c79afcb5b8d6ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5395145,"id":"Q5395145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359dc728077bad9050cf3d4f6c3dc9bc57ca82eb","datavalue":{"value":{"amount":"+0.6902457475662231","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":"Q5041111$16F45178-F452-4F49-9AD2-E5D402D4169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e48663b8397064acf893e86cfedf150b207f48","datavalue":{"value":{"entity-type":"item","numeric-id":2828282,"id":"Q2828282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843e4c8e2e091253fe74ba9a4f8b84a599291b96","datavalue":{"value":{"amount":"+0.6895185112953186","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":"Q5041111$CA03B2C0-46B7-434D-95FC-92989E6050C1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5041111$576B5607-CF9E-4F60-B3F2-69B45B01F63B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving the safety of highly-available distributed objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_the_safety_of_highly-available_distributed_objects"}}}}}