{"entities":{"Q3177819":{"pageid":3188529,"ns":120,"title":"Item:Q3177819","lastrevid":80088371,"modified":"2026-05-06T15:24:54Z","type":"item","id":"Q3177819","labels":{"en":{"language":"en","value":"The local lemma Is asymptotically tight for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912661"}},"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":"Q3177819$707DC078-DC32-46C2-8601-B8EA0E447738","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5be233e734e9b8fcac4226217fb496b172c9d16b","datavalue":{"value":{"text":"The Local Lemma Is Asymptotically Tight for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177819$48F6338A-12F9-4670-A2DD-84C88389DE37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09f1b32fb0e5ca93dd7cf2263c4c76e4d4b92ccf","datavalue":{"value":"1426.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$3B3FFDE6-2DD9-4DA4-A14D-3C96A3BFEB0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72778492c2d76c4350dfe6f37993f12242a3edeb","datavalue":{"value":"10.1145/2975386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$05E669D3-9F66-4741-92AD-3A73B082BEB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f882b74bf32f34e15d83ed334c2173fb9313dd1","datavalue":{"value":{"entity-type":"item","numeric-id":377801,"id":"Q377801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177819$C665BE14-FD17-480A-8684-4343AA0BBEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e2180975cc0441c74630baede04a356d62197c","datavalue":{"value":{"entity-type":"item","numeric-id":290808,"id":"Q290808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177819$9532ACEC-544B-4B13-8892-D3716D64F630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfb4a17abdcf37f7572da8c995af52b66fc8d692","datavalue":{"value":{"entity-type":"item","numeric-id":168595,"id":"Q168595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177819$1EFAB475-F2CA-4981-A4A4-B476B9ADBDC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177819$BAF5CD39-92FE-47BA-BF7F-75A0455902AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177819$0EFEE1EC-05FF-41D3-9483-4778E5DB3DCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4383a0df2f0b1d5b84336c4f31cadb7fb8af6416","datavalue":{"value":"https://arxiv.org/abs/1006.0744","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177819$9D0F9760-BDC9-43EE-B670-247C87F5CC19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$101172DB-A5E0-4324-914F-6B3F95AA4220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$C01F77DD-E341-4A29-83FF-A4EBEAC0F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"505dab9721154d1029d881b944cbf9d233b6d0c1","datavalue":{"value":"05D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$715834DE-3349-4714-9F13-8151FB5DB62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$336A6ABF-C3C4-4821-9BC3-77D051CC3E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$339D497C-2662-4451-9123-155EFA826E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d7effa193a76ec914f4212a3323846609743b56","datavalue":{"value":"91A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$96626876-E4C6-4A34-B3D1-071FBE2AA2FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55bb1aecff6d80397c00f77ff308af3d781a211e","datavalue":{"value":"6912661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$D24BE1C9-4FF0-4E3E-AA37-597E3BED1D1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a744d072ba0b2c1bb3e3ba24fb21b2c809bb95","datavalue":{"value":"local lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177819$EBD953D4-DA37-418D-B9E0-3A496CC01E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39911c6eb3357797f71228694114dda795773934","datavalue":{"value":"extremal combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177819$113593EA-476F-4B4E-A005-7D423DECC767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d820937f63203ad5a2bb7cd8f7879dcad7071fe","datavalue":{"value":"satisfiability of \\(k\\)-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177819$9BD50622-3263-479C-9F18-A8416023A577","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":"Q3177819$02C0E2FB-D013-49F2-9FE1-87B239D9AC39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb24478e00b54ab60a532797860ee7c537e554fb","datavalue":{"value":"W2395370258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$261B1B17-9FBB-4286-8183-24DCA621867B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04039a17582e42553373db5cbd4334a68e2239c0","datavalue":{"value":"Q124807321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177819$4E4E6E4E-395B-4B3B-AE23-47EFB17F1E9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed2bb46d20de8e3a87b84b71be121989b490e13","datavalue":{"value":{"entity-type":"item","numeric-id":5365071,"id":"Q5365071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c2dce48ec61737be06e565bd76c05c61e30c60","datavalue":{"value":{"amount":"+0.9523066878318788","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":"Q3177819$293F249F-79BD-487A-9E2A-C0603CA2A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3399ec7c4fc852c4b37e2d0443a8ec6b83c65c9","datavalue":{"value":{"entity-type":"item","numeric-id":5172728,"id":"Q5172728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af62ff496185c25202bc34259662b3a8eec511cc","datavalue":{"value":{"amount":"+0.8290203213691711","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":"Q3177819$ED593E13-C507-4B70-8564-05DE60A62BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56922a4e9d51d5955bc9357b679e25f77a23d847","datavalue":{"value":{"entity-type":"item","numeric-id":3639289,"id":"Q3639289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786565fc14fbc5e78c28c747e3133c1416d35c93","datavalue":{"value":{"amount":"+0.8204965591430664","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":"Q3177819$2C42A1A7-00BD-450B-9586-8BB9CF56E749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b64650dd5dd9a05df688021226b42a83ebc949","datavalue":{"value":{"entity-type":"item","numeric-id":3644712,"id":"Q3644712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ddd39b6e375b966939711fbb3aaf7c15f7f292","datavalue":{"value":{"amount":"+0.8161302208900452","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":"Q3177819$81100CD4-C804-45EB-90B0-D1A3CF1FA5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936eca7d4aed794bc0f4dc7fba5ab757c28c4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5417683,"id":"Q5417683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631336867e22d89092dfd30edad5dc67b69e50c3","datavalue":{"value":{"amount":"+0.8130699396133423","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":"Q3177819$CD6E54E1-3066-4F4B-81C7-DBE50249D96B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The local lemma Is asymptotically tight for SAT","badges":[]}}}}}