{"entities":{"Q2840534":{"pageid":2851254,"ns":120,"title":"Item:Q2840534","lastrevid":51776993,"modified":"2026-01-19T23:47:11Z","type":"item","id":"Q2840534","labels":{"en":{"language":"en","value":"Note on strong refutation algorithms for random \\(k\\)-SAT formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6189807"}},"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":"Q2840534$B9F0D5FE-B4EE-4909-9C1E-27F54FF99BD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"080862130057f0c7af3b321914be2b07690449bc","datavalue":{"value":"1268.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2840534$C089838C-B820-4DD9-B6A9-6C2DE39EE925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c514f0129f0a519d80e88453ebd823fb7dc9b6ee","datavalue":{"value":{"entity-type":"item","numeric-id":271782,"id":"Q271782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$6003B383-E074-4107-B6AB-B84A09E96638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2532270aa021c282902fb16beb1092e301044e83","datavalue":{"value":{"entity-type":"item","numeric-id":290807,"id":"Q290807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$B18AAC26-79B7-4A6E-906D-B50727A1EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"593083695f46fe82f0f9df972be5bb5705c615f8","datavalue":{"value":{"entity-type":"item","numeric-id":273185,"id":"Q273185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$A7ED6394-5668-4307-8D64-C446AA3D5C2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a136d04e761e9859ba9ed38b65864112febfa028","datavalue":{"value":{"entity-type":"item","numeric-id":111211,"id":"Q111211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$728AA9E4-1507-412C-83E7-A3B8D670B533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"088890f9b4ff718d86d26dd0e453fa439be94488","datavalue":{"value":{"time":"+2013-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2840534$0EC360BF-5675-4512-B36B-40E1E2B1002E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2840534$C1A19199-F712-460B-BFF9-FEA11AAD839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2840534$B34A6133-C4E3-4330-9331-497BE372B106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f5139b012601b91f532cba50e75bdb9a85d1e9c","datavalue":{"value":"6189807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2840534$0F647EE4-E594-4685-9DDD-7A9AD7987050","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":"Q2840534$E1F5A86E-8848-4924-981B-25D751DA59E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75b8b1a1064540352868e5a241e3a10c6f56480c","datavalue":{"value":"https://doi.org/10.1016/j.endm.2009.11.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2840534$839222CD-6319-4CC1-9D0A-69B60CF6A637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da893422ce5990e489459955c9e841daa461d341","datavalue":{"value":"W2080793500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2840534$54140879-75A8-4067-92C5-E9ABEB521490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4f87f6490de65c063dc79977275f835623f61e","datavalue":{"value":{"entity-type":"item","numeric-id":3058542,"id":"Q3058542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$FF1BE3B6-3E2E-4476-8A18-C6E094AF6B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70e921e127389265a1af5ccbde756245ecc6f18","datavalue":{"value":{"entity-type":"item","numeric-id":3429738,"id":"Q3429738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$3DDE1EDC-EB2F-4A32-8A29-DADEA0A7B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6b873f4fb4059874dff0dfbc6623e9f1216fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3119042,"id":"Q3119042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$F1706EE3-286A-4162-8063-02722D0B6787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2302f8b1154a95a099756c11ada112026323ac","datavalue":{"value":{"entity-type":"item","numeric-id":3002778,"id":"Q3002778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$E1505C7C-0295-4040-BCF5-5BDB2293C87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28588578bb09af0b4bf0a3281ab6c8d321eb619b","datavalue":{"value":{"entity-type":"item","numeric-id":4519896,"id":"Q4519896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2840534$688C78DD-33D2-4CF6-9FAA-CE4A2B4F35B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96af18451e3d0241ba5c3e086e1bcbd936c8920a","datavalue":{"value":"10.1016/J.ENDM.2009.11.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2840534$C541E489-583C-4635-A521-CCEADCC6B863","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08474c61b2160a1ef7457182044fbce2a02b6830","datavalue":{"value":{"text":"Note on strong refutation algorithms for random \\(k\\)-SAT formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2840534$27D98F17-FD0F-4470-93B2-FD9C8369F3EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff9af2f57ad16528c4e30f341a00611c82b82a8","datavalue":{"value":{"entity-type":"item","numeric-id":5313034,"id":"Q5313034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc686291ed3dc2f76bca19676252336a88c64c4","datavalue":{"value":{"amount":"+0.8784881234169006","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":"Q2840534$111C156E-1A39-4121-AF92-3848CC103A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975b1febd6fa2bab38cb5a5eeb3a9b89db312853","datavalue":{"value":{"entity-type":"item","numeric-id":3429738,"id":"Q3429738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e305e08bdc9d889c63869999c313fde3a9ca6a","datavalue":{"value":{"amount":"+0.8753822445869446","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":"Q2840534$7D973B96-D3F1-490E-A709-5AB3491ADB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3917e3e7fe2dc83b3de6c719e805f0e55c1c890","datavalue":{"value":{"entity-type":"item","numeric-id":5466490,"id":"Q5466490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52a9c48da14548e0f09ea2bd8bec4c5c80dc669","datavalue":{"value":{"amount":"+0.8390907645225525","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":"Q2840534$61429BCC-7EF8-42E6-A92E-1B8C3CA5AADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152428746665ac5db74df1e440a821d08cbeb7f6","datavalue":{"value":{"amount":"+0.8347703814506531","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":"Q2840534$2F4B7968-8561-4871-91C7-39C39AD44A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8a9635fbb364cca9516f92e620ee63245068d6","datavalue":{"value":{"entity-type":"item","numeric-id":3002778,"id":"Q3002778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4cf9f42974e35dd7b6ba2711a863a5fc8ce97d","datavalue":{"value":{"amount":"+0.8339022994041443","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":"Q2840534$CBFC9A8C-EE06-47D6-8966-62B498AE40C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2840534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2840534"}}}}}