{"entities":{"Q894453":{"pageid":896301,"ns":120,"title":"Item:Q894453","lastrevid":65156997,"modified":"2026-04-12T00:41:24Z","type":"item","id":"Q894453","labels":{"en":{"language":"en","value":"Improving resolution width lower bounds for \\(k\\)-CNFs with applications to the strong exponential time hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515009"}},"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":"Q894453$19E740B1-5937-455E-88EB-2E1E43645FCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc126823e72f1066b9452b376b16918b0bbbe23b","datavalue":{"value":{"text":"Improving resolution width lower bounds for \\(k\\)-CNFs with applications to the strong exponential time hypothesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894453$7CDB33A0-4F06-4133-A14C-C1C4CD8AF09A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d342d49efc5cb2a100e34d2123711ac5aaef5fbf","datavalue":{"value":"1346.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$AC85F2DA-3375-4CE4-8581-64C261551A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$A396926D-98C7-4782-B2E1-0228E6D94B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9896ab75162544856a6fb3b10335bf8d1ef06c06","datavalue":{"value":{"entity-type":"item","numeric-id":894452,"id":"Q894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$F87B4D62-4F35-44B9-AFF0-910C55FF09DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$DAC2ADA0-993A-4B4C-B61B-31D67536BCA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da855e53f2567d39cf3030e0ffe950af64a120ed","datavalue":{"value":{"time":"+2015-12-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":"Q894453$C8B20BBE-4576-4B8B-A344-3D608FAFAFC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$5E60614A-36CE-4C0F-AFFE-ECE259169D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$11F96FB3-22D1-4C42-B2F7-C1D0469F661F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$DF43DBEA-EBFA-46B5-8C3B-75C7C66824A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$D1E2C464-9619-4924-AC26-8F282FE05C7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f53af1c4e78c76bdb1e3a0dbf3fc3f705506a9ba","datavalue":{"value":"6515009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$E065992E-EC30-4BAF-8E5A-6781B76CFA3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q894453$013A2261-DD24-4103-AB9B-136F09C59B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q894453$5F647F91-C9CD-4320-8DD1-E6B8C94E70C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q894453$2F47FC29-0DB8-4740-8405-EC418F01BA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6875ec2def16b48a9065ad482b76c42c8d93cde","datavalue":{"value":"strong exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q894453$3ED39856-CA33-4D5F-BBEB-E1C5C76A980D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ce1d6d7712f436e81b62ecdb5a7127f9c4d806b","datavalue":{"value":"Q61732565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$6A6B1878-44A5-4DA2-B696-58346EF24532","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":"Q894453$8326A428-75C7-4646-B677-C4D751E1DEFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1095bbbb950040d14018be1d4d1f45cc4b55ecfa","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2015.09.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q894453$929F5FC2-589B-4CFD-AADB-BAE082D6FFA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5c60a85c2ce1eddb4b7411138bf14a8a0309a28","datavalue":{"value":"W2150412474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$A2D9FF2C-B4A7-4690-BE33-1E0BDC3D9EE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"143130260887422a871415146d6e17c87df04df7","datavalue":{"value":{"entity-type":"item","numeric-id":2444907,"id":"Q2444907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$20C43A33-CEA3-4580-AFC9-04D0492C44EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879da4a42c15f2d8963e9ae87cc161e327d5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5495819,"id":"Q5495819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$96586E2F-50ED-4E4C-9508-522E410EC5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$350BC521-F128-4021-B978-1AE0C6AEDF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964933a5306ce7f04f07b5387ca8d25c89eced61","datavalue":{"value":{"entity-type":"item","numeric-id":5741800,"id":"Q5741800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$DEA17A1B-9D06-4767-B099-5DB9CBBB3B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$D2CD5B51-918E-45E3-AA6C-2EAA65ACEE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21151cd03525ca9e174b285b75395f4449a7e97","datavalue":{"value":{"entity-type":"item","numeric-id":2576880,"id":"Q2576880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$4261D35B-3D8D-4D2C-83D8-E2A4AB024C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$0B49DC27-B841-4364-B934-56A80FE643A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894453$23B6DCA6-3A0C-4C68-AC8B-4E9BA65DDF89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad7c5873a99960828b896f5a73a56fb0d4c2051b","datavalue":{"value":"10.1016/J.IPL.2015.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$375BE25C-6CE8-400D-A776-0F564C829EB7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9d16734df799ee31baf9a7813be2416ebb8eed3c","datavalue":{"value":"journals/ipl/BonacinaT16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894453$963F80AA-92C2-445E-B7FF-16C9CDB44291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d639964292ac619a23609ae5651f4c7eb5b53d13","datavalue":{"value":{"entity-type":"item","numeric-id":5495819,"id":"Q5495819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08f88f5467f8e665c6a81ea24f5e3d6abbb2187","datavalue":{"value":{"amount":"+0.8418923020362854","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":"Q894453$ECE27E8E-0225-44D0-8689-0BD132D6785A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78201d52a3f3cab848022f18dc228640f3e9197","datavalue":{"value":{"entity-type":"item","numeric-id":430840,"id":"Q430840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03972f3ce205b0b17049917a9c870e3b8c9f1e00","datavalue":{"value":{"amount":"+0.8000010848045349","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":"Q894453$42A6CEBF-EAAD-41E3-9F9F-E466677EDC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f516eac6c6d7a6bd550c57aecc986ef120aabe7c","datavalue":{"value":{"amount":"+0.7901021242141724","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":"Q894453$7C9A987E-4F98-4C4C-AA54-2A9FF7E78902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af2040f85b0672f51db679d2aea3d3e60cb66aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d751479f94d4b6dc885209bb9ac7a1fc0b2cc3d","datavalue":{"value":{"amount":"+0.782710611820221","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":"Q894453$9B5DCB85-B944-4A64-AE51-13BEE837129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ceb042a21e684ca99faa892e11737d2b0e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dfafca7e5e4d8fe7c054d07575e55bc87ce1c0","datavalue":{"value":{"amount":"+0.7821068167686462","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":"Q894453$2DE02C41-D723-40B8-96B2-C604D667E6EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving resolution width lower bounds for \\(k\\)-CNFs with applications to the strong exponential time hypothesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_resolution_width_lower_bounds_for_%5C(k%5C)-CNFs_with_applications_to_the_strong_exponential_time_hypothesis"}}}}}