{"entities":{"Q2857316":{"pageid":2868036,"ns":120,"title":"Item:Q2857316","lastrevid":83800874,"modified":"2026-05-07T11:52:25Z","type":"item","id":"Q2857316","labels":{"en":{"language":"en","value":"On extremal \\(k\\)-CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6221981"}},"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":"Q2857316$D41BB212-BF1C-4E3B-BF4C-9CC6BF4340DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80ea6d3fec55e9fce956ba55d0932e47fee11e13","datavalue":{"value":"1274.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2857316$67357744-1429-47E7-912D-FF7CD1932347","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":"Q2857316$C6AC5490-AE6D-463C-B324-B265026CFDAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c208560dc20a04fb91ae5bdd165df42ccb312e52","datavalue":{"value":{"time":"+2013-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2857316$574AECB6-CB14-4483-B461-8C2E7647CCB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beefaa53b67ded718c898c794424563296e8d41d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106531100076X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2857316$170B0AFE-1464-40A8-89FC-2E35C5704D2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2857316$126F85ED-A53D-4B18-A0C8-AE38DA2AD484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2857316$B5B0A812-DD1C-4F43-9955-0F4DE6F6B73E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d90d2f97843c41767cde3a5e1211e16c5ae2ce3e","datavalue":{"value":"6221981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2857316$97E65CC6-700B-4C0E-80A3-E1D650538464","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":"Q2857316$2C6AC178-ACED-4E2C-838C-015CB0A5CAF4","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":"Q2857316$BF80FB6A-1A43-4F49-93C2-A20AA5F1109C","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":"Q2857316$60C26911-8324-4CDD-A4A7-BFB6D9B58977","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":"Q2857316$A0DAC299-73E1-4A45-8D6C-AB55F8815B17","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":"Q2857316$13B5D4EA-7172-44E5-A51A-4EC2BE924993","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":"Q2857316$997524F3-0004-48DF-A45F-CE1711A1A2A1","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":"Q2857316$548AEF08-9D0C-41BC-95D6-D05CDD211FEE","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":"Q2857316$595ED346-27A3-4DE3-A7B3-DB2386A764BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c404dc91161ced222352744b05a76e8f9fcabad7","datavalue":{"value":{"entity-type":"item","numeric-id":2509734,"id":"Q2509734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2c973494bf69ce95519dc1180b8eb39cc0ad57","datavalue":{"value":{"amount":"+0.9996993541717528","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":"Q2857316$0515CC74-EBF7-4DDB-A726-DC1413B6F9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db01dd898b23debe3d96c4696fd3d0bb96f24dd3","datavalue":{"value":{"entity-type":"item","numeric-id":3002829,"id":"Q3002829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4aef9bd4058d53525523d9f90289ec784410a3","datavalue":{"value":{"amount":"+0.9065119028091432","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":"Q2857316$E9143654-2DC5-43DF-8B26-713569F2AE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de63c1fafa2db1f78d7ed3f16f959ebaed75529f","datavalue":{"value":{"entity-type":"item","numeric-id":2851894,"id":"Q2851894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c32a3360ad2be83164812e211ba2105094f6ee6","datavalue":{"value":{"amount":"+0.903635323047638","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":"Q2857316$FB35F212-F58A-4F3F-B46F-9C08E068C0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6112ec961dfffb0ec77758f2eb1916bdc36902","datavalue":{"value":{"entity-type":"item","numeric-id":1653335,"id":"Q1653335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755a009a2298eed2997a8af178534713b24db880","datavalue":{"value":{"amount":"+0.7938995361328125","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":"Q2857316$E8DEA9D0-47AC-46AE-A61D-8713AE3ABB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ba3d3d4e6560e1695cee515b135597e79f5b58","datavalue":{"value":{"entity-type":"item","numeric-id":4608575,"id":"Q4608575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998464cd56df3ed342c3641f22a54e23c6d1c199","datavalue":{"value":{"amount":"+0.7885401844978333","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":"Q2857316$6DC084DA-A3A3-4699-AACF-A2A3F359B6A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extremal \\(k\\)-CNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_extremal_%5C(k%5C)-CNF_formulas"}}}}}