{"entities":{"Q6550653":{"pageid":14161807,"ns":120,"title":"Item:Q6550653","lastrevid":55677517,"modified":"2026-02-17T20:50:54Z","type":"item","id":"Q6550653","labels":{"en":{"language":"en","value":"Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7860354"}},"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":"Q6550653$491F254A-D386-4718-8D75-2FB6FF7A6591","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9a969b495c085ebe48e6a747c36327a21936ddb","datavalue":{"value":{"text":"Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6550653$FFBBA683-F5DC-4B04-9F66-4412431767B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a772bd690c139dfa4cee1081049d39c526a4d90","datavalue":{"value":"10.1007/978-981-99-7563-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550653$C69B3D6F-E0DD-4A24-9BD7-60EB7A9CF1D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de77402dbd2602d05b23d4e7cbc749eb361ff344","datavalue":{"value":{"entity-type":"item","numeric-id":268488,"id":"Q268488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$8597648A-9F2E-43DE-8258-4367285E5014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a7668c97c7f652320b2730f295821ad9073c279","datavalue":{"value":{"entity-type":"item","numeric-id":2079904,"id":"Q2079904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$44D1947A-7E74-470B-947D-12F49C43D796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86f4e13bbe78738f414f2e75bba1af8273f17682","datavalue":{"value":{"entity-type":"item","numeric-id":6550651,"id":"Q6550651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$7757398A-911C-40E6-96BD-1EAB2CC23690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212b3501ea77b5241ec5e2f422a4265c1ca88444","datavalue":{"value":{"entity-type":"item","numeric-id":1616915,"id":"Q1616915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$05C3D5D3-0B61-4629-AFB8-43B6AFAD0C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db189e75861c45733de394ded6dae21d8f4c633f","datavalue":{"value":{"entity-type":"item","numeric-id":2102069,"id":"Q2102069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$E4F22270-13DB-4C71-9C7E-7E5FE15DBF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd480feb652b104c032eb30f64119d2564df3f1d","datavalue":{"value":{"entity-type":"item","numeric-id":6550652,"id":"Q6550652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$004A1A4C-93D1-461C-863C-54E1ECCF41AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74732b6b200d9608283e647ac61069ba806947ec","datavalue":{"value":{"entity-type":"item","numeric-id":2079906,"id":"Q2079906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$066C4116-E21B-46A4-A052-2CCE0C2EC1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96feff90e0ffee7a02dd4328e0b56afdd83d150c","datavalue":{"value":{"entity-type":"item","numeric-id":608999,"id":"Q608999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6550653$2A4C2DF8-0EF9-4113-B3B7-124099D59B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5219263c6fa56721869b7c73877f4b0a69654303","datavalue":{"value":{"time":"+2024-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6550653$895C70EA-D6CE-4DBF-802F-F97939B02B42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550653$8BF37563-217E-4964-83EB-77A6885B5961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1136e342559adda4fe96cd983eb98109682df31b","datavalue":{"value":"7860354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6550653$FCA8B07D-A222-4AC8-A956-18BA8D963123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408a6554e3e74524bca3562397a68fdf5580ebe5","datavalue":{"value":"differential cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550653$6AA56D74-0158-4879-A908-F5E81AB8AE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550653$FC8C5F9C-7DDB-4CE2-9628-ED466FDF97A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550653$CDB7945D-43DC-44AA-996A-32E7B4BBC146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827db536e2c8f850bd3cec9368c0bfd10a50ab98","datavalue":{"value":"MILP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550653$29171581-4BA8-499B-91E6-9047A23AD899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f81dafa014d463688eb8ce0780bd0dbdc23c1f0","datavalue":{"value":"CP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6550653$24F8EDF3-F805-44C9-8DFC-D36C4CC139A3","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":"Q6550653$6772F842-78BA-4C42-8FDE-B7115ECF30EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fd301619c111be5495bd8b024f9504dd6a615d","datavalue":{"value":{"entity-type":"item","numeric-id":4899194,"id":"Q4899194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db1bd95da1e321e3fe2e0a85de0680a29a097f3","datavalue":{"value":{"amount":"+0.7916233539581299","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":"Q6550653$4B7D5654-CBAF-4836-B292-A5024E31CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07889e63458a39ba2cb783be056fad5bab44239","datavalue":{"value":{"entity-type":"item","numeric-id":6620061,"id":"Q6620061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcff94b135445432faf4b819be80540fc0c46334","datavalue":{"value":{"amount":"+0.7697460651397705","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":"Q6550653$B2009EC0-E3DF-4A59-B1BF-74D2FC8CE336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f64a71ea243335d016f817a184170cf399025d","datavalue":{"value":{"entity-type":"item","numeric-id":5015592,"id":"Q5015592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc8c60a20a8d372dde6bc41341a7e1957d8db82","datavalue":{"value":{"amount":"+0.7572463154792786","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":"Q6550653$068A6D13-4EDE-4649-B3E8-0961C152F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b7ebc225832c4b9fa920ce50f1b578f0c5a977","datavalue":{"value":{"entity-type":"item","numeric-id":6623305,"id":"Q6623305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4be5f33c7e866617269472ef6253ede93fc60e2","datavalue":{"value":{"amount":"+0.7572418451309204","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":"Q6550653$17E27C55-18CB-47E0-9437-9F6BC45B5A5F","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":"00242bafa03d5e632a7fcda5548dd741f88b15ee","datavalue":{"value":{"amount":"+0.750598132610321","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":"Q6550653$977B9490-FAD8-46DF-A954-601D4F10AE02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6550653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6550653"}}}}}