{"entities":{"Q5889793":{"pageid":7919343,"ns":120,"title":"Item:Q5889793","lastrevid":93297605,"modified":"2026-06-05T04:09:38Z","type":"item","id":"Q5889793","labels":{"en":{"language":"en","value":"Random  \\( \\Theta (\\log n) \\) -CNFs are Hard for Cutting Planes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7679915"}},"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":"Q5889793$7108F86E-8792-4514-92B1-4F8467B25578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c569c016ec8c03b4ed61fad7514af6f1318c5aca","datavalue":{"value":{"text":"Random  \\( \\Theta (\\log n) \\) -CNFs are Hard for Cutting Planes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889793$C7B3A366-EE97-4EE2-A35F-15F700405F42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a84b32cdff36a827af305289f1a09f70dbca21f7","datavalue":{"value":"10.1145/3486680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889793$3DC186C4-BDE9-440C-A986-C51775AAE260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f850ae7df04416aca3352cad84910720264bc00","datavalue":{"value":{"entity-type":"item","numeric-id":2118319,"id":"Q2118319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$9443F165-28A0-4364-8EE0-2E62E11ACAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f568b25abad163d7f6668ff0f291ce0125f9e4e","datavalue":{"value":{"entity-type":"item","numeric-id":504998,"id":"Q504998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$64FACA49-DB48-4795-83ED-DE9A62FE6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$A4736E1C-893A-40CA-9668-7D511659642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7749ea419a7c3b783242f22f32dec4d05237622f","datavalue":{"value":{"entity-type":"item","numeric-id":2040599,"id":"Q2040599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$FC8867D8-2615-4C16-9718-54252B405AB7","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":"Q5889793$4EBE39F5-DE4B-493E-9A9B-5B7DBBA6DC49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889793$E211DF12-5D83-47F3-9431-90A7B01ADBF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889793$F95B6601-8A39-482A-829A-7E014DAEC172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"262fdfa6b2eacfa5ff28d222afe6d2bfc6a0842c","datavalue":{"value":"7679915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889793$5DDC3ECD-ABE3-42E3-A891-E023296D64F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9161657d5fba10184ab322fd0fcb2b7c61ba9274","datavalue":{"value":"random \\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889793$7E3A098E-3C97-404B-8498-7B078AD6DBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889793$CF9F426F-8D84-4BF0-ADAE-BDC14CC50EB4","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":"Q5889793$1ED9D251-96E3-4465-8827-05CC6654C208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f69532be17b1a8e3c77f81320b02d8bbd26b38d","datavalue":{"value":"https://doi.org/10.1145/3486680","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889793$9548C46B-E23E-4C9C-B499-AE9EA257FAD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb01bd08c62eaf49e3894766665826b079e5ef90","datavalue":{"value":"W4280555761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889793$8180B292-BAE8-4906-B707-E0324D217A21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85446647c93831c8769297549b4e387bf4a6c96c","datavalue":{"value":{"entity-type":"item","numeric-id":3581425,"id":"Q3581425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$AFB78E68-777A-406B-BEDB-765C0032D25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4799e5a32c687eea79d573479ff8c58240f3cb62","datavalue":{"value":{"entity-type":"item","numeric-id":4004078,"id":"Q4004078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$CBDBF00A-3C38-4021-A9C0-9B83FC323B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf145945e6351d288a7092df75a6ed9d5c29a594","datavalue":{"value":{"entity-type":"item","numeric-id":4993273,"id":"Q4993273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$F1A3745F-DB25-42B5-9938-1AAD0D9454CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750fa538d03579aa1b66f16d8b7afe303f516f87","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$BE692E93-8004-45A4-B4BB-EF808FCA3391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$A0E6C0F1-E760-4970-8A43-6D7135458B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f03ded50291ec566e3ea20732155eb198bbf","datavalue":{"value":{"entity-type":"item","numeric-id":626686,"id":"Q626686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$B98224C8-0376-4A40-B5F5-6964AD46995E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709e1d50f070be223e0da473cbb355b87f902cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1300606,"id":"Q1300606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$0B91866A-B83F-42AB-A869-8D1842DA83E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$F19DA492-EF10-4118-A61E-38B76843636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9316bc21130945e76158a0803667b9b47faaef","datavalue":{"value":{"entity-type":"item","numeric-id":2557712,"id":"Q2557712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$7BE525D6-1AB1-4ECD-9C5A-CD726D9CF091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$5D853029-8AC4-4FAD-BF26-510A77148548","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":"Q5889793$A841E1EC-847E-480D-BC0D-022441B50433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$AE17A4B0-2027-409F-8067-64D3808FE7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe282b489426dab4b9f605316f84fa27f6d0a473","datavalue":{"value":{"entity-type":"item","numeric-id":5092485,"id":"Q5092485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$83BF17E7-9B14-4368-9EB1-812F8AA3F280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7955c6e632c62fc5b965c85834c4907eadec4719","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$AF84158D-4F83-445F-A367-BA7057AC7C39","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":"Q5889793$28295F24-2568-45F2-9798-F099925E18D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766be265e2ff76c1734e59a38c8ffc751fee1d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4601887,"id":"Q4601887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$4386910E-E4D2-488F-A2A4-7E1C87BAB759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85e2ddae5ac0eda8582baf5fd7dd5e3143f96ad","datavalue":{"value":{"entity-type":"item","numeric-id":5889793,"id":"Q5889793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$58739A0A-4F1F-464D-973B-0324FFDD5772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$6B11394D-FA02-42F3-9248-81BDF859855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$1F4BC234-B126-46BC-B36D-3045367BA352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4960d97c11c0cd0f282650fb582b7cd310577033","datavalue":{"value":{"entity-type":"item","numeric-id":3256638,"id":"Q3256638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$06408A24-0A67-4BE5-B480-8FAA5C3DFF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184948c4f8242e28a56586a18dc4dd7ef1d6a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5259621,"id":"Q5259621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$9A00DCEC-036A-4990-A52B-E5E73CBFBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f3592150048822b9dd2ff2427ca2c5074fd1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1288204,"id":"Q1288204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$A137A2F8-6A30-4604-A172-4CC54D59F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7f00af17a7c3b7b43940272b7ad5423f269455","datavalue":{"value":{"entity-type":"item","numeric-id":1685020,"id":"Q1685020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$EDCE148A-B72E-49E5-8137-2D394D3745F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$D3AD7966-6C38-46DE-A49E-9B959F7B734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$314889B0-BC3E-4AF3-852E-2AFE8E3F78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$77DF153C-39D0-4B3E-BE4A-1D16F22DBDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$C37EEB2B-A3DD-4FDF-A659-C7E58D44240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39af6d749a3f99e16c269c33ce775167c7b936c4","datavalue":{"value":{"entity-type":"item","numeric-id":4224078,"id":"Q4224078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$8E2E13A9-CF31-4CD1-9299-2E612E4D7E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$447CCAED-D1BD-44C1-8E24-9FC0142DBD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49daec6523428d0d5fc1a0ccfa0cc6b1fd06a52","datavalue":{"value":{"entity-type":"item","numeric-id":1751424,"id":"Q1751424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$8BE986E0-8EFC-49A6-95B8-2E740492B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bde4b025fbab0e314d967e2b84c5779cb3c464d","datavalue":{"value":{"entity-type":"item","numeric-id":4764348,"id":"Q4764348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$BEDDEADB-8E19-4FD6-93B8-FEA6E5673697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba3bd74ef41e0757015be3b53bca7ad9cb71ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463630,"id":"Q5463630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$B91594D7-EFA2-4917-B64F-29BCC400A50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$EEECFF3D-78D8-4A4C-AB66-E0FC4165EC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f00391d6550986bc76041b5e4ff60f4bb989a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1977414,"id":"Q1977414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$5D3ED189-43C7-42B5-B17F-3B2833AA7ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$3A42302A-108B-4104-90F9-53EBE4CC0E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$714D4336-BD4F-4AF7-B3D9-D648AC919D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889793$81046CF1-F87F-4822-96D6-369A4C86D616","rank":"normal"}],"P1643":[{"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":"dacff34571d0eaf37b8c32eafa1b76ac56ed2a78","datavalue":{"value":{"amount":"+0.8496740460395813","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":"Q5889793$6A0D104A-F872-44DF-BB30-8731984BD714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be30e49cb3d8efc2d8a86447e118e6d6fd0706c","datavalue":{"value":{"amount":"+0.8230797052383423","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":"Q5889793$87FFDF35-244C-4663-93BF-3B73C56725FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8704fbbc5bc889cf64881a5cb2a40f7cd9e78d","datavalue":{"value":{"entity-type":"item","numeric-id":1887710,"id":"Q1887710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab879efe90fc4fd560233a135a8941c2eb82e154","datavalue":{"value":{"amount":"+0.8146579265594482","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":"Q5889793$3E07504C-59B1-4F41-9004-7682DC48E9BB","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":"51c06b0c9e569ebd9abca7cf2ecd9c70fb6b1913","datavalue":{"value":{"amount":"+0.8109756708145142","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":"Q5889793$334DDC15-B8E4-423D-8017-C4332D77EC5A","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":"cb74834d5f80d7dd732b03360eb04cc3c188dfce","datavalue":{"value":{"amount":"+0.8073022961616516","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":"Q5889793$3647FCF1-218B-407F-895E-0C7F65446CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Random \\( \\Theta (\\log n) \\) -CNFs are Hard for Cutting Planes","badges":[]}}}}}