{"entities":{"Q2509734":{"pageid":2520477,"ns":120,"title":"Item:Q2509734","lastrevid":44237052,"modified":"2025-11-21T04:37:37Z","type":"item","id":"Q2509734","labels":{"en":{"language":"en","value":"On extremal \\(k\\)-CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6322793"}},"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":"Q2509734$67AD524D-76F6-43FF-A935-4D00C354DA8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff1a5c04a48acad4b6f3800025f2d89d93b555f8","datavalue":{"value":{"text":"On extremal \\(k\\)-CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2509734$A025F251-1BF8-46A6-A06E-3033046C99D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d0632f7515fdf7acea6e2ca4f523cb3bbc29f34","datavalue":{"value":"1292.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$3E7E17BE-9D5F-4FC9-B41F-326B605CEA31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83a6a9a6bb22e8c42c1e8c41827da1632640ce7","datavalue":{"value":{"entity-type":"item","numeric-id":626675,"id":"Q626675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$02326CD8-F224-4AC2-A60B-A79FECF9EE28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$421B45FF-F9C8-45F2-BE19-4CE27EF5E75C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2858905aa1584265a024fc9cc6854a85eeb590eb","datavalue":{"value":{"time":"+2014-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2509734$7091F363-E0F0-40C1-8F5E-931C47646CA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$25AE139A-54FD-4596-9E68-837F04B0B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$53A346B2-FDD0-4EB2-A742-0C5685264A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$A4FA49FB-BD80-43A7-BDE2-703ACB3D5982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$F0E6E9A7-ACE6-4EBF-9998-E062652266CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a4ec2b5c30939f23dd913c97c00673f2f53cbd","datavalue":{"value":"6322793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$5DDEAF2B-EA2F-4081-B099-8B2487257667","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$1B2DF423-FC90-448F-A7B5-E36DAD11E9F5","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":"Q2509734$8A2AA878-4A8D-4C8E-B0B8-ACD5B8D345B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac87b2bc0a446f3ddbf96a82b12af6ab6eb0345c","datavalue":{"value":"https://doi.org/10.1016/j.ejc.2013.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2509734$A679DA94-FBF5-43ED-B557-43584A722B41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"947e3474cd4ab822cb7aa959e524fe0e69333728","datavalue":{"value":"W2040256013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$93953D16-0771-4CD7-8A08-B913FFA7DBF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ec48aa46f7435be04f327f06754adbb2fb4ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3002829,"id":"Q3002829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$E85F3782-A856-41EE-9731-CF838DCF9994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b6f6880c82a363efac54715a8fdf39f57fc5c3","datavalue":{"value":{"entity-type":"item","numeric-id":290255,"id":"Q290255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$E0499D7C-F8D1-436D-AB63-0181CD4720E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daae0bb83cad646c82bd4e30eaf4258cdff2c05","datavalue":{"value":{"entity-type":"item","numeric-id":3140018,"id":"Q3140018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$5CE37C86-FA5E-4505-836C-505845E3DBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a60583410113f671ac14914652a2f7012e5461","datavalue":{"value":{"entity-type":"item","numeric-id":5302081,"id":"Q5302081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$72A369F0-2832-4566-9270-B429E8E2FFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$E68FB423-6264-4012-BB29-9371242B3664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$08BD49D0-CB43-4EA4-8A7E-AFCD324D7361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d77e68ebd3ec6e088ef2c522dcbe2ec49cabbc3","datavalue":{"value":{"entity-type":"item","numeric-id":3637162,"id":"Q3637162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509734$10C85E6F-B60C-4578-9D1F-AAF2B5E8B0C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e5499e28072db9e06550ddf533dc7e7eb5b57b4","datavalue":{"value":"10.1016/J.EJC.2013.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509734$5CB3F039-C0B2-4E94-9727-6337314B9173","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8663a8de2a28a1a685bdd567e948e2e1a2b80ab8","datavalue":{"value":{"entity-type":"item","numeric-id":2857316,"id":"Q2857316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$747A0DCB-AC77-4F52-AC35-AED2D63F87A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cee196dcef0bc5aed6003bf0279c962359cea5","datavalue":{"value":{"entity-type":"item","numeric-id":5325871,"id":"Q5325871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fe5e887b3bd41a38f90dbd8e8be4e2e919b49c","datavalue":{"value":{"amount":"+0.9270271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$3FE284F8-A1F8-4239-ACC3-27785C672593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56b8dc0112298febdcb37335690db23849890fa","datavalue":{"value":{"entity-type":"item","numeric-id":1014406,"id":"Q1014406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a8bf6d6ef0e54e8a6cf8b032ff23e5503f796b","datavalue":{"value":{"amount":"+0.8950798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$4609344D-53A8-4B22-9894-9BD653FBA12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05656f99936777d90800951f32d28f19ece72ec5","datavalue":{"value":{"entity-type":"item","numeric-id":3524227,"id":"Q3524227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126aedfe6a924872d3dad64b074b19932ca0b730","datavalue":{"value":{"amount":"+0.88919854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$2491BB49-C8F7-495B-86E5-F1145453E83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ba62f2326cf0138f169b1c2bc980f74461d51","datavalue":{"value":{"entity-type":"item","numeric-id":4475696,"id":"Q4475696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbcdcb2409f70eb03f2a9f476de5b9be92c5045","datavalue":{"value":{"amount":"+0.88757396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$F426A12A-D21C-465D-95DC-0F85AD4902D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b97ba761d4e2b6ccde57061d1068fe5c8a35ef","datavalue":{"value":{"entity-type":"item","numeric-id":3440269,"id":"Q3440269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23d59adedd65de61d103700d74c52115d1e9c3e","datavalue":{"value":{"amount":"+0.88117373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$08B2ABA0-3B6F-465D-B7AC-46EEE5500CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54178a7d50b110a355049c7c801048b60d57713","datavalue":{"value":{"entity-type":"item","numeric-id":617890,"id":"Q617890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6e98749195726d0dc818d6ddb4b7b962711a22","datavalue":{"value":{"amount":"+0.87590206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$63251255-62C4-4537-B60A-A328A8962817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56a7bc6eaa8e8a30a0bdf2a05064eecdd9cc342","datavalue":{"value":{"entity-type":"item","numeric-id":5302060,"id":"Q5302060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34e0349b6ed45ecde5b94d24aa7378bad1a4212","datavalue":{"value":{"amount":"+0.875902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$502EF3E4-FED7-4F8A-8AFA-D307EB153508","rank":"normal"},{"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":"ee06eaf16369e6216135319f5859caee4e4bdc85","datavalue":{"value":{"amount":"+0.87420285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$B5D03DA4-56A2-4EEA-9C5A-67FFB3E07370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa2e0870ce0c7406b622070b4d6a7f47c6cb2fe","datavalue":{"value":{"entity-type":"item","numeric-id":3502711,"id":"Q3502711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9a8b2169cfca5df560a5363f71f35ba138fbd8","datavalue":{"value":{"amount":"+0.87081814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2509734$5365901E-0FB7-4A94-9276-1727F0B02458","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2509734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2509734"}}}}}