{"entities":{"Q3113785":{"pageid":3124501,"ns":120,"title":"Item:Q3113785","lastrevid":51405560,"modified":"2026-01-18T02:47:17Z","type":"item","id":"Q3113785","labels":{"en":{"language":"en","value":"Unsatisfiable linear CNF formulas are large and complex"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999732"}},"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":"Q3113785$0BBF9E91-308A-4C07-A7ED-40426DACC3D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cfe04d1217d029d278580a40f83adefa20e5ec1","datavalue":{"value":"1230.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113785$6E186C86-8D75-4E07-80C3-7A680BC3160B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113785$29FCE09A-F572-44D8-87FB-509B28AA9E11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113785$0D6CA463-26CB-4305-A331-ADF40BFB23EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cf7967df5bc10a2d0b539e081b18657eb2befe3","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_0760.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113785$DB364975-6CA1-44F1-A027-F05D9ADCDC83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113785$117BF5FE-3DEE-4254-B061-597EE0F6BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"505dab9721154d1029d881b944cbf9d233b6d0c1","datavalue":{"value":"05D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113785$6D1FB3CE-7668-4FDB-935C-28F944A9540C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b9e3c03935705d616fe8541d7f6af37d08747bf","datavalue":{"value":"5999732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113785$5E0E58AB-AC39-4E59-A6D9-11249A8C2677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39911c6eb3357797f71228694114dda795773934","datavalue":{"value":"extremal combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113785$B200442E-1DC3-4139-9101-5B540AED8B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113785$8CB34338-512C-40EC-BFB0-ED03406A7972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e940ac37279303889e6f8c6cd8870094f89fb3aa","datavalue":{"value":"probabilistic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113785$49E94F1B-E0AC-4B5B-885C-8A6E0854BA7A","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":"Q3113785$CE809B2C-767A-443D-B2C4-FBDFC48224C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"456d875c65331e7f50f3f38401d782ee1fd0df7e","datavalue":{"value":"W2962941898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113785$C3D2A1B9-2459-49A3-BBB4-BF812AD3662E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a074893c789d12d93416819fa59f846158878a48","datavalue":{"value":{"text":"Unsatisfiable Linear CNF Formulas Are Large and Complex.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3113785$C0160479-5EC4-48B7-9A52-3009FBF5BC94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a5dda7eb78dd2e29f5c61f0c8f845a9ffc7478b","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113785$B315D5FC-EE94-4859-89A8-6FFCFED270B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc984454ed41d662039ab661e37211869534c387","datavalue":{"value":{"amount":"+0.862746000289917","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":"Q3113785$33471613-FD7E-425F-A565-F877EF2BE88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8deccf2299418ba261318ae6062ae293cd70989","datavalue":{"value":{"entity-type":"item","numeric-id":5425474,"id":"Q5425474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87f184e2af3daae012c8503bfbc42f88806820a","datavalue":{"value":{"amount":"+0.8614612221717834","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":"Q3113785$DBC19591-1965-4585-B075-44C9F7DA6642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cfca9a02a69fb3d7ca3694f4363f495f230d58","datavalue":{"value":{"amount":"+0.8537716865539551","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":"Q3113785$AC0FD2EE-A216-469A-9A78-D2782B0D1C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455e4f7380bdb748763327c69938713b98b631eb","datavalue":{"value":{"entity-type":"item","numeric-id":2872092,"id":"Q2872092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9340e074c2de25ac50b429ff79f1686bcfdfca","datavalue":{"value":{"amount":"+0.8231443762779236","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":"Q3113785$68990B26-B1FD-41E1-8B4E-147719F007C0","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":"f04433b8bdf86e09b8d9b0bed6c50c6de1ec8f00","datavalue":{"value":{"amount":"+0.8199315667152405","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":"Q3113785$3CAB2DB5-59CE-4BF6-A225-92DC48BC220D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3113785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3113785"}}}}}