{"entities":{"Q540682":{"pageid":542449,"ns":120,"title":"Item:Q540682","lastrevid":51261221,"modified":"2026-01-17T12:16:16Z","type":"item","id":"Q540682","labels":{"en":{"language":"en","value":"Automated proofs for asymmetric encryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903832"}},"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":"Q540682$8F9DD94F-4E69-4BBD-B232-9C5D0128B304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae3e89e7fc145556b09cb4314c7c3f3d4af86768","datavalue":{"value":{"text":"Automated proofs for asymmetric encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540682$4239E9D3-BA3E-46E8-8552-416012B19570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b040231ab96552b5c672e92722bd448751f2e8bd","datavalue":{"value":"1213.94094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$7A51F8A1-9670-4839-B421-D5E969EB4BE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4170a3e2534aff8edaabacf06fba256137af22c8","datavalue":{"value":{"entity-type":"item","numeric-id":540677,"id":"Q540677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$09002D39-B785-4404-B49D-9007ABC89EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c95f572780b36325f5d442157ad14a4d73c284f","datavalue":{"value":{"entity-type":"item","numeric-id":540678,"id":"Q540678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$73E3C70B-109F-40D9-9462-C9A08E4815E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949c6e18983b3ffa10d09a4010ec9bedf5d67f01","datavalue":{"value":{"entity-type":"item","numeric-id":896921,"id":"Q896921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$D8EAB152-C253-4E8A-B78B-3074C88C3B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fd1fea852b6877e35d514e318cb594590c429b","datavalue":{"value":{"entity-type":"item","numeric-id":287324,"id":"Q287324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$60E3623C-7802-430C-AC27-7DDF098F451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$44B52C2B-5C1F-4F30-9AD9-2001F719146A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$6BD14494-7FA6-4A1F-8A24-DB50D9BA8EAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-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":"Q540682$DAFC29D6-5291-4C2A-AD3A-3832D2F77934","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$72B9B376-1D7E-4520-9ACA-7D04ED168FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$F79EBA35-8DEB-4720-96AF-A0F3C4655BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$958FA174-9696-4410-9FA9-04B0363E69EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54726416130862a4af0ca156997f386e33e1a65e","datavalue":{"value":"5903832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$FFB951BE-D17E-42A0-A9BA-489767FD0703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c56933d04a7cafbd5c23ede40b1ec6cb0e3213e6","datavalue":{"value":"provable cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q540682$F3AE1C2A-9795-4AA0-BB8B-2FD771D242B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfaaa727a28db6a80c879654f90206ae7e9da03","datavalue":{"value":"asymmetric encryption","type":"string"},"datatype":"string"},"type":"statement","id":"Q540682$AC687DC4-B872-4916-9C9D-DA4213003A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q540682$CDF942CB-3BCD-4F3D-82F1-08AE3DFD6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q540682$611ABB7C-F888-42F5-BBBD-C91553DECD54","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":"Q540682$F6072C27-C223-42CC-835E-737FD46CF347","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a77ff9ef6010e4af88d08cc0c9def6fe131d88ce","datavalue":{"value":"Q121186469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$938F3F7F-3D59-477F-80A4-A8AA6105D864","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"084954a595b6bfa3f7514b9e922bdce607324799","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9186-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q540682$4D43ADE2-EB33-4CBA-B445-2A1E23DA6348","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11a560a2d0df11a0f6f5bc9113772f5ed6aeed46","datavalue":{"value":"W2072824406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$0C8079A3-4FA5-44DA-865C-312705651D78","rank":"normal"}],"P223":[{"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":"Q540682$AB525885-07F6-445D-B209-223A33FCA6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a9e397bf6cae63bc78ef2d4e84716c6ae01a70","datavalue":{"value":{"entity-type":"item","numeric-id":4249318,"id":"Q4249318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$24CC0992-E29D-4E96-B7BA-55D8CDC54631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$17244F7F-C86C-4024-8CB5-EDA7C10D4590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deff1d3d5e1b103ae88f86df1e2ee615c0f90bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$FD06DB2B-D57D-4382-AC55-B664248719CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fdb51d791b1f89faf9b234c9f350bce2924c56","datavalue":{"value":{"entity-type":"item","numeric-id":4365732,"id":"Q4365732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$8E5636C5-9ACF-4202-9E61-33BC14A726D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a865a8505acbd9847e6a06422c81c9c18ab693","datavalue":{"value":{"entity-type":"item","numeric-id":5898171,"id":"Q5898171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$AC5557B5-19E4-402B-A230-A84BFAD9DCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6901626c516c0325357ab5c726528c20fc7c4019","datavalue":{"value":{"entity-type":"item","numeric-id":3591439,"id":"Q3591439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$60ABEBE4-2531-4001-A8EF-C2A7E10CCADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff211d9d04e4466a22cae1d63a990ae9e10235ec","datavalue":{"value":{"entity-type":"item","numeric-id":4035738,"id":"Q4035738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$CCECCCE2-E7B7-45C7-9888-72DE6D1BE3DE","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":"Q540682$FBC13266-C1C0-48D9-BF24-90B37902047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d61579d9949e96d2a3d9ee11cbf91e51d5f0d6","datavalue":{"value":{"entity-type":"item","numeric-id":1112785,"id":"Q1112785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$5C78A861-9F40-443B-A7A7-848C604E0CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96366ff60a504ec6bb3a5be735e7c44fbc52b9fc","datavalue":{"value":{"entity-type":"item","numeric-id":2724435,"id":"Q2724435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$3FCA4726-7811-48DF-94E0-E1242C064B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca50d8962279ff9ba04ebe2d2e46a4ce25f5b66","datavalue":{"value":{"entity-type":"item","numeric-id":4950040,"id":"Q4950040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$FC686A48-2B5E-47D9-9DBA-531006FE7AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27c071d8a1d9d8e70bff4af2fcb017e63e6f6c7","datavalue":{"value":{"entity-type":"item","numeric-id":1865124,"id":"Q1865124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$13929D39-EB61-4DDB-B9DC-92ABE33EBAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc40922de560dced9ba6fc07538e65cb48b31db","datavalue":{"value":{"entity-type":"item","numeric-id":4412973,"id":"Q4412973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540682$26B40719-0C3E-4B4D-87C0-07DC83707DD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7742dc09c7a281c6c675729c893a27f86a33c2e6","datavalue":{"value":"10.1007/S10817-010-9186-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540682$63D578E4-0F4F-4316-911E-8FD4EF5C72A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a2c16f7c8b357fcb42e86886c5543a914c46e2","datavalue":{"value":{"entity-type":"item","numeric-id":5187835,"id":"Q5187835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c59eb9abcff486a4cf7512ffd7811122a3abfd","datavalue":{"value":{"amount":"+0.9653928279876708","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":"Q540682$3377B0B4-9AA8-46D8-BE3F-A785C220838E","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":"c3b99f216f98c203a31ef7aaba833b08b724e863","datavalue":{"value":{"amount":"+0.7968753576278687","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":"Q540682$8FE87386-65C1-44BC-83E5-767C06C5F4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3513f3bde116420d9032777da56ba9e07885b0f","datavalue":{"value":{"entity-type":"item","numeric-id":3656840,"id":"Q3656840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c19954182db3bde8befffc7d843106666f23edd","datavalue":{"value":{"amount":"+0.7841968536376953","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":"Q540682$BC0C5FDB-B3B2-4549-9BFC-0786C9AFA7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"addd842153dad2a1b9ba37e1ad608fbfecbab82e","datavalue":{"value":{"entity-type":"item","numeric-id":3369392,"id":"Q3369392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622de42787f7acf5d92f892215f4e40c78516ade","datavalue":{"value":{"amount":"+0.7789703607559204","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":"Q540682$03F7613D-FCB7-47E7-A208-3BBA42DDEBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4625440697f2ee72d406a46d1e48df0580662","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b0a84537264f8c3ff189d83110be16f5c56300","datavalue":{"value":{"amount":"+0.7771890163421631","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":"Q540682$AEBDFE59-5E27-4FAF-B5F4-42F8FC329A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:540682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:540682"}}}}}