{"entities":{"Q6535076":{"pageid":14146219,"ns":120,"title":"Item:Q6535076","lastrevid":95495414,"modified":"2026-06-05T09:09:27Z","type":"item","id":"Q6535076","labels":{"en":{"language":"en","value":"A novel automatic technique based on MILP to search for impossible differentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7763062"}},"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":"Q6535076$B0EFEF5C-288D-408E-ABF6-87F23A602024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d07933e277cce455e3611aedc4fbfd488ce9a7","datavalue":{"value":{"text":"A novel automatic technique based on MILP to search for impossible differentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535076$6623CF6A-6ED9-4AEF-9EC5-34CB24EE64D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57b06996cd967a483a1f41be1dad0a44d95bf2a2","datavalue":{"value":"1542.94133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535076$4C843CCE-212E-49C1-B7D9-82434F0A0DA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44f21ff3b2a5025d42c824db05a81e6c39d637db","datavalue":{"value":"10.1007/978-3-031-33488-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535076$1A6AB04F-752D-4228-8896-7C6D429531FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f237fccbe88e703bafed83bce47ae0d0a511445a","datavalue":{"value":{"entity-type":"item","numeric-id":6535075,"id":"Q6535075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$7E5A4F81-72E1-4FCD-B6BD-A942DD03A9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"389cd7cd76eeb1bea7fe0d64f1c5bfb3e772fee2","datavalue":{"value":{"entity-type":"item","numeric-id":826297,"id":"Q826297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$9535E379-652D-449B-95B6-09F1CF8691EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"734e3f4a894983bd300c5a4f1e1a5d7992bf1877","datavalue":{"value":{"entity-type":"item","numeric-id":277303,"id":"Q277303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$400E9DB3-AC6C-4506-A91B-938C8AC5E05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b337d8562d3975080e26620f4e9b9a0874bcf81","datavalue":{"value":{"entity-type":"item","numeric-id":606351,"id":"Q606351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$4D50EC41-41D5-4650-8CCB-5F8264FB1388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc4fdb0fde606ee52d470dd32ef0d8701981d760","datavalue":{"value":{"entity-type":"item","numeric-id":326309,"id":"Q326309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$6515B60D-E13C-4ECE-997D-BBF04EE6EC13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e752eaf3ce65d5874092da64ee22160444cabb33","datavalue":{"value":{"time":"+2023-11-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":"Q6535076$2C540EA3-05C0-4531-99C3-9414840D34AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535076$EAB72191-C83C-4B20-8DFA-1CA60721ACD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8611d4ed6bd0c3383d48eeb930cd590c821584a6","datavalue":{"value":"7763062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535076$8F9096C5-057B-4359-8FFF-D82C627DE95A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ad482cfa23100f79a1c443d0f554b1e2f86ccf6","datavalue":{"value":"IDA","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535076$97C65343-7782-4A9A-9438-1B6E891843F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54623d3692ce32061e6e5f734acf23e12f0b2323","datavalue":{"value":"Midori-64","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535076$D3229F6C-2EDF-4CB1-8D78-623D383D5E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7eafc849bb7f506374c3780228c726b8c955f6","datavalue":{"value":"CRAFT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535076$8935FBD3-AAC8-4799-93F8-DD6EE941B407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2750ae1ae2c655fe8257f0741f9ea15309f10d","datavalue":{"value":"SKINNY-64","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535076$162A6581-82C7-4541-B84C-74A32578A206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827db536e2c8f850bd3cec9368c0bfd10a50ab98","datavalue":{"value":"MILP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535076$EF8F36EA-D966-42E8-A685-D5B5FC67D9A2","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":"Q6535076$E95DE61F-BDBF-4F24-B6D1-C7EE7067C743","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3907820777625d821b52f501e4cb3f59f8d695c6","datavalue":{"value":{"entity-type":"item","numeric-id":2795984,"id":"Q2795984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$AFC6B8C9-5FC0-4648-B8CA-33A5C1DF3292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e3ad270ce0a651280814863fb02ffab2f0d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2829213,"id":"Q2829213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$1803D98E-55B7-4428-AD9D-046A7B6B788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ed472f602e551a14938916c4ae7464d938ccea","datavalue":{"value":{"entity-type":"item","numeric-id":4250749,"id":"Q4250749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$874C2FCE-0F3E-42B8-9D59-F9CAE57B5824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2736bf8a52a3f8ac043057d4265a8f6301c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4279560,"id":"Q4279560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$9BB9450F-E120-417E-840D-3CA54C623D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0569a80248fe3850d065529550b6b182f518cd48","datavalue":{"value":{"entity-type":"item","numeric-id":5429119,"id":"Q5429119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$CA70F080-E1BD-4D19-8FA7-93811094EB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abad515f8a5fea22b1c98f4bb21895dae9104236","datavalue":{"value":{"entity-type":"item","numeric-id":5209973,"id":"Q5209973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$483198ED-ACD6-4E1B-97A6-A87F2C7A7B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6081b7c63cb46fe9cc56ac48ef2ba6aa0cb4c2e","datavalue":{"value":{"entity-type":"item","numeric-id":903652,"id":"Q903652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$9770AAF6-FD7B-4246-93AC-92C17883E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ffa592049019359bcc9c2f61919e59b660c905","datavalue":{"value":{"entity-type":"item","numeric-id":5270362,"id":"Q5270362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$ABCFE2BC-FB85-4A89-ADA1-F136EC76D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d037e46cb1eb3a4be203224d06c486876ed60d2","datavalue":{"value":{"entity-type":"item","numeric-id":2876938,"id":"Q2876938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535076$276C5EB4-C708-427A-9BAE-309E8B1AE9E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51c848b069aea6d9dec98c32a96a094fa4f7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":6619849,"id":"Q6619849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca32189c17e5dcbfbf8af04bde40003441983784","datavalue":{"value":{"amount":"+0.8103127479553223","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":"Q6535076$A7B9905A-2634-4700-BF81-B9F6125A4D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8008d6b385a4b6af9b09b573a41bcb45c44d424","datavalue":{"value":{"entity-type":"item","numeric-id":5270362,"id":"Q5270362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea2db2b61007bb12dbdfd18981f57d36653ea3c","datavalue":{"value":{"amount":"+0.7955665588378906","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":"Q6535076$57E0AAF0-C7B1-474C-A818-87FC03CA0B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee35d05202a80e31bde0e9a0060815f7b764129d","datavalue":{"value":{"entity-type":"item","numeric-id":1799240,"id":"Q1799240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d3a82d9a8c579cf9ce9b4cdcd3632c813d7485","datavalue":{"value":{"amount":"+0.7909042239189148","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":"Q6535076$D168B8C9-F9C9-4D2D-9643-983332406E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a658bde72c6427930a57cd8aa4773985f8b18b","datavalue":{"value":{"entity-type":"item","numeric-id":6134007,"id":"Q6134007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0a5fc6c2e2ddd5954af05d9dc60065f55ff00e","datavalue":{"value":{"amount":"+0.7905281186103821","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":"Q6535076$60103065-547E-411E-A612-3C6F58CEA79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fd851c5890090f1305d91c4d373f65945b0542","datavalue":{"value":{"entity-type":"item","numeric-id":6108832,"id":"Q6108832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6facb7dfa8aea74e07ed78ffb9c05e92dfc4e5","datavalue":{"value":{"amount":"+0.7853313088417053","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":"Q6535076$ADFEBB10-F89B-4D87-8377-557EC94BC4B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A novel automatic technique based on MILP to search for impossible differentials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_novel_automatic_technique_based_on_MILP_to_search_for_impossible_differentials"}}}}}