{"entities":{"Q7010063":{"pageid":21563322,"ns":120,"title":"Item:Q7010063","lastrevid":81647618,"modified":"2026-05-06T19:01:07Z","type":"item","id":"Q7010063","labels":{"en":{"language":"en","value":"Compositional verification of randomized distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013888"}},"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":"Q7010063$A9648B32-59AB-428F-9796-77DC42E02974","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d387cd24836395beda805b4bc328fed8adb7cc77","datavalue":{"value":{"text":"Compositional verification of randomized distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010063$A407AD04-6CBC-4CEA-B010-EB265248252B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9862f3469c9c9f3e6b5754bed0a812e3a05226f8","datavalue":{"value":"1566.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$510D036F-1668-40A9-974E-48E07E6BCE2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2fc4d3b11365780233ecea89bb01d54ff1c4517","datavalue":{"value":"10.1007/3-540-49213-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$A08082FF-333B-4C31-B351-C785DB9EE888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$78891DD1-21F6-400E-82DD-FD5733D0442B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010063$50480E5C-F138-46BC-ADCA-F8C8156F1B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$A188EA71-7DC5-4894-A5DE-7859055A4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$749C49F9-EE26-4E37-8BF4-9E1E8462101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$AF76BE9D-F616-49FE-A94C-024CA3E34A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$A3AA862E-E451-4EA5-A0C4-65BCB1997648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9286530c021a98e6dd2fd3d7e81ac8ad6460cd40","datavalue":{"value":"8013888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010063$501C6158-E136-4105-B41E-223EF9C94F62","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":"Q7010063$0DA49465-4F16-4116-821F-8BE66B318F64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baddcdda2a7cf3ecd5beff1f9d7cda300ee663","datavalue":{"value":{"entity-type":"item","numeric-id":3485848,"id":"Q3485848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$0BAF3C15-8633-4F91-A207-438F09BACFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$3E54773C-A927-465F-8F21-DBE221B71B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$27C4E5FF-E98F-49B2-9767-4509D0ECAB81","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":"Q7010063$F956AB38-BECB-4E0A-B276-9C7B4E182D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdf0fd443743e61bb3484b43f4300cab298e502","datavalue":{"value":{"entity-type":"item","numeric-id":5204359,"id":"Q5204359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$904D280E-F9AB-4C0B-A8DA-238816F16CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae46fc46a5f1dd9c91f7372322e8ee112c21fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5798359,"id":"Q5798359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$79A51EAE-BC7E-4FCB-BE6C-947206080A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f9c9c0da0bc3bdb62c24d5a0777f8a36a55f99","datavalue":{"value":{"entity-type":"item","numeric-id":3766835,"id":"Q3766835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$E3F19733-40B7-4C6B-82B0-A672278ABA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$99816E77-07EF-451F-94CB-FAE4052AAF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$80E77D0D-3C88-4F98-8B12-6E451D8713B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36ff34ef17401742e17b8f3c3a452f11f0b4070","datavalue":{"value":{"entity-type":"item","numeric-id":5348858,"id":"Q5348858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$0F0F9437-1935-4921-8180-6FCDE9141F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995274dd1f60047759af2d34142542dfa254ed80","datavalue":{"value":{"entity-type":"item","numeric-id":5361423,"id":"Q5361423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$E8BE41B5-757C-4511-8D6D-8E0E75B77CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$B35938E9-3E58-43F7-A34C-DB14D04EA0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$F0BC32C1-6608-448C-86D1-B3C9B3A459BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$2EF9AAEE-2B03-430F-9660-B12C02AD4382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$F87E8B85-3BED-4373-95FB-6BF2009EF1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$FB1B664C-9BCF-4F28-9D47-5B975E2DB0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ecf59f9a4d1b7659a1683859f2c9d3ac797ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5572344,"id":"Q5572344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$4D5F60D3-2BA1-4B40-99EB-A3D93258CC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc1b0c2ef041bd38f91c3b1cfc0eae8dea50e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5348857,"id":"Q5348857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$5186A4DA-01B2-4E89-8C48-72C35DB7F734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010063$2D4FDD59-A714-4B57-A874-F8D7F9265F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification of randomized distributed algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_of_randomized_distributed_algorithms"}}}}}