{"entities":{"Q2938065":{"pageid":2948785,"ns":120,"title":"Item:Q2938065","lastrevid":52170674,"modified":"2026-01-21T02:19:25Z","type":"item","id":"Q2938065","labels":{"en":{"language":"en","value":"A logic-based framework for verifying consensus algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385881"}},"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":"Q2938065$D20C9DF5-2501-4F82-B7A3-C1E2E9E39A99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27012f3a01e12f9fc0b6999a9ae0fdd2a947798f","datavalue":{"value":{"text":"A Logic-Based Framework for Verifying Consensus Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938065$40AD00D5-CE58-42E0-99B4-3FE9458A5CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18c37dd134176fab0eb1088b15bce788716ad31d","datavalue":{"value":"1428.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938065$ECD3BC76-DA1C-4522-A605-56B60A8CDD66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fb4a0330407d8713c99088b3461ab757f0d75b8","datavalue":{"value":"10.1007/978-3-642-54013-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938065$4490E0EF-CA21-440E-A3C2-2B9063B87511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b348443563013712cd0868bb8f333db39958301f","datavalue":{"value":{"entity-type":"item","numeric-id":2828284,"id":"Q2828284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938065$FA95F55A-EE20-4C3E-A00D-397D9A91B170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938065$A219934D-F7EE-4875-91C7-5FB600EB4C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc6f318b7b434bf0f7251abaa3853c25531645e","datavalue":{"value":{"entity-type":"item","numeric-id":424898,"id":"Q424898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938065$AF9A955B-2492-4B64-B415-C3CC18222442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d1a334f4c9c20683ee87869e54286898664987","datavalue":{"value":{"entity-type":"item","numeric-id":1784330,"id":"Q1784330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938065$8C2A815D-8672-438D-9FE0-6BCFC5C583CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938065$0141040C-2FFF-4C9A-98C2-719E47775E1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938065$2699E793-8B3A-4E7B-A7DA-203B370ECF86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-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":"Q2938065$593C751E-8BC1-4E97-93A7-8D5C17E89891","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938065$03878B97-DEF5-4934-A7C3-22F5A965AADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938065$D3A53B1E-D254-45BB-8F5E-FF9DAC9EAEF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76eb8dea9630c2dcf21d20e332842f39045a2527","datavalue":{"value":"6385881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938065$8EB7A458-F2B1-4AFD-8009-B9CC4B03E9EE","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":"Q2938065$DAB1F514-EBC5-45F4-A13D-3A63A6DDE181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17417592570625da436852a9757beccbdfd8fbc3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54013-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938065$0C00D837-196F-44A2-B28D-AEBE44DB2242","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bad018807e8c96dcdfd6a1490a897e54c88cbe61","datavalue":{"value":"W178138771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938065$E9C2ACB0-AA16-468D-8830-53C3F33C2511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f3cbdbfc5bcc589e63bdb2c96fa0347a405df5","datavalue":{"value":{"entity-type":"item","numeric-id":3540251,"id":"Q3540251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b4b5af5e9ff659e3768019f71d39562f89d327","datavalue":{"value":{"amount":"+0.7799568176269531","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":"Q2938065$1B9442A4-457B-4161-BFC2-A862400CB5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf306f6853b8a1daff670454383ae786fbe54f4","datavalue":{"value":{"entity-type":"item","numeric-id":5756509,"id":"Q5756509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1344d42d90ff75d961bc447d596fb1a10415dc4d","datavalue":{"value":{"amount":"+0.7692187428474426","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":"Q2938065$75270711-5F46-4BBE-84D9-05672724EDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d96f7392e644fbea729b9d3c757ce831afa53bb","datavalue":{"value":{"entity-type":"item","numeric-id":2164223,"id":"Q2164223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d550e5207e9ab7151ccb77bc13fe80f5c17e0218","datavalue":{"value":{"amount":"+0.768268883228302","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":"Q2938065$5DF1B3D7-8315-4E4C-9D52-56DBCE5C96B4","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":"77fc147eece7e8a7301ca7020b10316f6a20e555","datavalue":{"value":{"amount":"+0.7657796740531921","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":"Q2938065$1841FACA-D130-487B-81EA-AEC9A8B4C2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f8cc6f7495dde4c3e4600dfe060c241e81ea2b","datavalue":{"value":{"entity-type":"item","numeric-id":3646255,"id":"Q3646255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac80728b2aeecbb67098c8514f43a271ad432a8","datavalue":{"value":{"amount":"+0.7553978562355042","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":"Q2938065$881F1DE2-3BE3-430B-BDD7-70388004FBCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938065"}}}}}