{"entities":{"Q1977757":{"pageid":1988499,"ns":120,"title":"Item:Q1977757","lastrevid":47475487,"modified":"2026-01-01T20:33:45Z","type":"item","id":"Q1977757","labels":{"en":{"language":"en","value":"Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1449098"}},"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":"Q1977757$3B4CCB57-FFA8-421E-971A-08F1A87654DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9bdbb968bd0e20c1d0ac15260abcf8b914a35eb","datavalue":{"value":{"text":"Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977757$2B59D0A7-A2D5-4504-BA49-99F93D78DCAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a58a665ba7ebc71b394d00327aa729ab91796fb","datavalue":{"value":"0968.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977757$F9BB0DD6-2D4E-43B4-98C4-888C9F49F658","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0a2d229e638a13c52f688b5343a2d35eba1ac5f","datavalue":{"value":"10.1023/A:1006326723002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977757$DB3202EB-0B73-44B7-9F8F-4F7852D9BFCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd8358f34fdd94323fe17d3e8928b2b07a4e9975","datavalue":{"value":{"entity-type":"item","numeric-id":861697,"id":"Q861697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977757$382FC70A-F230-45EC-BDB3-D4570DA10FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0ff20b72d8d254666e616cc5c92346d280577f","datavalue":{"value":{"entity-type":"item","numeric-id":1977756,"id":"Q1977756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977757$027B1145-620F-4490-A566-F749569B6A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977757$BE9F5D1F-6511-4816-95FD-099E21B4D633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba59cc8ef51c6aa454f4b268e86093eec346eb7a","datavalue":{"value":{"time":"+2001-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977757$F5D6FA22-4A40-412B-A0F9-1FC5ED5A2591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977757$90B8F8AF-E422-4D05-A3EA-7E3E8E2F45CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f372f58a3be7125604f1beca401de51dbb651000","datavalue":{"value":"1449098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977757$C15D8A59-76FE-450B-9601-E290D922483E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc6662f464594a62dffa56af423367fba4b6a30","datavalue":{"value":"logical cryptanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977757$593AEF53-4574-4BBB-8087-48355663543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fed1f3a67b898d7d43ee0f709d2fd7e4d21403","datavalue":{"value":"SAT problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977757$F3885ED6-81E0-4DC9-85C8-E0A9E7291673","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977757$D09CC486-83CC-4E58-ABC3-466E1B9EB769","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":"Q1977757$B5055EB9-2D78-440C-B726-FD03614C168C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b61a9948419356907722c40ba8610987f371692","datavalue":{"value":"https://doi.org/10.1023/a:1006326723002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977757$F886D912-8E20-40B0-B72D-1EB36FD59D59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a7d56a5511c65a8a8f77db5f3519d96146793f3","datavalue":{"value":"W1583771634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977757$9790F14A-61D7-47EC-93CC-64D53304A3C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fea0cd4e3a066a51dc0df80e1681f5e13bdb718c","datavalue":{"value":"Q56040398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977757$8394EC88-27EA-4849-BE47-0ABDC867E8D6","rank":"normal"}],"P1643":[{"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":"d1a7dc9117f20edc4d4b82696799b0dfc51e750b","datavalue":{"value":{"amount":"+0.9900431036949158","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":"Q1977757$0BE636F7-F3D0-42E4-8F4E-2E5A11B27CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1beaf82fa9432c27de25c07de31b5d1679d2e2d","datavalue":{"value":{"entity-type":"item","numeric-id":1408375,"id":"Q1408375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a7dc9117f20edc4d4b82696799b0dfc51e750b","datavalue":{"value":{"amount":"+0.9900431036949158","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":"Q1977757$52F5BBEF-63C2-49F1-95CF-FC5C148596A4","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":"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":"Q1977757$E792A40C-FB92-45CF-9947-BD638CFC42CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3125bf879438171e64ac4ca51424f29acd12a9","datavalue":{"value":{"entity-type":"item","numeric-id":5491900,"id":"Q5491900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6166bfd4b6e80fbdcee7732a4e4ffc7d5dee5e1d","datavalue":{"value":{"amount":"+0.8194501399993896","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":"Q1977757$3182CD64-D42C-4D1F-A01C-7F5EAA3550F3","rank":"normal"},{"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":"80725b8434faad08685dcf9f3e90e991aab965cf","datavalue":{"value":{"amount":"+0.81064373254776","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":"Q1977757$60F1F571-3B75-40ED-BCD6-183379B15F1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1977757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1977757"}}}}}