{"entities":{"Q5187835":{"pageid":7217407,"ns":120,"title":"Item:Q5187835","lastrevid":50923766,"modified":"2026-01-15T18:48:38Z","type":"item","id":"Q5187835","labels":{"en":{"language":"en","value":"Automated proofs for asymmetric encryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679043"}},"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":"Q5187835$18D0C8FC-11EB-4902-847C-99D2C8927F69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc916c6231cc73617c1a323976ae68e509ee3dc","datavalue":{"value":{"text":"Automated Proofs for Asymmetric Encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5187835$95DE6A8F-C00D-4E01-9731-3E62678631AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7895d46b3c3e1c46bf2a7b5fe300a30bb3b2fdbd","datavalue":{"value":"1274.94056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$8F5ABDA9-7B8D-4865-B6AE-A4459E1CDB53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e0e78468cbac91da8fceab4e7c95bab362238e1","datavalue":{"value":"10.1007/978-3-642-11512-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$E28D3131-2D49-4207-A351-5A546F4D2A87","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":"Q5187835$D7D01B32-BDF4-4004-A685-7ED2B6EC0151","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":"Q5187835$6B245CD5-1FBD-42FB-9BAA-14C31046DB74","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":"Q5187835$F3C9813A-AEF7-4E8C-B4BB-F487A70D1A2D","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":"Q5187835$B9FC4337-B9CB-4FC5-B64F-D6ABE04FFA82","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":"Q5187835$A0D82E94-3FC7-4F6F-BFB8-BF4C8CC37ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e5b4d5402b3754a6053a15bbac33af0e505e060","datavalue":{"value":{"entity-type":"item","numeric-id":5187815,"id":"Q5187815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187835$58C4B506-94A4-4B3C-9BAA-CDE287ADF1B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dcb20d02ba2b80ffd27851e30b5d754f8113d8","datavalue":{"value":{"time":"+2010-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":"Q5187835$AA56F5A3-AB81-4834-B617-8A5914268CDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$C74DFB57-EC54-4DA2-BBFC-6FCB55439A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$EBFFA173-00D8-42E2-A206-90EA5C8AC62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$CDB37E44-D3EA-4C40-A34C-238F97E681AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$81FF800B-5E31-41E5-BEB6-5AA2683CC30A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc041f8490a17bc27aeb12b4dccba71cd1239c4d","datavalue":{"value":"5679043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$F2DAE440-56A5-4C0A-A655-921CB6A7255B","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":"Q5187835$A39B8D72-58E7-4EEC-B6BC-CAF65EE7BE7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8127e4cbe3230eab82811fa86300a03170bfe5dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11512-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5187835$6DD312A8-BFFC-4E33-B26E-B59C80647B8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8d6a356d166e22255584c869c45248a24052bb7","datavalue":{"value":"W4213132237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5187835$3647974F-0299-4CAB-B66C-52155C7907AF","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":"Q5187835$D906A63D-B1E8-457A-A66E-5FCC5A2D8917","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":"Q5187835$62D745B8-20BD-49AA-93B8-712E5DBDCA8B","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":"Q5187835$4EB6BB2C-91CC-4389-B2C8-A26CFF26BF2C","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":"Q5187835$7D9703C6-768B-4BBB-ADE7-79B3A7116C86","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":"Q5187835$1755B8A7-5B25-4950-B34A-EEB55F11E552","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":"Q5187835$9A755200-FDFB-435F-8BB2-52957BF3FF90","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":"Q5187835$2DF18E3E-576A-44B3-8F31-307C50953651","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":"Q5187835$F58D0B17-EF02-4368-893F-96C6FA75E392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373a4aa1353567b4de4409b2734d4738807ca81d","datavalue":{"value":{"entity-type":"item","numeric-id":4263421,"id":"Q4263421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5187835$539EFC22-87E2-4A0F-ABEA-76B2E963E783","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":"Q5187835$94F27847-50F8-40EB-9503-21487BDE43E7","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":"Q5187835$78F75A68-877C-4462-A483-162D4A8E2211","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":"Q5187835$276A1D81-3DF7-4066-BEC7-F4159DA27542","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":"Q5187835$48960A6C-1537-4AC8-9438-C21931782528","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7efcd0895ae747b7d475ed3e70d27a12e716b1a","datavalue":{"value":{"entity-type":"item","numeric-id":540682,"id":"Q540682"},"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":"Q5187835$054C48EA-ED87-4631-8888-90D06E11DA7A","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":"c32256486a6405993b4c4d5204facd73600367e5","datavalue":{"value":{"amount":"+0.8125953078269958","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":"Q5187835$37134707-9293-49E6-83E9-263B0AAF7A69","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":"21364a3cacfb559c180905f3a5015ecad5e73e7f","datavalue":{"value":{"amount":"+0.7936987280845642","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":"Q5187835$C5E7A377-2D13-4160-B4FB-92ACF1385DFB","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":"f7dde450ed0e2a0d4dbf52434c98d57d0d81a57e","datavalue":{"value":{"amount":"+0.7895725965499878","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":"Q5187835$285B5208-B969-45CF-9AD6-6E0B7897A819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572c1dc3763d4fe81c99602a26f824e72f60324d","datavalue":{"value":{"entity-type":"item","numeric-id":4472080,"id":"Q4472080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75f9ede2a7ab1d957e3832994ed0fdacadf395c","datavalue":{"value":{"amount":"+0.7858050465583801","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":"Q5187835$DC10FFF0-A5CA-46EE-9D08-F22963A309CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5187835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5187835"}}}}}