{"entities":{"Q5862663":{"pageid":7892214,"ns":120,"title":"Item:Q5862663","lastrevid":54243914,"modified":"2026-01-26T13:09:43Z","type":"item","id":"Q5862663","labels":{"en":{"language":"en","value":"Machine-checked security proofs of cryptographic signature schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7486922"}},"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":"Q5862663$94CC7BEC-A12E-4B8A-A8E9-F98CD7F39B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d61263689877f7759886d6326dcdd73dfd7cee5","datavalue":{"value":{"text":"Machine-Checked Security Proofs of Cryptographic Signature Schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5862663$A0EE0C62-3953-44A0-AACD-8E58303CDDBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7565870b0fa981f5467ff761181a8f453461a8","datavalue":{"value":"1487.94159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$F7B0C485-24F6-49D7-997F-4DF748882DBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9a8b77949c12e513ac4a4a43ae3bbed9b9eaa8a","datavalue":{"value":"10.1007/11555827_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$266A2993-96AD-4645-B07D-5C3690BAC20E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1eaa4f6d52ff8f6b9d6d0401c141dc7e5438c97","datavalue":{"value":{"entity-type":"item","numeric-id":3409385,"id":"Q3409385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$130769CC-7657-4239-B1F6-FF4445296503","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"343bdd4b6885d2af75d788cedd1934c5b0e0fb40","datavalue":{"value":{"entity-type":"item","numeric-id":5862658,"id":"Q5862658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$77C0D0F5-9E4F-4526-AAF3-AE94FF2CD613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5862663$D4DDA32E-1EB9-4F84-B922-B26A370D0224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c473058f6b17e8b9d86d8b989ada10bed98b6954","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.8259","type":"string"},"datatype":"url"},"type":"statement","id":"Q5862663$7422002B-44D5-40B7-AEF6-B741F01A6438","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$822EB9FD-5C23-4608-ABB4-FF3E281C4E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$C902EA52-7C2C-488D-8C8E-AF66724AEF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$090AADE8-F614-4880-9186-1F3AC2EDDD99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c09911f1eb64c4063278f9e234bed03ef8a4859","datavalue":{"value":"7486922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$CC63EB9B-107E-4A49-BB1E-DFEEA0C11087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4328b4cc36b17348e112d3a732b528b5cb5fa05c","datavalue":{"value":"hash function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862663$8F2B5EFF-8F37-4CE0-A094-05136C2D5E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f08019b4254be79f5f9af10e35e8abe82f7c6","datavalue":{"value":"blind signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862663$AD3D5528-E022-49E5-BA95-6D46DDA15B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f93c6caef986b21f94fd941149b5d6249ceb752","datavalue":{"value":"cryptographic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862663$A1262216-1D45-415F-BE04-D7475D891AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75bd76d3acdbce21b799617da1449e96b06e4b9","datavalue":{"value":"valid signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862663$9A61AA8E-DE9E-4441-A6BA-683D79123B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5862663$9D81701D-19F1-4FD8-9590-80E0446C9B61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$B45F6D8A-2DC7-4900-AB22-1E049A7A7BC8","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":"Q5862663$D88D0F35-2504-46FF-921B-9AAF581173B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84eb0c239d1dd67b0f2a67c4f12a159f64a4f962","datavalue":{"value":"W1606603814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5862663$BA14A04E-B986-40D9-A4D7-46159526C9E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9c4b568b7f316bf9e773d3bbb95922bb82068c","datavalue":{"value":{"entity-type":"item","numeric-id":4434892,"id":"Q4434892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$FD0721FD-B927-40AD-B6A4-FED1E85F53EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8dbe46a3e236a02924dc516931268e8f997071","datavalue":{"value":{"entity-type":"item","numeric-id":4550257,"id":"Q4550257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$BC5E69FD-3EF6-4617-88BD-825E7F9C31F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edc4d7ae767d10b0b43f2ef8e1d332932fb1663","datavalue":{"value":{"entity-type":"item","numeric-id":2707405,"id":"Q2707405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$1F61A511-35E8-45F4-89C6-DACD803D3751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46dbc3862998393de1c0a035f57e844de227e8e6","datavalue":{"value":{"entity-type":"item","numeric-id":4473566,"id":"Q4473566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$872C6E16-5419-4280-ADAE-5802126083F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ef3403a7b5ef5e40c9f7e9e1d61ebdd7c801df","datavalue":{"value":{"entity-type":"item","numeric-id":1898267,"id":"Q1898267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$660B511C-B641-458F-8EB3-3BC838570DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cd9ae076b03f5666fc617caadfb5663d6a977e","datavalue":{"value":{"entity-type":"item","numeric-id":4917062,"id":"Q4917062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$FEFC4D37-4821-471F-8118-4573033FA370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e46535548acf637d82fe463fb85369ab119ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4330523,"id":"Q4330523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$688DF02A-F4F1-4FE4-9126-987B874232D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d775e824fadeac6d94bee23311f0bd74e8b7dedd","datavalue":{"value":{"entity-type":"item","numeric-id":4493893,"id":"Q4493893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$79F91625-562E-4A2A-B818-DA35BEA499C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2274b4a592bb83702fecba1e161643ae9d90f3e2","datavalue":{"value":{"entity-type":"item","numeric-id":2490263,"id":"Q2490263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$363DB280-FA03-44FD-AF91-61AD79EB2842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2eb86bbd6348ea66e162419695a7061e84e58c","datavalue":{"value":{"entity-type":"item","numeric-id":3777940,"id":"Q3777940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$C2AE88C1-3CF4-473E-BD91-188467859D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$C9F081A7-0FA6-4FFD-92FD-35CD2328A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d058d9fc95cc8053336379b39915834d1b230f29","datavalue":{"value":{"entity-type":"item","numeric-id":2572964,"id":"Q2572964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$6501B193-39A4-4FE6-ACB2-546883A4C494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6c0383ea067eb3abdbd1f7d34632576c4ca9a3","datavalue":{"value":{"entity-type":"item","numeric-id":5307075,"id":"Q5307075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$7CE05990-8757-48A7-BA4E-624A09FA71FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076a838bd0092606d2a19431691467a449edab0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$FA2C4B25-8FD9-411E-9622-C84220F6D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc453d9916b26f0198b780a4b2091b5933194b2","datavalue":{"value":{"entity-type":"item","numeric-id":5030211,"id":"Q5030211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$B75EC5BF-66D7-40D0-8176-2A900E0427B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e262605de3748950c95c0e00a42a0dd21930251","datavalue":{"value":{"entity-type":"item","numeric-id":4536407,"id":"Q4536407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5862663$7D9BA941-52DB-4AA2-98B4-1E9CFFD96D8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73097eafc5dcff0dcbf17725dd9cc84fa0d8b1c","datavalue":{"value":{"entity-type":"item","numeric-id":5898171,"id":"Q5898171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dc3be180d62ae437045ca30db2f117254dda0c","datavalue":{"value":{"amount":"+0.8469163179397583","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":"Q5862663$A0EC79AC-3BEC-4B67-87E7-08F54EDBA3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d94cbff399b52ce290d6665cc0895afd6f85f8","datavalue":{"value":{"entity-type":"item","numeric-id":5307075,"id":"Q5307075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d886c56aa57d3ad3e0334bee642b8a3d61b891a9","datavalue":{"value":{"amount":"+0.8414507508277893","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":"Q5862663$678DFEEC-0CE3-43B9-B9C7-F68B3343282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66babba827303119feb94e408eb413eedd8b759a","datavalue":{"value":{"entity-type":"item","numeric-id":2876917,"id":"Q2876917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51603d1f63ea7da2d3dd32a691d6c015e29979bb","datavalue":{"value":{"amount":"+0.7754773497581482","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":"Q5862663$A949DBF2-897A-45AB-942E-AB5407EBBE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd574059b1fbf5aa99d2abc68db3d7d3fd4817","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbfd37591c9deb9544c0b386b828439adbed5d2","datavalue":{"value":{"amount":"+0.7671405673027039","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":"Q5862663$40937942-807E-4CBB-8033-DD087E021232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cadaf031c9fd85e583aad9ed7daf3b5d8afe4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8a5c00e23484894d51e437aeae0edb7573654f","datavalue":{"value":{"amount":"+0.7626500725746155","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":"Q5862663$86E54DAD-111D-4842-B196-3A9375D09C12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5862663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5862663"}}}}}