{"entities":{"Q4933211":{"pageid":6962793,"ns":120,"title":"Item:Q4933211","lastrevid":41696842,"modified":"2025-05-07T08:02:00Z","type":"item","id":"Q4933211","labels":{"en":{"language":"en","value":"Automating Computational Proofs for Public-Key-Based Key Exchange"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798778"}},"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":"Q4933211$F1ECB367-FF10-445B-8FC9-5F802718C2E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"447bd22f762c3d7680fd526021fd5d32aa3f80f1","datavalue":{"value":{"text":"Automating Computational Proofs for Public-Key-Based Key Exchange","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933211$ED6CC57C-A3CF-4296-9CBF-D1FF1A13D5B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcb5bd912b8c7b6dd198c635fd1f1e15563abb5e","datavalue":{"value":"1286.94080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933211$632F0EFD-78E3-49F0-A74C-4D21E5A0E36A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b19b862c74130313f6eba0174e0e6040fce17599","datavalue":{"value":"10.1007/978-3-642-16280-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933211$704C66C4-84FE-4FF2-A057-4DC2487F6334","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f7a2350c6e8e14dccc41d4134546270cec9c1ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2856150,"id":"Q2856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$64B5C316-53E4-4D9C-8B4C-8847AA2DFC09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933211$BCE6DC24-7D80-4CC4-9D72-D0BCF584DA85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"456d35416c66c1f615d01d7c65ca42b877b6e46b","datavalue":{"value":"https://eprints.qut.edu.au/38763/13/c38763.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933211$F2E634B8-1BC2-42C4-AA6F-0D5548BAE481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933211$EE093B17-2B38-4403-8797-502B2ABA617D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6d290cc222eeb4a3e8433ae7b1bbd402165bac8","datavalue":{"value":"5798778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933211$1B25BBB5-FDAA-481F-AA94-A644FADBA179","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":"Q4933211$11D17B22-45F5-4B17-B355-C2BC3D675626","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5e44d976963763ab85691ce2ed38f8a8db7f90d","datavalue":{"value":"W1591893114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933211$77760D45-67DA-404E-94E1-60F69763F051","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bea8e9846e13a8715ab50748c9877999c599ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3374913,"id":"Q3374913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$2270FB13-98F4-4A91-8B90-4EC3C1D65636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de4195055bb444225445eaa9afca38b88518a6b","datavalue":{"value":{"entity-type":"item","numeric-id":3374905,"id":"Q3374905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$54E81102-CD4F-4B1D-94BF-372EA94C105A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3a6e17ff0920e4418b5060610a8d9ce6814491","datavalue":{"value":{"entity-type":"item","numeric-id":4341751,"id":"Q4341751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$F124ADFB-A1A1-4C47-8DD3-2B930622B45B","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":"Q4933211$9B7A8785-DAE7-451E-97F8-30745B8FC2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b4a359949859f317aaab703c585ea574a6fa3f","datavalue":{"value":{"entity-type":"item","numeric-id":4737255,"id":"Q4737255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$56F241F5-B9A9-4A2E-8575-A1C560A1FD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c0cac399e0e4a84636ca38eeb94dc5b61950b6","datavalue":{"value":{"entity-type":"item","numeric-id":5451094,"id":"Q5451094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$632286BC-9B79-43A3-8BC4-643453BBF515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00aaba74474da174df9e4870a8c4d51f5634a1c7","datavalue":{"value":{"entity-type":"item","numeric-id":5491710,"id":"Q5491710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$D17721D5-C1F0-4947-8ED5-3797ACA74C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaae6ba22c24049128969838ca5884ba61d6da2f","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$3DE2121C-BB12-40D7-8064-7B34FDCCC308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976bbb5ab69c964d1b6c2735693584e78eb35b6b","datavalue":{"value":{"entity-type":"item","numeric-id":540682,"id":"Q540682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$CBEB225B-EDA2-4915-A52A-D8B1BD26B404","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":"Q4933211$8317C9B0-7195-4947-821D-112BFB98E3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31874c9dea8dde8a8409650b7498d3f30b32870a","datavalue":{"value":{"entity-type":"item","numeric-id":3656840,"id":"Q3656840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$E398E2AE-F3D2-4204-A4A7-0ADB6D97A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a24c0260214caac824d969a2af8e88bb93e7d8","datavalue":{"value":{"entity-type":"item","numeric-id":5451090,"id":"Q5451090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$3392C978-82A0-4866-818F-2175E6DD9A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5632424fd240eec5b55466f40f697e80e5ad87d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901769,"id":"Q5901769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$5540C5C3-A5C7-4BCB-A69D-DCA0E14DADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33cb7879c23ec2eeb4ae97eb1d568df271f29e03","datavalue":{"value":{"entity-type":"item","numeric-id":2724585,"id":"Q2724585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933211$989AEC2E-C1E5-41A1-A9D7-B88C8FD9C046","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":"2ba9e944162d9e84f4494f974509cc84229647df","datavalue":{"value":{"amount":"+0.9059725","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":"Q4933211$24FB197A-BF4B-428B-AF0B-E339EC470C37","rank":"normal"},{"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":"2ba9e944162d9e84f4494f974509cc84229647df","datavalue":{"value":{"amount":"+0.9059725","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":"Q4933211$17D250E5-BA9E-474A-B79D-AA67FEEF29B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e23925897fc5eb5e368b5103bf38f3ebd06bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17feca2a826453e9aab66425a0e8a8208c341bfb","datavalue":{"value":{"amount":"+0.8958218","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":"Q4933211$7613FD2E-557F-4AD3-B5B7-146CA25470C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9970926fb663e97cfa6d9724fe0af1a4b64d0fda","datavalue":{"value":{"entity-type":"item","numeric-id":3044257,"id":"Q3044257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fefd81668186285b54f118a605ceab0bc3f7476","datavalue":{"value":{"amount":"+0.89168704","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":"Q4933211$5B0E092F-A3A5-48CA-B6B7-CD28FFCD2442","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":"4f87629f7e84e7beced9968f718c45e62ee1a255","datavalue":{"value":{"amount":"+0.8711918","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":"Q4933211$3AF03910-36C6-4D12-8769-EEFCF334FAF1","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":"62f713d4e330c4b8d2f3e18bd14fb66d78750460","datavalue":{"value":{"amount":"+0.87119174","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":"Q4933211$3985FBC5-AACB-49B9-975C-53D87B8C635A","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":"2bf15f5d94fec65c087540d8425948fddc629eb6","datavalue":{"value":{"amount":"+0.868042","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":"Q4933211$28BD5E83-413F-4DC7-AAD6-2228C3A67F7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933211"}}}}}