{"entities":{"Q2167715":{"pageid":2178458,"ns":120,"title":"Item:Q2167715","lastrevid":71457648,"modified":"2026-04-13T22:23:40Z","type":"item","id":"Q2167715","labels":{"en":{"language":"en","value":"Modular verification of protocol equivalence in the presence of randomness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7575938"}},"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":"Q2167715$692869CE-B72F-47E4-9064-A93F5B330024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"029cf263d606be908b121e4eb3d427d46cf82972","datavalue":{"value":{"text":"Modular verification of protocol equivalence in the presence of randomness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2167715$A720843B-60DB-4E75-AFAF-BE166BC45D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c7a70270608118c40bcb0705aeae20a00bf42c3","datavalue":{"value":"1496.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$3FBFD225-AFE8-45AB-84D8-D39F13A1CFC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88636f3b06b6d8123b4abf07ed7071322d2100dd","datavalue":{"value":"10.1007/978-3-319-66402-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$CF7FBDCE-9C57-4D96-8AB5-5550E28DA165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5469ebdd088d5517c8164672a2646114bfa8cc","datavalue":{"value":{"entity-type":"item","numeric-id":2037998,"id":"Q2037998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$CF8C3001-1911-4BD6-8BB8-BE3C0978BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$20E0B0E5-62A1-4256-A76E-06F293BB1DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$9A28B1A2-79FD-4F76-AD87-2ADF40C65FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2167715$36C425E0-4364-4DB4-8A94-8A37FFE50D09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f999d8b4773134b2f4fac61047479d9e0d65eee3","datavalue":{"value":"http://hdl.handle.net/2142/96261","type":"string"},"datatype":"url"},"type":"statement","id":"Q2167715$41304535-BEC0-400C-97C0-624B32FC605D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$2DA5DAD4-60B8-4346-91B7-955CFFDC2523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$4FC04B3D-8DAB-461E-A280-8F5CC1172706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$7E574CFD-709D-4AB4-9712-8DD60BC6B53B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51d2840a2ae48860c28d442ed4360d8c074c5e05","datavalue":{"value":"7575938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$C8AA5600-EBB1-4C08-915F-54A5DA1A031B","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":"Q2167715$51863AB1-7A43-47B5-9B57-487B0A556AA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a9056a40d680f650c0af5cf032885d234b29489","datavalue":{"value":"W2639241723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2167715$8DFE8ED8-030B-410E-BBE8-1431414E4D8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$D754FEBE-8095-4041-8F52-924738462866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3d0411de33084e6bbde266c6c34fc18d1661e4","datavalue":{"value":{"entity-type":"item","numeric-id":2482454,"id":"Q2482454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$B0794D34-DA5D-423A-A8DF-6D7CAEA088F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea19c14e22df2b6e79717ffd43e171ec62a0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5505548,"id":"Q5505548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$A70706B4-4314-4C8B-AED5-E02D7A7D4361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$16166138-CE93-4AC6-AEAF-7D56FF6646A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4dd7927ed8e80418c5882a7142e5ed0fdaf9a9","datavalue":{"value":{"entity-type":"item","numeric-id":1745718,"id":"Q1745718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$E1033BE2-D355-4A74-8180-5128035EAA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff131d5a7bfa17fc7bdfe323ab1816673f9ee24","datavalue":{"value":{"entity-type":"item","numeric-id":5898365,"id":"Q5898365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$9A921A0F-7D2E-4CFA-9499-6238CF4451B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee25cd068b826531f5636e57a9cf4812598eba6","datavalue":{"value":{"entity-type":"item","numeric-id":2908866,"id":"Q2908866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$642B1655-130A-4E54-99C6-7FC90B205B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a37b3f890696cfd0efa0f14f09f8224f70ac4d1","datavalue":{"value":{"entity-type":"item","numeric-id":5144673,"id":"Q5144673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$B12FE8F0-5AF2-40A6-85C1-FB92C83E78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32b88103bcddf1915bb22cb330fbd5f4e1f965","datavalue":{"value":{"entity-type":"item","numeric-id":979081,"id":"Q979081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$8FEA3D39-E8EB-4196-A329-21B0AAB5085C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$FFD692AD-007A-4981-A54A-137C83551347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a01963d8da64182cec29840b53a716dc28e818","datavalue":{"value":{"entity-type":"item","numeric-id":2911625,"id":"Q2911625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$F4D3185A-68B8-43BA-AF57-A1E55ED51CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b625e09cc861ea2dc29ac6d985a655aa3ce13538","datavalue":{"value":{"entity-type":"item","numeric-id":437031,"id":"Q437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$D0C792B9-DE2E-48ED-B429-6194DAA1E5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6da14368969bd77fe54b5fe572f412c22d17da","datavalue":{"value":{"entity-type":"item","numeric-id":5458848,"id":"Q5458848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$61A95EBF-DD8A-4005-874A-C66BBF971690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55d67ee07eb0895f125068c91ad8cf1e0960376","datavalue":{"value":{"entity-type":"item","numeric-id":1028731,"id":"Q1028731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$93D897A4-789D-4719-B8C8-4FBEFC37DB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f5eae3bb683afc8101fa8eddb89e73906fb54","datavalue":{"value":{"entity-type":"item","numeric-id":3569110,"id":"Q3569110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$02FF89F8-253B-4D88-BF2A-0CDF0B6BD91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec255a45c334d4360dd17a807ac07181b9653b9","datavalue":{"value":{"entity-type":"item","numeric-id":2248082,"id":"Q2248082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$E995DE32-A794-4219-8E2E-15D3F891092F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$0A4A480C-6816-4852-8F59-B94B68730680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8ae04c5df7f3b7282fa7236dee3f64222d440b","datavalue":{"value":{"entity-type":"item","numeric-id":3304811,"id":"Q3304811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$94F7DE8F-74F7-4B2C-87D6-A0A639F8A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$9C3AE4D2-893C-4ECE-9873-DEA8ECF52433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebe53d01b7b21100a52eedfb93d6415fdba82e3","datavalue":{"value":{"entity-type":"item","numeric-id":3325625,"id":"Q3325625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$DFE212BA-C587-4916-B510-A8FC5D024320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e315498576bed199cfb2d6d5f1addc3f3ae3a857","datavalue":{"value":{"entity-type":"item","numeric-id":3498438,"id":"Q3498438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$A81EB567-9E3A-40DA-9B96-74222B642ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b47ac2ae73fe12563f18a1677de6764fc1b869","datavalue":{"value":{"entity-type":"item","numeric-id":3617737,"id":"Q3617737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$3AEF2A84-94E4-417C-A46F-FC232A7DDA31","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":"Q2167715$2F14E0E3-B1AD-465A-A701-88720EF11E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$912D9507-7D56-417C-BCF4-B18AD6898FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153448f6da5836a54e6b37f1f2de8ea10039c2ba","datavalue":{"value":{"entity-type":"item","numeric-id":2945721,"id":"Q2945721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$546E8EEB-5EA2-489C-B58E-CA19BBAB7271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$9B9EA2C5-15B7-4536-99D8-3A4E699529DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f63182c74021864a2db19d30bec4bd6c3551a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096415,"id":"Q5096415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$59BA2514-0CCC-497E-9709-8BA1321CC612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b9e8fec29b4866af88e22e240c709faf2edb39","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2167715$B0F0A1C0-8067-48E1-A9F1-F11960CBDEDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79769805b00562b411c18b8ec3cf31dc846b341f","datavalue":{"value":{"entity-type":"item","numeric-id":5144673,"id":"Q5144673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e551e8081f7f833fb73ca742e3a78762bea2c08b","datavalue":{"value":{"amount":"+0.91783017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$9530823F-E604-40F4-9A95-30806436AB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ffcd98ac487503bb78924186d639ed517803fb6","datavalue":{"value":{"entity-type":"item","numeric-id":6039398,"id":"Q6039398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1569201d9c2349651206aea56d094e4b617c5a36","datavalue":{"value":{"amount":"+0.89851856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$5AD493D6-755F-47F8-A0CF-6F38705B2720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2675d2f8bf4c3689f82a0ca3225df4d815fe213f","datavalue":{"value":{"entity-type":"item","numeric-id":2037999,"id":"Q2037999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9735679f72be2148f9be95e437aedf8e3f15b8ed","datavalue":{"value":{"amount":"+0.8866577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$F761F07A-1836-4414-B58E-E832483109D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb22caf2c5cec6275a18cb80e01f6e9845d6f42","datavalue":{"value":{"entity-type":"item","numeric-id":4804903,"id":"Q4804903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919e8edc219a041581f9164579d386d064131b79","datavalue":{"value":{"amount":"+0.88359547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$7B324941-1B27-4340-9B5D-89D1ADF849E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938c704fe410be264e1f2232654427d2215d804","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba41cc1e4ef34318ab1cddf8606e5a81f29a1e8","datavalue":{"value":{"amount":"+0.88195884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$85E3A3A4-93F8-4F1B-94E6-BDF2EFFF5DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932fab5c9b3c1371a41cb61382ee7db54a1d5500","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c2e48054cf937c2b33ae1299a68fb4feb3bf13","datavalue":{"value":{"amount":"+0.8819588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$526FBC3D-E287-4D1E-AA5B-E9C418AD93CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd31365b997de4d19740c327b0da27c026f29ee","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb76d44db0a461fdccfbc68af52d09ce58755472","datavalue":{"value":{"amount":"+0.88097167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$D737401B-0AD1-4D7A-82CF-0A6F658462E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccba59ae8d5dbfac518b4d3720026f53bca440e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314048,"id":"Q4314048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213d0b2097ebcf72384e9404fc25eb3d8cc9fc7d","datavalue":{"value":{"amount":"+0.8784921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$77F3444F-3613-4894-9021-F240EFD88A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f344c3a74d7fc5953c09ee4f995d0738acd2b24","datavalue":{"value":{"entity-type":"item","numeric-id":5408416,"id":"Q5408416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3231aa917e4f73e8bb205bb19eb4e1ceb1ba20bc","datavalue":{"value":{"amount":"+0.87111497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2167715$F768AF89-1E5E-4E3C-AD58-06572A0FFA45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of protocol equivalence in the presence of randomness","badges":[]}}}}}