{"entities":{"Q2281632":{"pageid":2292375,"ns":120,"title":"Item:Q2281632","lastrevid":57819807,"modified":"2026-04-02T16:21:10Z","type":"item","id":"Q2281632","labels":{"en":{"language":"en","value":"Formal verification of Multi-Paxos for distributed consensus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147556"}},"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":"Q2281632$34E81442-39DF-44FF-A56A-093B072E85F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe8bc9f4061e0ace18c80bb988f1cc34aeaceb93","datavalue":{"value":{"text":"Formal verification of Multi-Paxos for distributed consensus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281632$414CDFB5-DEFE-4762-AB78-6065F8ED6B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce4d3df19f92f40f25a8233ea9f13757571f0846","datavalue":{"value":"1427.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$C328262F-6418-409E-AE2B-CFA72A110DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd1ecda0605d038c10efc3e71c5a7cdb1bf976da","datavalue":{"value":"10.1007/978-3-319-48989-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$C163B372-79B7-440B-A84A-64F77B172FC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df156a80dc92929865497ca0f5c266b4381d91a6","datavalue":{"value":{"entity-type":"item","numeric-id":2281631,"id":"Q2281631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281632$68391D40-46D4-4E0B-8AD8-6C5FF5D8CD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281632$63EFB303-3C8D-4E88-8893-F1F03C728E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da61283bc619ce05497e026ce692668aa52c393","datavalue":{"value":{"entity-type":"item","numeric-id":216152,"id":"Q216152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281632$D4888CED-10A5-4E04-BD1C-7B2A60E9D7A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281632$A6499961-778F-4803-A808-F13EC263AEDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"395a64ea0d494a57400350e2c59c43dab8606070","datavalue":{"value":"https://arxiv.org/abs/1606.01387","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281632$AAB0A56A-7FA7-4AC7-9A41-7CE64FB1A0C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$94F2B2A6-D803-476B-A37A-7662A2965412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$F1C366D1-509C-4BA1-9A86-6D912CABD07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$A9B431E2-D766-4537-949B-F1FEB7FC6FDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3bebbaff26c2f62869d2041b63f7f194e6bfc2a","datavalue":{"value":"7147556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$1EDEC745-5062-495B-8C64-58DC5E7F3A7B","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":"Q2281632$D95049F5-56B8-426E-9CE1-089211C3952E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c6de9843777b59adfa80c32fec0102be326ed28","datavalue":{"value":"W2949965653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281632$E29DFBB6-D3AF-4EB6-873E-F7BE644967D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf75666767ce362a3efaaba34ed275ce92616a66","datavalue":{"value":{"entity-type":"item","numeric-id":3386298,"id":"Q3386298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c110711e7a02c6b1358566593fce21761674a6","datavalue":{"value":{"amount":"+0.8546823263168335","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":"Q2281632$B51410CC-7264-4238-B21F-E53494D0CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b32e6828be67f10d128f8e293982944cec7661","datavalue":{"value":{"entity-type":"item","numeric-id":2324015,"id":"Q2324015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deadd553be3214ccde8eb68aefa06383928f59b9","datavalue":{"value":{"amount":"+0.796269953250885","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":"Q2281632$4C682092-4700-491C-86B0-CA0B09B63677","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":"e6e4ff10e36767ed5b31f1881d79cbf007aa01bb","datavalue":{"value":{"amount":"+0.7815442085266113","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":"Q2281632$CD7CF827-3705-4024-A66B-94525978DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48732471fe95c3c99050ff5055e8f69aa67ebc9","datavalue":{"value":{"entity-type":"item","numeric-id":658669,"id":"Q658669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e508b8cb31c889e6a0af661086f030eeb9cc04a","datavalue":{"value":{"amount":"+0.7738690972328186","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":"Q2281632$48EA42E0-EF6F-40BC-8188-BECCFF923529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c96c6ba82d2f6518c7f21a81447152995efa02","datavalue":{"value":{"entity-type":"item","numeric-id":1575634,"id":"Q1575634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb46960b6098a569c51f0956cdb93c05a33ea6f","datavalue":{"value":{"amount":"+0.7713709473609924","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":"Q2281632$6E5D0C70-CBA0-4DB6-BAAA-68AE601A9B4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2281632"}}}}}