{"entities":{"Q6898749":{"pageid":20890636,"ns":120,"title":"Item:Q6898749","lastrevid":84181244,"modified":"2026-05-13T05:21:20Z","type":"item","id":"Q6898749","labels":{"en":{"language":"en","value":"Generating additional constraints in algebraic cryptanalysis using SAT oracles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8122874"}},"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":"Q6898749$21D514D3-6756-437D-98AA-75F653B54005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ed79f1ff4a7b94588a47639da6e21a0913964cf","datavalue":{"value":{"text":"Generating additional constraints in algebraic cryptanalysis using SAT oracles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6898749$F949AC63-7786-4F8E-9B88-19283F3589C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dba207565989b2475dc27697d17fc39eeb8b53b9","datavalue":{"value":"10.17223/2226308X/14/23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6898749$212E5492-C481-47E0-8ADA-C67D570FA891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff62c1ce04f9ca8c9e2208c5d71f68a0c3303c30","datavalue":{"value":{"entity-type":"item","numeric-id":1943903,"id":"Q1943903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$5E0C993E-E9BE-46A5-A3D5-BEDB4590FC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"381fe6222518a9c9cebcb508b2bf73ceac8bc801","datavalue":{"value":{"entity-type":"item","numeric-id":6898748,"id":"Q6898748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$3BBA0519-799A-43B3-9171-D836E2ED066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980f7efed2de9a14107457c66cbb4cca3dd25b98","datavalue":{"value":{"entity-type":"item","numeric-id":1972167,"id":"Q1972167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$F5DF890C-8724-41CF-AFB3-1249AB136E20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"baecf3a1d0d8ebe06dac8fc8964350963e5e2291","datavalue":{"value":{"entity-type":"item","numeric-id":6898679,"id":"Q6898679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$B70BADF9-F86D-4B62-886C-0E1F4EF64758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f652ec88ec3e1fe6ec4cd63a853e8f8dcb5fd2bd","datavalue":{"value":{"time":"+2025-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6898749$71C1EEA4-EC5E-48F5-96D8-32FACCEC5F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6898749$F61738CE-4B6C-4C75-99C4-8676B1A55119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51d647e27b28911428d1e10e901ad03eba3d6a07","datavalue":{"value":"65-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6898749$973076B4-38BB-442E-AE86-855199423F94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a0fa442a3988cf763d4abefd89507bc2e437f90","datavalue":{"value":"8122874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6898749$C4020A01-F6D9-410F-8EBE-51CEF9A5532F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e3c1ccfcd074ce8ffe37d61b99d67758426759","datavalue":{"value":"algebraic cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6898749$79A3F79E-5C03-4331-9DA7-23FC83D9C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ef9381492ce4723ea1656056498a40a050f002","datavalue":{"value":"Boolean satisfiability problem (SAT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6898749$1722C329-2ABE-4274-AC71-F4188C705AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"987406a0d340b2239a5900bf987944cd1974a118","datavalue":{"value":"MQ systems of equations over GF(2)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6898749$4D9EBB63-17F2-4BD5-836A-8123816888B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"228cd66e194d7d367111fa07aa9a94869380dd35","datavalue":{"value":"SAT oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6898749$FC870F6C-18AC-4385-AA0C-BCC6ABF6C4AC","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":"Q6898749$29123D15-D57A-4EB0-84C1-44C3E3DC005C","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":"Q6898749$0F3DAD08-B311-4BD7-ABF4-F883B739215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$905E5EFF-149D-47FE-8404-9F80B825A9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$EBE652FC-D40D-4CAA-8C72-A0F3AC4BB674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$DE499A10-6CDF-481B-A9DF-D8F207D9892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9acd3b4d6ce526eac51f8101c93b23a5ad3074","datavalue":{"value":{"entity-type":"item","numeric-id":5109519,"id":"Q5109519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$7A717BB4-C65C-4490-BA41-4E392B6A7FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71a33295add0f3a050c8e80d06a58f73f338868","datavalue":{"value":{"entity-type":"item","numeric-id":3815241,"id":"Q3815241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$295B1499-D267-4C78-B755-2C57C68A7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$9BE7927A-53E9-4E80-8523-355E01C78298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9d943d8a288d9a8c6f4e6b06869cc7b8c47cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4941844,"id":"Q4941844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6898749$41DAABEF-3EE4-41CA-AE0B-A47AF03A1EDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating additional constraints in algebraic cryptanalysis using SAT oracles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_additional_constraints_in_algebraic_cryptanalysis_using_SAT_oracles"}}}}}