{"entities":{"Q2843337":{"pageid":2854057,"ns":120,"title":"Item:Q2843337","lastrevid":79615622,"modified":"2026-05-06T14:19:53Z","type":"item","id":"Q2843337","labels":{"en":{"language":"en","value":"Exponential lower bounds for DPLL algorithms on satisfiable random 3-CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197764"}},"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":"Q2843337$19E799A4-021D-49DD-A431-47A23C0443B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"722caabbba731b32467058069a3cdea3ed19dccd","datavalue":{"value":{"text":"Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843337$B908DFC0-D656-4E99-A023-213C810043EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c69802438b0177596c44dba6c10607e44aa484f","datavalue":{"value":"1273.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843337$436D258F-347D-4781-8795-C8469A9C1F9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7875928a46e1b7441bda870f812bb23b0f6698b1","datavalue":{"value":"10.1007/978-3-642-31612-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843337$20B6D484-2079-4CDC-B972-DE6F92A75EEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd1f7484c4e33a8ad0d6c533729f71248e184479","datavalue":{"value":{"entity-type":"item","numeric-id":2843224,"id":"Q2843224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843337$16B98435-C8BD-434D-879C-D8417A3D072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"811c6e48c8527aad0374f54e7524c11ed95f7784","datavalue":{"value":{"entity-type":"item","numeric-id":1356725,"id":"Q1356725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843337$9E92326E-DEBA-4F82-97AC-E48B27F44DAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843337$81D85B07-4939-44F6-9743-498004D405B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843337$4493B3A2-58F8-4B88-B2F9-3FB50018B9F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843337$4FDD0EAD-F3E3-411E-B7E8-470D0AFD7CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843337$389772E1-64BC-4843-A1FD-8C0A7ABC41D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7918fa86e9b64dbee83a7be05cc66b71baae6e5","datavalue":{"value":"6197764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843337$48597163-7AA7-4430-8775-4CC643EAFB70","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":"Q2843337$FD9B263F-1DF0-484E-9049-E4D80B05C70C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebd0d8b569810c06400c1b29181dfaf47e99d279","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31612-8_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843337$2A424F87-118D-466E-BE5F-9AEDA4BAB884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4da6e79e4ac4d0120e87ad0f8d866dca6af6a1ec","datavalue":{"value":"W723740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843337$75833506-307A-403A-BB2D-9C35DAE02387","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c3fd3e24d2a849d90e42d6bd2de2e95bd73a5","datavalue":{"value":{"entity-type":"item","numeric-id":5501251,"id":"Q5501251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155a5232b7b9ff05b63a8a67a053eae719bedf91","datavalue":{"value":{"amount":"+0.9255200624465942","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":"Q2843337$B4BA99D1-1B53-4907-9467-C90193A8882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9418863af074efd172cb3ea566f4ff571cf982","datavalue":{"value":{"entity-type":"item","numeric-id":862399,"id":"Q862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1541b7c2755f7a18909926c2a091c1de129cba","datavalue":{"value":{"amount":"+0.902643084526062","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":"Q2843337$7EBEB3B2-225A-48FB-8171-0A6BE90953FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1f4345d84abcd2f8502e6a44a0a7defbfeb5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5466449,"id":"Q5466449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe13dbfabd898045d97a0591fd3bc3a96722e15","datavalue":{"value":{"amount":"+0.8968322277069092","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":"Q2843337$19FB0A0E-DB25-4256-A3F1-BB10903F75DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa7bdae693216d7f67ac726ebf3ab505aaf4170","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0469ca998a782c9a8132dcd202b0360f3066907","datavalue":{"value":{"amount":"+0.8366003036499023","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":"Q2843337$36CF2212-44F1-444C-9392-BAB26C5A8A31","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":"697146c43911e4446d6f7f39164f7b6a048269dd","datavalue":{"value":{"amount":"+0.8363202810287476","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":"Q2843337$DA260226-D2BF-47BA-AE0F-01D675E7D27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exponential lower bounds for DPLL algorithms on satisfiable random 3-CNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exponential_lower_bounds_for_DPLL_algorithms_on_satisfiable_random_3-CNF_formulas"}}}}}