{"entities":{"Q5015592":{"pageid":7045169,"ns":120,"title":"Item:Q5015592","lastrevid":91101155,"modified":"2026-06-04T22:15:42Z","type":"item","id":"Q5015592","labels":{"en":{"language":"en","value":"Applications of SAT solvers in cryptanalysis: finding weak keys and preimages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441844"}},"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":"Q5015592$20793AFD-3B49-4974-8F2D-DD860980C7F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"572a8658555e6be3bf8ff4631fef33ac326ca182","datavalue":{"value":{"text":"Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015592$842867FC-721C-438A-88EC-B33BDE6F3657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb15e3bfab96a1df2b13c98513ac2e24da2d2361","datavalue":{"value":"1486.94122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015592$6DE7CB1A-A4E8-4E73-93CF-7F01FE910998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f2928c8d2af5d6e2a75bbd9732140f1914d00ab","datavalue":{"value":"10.3233/SAT190099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015592$42F5AFA8-B60B-42FF-B906-E5073D057B48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c195152215454fea17fbd1bdf05c6de8d085724","datavalue":{"value":{"entity-type":"item","numeric-id":3454159,"id":"Q3454159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$F017B7C8-955B-4F20-AF1E-9AB04CD190A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1422e8984dbd3cd71f0cff8fbdfa5fe0e47a6bac","datavalue":{"value":{"entity-type":"item","numeric-id":2349634,"id":"Q2349634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$8BB596E6-7723-4497-8D16-27453F25CFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34c8084c3a7dd7ce3f7e9392ec9e269a3bca5cc0","datavalue":{"value":{"entity-type":"item","numeric-id":544208,"id":"Q544208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$9C509CA5-5D37-42C6-8B65-BBD6D45F064F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$F14C2E6D-9FE0-406C-A247-EC361DC2266B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-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":"Q5015592$390F7AF8-7C62-4B2B-BA77-D3ADA89164F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015592$5BDED981-B06E-4E88-A861-2FD5F55DB0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015592$35BD8D3E-804F-4B5D-98D7-B89F71D891FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015592$0174B736-7308-4780-A715-8FE2E5F7A63D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff37aa79430cdadce2de0bef9aca9685c3264f4e","datavalue":{"value":"7441844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015592$89099453-9050-4BC8-A334-5F16B2838C80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015592$C910A7FA-339D-4D6B-9524-1DC63772B4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8937e0f24033f16d309a6a73e7d2befd2c2c74b1","datavalue":{"value":"weak keys","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015592$1E8FD7C2-5699-4BB9-B83C-CDF2B3F70BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08e88951a2ef2b9340322371949013ad92b92c5d","datavalue":{"value":"preimage attacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015592$F19A6CAC-0F91-461D-BBA2-B0EAE4F7D388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a46298226502691db96c86edb395f2eda7c97e78","datavalue":{"value":"automated cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015592$9DFE838B-C589-4E22-B2CF-DDD2738EE6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e3c1ccfcd074ce8ffe37d61b99d67758426759","datavalue":{"value":"algebraic cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015592$09885F22-14F5-4838-80D4-A54D1EB35F9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fc4df72c3e6c83c3995f40f1cccf3e7be68532c","datavalue":{"value":{"entity-type":"item","numeric-id":43417,"id":"Q43417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$829A3415-987E-474E-9D38-5B0F87767326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2f45492d0a9ee38c7f6f7ea29a7881599069d9b","datavalue":{"value":{"entity-type":"item","numeric-id":13519,"id":"Q13519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$126E2879-0DA1-4B8F-886E-7A219883303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$BDDE519B-1178-42FD-B46B-EFFA1F51EC87","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":"Q5015592$C08269F0-F859-4E81-86CC-6FB660AB495A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"567a812e96955258dd73ed37a6cc1215cf6e20d2","datavalue":{"value":{"entity-type":"item","numeric-id":3532870,"id":"Q3532870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$E8D511AC-A149-4BC4-B133-440C54EC5790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce721bcbfc6a9699e948c624973d5e926c51c944","datavalue":{"value":{"entity-type":"item","numeric-id":3525663,"id":"Q3525663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$D11C86CC-4DF2-4025-9EAF-815BC9B902E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a994390c099144ad3b11cfef7029f045b0d77950","datavalue":{"value":{"entity-type":"item","numeric-id":4341750,"id":"Q4341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$34F160A5-1E44-410E-9995-96760A4A2BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ec7b448c6806d7c49e808570f2df483edd1016","datavalue":{"value":{"entity-type":"item","numeric-id":3612479,"id":"Q3612479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$9AD601BE-A1A3-458B-B940-52D12DF5B641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01087df5e8af0a26b89c7471b312f396b3c5886","datavalue":{"value":{"entity-type":"item","numeric-id":1281786,"id":"Q1281786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$12EEE6D9-AB26-468F-801E-C94DE484A767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$B8D650AF-7EAF-4B57-9BD8-614D880C6770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f2c3945760f7fb824971173f94e1b8347ea118","datavalue":{"value":{"entity-type":"item","numeric-id":3502695,"id":"Q3502695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$09FC9714-02C8-48A9-A9ED-07D5570BA9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af832fe2bfd99e68c1778ae5dab8775512be2b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3578262,"id":"Q3578262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$6EDAE270-B260-4F34-8B9A-EAF3E976538F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11699ff52006215bc8d74f7dbdbb6aff5c7d818e","datavalue":{"value":{"entity-type":"item","numeric-id":5491900,"id":"Q5491900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$AB1FCFF4-E4C9-406C-B809-7E60422CE51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7eb96f1719451d07a3b9625c6ea5659c14a625","datavalue":{"value":{"entity-type":"item","numeric-id":3085997,"id":"Q3085997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$3B7CA1E5-CE1F-44CE-9FBB-D8FD960F46C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb95224015d2691d74807a45b66508789b0bffe","datavalue":{"value":{"entity-type":"item","numeric-id":3391577,"id":"Q3391577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$2887DE82-E382-4381-A9F4-577D7B36AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a717ec55b52f2d0875debe86042d0e598c4a19d3","datavalue":{"value":{"entity-type":"item","numeric-id":4037447,"id":"Q4037447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$A1A1B404-CA42-4058-8E1A-50CE32E66D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa1c3c73e49d1825e839d771940279b8b9e110f","datavalue":{"value":{"entity-type":"item","numeric-id":3525692,"id":"Q3525692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$91C117C8-E81A-4FB5-85CF-0C6203140C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a600cec089f7a7ffa27d21e156ff2a55f099ae39","datavalue":{"value":{"entity-type":"item","numeric-id":2946870,"id":"Q2946870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$4B3F35A4-4F6D-4169-8117-0AE744E492A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82150f8943cff7ecd2cd54c7abc4f2a3d8b84f08","datavalue":{"value":{"entity-type":"item","numeric-id":1977757,"id":"Q1977757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$CFFE0EC1-3380-4F43-9F23-28E564DB0EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0360f6e7be879105cf9d05290943313c208297","datavalue":{"value":{"entity-type":"item","numeric-id":4910238,"id":"Q4910238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$D5E61E90-9471-45BD-8A64-3DABFB60C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$F5A12888-A9D1-4294-97CA-FE3836977D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$9B6673E2-F522-4BB0-AB4B-A3C7642E758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551c9c40db7712810f2cf8e95a200e2fe26265fe","datavalue":{"value":{"entity-type":"item","numeric-id":396606,"id":"Q396606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$44B84C09-F332-4A55-B96D-5C026738C3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06986a3d22e1d63456eedbc6d27d6c19c799043","datavalue":{"value":{"entity-type":"item","numeric-id":5712185,"id":"Q5712185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$178A22E2-7568-412A-9A75-0787BFC529AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c556f106059deb1624bbe8a0e69635c51e4d9618","datavalue":{"value":{"entity-type":"item","numeric-id":5315295,"id":"Q5315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$99415869-CA55-4A4C-A1CD-9B23BF97B343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3dfbbf9c9c6addd3e47b97b77ac64e6588f671","datavalue":{"value":{"entity-type":"item","numeric-id":5385718,"id":"Q5385718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015592$B7987C12-2DD4-45A1-B899-94C33531A036","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65879127738a7b778cbf38e8003d52695dbaff3","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc000d9f3efe932e474121f0c8a40620ccfd527","datavalue":{"value":{"amount":"+0.887851893901825","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":"Q5015592$271F8DC2-832D-4077-8AE6-E8328E742818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977ed6cd5f2dc4e72e78bec0b7f75e4fbd1bab4b","datavalue":{"value":{"entity-type":"item","numeric-id":2751040,"id":"Q2751040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58dde6581426bf11ece4de1cd490ea6c313a42c","datavalue":{"value":{"amount":"+0.8479858040809631","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":"Q5015592$AC91C28D-B20D-4012-8E38-7F368CE6267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8304da8ed145313a76c00f790333aad279d62a41","datavalue":{"value":{"entity-type":"item","numeric-id":396606,"id":"Q396606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58dde6581426bf11ece4de1cd490ea6c313a42c","datavalue":{"value":{"amount":"+0.8479858040809631","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":"Q5015592$2BBEA407-6D35-4951-8638-8F94C68A30AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f814dc18bf66d1717a42d57c733b9a8250bc24e","datavalue":{"value":{"entity-type":"item","numeric-id":1977757,"id":"Q1977757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa50a3c9113443c3866cbe62ed2a87fbbe86808","datavalue":{"value":{"amount":"+0.826376736164093","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":"Q5015592$BDAF8ABA-625F-4B15-8891-1A0361936CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dbfb6a51dade90f7a6eb4bd905ba053b394b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3085997,"id":"Q3085997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa50a3c9113443c3866cbe62ed2a87fbbe86808","datavalue":{"value":{"amount":"+0.826376736164093","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":"Q5015592$88ECD7D3-ACBB-4031-B542-A8AF2870C5C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of SAT solvers in cryptanalysis: finding weak keys and preimages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_of_SAT_solvers_in_cryptanalysis:_finding_weak_keys_and_preimages"}}}}}