{"entities":{"Q3440269":{"pageid":3450972,"ns":120,"title":"Item:Q3440269","lastrevid":58175544,"modified":"2026-04-04T02:51:39Z","type":"item","id":"Q3440269","labels":{"en":{"language":"en","value":"A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5155745"}},"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":"Q3440269$AC4DEF40-3F12-4F74-8DFB-5039D47FF774","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df26770f80fcb000b78e158a86b7be711684a87","datavalue":{"value":{"text":"A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3440269$98C6603D-6050-4D53-A1D4-E4FD99DB45B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7079e5848d82b08dec9b4ccf37a79501a7724a7","datavalue":{"value":"1115.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$5B7FE324-BC21-4E0A-AF53-400EA2EA6A0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8697c43895298e03c77467e91377536c8ea6cf9b","datavalue":{"value":"10.1137/S0895480104445745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$F12F1018-1A46-44BC-81D2-96C57AC885CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"238899f10cedc79df28b10e6765569835e435ff6","datavalue":{"value":{"entity-type":"item","numeric-id":557835,"id":"Q557835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3440269$E5F78A82-347A-4096-93CD-A84E48A4FD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3440269$C085316D-85D0-4DF7-8639-2A5E00119B23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3440269$2A3305B8-D6D2-4FF1-9E57-E57ADED48DED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d772ea33f63b1c17d1cd0f194baa280f4e932509","datavalue":{"value":{"time":"+2007-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3440269$26C493FB-9428-45A4-9DF5-A41BE44D63C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f0e5a9a16af06c74bc2de29abd0f76457d014f0","datavalue":{"value":"https://arxiv.org/abs/math/0411167","type":"string"},"datatype":"url"},"type":"statement","id":"Q3440269$3F38C73A-BEC4-4668-84A3-428F0E73B636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$C9E4F039-AA1A-40AD-A104-9E84D7CB3EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$BB23FEC5-287B-4E74-A7F3-F2C1BA08A7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33db59d12518cc90bac7371d19f717ef52ec07bc","datavalue":{"value":"05B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$DE012BA6-69AC-4F99-977B-BC01DFAD3973","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3dfc5ef4358803f9fc29859ad8275bbb5c731e","datavalue":{"value":"5155745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$F58A09F4-E39C-4D53-A5D5-BBD4FAC373D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9662a035220681402bc0277162bdaa931b14001b","datavalue":{"value":"unsatisfiable CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440269$169472FB-F22D-4F43-B009-74CC337C1B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440269$D8730241-1371-4DCA-A605-6403B6D6897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56208a17025c27d89e03b7c262d57823abf8bde","datavalue":{"value":"occurrence of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440269$D3C8161D-5B59-4374-9375-3FAB799AC1CE","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":"Q3440269$F2069E2D-BD40-40E2-BABD-4312DBFB2C62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"912635ccc89838a727216de2c2c2cb594d9caf73","datavalue":{"value":"W2045502027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440269$FA791A86-A332-4814-901C-E1FF03A2666A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df06991ccf06069f6f047a45ab0cc7be22e30f5c","datavalue":{"value":{"entity-type":"item","numeric-id":557836,"id":"Q557836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508d1dce33fabb9aed127e99957dff7b62984e9d","datavalue":{"value":{"amount":"+0.9087305665016174","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":"Q3440269$2F97AB92-FDBE-4BE6-A5FF-FD7CADA2B439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1fb624429739a8554116ff1c7c978ea0694487","datavalue":{"value":{"entity-type":"item","numeric-id":1575269,"id":"Q1575269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5a50daee5ff83936dad460813cfbeb0644fd3a","datavalue":{"value":{"amount":"+0.8964126110076904","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":"Q3440269$E75A37A7-72D8-40D6-A95E-4BEC09DD0C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75a5d31eb85624ccba47941662a2ecb9b62f493","datavalue":{"value":{"amount":"+0.8679629564285278","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":"Q3440269$0E5D6945-7309-444B-B536-B361AC7A5135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6456c7d409da6b9e2de61a1cd646ae0a609b5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4930606,"id":"Q4930606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd015b4b01d7e766612e819b99c17d17eefe30cf","datavalue":{"value":{"amount":"+0.8676658272743225","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":"Q3440269$C42FF16D-A896-413E-88FD-81C0FD4A2903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767558b863c9ef3d5032bfa664bb4fe5001b96a2","datavalue":{"value":{"entity-type":"item","numeric-id":5898882,"id":"Q5898882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c732d8ed0365c118589d45d8f5b8ee08a8f7db4a","datavalue":{"value":{"amount":"+0.8667075634002686","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":"Q3440269$65E6AB66-451E-4CBA-85B6-2B1B12216004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3440269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3440269"}}}}}