{"entities":{"Q430840":{"pageid":432607,"ns":120,"title":"Item:Q430840","lastrevid":61777818,"modified":"2026-04-11T01:35:25Z","type":"item","id":"Q430840","labels":{"en":{"language":"en","value":"Lower bounds for \\(k\\)-DNF resolution on random 3-CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6050361"}},"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":"Q430840$831FC8A3-DE1C-49F9-9427-8D6FDD106292","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66024923e85ae0854106437747ae0da5c08d59a4","datavalue":{"value":{"text":"Lower bounds for \\(k\\)-DNF resolution on random 3-CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q430840$DBE7EB77-F4DA-4673-B7E6-34F91BDEBBBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94a425834861ef750a6a102c29ebc8e57f0ecbe9","datavalue":{"value":"1252.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$95EDCD57-25E2-4EF0-B80C-4E279A525B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda6b61323c36da4336c78f2a00f81b412a8cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":430822,"id":"Q430822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$DEECFF28-75B3-466F-8E6A-2AEA812B8B35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$1572F25F-3AB6-4C53-890F-4E700EDB7918","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f03a3c04b271440e0460d17b6cd1c270f9267efc","datavalue":{"value":{"time":"+2012-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q430840$2A19F267-1D6E-4E97-9750-E866A929BF86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$66D83444-D516-4BE6-AE73-F088CB6F14EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$BE25040F-CF6C-4F2A-AAAE-2A964D90912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$3B59F87F-4FB8-4BF9-9443-FCBCDF47D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$A6C21016-EF4A-4012-A5D3-A5472B0AA912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5512f1e4add77b0f26c4317b25ac6de281d3a811","datavalue":{"value":"6050361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$549BA5A1-25E1-4F01-9574-6E932D7FEEE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q430840$65B0AEF6-9A15-48C4-80B9-C00C07F3ED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688898b7f0914fbe5b8d434554ba271e0889e596","datavalue":{"value":"random CNFs","type":"string"},"datatype":"string"},"type":"statement","id":"Q430840$B07C6FCF-CFE5-4F96-8940-B715168725B5","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":"Q430840$5C0D67BB-CCB8-4406-BBDF-1295626A73D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b97b66d42347827ed780a0416b25951cf0e229","datavalue":{"value":"https://doi.org/10.1007/s00037-011-0026-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q430840$5B4073EC-11CF-42B8-9120-4E77972FBCB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74be674be94ae26baff324e1824601c72913f9c4","datavalue":{"value":"W1992239490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$B65777D0-6D39-4A17-93A8-598E3C165ED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50621bbf1c084d93515abb8fb9d0b9bcc1e49ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$9BD955EA-EF86-4068-BC72-F48F8007DA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df499f57db6ea2558ea92ba2027ece7930c8d74","datavalue":{"value":{"entity-type":"item","numeric-id":430838,"id":"Q430838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$3C5CDF4A-9FDF-4FDF-B9AE-E18B83288064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903cfb127485280b18c88c71ebe9ff101a703258","datavalue":{"value":{"entity-type":"item","numeric-id":862399,"id":"Q862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$06F02BC9-9719-41FA-B31F-E26910F85E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dce6c4e91f261ac3ef4f20f30b6bcb71a22e70","datavalue":{"value":{"entity-type":"item","numeric-id":4681889,"id":"Q4681889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$D89BEF36-E634-4F71-8C5C-BCB10EE77195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cfde3d28bdb7498ab0195cc0775857113fa16a","datavalue":{"value":{"entity-type":"item","numeric-id":1854546,"id":"Q1854546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$06D887D8-D0A1-4B2E-9C8B-72B15D916063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$71DD221E-67E6-44AB-97EB-2F2A68BEAAC5","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":"Q430840$264C8776-AEAF-4444-83ED-7433F39A4F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$C28B1B07-B297-4A19-A029-361DEB9998E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a157b93c6843fb22f2ec11d758cfb4e2cce5cee","datavalue":{"value":{"entity-type":"item","numeric-id":3579211,"id":"Q3579211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$7B273B77-B299-4A18-B935-C3BEA2FC79F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$42814EC9-D874-4B4B-8CA0-7122CCAB247E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$146114BE-E14E-4C19-8CE3-75C576D7D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q430840$82FF63F9-A226-4D39-8045-3603F3DAE456","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e5cb0b66c229771467e012230d9e11f0e6c10f8","datavalue":{"value":"10.1007/S00037-011-0026-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q430840$7A341227-7832-439A-B89A-D19BBD29EF4E","rank":"normal"}],"P1643":[{"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":"cc3f2113975ec27a99addf89aeda1fcc4996ddd1","datavalue":{"value":{"amount":"+0.8563298583030701","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":"Q430840$710B0983-F367-42D7-9FC2-3759BE38491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718be920d7403bd2d7a4249abfb01602ef6f15b5","datavalue":{"value":{"amount":"+0.8541446924209595","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":"Q430840$EF303644-A8DD-469B-BC3A-14CCDFAB794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e5cf6a11b9e84f6c8c2b28920dd1310b8c74b4","datavalue":{"value":{"entity-type":"item","numeric-id":5111131,"id":"Q5111131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718be920d7403bd2d7a4249abfb01602ef6f15b5","datavalue":{"value":{"amount":"+0.8541446924209595","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":"Q430840$C0B18277-1A3F-4C62-81AB-731307D09F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92efdee555ab22f176cea1501ed1d823066cc0ca","datavalue":{"value":{"entity-type":"item","numeric-id":2939527,"id":"Q2939527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b08710285508b5adf5cfdfca933e6939d401644","datavalue":{"value":{"amount":"+0.8321225643157959","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":"Q430840$AD9A6FA6-88C4-4D6D-A4A0-E76AD967BA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72ebd5ba42a7b350c8370f88997b631f6111f57","datavalue":{"value":{"entity-type":"item","numeric-id":741088,"id":"Q741088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37baed2ce6f0829f2d55b68fefbcae841944640","datavalue":{"value":{"amount":"+0.831000804901123","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":"Q430840$D19265C1-FCF8-4020-A96C-C32B9E392306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for \\(k\\)-DNF resolution on random 3-CNFs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bounds_for_%5C(k%5C)-DNF_resolution_on_random_3-CNFs"}}}}}