{"entities":{"Q431641":{"pageid":433408,"ns":120,"title":"Item:Q431641","lastrevid":61784115,"modified":"2026-04-11T01:38:45Z","type":"item","id":"Q431641","labels":{"en":{"language":"en","value":"A new proof of the density Hales-Jewett theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051271"}},"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":"Q431641$9D272C2A-B170-42D8-BD97-E5504D2186AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdc9db1a20423a1dc9e1f727a2088bdaaf7d06ff","datavalue":{"value":{"text":"A new proof of the density Hales-Jewett theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q431641$86D95B56-1C75-43EB-B1E7-37546A6C4DB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76abf5b854b438a4227720e1332bfd34e1dd7a54","datavalue":{"value":"1267.11010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$82478AC1-8300-46D3-89A0-4599FE5D7070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a68071fb9907f64992d6746cf4665e53ebf0c8","datavalue":{"value":{"entity-type":"item","numeric-id":289939,"id":"Q289939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$4EB4F70D-80B8-4A1C-9847-A7A2453129E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$14BDB2BF-4B9A-4955-BEFC-7AD2664961B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-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":"Q431641$FDAF6AD7-A4F6-4959-992F-0EBD264F9804","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"077e69776a23f33cc2301ca1df720881f645d9c2","datavalue":{"value":"https://arxiv.org/abs/0910.3926","type":"string"},"datatype":"url"},"type":"statement","id":"Q431641$0E851F85-C4FF-48CA-86F0-CA1CDF09A48B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$AD9E3D9A-0BC5-4EB6-A1F5-614BB900A2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$2805ED47-C9BE-4E74-AD3E-142110C5DA96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18e1fad2c5464ea3f48999ba385fb23dd236d09a","datavalue":{"value":"6051271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$1E874088-185E-464A-B8FE-C7B7D028A79F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10360e22144d8b8d85e8e75b647e68874daccc05","datavalue":{"value":"Szemer\u00e9di's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q431641$4089837F-75E6-4FF9-AB10-7A93A96D84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74bb650c0d97edc8df68dd5d2fe20db06cb8801c","datavalue":{"value":"van der Waerden's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q431641$8A94B01E-0A60-4FD4-8E13-70E497FA5E9C","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":"Q431641$5D29F41F-E3DC-48D2-8101-3BF224F44491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63b4cddf6aef55d57c7ae0c1d1ea8f1e3b4d9905","datavalue":{"value":"W2962844449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$6830D5B9-0BF3-4D48-BF51-9AED31DF93B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe3137b5f841a6a9af0911064245bc1c2dff80e0","datavalue":{"value":"Q56386667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$CB7E56A9-E8FB-4CF8-995B-537A5A8B7725","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f2dfa737593264fd9a8a37d4a5325cee07973f","datavalue":{"value":{"entity-type":"item","numeric-id":4059020,"id":"Q4059020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$1C5669D7-12F0-404F-8C1D-2547B60D32EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbe5a78aa6920cbf8e4ff0783abd2f2015d0c23","datavalue":{"value":{"entity-type":"item","numeric-id":639342,"id":"Q639342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$D98A0417-FEB2-4961-B000-457944C1E5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248c3ba53672e3b1c031bd917c407c9bc91bba06","datavalue":{"value":{"entity-type":"item","numeric-id":5834919,"id":"Q5834919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$90966709-3D6C-4770-8A41-E5BAAE70B65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab38dc8f7fa33df9e84ae9433296cc5e18a8a7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5687281,"id":"Q5687281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$FE5E3A19-978F-44CA-A5C1-F82CD5DE7BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d0f87a7a9c77dbc12879de09aa35c23b818174","datavalue":{"value":{"entity-type":"item","numeric-id":1233943,"id":"Q1233943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$A5EED928-4749-43A8-8C12-D5907B8C3C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ddbdce1b29f01a7e03dcb69faf152cc455fef6","datavalue":{"value":{"entity-type":"item","numeric-id":1135955,"id":"Q1135955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$046C1DB9-1D97-42F4-A15A-6B13415C45D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e3231487cbddfa8c95b163dc63dba6a78a1c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1084210,"id":"Q1084210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$D11FCBF0-1E48-4359-B5B2-5F1D30FA12D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21ef8bfc34180a06c06ea2d8429e9f22a6b3626","datavalue":{"value":{"entity-type":"item","numeric-id":911597,"id":"Q911597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$8C7F5B7A-CBB5-49CE-A69B-6680EEC774D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f861292d6c40e800574cff238955c5e3099f65d","datavalue":{"value":{"entity-type":"item","numeric-id":750471,"id":"Q750471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$F46B0A9F-B3E1-413A-AF32-A3B918ED8731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9402532d1180bdedfbd33368b826449e24d3cfa4","datavalue":{"value":{"entity-type":"item","numeric-id":1803633,"id":"Q1803633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$5E1F67AD-0BE5-4C2F-B572-69FB7CDDDB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c932f30f696284e5082effaa6453f4ee3196eaea","datavalue":{"value":{"entity-type":"item","numeric-id":3035753,"id":"Q3035753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$C8D652C8-8DAE-4189-BD3A-4233F8973069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e49449785c72925392b01526a9ab53fe19cc47","datavalue":{"value":{"entity-type":"item","numeric-id":5945509,"id":"Q5945509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$D71EF7D3-D67E-4F9C-9EDA-F69EEEDD2FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936e0b8b21c457652556ed6024621c2aebe0087a","datavalue":{"value":{"entity-type":"item","numeric-id":3373662,"id":"Q3373662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$FAEBFB9E-9578-4847-BC37-0D824E88976F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab85a43c3a2c622940dade0ce475e90ad2f2b75","datavalue":{"value":{"entity-type":"item","numeric-id":2482877,"id":"Q2482877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$85EA78CE-4215-42A6-A269-5516D0CFC646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6094d5fcb85f31a06deab79697d8b144827e2de","datavalue":{"value":{"entity-type":"item","numeric-id":3078219,"id":"Q3078219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$39554345-3525-41DB-AD0F-54C3F235C967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3645ff118dd6920d9718d3045e77569e1119ff","datavalue":{"value":{"entity-type":"item","numeric-id":1818218,"id":"Q1818218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$F5DCE03C-D901-4116-A6B4-73B21AA4B23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1143c599da9f4dfcfb60e001f8466519192dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3850390,"id":"Q3850390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$2C281E14-673F-456C-AD9C-0E67813807FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f436f28d3a5620f930b43277d4434d830265a110","datavalue":{"value":{"entity-type":"item","numeric-id":5529497,"id":"Q5529497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$C0A9F9F7-0482-4F30-A76C-E871F8E47D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b07a671811203f6a204d4a2b5c177bf8333da6","datavalue":{"value":{"entity-type":"item","numeric-id":5469145,"id":"Q5469145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$48C78F74-DC01-4EF5-BDAB-F1EDB88E7838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2c99fc62de126ac28beb9a9e1dab02a72750ad","datavalue":{"value":{"entity-type":"item","numeric-id":3078220,"id":"Q3078220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$C6B60B54-5285-46CB-979B-67A32CC83692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214cc2d629227b37b8ff145e39f64835f883dc68","datavalue":{"value":{"entity-type":"item","numeric-id":5428365,"id":"Q5428365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$F9A6D545-E9B5-493B-B13A-C6A812E028A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035d0fe1783b2392938aee9fc21e807b17c7ca46","datavalue":{"value":{"entity-type":"item","numeric-id":5428366,"id":"Q5428366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$E174A7E1-1881-42AD-8309-2C69F36C7FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ee54a9479275c80b01b5f7467a8929c76b76ab","datavalue":{"value":{"entity-type":"item","numeric-id":4810506,"id":"Q4810506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$E91005EA-6920-4657-BA9F-9472BEA68036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009c4ff4d921d4415c1ff8ad20be6256f4530f77","datavalue":{"value":{"entity-type":"item","numeric-id":5469146,"id":"Q5469146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$8D2A5F46-37F8-4A63-8973-E16E6C888B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d52442185806241e37970954310dd2ed59667f","datavalue":{"value":{"entity-type":"item","numeric-id":5817505,"id":"Q5817505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$21704CED-63D3-4D3D-A421-4595F18FDE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4566a2f59792d163ccb54cd43247d0a80f13f1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3419039,"id":"Q3419039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$F7A3A736-D6AA-489B-9502-3D76C92458F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f090b04920ec310121f4e0b12195553e559dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5395524,"id":"Q5395524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$6BD3C3BA-F0F3-4ABD-A9A9-2D485C366E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b430b25e563f4f6fd47d0ca0b91803e6578b04f","datavalue":{"value":{"entity-type":"item","numeric-id":4059028,"id":"Q4059028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$B82BAC39-8436-4586-AE15-6B5C8A9A9352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a0bf4fb20cc2970c055defb34fbcfa30d1eac0","datavalue":{"value":{"entity-type":"item","numeric-id":870018,"id":"Q870018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$9084BC84-78AB-4154-A1D5-0A115DFB74F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4033f41b7b69b09d65ebacdf888e404628f1d","datavalue":{"value":{"entity-type":"item","numeric-id":926374,"id":"Q926374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q431641$507F2151-A0E7-4CD4-AE2B-145E9A70845F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56d5402a9d1e4a1d09bf893ce5f42d74acadf4b0","datavalue":{"value":"10.4007/ANNALS.2012.175.3.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q431641$D3F1BCC1-2738-46AB-AD1C-2B7F213B50A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f325d775f8a8f5e8b591f3044115dcc3abe2ae","datavalue":{"value":{"entity-type":"item","numeric-id":3078219,"id":"Q3078219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8607b9a6051b7a092676ed69cbf60ce0c1b4318","datavalue":{"value":{"amount":"+0.9106699228286744","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":"Q431641$DEB2A74B-48C1-47A7-B5DC-2872BF1BE1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809fd11a61ee31ec4b92b644225d412cedf8b5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1803633,"id":"Q1803633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c3bab528b0fc2626cf14ec30a240ba4932c0d4","datavalue":{"value":{"amount":"+0.9084828495979308","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":"Q431641$EC82FAD0-8B3D-4E35-9B9B-031B6A88D234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0345323b0fefdcf634bd81b573203165aa4ffd15","datavalue":{"value":{"entity-type":"item","numeric-id":3078220,"id":"Q3078220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bece24443c1678d281e79b2389f2be17f0ec2bf7","datavalue":{"value":{"amount":"+0.905124306678772","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":"Q431641$9CCA94FC-34ED-40EA-B357-1AA63E66678E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c387bebe988e4e658019690683e6ba04a3c62573","datavalue":{"value":{"entity-type":"item","numeric-id":2878731,"id":"Q2878731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75b0983c8db8bf959390e6b6fe5df4c88e7012e","datavalue":{"value":{"amount":"+0.8986847996711731","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":"Q431641$13219609-97A4-4860-8C94-928DCC12BC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1df332b55d9dcdc1513af899cb4c35b59fbca72","datavalue":{"value":{"entity-type":"item","numeric-id":4487516,"id":"Q4487516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e737fc15e97c3776501c4ac32c478db2bac2273","datavalue":{"value":{"amount":"+0.8829846382141113","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":"Q431641$620AFBA9-E8CF-43E8-8ED8-E134CA484297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new proof of the density Hales-Jewett theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_proof_of_the_density_Hales-Jewett_theorem"}}}}}