{"entities":{"Q4639475":{"pageid":6669056,"ns":120,"title":"Item:Q4639475","lastrevid":89909447,"modified":"2026-06-04T18:35:31Z","type":"item","id":"Q4639475","labels":{"en":{"language":"en","value":"Optimizing S-Box Implementations for Several Criteria Using SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6867432"}},"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":"Q4639475$63F0135A-F357-4A9B-8D8F-81AF3B2D2F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcba08ee9d87f34dcfd9b281f85196bb49c65ca9","datavalue":{"value":{"text":"Optimizing S-Box Implementations for Several Criteria Using SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4639475$380ED66E-419D-4706-AF96-8BB359ABAD30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83a65f07fb0641b399d65bdfb646a71ec04abe6a","datavalue":{"value":"1387.94100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639475$F5F78BA7-2328-4780-921E-E6E3FFFB97FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd85ed221fac3f32d9fd949c17dd1817b09a929f","datavalue":{"value":"10.1007/978-3-662-52993-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639475$6BD8C626-2877-423E-893B-557B04DAEF77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea480d2196605f81dafe570f2d4cd4c8ff1f3048","datavalue":{"value":{"entity-type":"item","numeric-id":1698627,"id":"Q1698627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$38DA30AF-6532-4C60-A7EB-C9330017BBF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2c9f69c89bcdacfc27e5e486f48a10081ba032b","datavalue":{"value":{"entity-type":"item","numeric-id":2946867,"id":"Q2946867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$24E8C42A-9D91-434D-BADD-2096C51F633D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a2084acdf9ba13123400cff80f9c07cd50a88ff","datavalue":{"value":{"time":"+2018-05-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":"Q4639475$0BFCEFBB-3C55-488D-8B31-5F3AFDAF6B37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639475$150B7413-DD79-4EAF-A7E4-B47E74720146","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c800fa794c76311cfaf43d9c25e8476aaadd870","datavalue":{"value":"6867432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639475$F9877176-B7FC-4F7C-B6CB-842D2D9DB2B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126565c1d7059a6faafc8d3ae31f25c45414b6bd","datavalue":{"value":"S-box","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639475$E4293FC2-9497-46CC-9D42-120FE89DA8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639475$1ED71957-C5F6-41FB-AD37-690107EDA2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b871ab1cef4fa66f5aceceff039d0d9bab21738e","datavalue":{"value":"implementation optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639475$50C2A55E-9B7B-4A7B-B8C1-03E423726544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b6a94ba03b23ca3fc56ca24c59e62bb280d653","datavalue":{"value":"multiplicative complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639475$A5EB460C-6D6A-41D9-B1BC-B1F14F395FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee803acf99a0e9d150937e340547e878aa588948","datavalue":{"value":"circuit depth complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639475$572D9410-FA5A-425C-80EB-34BFFD24A0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62deb438a0e3c48e253dd93cb28da8217373c88f","datavalue":{"value":"shortest linear straight-line program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4639475$97A6CD9A-3894-4D21-BC6E-BB34F6CDB0E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ba3d973743a397c72474b54092aa4f80ff75c36e","datavalue":{"value":{"entity-type":"item","numeric-id":56014,"id":"Q56014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$8B712271-4AB3-4BB0-8D75-6334CBACA3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35d66ffb2a32ab96af818f25f3a553e026a8a894","datavalue":{"value":{"entity-type":"item","numeric-id":25157,"id":"Q25157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$B7B64117-AEE9-4572-BDB4-8284A4A0804C","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":"Q4639475$8BA92E1C-063D-4722-B358-1111A7D8A4CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e84db036aa539a80bcf86a53910a85e1f3945c03","datavalue":{"value":"https://doi.org/10.1007/978-3-662-52993-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4639475$5B08FF40-3175-421E-B41D-73640024CE1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bb12536ea87fac0bc40a8e8faa816dfdedc548c","datavalue":{"value":"W2497867845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4639475$0AD95057-D04F-4140-B524-FE992061D2E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f02977e89462208f17b90befb15b614629853ac","datavalue":{"value":{"entity-type":"item","numeric-id":2948338,"id":"Q2948338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$70A3FCF9-8FE3-4098-91EB-DBA98E58F13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16031b2f14529eb3b286b8f9d5136e1d1f7c40a1","datavalue":{"value":{"entity-type":"item","numeric-id":4924418,"id":"Q4924418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$64462566-D64D-4B67-9239-82A245E2D734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477f0ee1ddfd93693d6e8b3e72c6568a49a6141","datavalue":{"value":{"entity-type":"item","numeric-id":3599124,"id":"Q3599124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$E2072A43-A6C6-41A8-8AEF-3E8C596147C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59678957f4fb5395e330d333c0bdeb91ec56fa0a","datavalue":{"value":{"entity-type":"item","numeric-id":1978699,"id":"Q1978699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$6D33F306-48E6-4E8C-95AB-D99CF720CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7038edcb569e3a0303476a2740b60e11d10261","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$22DD556A-3C0A-44A1-8E81-499E73B9CD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0846be28465fe50f035ae4598f40fc946b63e1b2","datavalue":{"value":{"entity-type":"item","numeric-id":2795987,"id":"Q2795987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$BEA6B802-3EF0-46F8-ADC0-5EF46181C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51b887ba18c26a7b15e7cc093ae272d455b5f40","datavalue":{"value":{"entity-type":"item","numeric-id":4930580,"id":"Q4930580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$E5D0ABA9-FF33-4807-BAF2-1BD129C7C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128f81b3da9737ad7c11e895ef60568712aa4379","datavalue":{"value":{"entity-type":"item","numeric-id":5265089,"id":"Q5265089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$2F0BA63C-AC8B-449D-8110-E14021063E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85fd022e89102f692a6c646bfcd392ff39e16c6","datavalue":{"value":{"entity-type":"item","numeric-id":2787209,"id":"Q2787209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$0F03FE23-FE9D-46C7-8FE4-C75BB091C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcac72f636b8e794ece5d54b4f99162f6ac8004","datavalue":{"value":{"entity-type":"item","numeric-id":3172974,"id":"Q3172974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4639475$2E490222-B9E1-4ECA-B18C-1AEB8F5ED30A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789be9fb9939375f1f65d49401dd8f5efbef56b8","datavalue":{"value":{"entity-type":"item","numeric-id":2493290,"id":"Q2493290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c6e624cb44a7490495c064610f187fe7076541","datavalue":{"value":{"amount":"+0.87672925","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":"Q4639475$82FAC54B-9BC0-4042-81FF-3A097C16E7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950964d65a724e0810d1250e681666c08162cdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2843331,"id":"Q2843331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477a6a12b70ec3108e619afbcd8f14721b264a36","datavalue":{"value":{"amount":"+0.87031287","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":"Q4639475$A7962604-9AD9-48B1-9CA2-52D4AE932261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb75019dfd55cd86d8a9f6c2efa9c7bf77faf9f","datavalue":{"value":{"entity-type":"item","numeric-id":5267803,"id":"Q5267803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67da46bd7cb05456fafc8c9615d290fd4ff447c","datavalue":{"value":{"amount":"+0.86793303","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":"Q4639475$D89E7D29-B8DD-48F4-ADAA-2239CEFDBFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a130992bd1eed03c1ee07d66a9027da9e05be6a","datavalue":{"value":{"entity-type":"item","numeric-id":5085259,"id":"Q5085259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a0536f11f54ad05100ff8a3123fa6ae03a3007","datavalue":{"value":{"amount":"+0.8672175","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":"Q4639475$C64944BB-F1F0-43AC-A14E-5125DBF9EF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bdcdca4d8d41325bbd8e35be08b8ac85e833da","datavalue":{"value":{"entity-type":"item","numeric-id":1430296,"id":"Q1430296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f986f69492388a8d22f37b528da164ae50983f18","datavalue":{"value":{"amount":"+0.865875","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":"Q4639475$4B744748-7452-4FB2-B248-C2B1E473C855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da23ca9ae2b923679fec2335949989b8f1c94135","datavalue":{"value":{"entity-type":"item","numeric-id":5266602,"id":"Q5266602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3e944e14331fd74baa62c4780894b6a5818703","datavalue":{"value":{"amount":"+0.86276484","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":"Q4639475$E9B5CEBC-6D60-4D66-92D0-A5B118CBAF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f869269178846a8f00e504a066fa7b0e45ad4d8","datavalue":{"value":{"entity-type":"item","numeric-id":2455454,"id":"Q2455454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2b1df125148f9e26b08ff3f2a61144795b8ec3","datavalue":{"value":{"amount":"+0.86089367","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":"Q4639475$48C50036-434C-463D-9B8F-D3B038AAF538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa9edca573e42fb41729210b9343dfc70752fe8","datavalue":{"value":{"entity-type":"item","numeric-id":2181777,"id":"Q2181777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc3fd3e0386b5ed7fba70379d9f59c77471387f","datavalue":{"value":{"amount":"+0.860345","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":"Q4639475$E7CDA328-3D5E-45AD-998E-9F79E1A0DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8971b76402af7bff64f4eb15957b9954882ff12b","datavalue":{"value":{"entity-type":"item","numeric-id":3620439,"id":"Q3620439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89f64cb945ba6a2715951798236f07f430daf71","datavalue":{"value":{"amount":"+0.8598261","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":"Q4639475$EE79A737-4201-4BBD-A16E-548E19B4D6B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimizing S-Box Implementations for Several Criteria Using SAT Solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimizing_S-Box_Implementations_for_Several_Criteria_Using_SAT_Solvers"}}}}}