{"entities":{"Q2279110":{"pageid":2289853,"ns":120,"title":"Item:Q2279110","lastrevid":55369921,"modified":"2026-02-17T14:42:51Z","type":"item","id":"Q2279110","labels":{"en":{"language":"en","value":"Verification by construction of distributed algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142667"}},"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":"Q2279110$7734A3F7-C5D0-4827-A990-F8BC4BE5DED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"501f1b11d521748b09aa300df322753606a0214a","datavalue":{"value":{"text":"Verification by construction of distributed algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279110$6C2EAAC4-44C1-4011-A0D4-AB9E9ECCF1DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3e1010d9d4db5348a5ed42cd27609c01109b778","datavalue":{"value":"10.1007/978-3-030-32505-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279110$EA044A37-27C3-45CD-9103-95E77BF6A1BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279110$CF312792-2A6B-4D16-83F0-9E2F625D737F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279110$1A0650E8-4E7C-4261-B111-0751ED4C09BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279110$1874FFC9-3937-4BDE-A690-EA3F7AFC1575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c8df1ffc862d362cc1b5676448412d3856dd0e","datavalue":{"value":"7142667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279110$699288D3-DB15-41CE-B45A-A81F738A4C0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438da0297bab887eba604fdec99c27aab9216d5f","datavalue":{"value":"correct-by-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279110$7B396704-686E-4BE2-887E-14D984A0AFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279110$2370B653-6AD7-4E21-8642-4A7D6D4073B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279110$1F60A9FE-284F-41BB-AD2B-6B507A232DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387e204c6977d7b097ac93bf9a6ecf723e21df10","datavalue":{"value":"distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279110$060DAEEC-4030-4BA6-9A97-870D01C7E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279110$CB25FE60-D168-4509-8E90-FFE359913C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279110$0A7F37EE-483D-4217-89F0-1B8180A8D19A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279110$253EAAD5-5D0A-4D11-B502-E24D10E08B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a3aca7ad1e839ce62c6b1304cdb2bb99438ddaf","datavalue":{"value":{"entity-type":"item","numeric-id":42953,"id":"Q42953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279110$C8515AB1-F20F-4EED-93E9-BCB035448291","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":"Q2279110$BE35D8A5-4D69-4CE0-9B59-47C987F67680","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b0076959d2b00baf5f6aa936a7d206e7f866fe","datavalue":{"value":"https://doi.org/10.1007/978-3-030-32505-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279110$0EF808C3-5578-499E-A5BE-E2176F5EB179","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66224e8c861049d5ccbb4c35ea5055e26a0d0936","datavalue":{"value":"W2982096383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279110$7B26A5CA-DB2B-4725-A02F-7C999A84690A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d558d9a53636c1992eee4a61bd8fef60d7a563e","datavalue":{"value":{"entity-type":"item","numeric-id":860848,"id":"Q860848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4e7852468485f2e9dea595a09bdbb26d1e9f69","datavalue":{"value":{"amount":"+0.7978572845458984","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":"Q2279110$FEDC3CF2-EB7D-4AD4-A52E-DE73C23B00C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b9b5189887c7366207a7c1588c95e87636b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":6162106,"id":"Q6162106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4e13fdda0b3a6beeb1f50fe20d0a38ad2d6a28","datavalue":{"value":{"amount":"+0.7825123071670532","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":"Q2279110$59B809F0-498A-4E1B-A036-4B46BDF1BFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7295c0f300505233b35d39f70f8359b274d3a6","datavalue":{"value":{"amount":"+0.781288206577301","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":"Q2279110$8D25A6C3-FFB6-46A9-A250-D084E3EAE6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a466b2050c88e47032682c29fbc50d35f604112e","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1005df25733c311e805161b71da0957a242b3831","datavalue":{"value":{"amount":"+0.7434330582618713","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":"Q2279110$BA942CD8-7A48-4111-8E37-53E060DE7333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1adfed309deb84c5e3bfa4a7c0131261203cfe","datavalue":{"value":{"entity-type":"item","numeric-id":5423864,"id":"Q5423864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c2d130a04b33020833b74c1e81dbb741f1bf18","datavalue":{"value":{"amount":"+0.742506742477417","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":"Q2279110$7C501ABD-D090-43C9-A729-D2C16A1538E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2279110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2279110"}}}}}