{"entities":{"Q2986826":{"pageid":2997550,"ns":120,"title":"Item:Q2986826","lastrevid":85745144,"modified":"2026-06-03T11:21:19Z","type":"item","id":"Q2986826","labels":{"en":{"language":"en","value":"Short propositional refutations for dense random 3CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718110"}},"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":"Q2986826$D552E493-FD07-4972-8469-1D92E2D808BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18e1bec73af4a9c02de291d6aabe05233723dd48","datavalue":{"value":{"text":"Short Propositional Refutations for Dense Random 3CNF Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986826$278A98E1-31FE-43F1-B9CF-00487746C59E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"760dfe1fbc4609c52e63d35320c5cb590c82468a","datavalue":{"value":"1364.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986826$ACE19F9C-8C6A-40B2-99A5-B2B555F5A3E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bcb45b97176245d8531964f28f32888124fb212","datavalue":{"value":"10.1109/LICS.2012.60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986826$3508C88B-EEAC-4006-9E58-4E7DF934B728","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986826$C5B3034B-51BB-434D-8D45-159562CB20A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986826$A349200A-44F1-47AE-85DE-117DCD4FC906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986826$29B4A362-8499-4D47-BEBD-50CEBAF43982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986826$BDC3928D-72E7-4DF0-A914-6497C2E1C664","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d41c6abd106b15a69e166a67cb5630716bb92f2","datavalue":{"value":"6718110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986826$3193B2C5-371B-40DF-AD20-A0227B14B05B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986826$6AFA29FF-13BE-4102-878E-EAD752235EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f00ddf55236ec758836dfbad1ca7df761532bf","datavalue":{"value":"random 3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986826$34A3B9D3-8EF7-4E2C-ACCE-5B792E3D4605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f22c623631da003c39b0a2a559fd5c193a33a0","datavalue":{"value":"refutation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986826$CDF1CAD4-7B70-485B-8B53-7389FD2C5E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263d7f995c1e8979ae4aeab1e04000a6e97301db","datavalue":{"value":"threshold logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986826$2E364409-94FC-4AB7-A071-9CF9980B6674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986826$33B4D79E-7311-4AFF-B5D3-A7099C13E741","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":"Q2986826$EB60FF55-AAA5-4308-AD97-8B9E811C9896","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de844fb4d8b7b0d512ff48c22cba60e48ffd3419","datavalue":{"value":"https://doi.org/10.1109/lics.2012.60","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986826$012751EF-E34C-4D4C-9BC3-2DE3EA8D6F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de358b54b78ba6a55c5e81be6ff62cbcd67137d9","datavalue":{"value":"W2095069707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986826$1EC9B12C-B369-4767-9204-4C7F96BD1CB8","rank":"normal"}],"P1643":[{"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":"6e248c7a079bd38706dcd4aa84a84a96968a15d7","datavalue":{"value":{"amount":"+0.9987961649894714","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":"Q2986826$C6A870ED-E680-44BE-8359-05A7146AC51D","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":"d52604c87fd505634402ace32828c828f782311d","datavalue":{"value":{"amount":"+0.980327308177948","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":"Q2986826$14B67BCA-DFEA-4A6F-A43F-F18082A3A60F","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":"0bb24c9f1dcbbb8e0ca1f9f41ba8bc26955f2527","datavalue":{"value":{"amount":"+0.8567400574684143","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":"Q2986826$C9916163-059A-4512-A4AB-686BC8F8EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dbb18769caf5d61536c0850f31f8ff99f5ef29","datavalue":{"value":{"entity-type":"item","numeric-id":2311546,"id":"Q2311546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb24c9f1dcbbb8e0ca1f9f41ba8bc26955f2527","datavalue":{"value":{"amount":"+0.8567400574684143","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":"Q2986826$FAA797A3-BD5D-4174-93E6-1FC93C7BF1A4","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":"3574c0a87c0c7c2da35d3add8294f83c8f87fae3","datavalue":{"value":{"amount":"+0.8511428236961365","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":"Q2986826$833C7717-EE17-43F5-B613-94647BAD6DCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short propositional refutations for dense random 3CNF formulas (scientific article; zbMATH DE number 6718110)","badges":[]}}}}}