{"entities":{"Q7361476":{"pageid":31519967,"ns":120,"title":"Item:Q7361476","lastrevid":105366710,"modified":"2026-10-07T13:36:42Z","type":"item","id":"Q7361476","labels":{"en":{"language":"en","value":"An Exponential Improvement for Diagonal Ramsey"}},"descriptions":{"en":{"language":"en","value":"AFP entry Diagonal_Ramsey"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcab6df9fc13f3f5e42530d05d0658d9c0031910","datavalue":{"value":"https://isa-afp.org/entries/Diagonal_Ramsey.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361476$C3D44521-CD0D-42A8-B4FE-74E717498E9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc786b40d8a5fa87ca182c2b12d1c6b9468c5a","datavalue":{"value":{"time":"+2024-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361476$E6B5BD20-DC0E-4392-8AFE-56D13DF44CC9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361476$7B26CA53-EB73-4979-86F7-0BF0666D6D69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"347c233df0ccfe4c3a7ef4d61a2f3532c19cc52a","datavalue":{"value":{"text":"An Exponential Improvement for Diagonal Ramsey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361476$60B71FEA-7E4B-4F18-B8DA-9380A080106B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"caa585c6964cb42e1e9235662783645e223c3263","datavalue":{"value":"The (diagonal) Ramsey number $R(k)$ denotes the minimum size of a complete graph such that every red-blue colouring of its edges contains a monochromatic subgraph of size $k$. In 1935, Erd\u0151s and Szekeres found an upper bound, proving that $R(k)\\le 4^k$. Somewhat later, a lower bound of $\\sqrt{2}^k$ was established. In subsequent improvements to the upper bound, the base of the exponent stubbornly remained at 4 until March 2023, when Campos et al. sensationally showed that $R(k)\\le (4-\\epsilon)^k$ for a particular small positive $\\epsilon$. The Isabelle/HOL formalisation of the result presented here is largely independent of the prior formalisation (in Lean) by Bhavik Mehta.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361476$19ECFBD3-9E96-45D1-B67D-93AB45034C33","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361476$CBD54D9E-7589-4FDD-8AC7-50F326B72A0D","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"cc1747df36849b3fe666442673df300004104294","datavalue":{"value":{"entity-type":"item","numeric-id":7361219,"id":"Q7361219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361476$D3E2DFA5-EA5F-4831-962A-FE3B27147F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"b3b498344487dda98f673ddf873bb5beca1d9e91","datavalue":{"value":{"entity-type":"item","numeric-id":7361438,"id":"Q7361438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361476$84149536-44F8-465F-ABB6-39790A371A9D","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"5634edfbfbc0239093a6d080d47ef70273afec4d","datavalue":{"value":{"entity-type":"item","numeric-id":7360824,"id":"Q7360824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361476$AA43BC4F-1B3E-4980-A1CF-D9DC23F30FBA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361476$EF7DCA29-A9F9-4448-B4B6-D16340AD78E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Exponential Improvement for Diagonal Ramsey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Exponential_Improvement_for_Diagonal_Ramsey"}}}}}