{"entities":{"Q6570915":{"pageid":14182070,"ns":120,"title":"Item:Q6570915","lastrevid":95570126,"modified":"2026-06-05T09:18:31Z","type":"item","id":"Q6570915","labels":{"en":{"language":"en","value":"Abstracting communication to reason about distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7879733"}},"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":"Q6570915$21E9CF65-BC5C-4C33-8CEB-219F165736C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89a6672b6a66129affe525ad45930737a7e320fe","datavalue":{"value":{"text":"Abstracting communication to reason about distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6570915$D20BA75E-92D9-401F-82C1-1905EB9885F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39195c487df80d6fa378a028d20993f3fe31f47c","datavalue":{"value":"1541.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570915$B1247B75-9BB0-47AC-B749-A08C16F016CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a10b745fa72841f30016b50fe5474f42a1291f8","datavalue":{"value":"10.1007/3-540-61769-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570915$BB667DE6-E251-4CEA-B636-FDE1693F41F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c34a24a3f636d021cc37b73393936016c93510","datavalue":{"value":{"entity-type":"item","numeric-id":239149,"id":"Q239149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$14BD40BA-F747-4A6C-AB8B-1D99657E95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924d76138c4a9ca918a0e049d85adde817ca5296","datavalue":{"value":{"entity-type":"item","numeric-id":239157,"id":"Q239157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$F8C6FB2A-1B73-4C80-A68C-23210E9521E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce895855f05145a6d2c204d92ab281ba784c2c5e","datavalue":{"value":{"entity-type":"item","numeric-id":6570913,"id":"Q6570913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$37F044A2-F080-4B5A-8A52-D60BFB43ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80ef5b2588023c6aa8d7c2843df6da6396e26bf","datavalue":{"value":{"entity-type":"item","numeric-id":6570914,"id":"Q6570914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$1ABD1C2C-FA5A-480D-A9CB-25AEE11844B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b7195b0f4c9e8b2a98ccb046ac4d7f3213197e7","datavalue":{"value":{"entity-type":"item","numeric-id":315310,"id":"Q315310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$B60AA99E-0B20-4099-A5C8-8A71275A6327","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a7e8d5beae875d65911ecb19a300672a6d0b96","datavalue":{"value":{"time":"+2024-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6570915$F0317297-246B-4D56-B4E7-F6581E7017E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570915$7572F82E-DC0E-4DD2-99FF-1B4668D5FCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570915$C3DACA0F-7D2E-49D1-91A7-08920883646A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cbccfdd9065a06916cc5b1c2a9c24e3a6c33fe6","datavalue":{"value":"7879733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570915$83184E7E-950E-4F53-9D23-6BF54E5525F2","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":"Q6570915$DB6F3DFD-93CB-425D-A8A4-8CE050FE2E06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fc1a43e14302f751134e819e98a3f5fb186365","datavalue":{"value":{"entity-type":"item","numeric-id":3662604,"id":"Q3662604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$037AF1AA-4686-429A-A9C9-E29D6991AEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$465A08B3-C67E-44E1-8E5F-9E2F6F71143F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$1B7E6609-1603-4483-AB95-CE53A4ADFE6A","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":"Q6570915$0E3CB8C8-A87D-47D3-AE9D-31C4F55DE0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$C1E579C9-08A5-4FE5-8A5C-78D20BF13380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b903410f1a6227646424166fe21e2772f833caf","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570915$8F14BD35-EFD4-49CE-904F-660F46C052AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de290fa4e19e435e5f7d42f911c1e46b630f5e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4511270,"id":"Q4511270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74d4c54fab257031d864a94416f4488cfea3747","datavalue":{"value":{"amount":"+0.7299127578735352","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":"Q6570915$0681597F-8260-4073-82CB-BBA47D416A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32044f3fb51ddb3f58f94d35bdbb3753cc44f9ad","datavalue":{"value":{"entity-type":"item","numeric-id":5464653,"id":"Q5464653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd411e9c51dfab4a5b15abf5442ad67088f3c68","datavalue":{"value":{"amount":"+0.699365496635437","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":"Q6570915$D5F68E41-0D0E-4F0D-B366-E6194F526166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8d4dec0c3ecdfd8a4849539f801962ad61f754","datavalue":{"value":{"entity-type":"item","numeric-id":6536355,"id":"Q6536355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e7f53b71b3824f32378af2883b946f2488d235","datavalue":{"value":{"amount":"+0.6877574324607849","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":"Q6570915$293A673F-1CC4-41B0-AA77-D2EB267CBE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ff1b31343f84ea86166a300d83ae244b8d0d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417625,"id":"Q4417625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce16c8ea9d3b914b79d3141a7309737a3654d4d2","datavalue":{"value":{"amount":"+0.6863218545913696","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":"Q6570915$28B5E800-CCD6-4C10-8064-33AC6724C164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37a255af70ce13da2e9a9025a957ebec7f1210d","datavalue":{"value":{"entity-type":"item","numeric-id":701162,"id":"Q701162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3064b84b15db693e0bb0d45b0ce8ba5733f854","datavalue":{"value":{"amount":"+0.684687077999115","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":"Q6570915$D2637E1E-E0B6-4631-9798-D3E14F0A39CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstracting communication to reason about distributed algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstracting_communication_to_reason_about_distributed_algorithms"}}}}}