{"entities":{"Q4598245":{"pageid":6627830,"ns":120,"title":"Item:Q4598245","lastrevid":89810042,"modified":"2026-06-04T18:19:44Z","type":"item","id":"Q4598245","labels":{"en":{"language":"en","value":"Proving the Herman-protocol conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820293"}},"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":"Q4598245$0B0ECE7D-EF09-4489-B66F-533BEAEC6B5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fd2663108aade8460e9d933d134447a17430569","datavalue":{"value":"1388.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598245$1906935F-826B-4A78-855D-7EABBF321C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a82a953a3372c6a93880ca0889df2675d6e8ec2","datavalue":{"value":{"entity-type":"item","numeric-id":458708,"id":"Q458708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598245$7D85D948-794C-4C40-91DD-0750E0D37EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad285152a322692380fe5b3a8d3a729355b6564","datavalue":{"value":{"entity-type":"item","numeric-id":2151233,"id":"Q2151233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598245$E930F315-9EB3-4807-BECB-BCCFC525F208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598245$B76F280B-FCBE-463D-A9AA-C973140B3AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598245$45E28DE2-3138-43BA-A364-1E428F91020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598245$094605AB-CD5A-442F-91A4-FECD6A87B324","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-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":"Q4598245$B7FBBC9D-60B0-4AE3-832B-FB017C314386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d539c97ed590625660355184393299e8807e2b","datavalue":{"value":"https://arxiv.org/abs/1504.01130","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598245$E18C2B80-46A3-4F24-840C-FC2C370760AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598245$00454E06-A172-4883-BD37-6809FC303A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598245$D1CBAF84-9808-4CD3-AE12-4FA8044D9A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598245$1DB84112-3936-446A-A23D-0BE2CDD3E54C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"449da0d001dae1ae4f366dfe260a5289b684ee9f","datavalue":{"value":"6820293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598245$E064CD0A-0865-4800-8137-6362BBB94F71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2988b98f39c6ba9bd3333ac349468d1c56a8ae0","datavalue":{"value":"randomized protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598245$5F0F15ED-9B78-452D-A0AB-CF6399F08D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5037dad296a241cfa4d4139d1f63309727fd86f","datavalue":{"value":"self-stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598245$7CA47DD4-7FDD-4096-9329-F5F4A6382620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ceb3175a370558e55f38632d56fc7a42999866","datavalue":{"value":"Lyapunov function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598245$9FB33FF4-C315-495C-B2BD-33AD34202556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"782e6b155a674ad08f60a27d9f51cc34c02e60d7","datavalue":{"value":"expected time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598245$9FF1558A-5079-4045-9414-2504F9E45D85","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":"Q4598245$9E7A1D64-7B78-49A8-93EB-3C39DFD6E7B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4b9fc764f242c3353b523465b1aa1900541bd35","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598245$6A5EBE4B-F4BB-4323-8DD8-FBAE530663E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea3fe7108003828dfe2a80f802eb2fa4cd5970d","datavalue":{"value":{"entity-type":"item","numeric-id":401316,"id":"Q401316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf55932a9b7ffeed1f0b428f139cdc69feb04426","datavalue":{"value":{"amount":"+0.9131251573562622","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":"Q4598245$149A3935-AAD3-4380-9EAA-AC25A97EEEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c742150000ca80e6731ae03a7772c60534c676","datavalue":{"value":{"entity-type":"item","numeric-id":3012941,"id":"Q3012941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc49dfd8828fa866ed56de010fe0f32de2dedfd","datavalue":{"value":{"amount":"+0.9037766456604004","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":"Q4598245$0A11613D-7DE6-4875-B9FD-01FEFB58B81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f62e381883fe104ecb6fe8a1258476eb9ac8ec","datavalue":{"value":{"entity-type":"item","numeric-id":1941880,"id":"Q1941880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc5f34c514acd41c2562ab3bc09f050194fea9a","datavalue":{"value":{"amount":"+0.8791013956069946","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":"Q4598245$1127D631-B6CB-425F-881A-E0BE86ABD8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eba5882a7b745fcaf69302ae874d4ccdca5be1a","datavalue":{"value":{"entity-type":"item","numeric-id":817822,"id":"Q817822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621d42987b02d0dacf0579522f6dc7b79b5eb133","datavalue":{"value":{"amount":"+0.8781289458274841","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":"Q4598245$383520B7-1160-42FF-AF70-E31FEAFF91C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef881d7bb47436e28c3f8c68436b37efd349ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1041727,"id":"Q1041727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0919476b69912b8b2006f96f14dad9cff657c6","datavalue":{"value":{"amount":"+0.8706873059272766","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":"Q4598245$B23D92CA-52C7-418C-BC00-3D221CDD8378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving the Herman-protocol conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_the_Herman-protocol_conjecture"}}}}}