{"entities":{"Q7361303":{"pageid":31519448,"ns":120,"title":"Item:Q7361303","lastrevid":105423521,"modified":"2026-10-08T13:45:25Z","type":"item","id":"Q7361303","labels":{"en":{"language":"en","value":"Roth's Theorem on Arithmetic Progressions"}},"descriptions":{"en":{"language":"en","value":"AFP entry Roth_Arithmetic_Progressions"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf2b4de9d4ca39fe1c1f57c53539773f67e919d0","datavalue":{"value":"https://isa-afp.org/entries/Roth_Arithmetic_Progressions.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361303$1618049A-5E4E-40B4-8D7C-38EA9265A093","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"1f5398cfc166ea4dddf107332321d7745473ad76","datavalue":{"value":"Chelsea Edmonds","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361303$92BE2AE7-67D2-48E2-934F-3BE730C293E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f15dd4dfe6d906a1011049420db5f460af4a149f","datavalue":{"value":"Angeliki Koutsoukou-Argyraki","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361303$1F93ADD3-5866-48C9-BCC7-DB96469F750F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361303$199A60DD-6351-4212-8336-A7C1BEE06710","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7b26cd9e95333dd663ceaa50b0092ebe3ddb22d","datavalue":{"value":"We formalise a proof of Roth's Theorem on Arithmetic Progressions, a major result in additive combinatorics on the existence of 3-term arithmetic progressions in subsets of natural numbers. To this end, we follow a proof using graph regularity. We employ our recent formalisation of Szemer\u00e9di's Regularity Lemma, a major result in extremal graph theory, which we use here to prove the Triangle Counting Lemma and the Triangle Removal Lemma. Our sources are Yufei Zhao's MIT lecture notes \" Graph Theory and Additive Combinatorics \" (latest version here ) and W.T. Gowers's Cambridge lecture notes \" Topics in Combinatorics \". We also refer to the University of Georgia notes by Stephanie Bell and Will Grodzicki, \" Using Szemer\u00e9di's Regularity Lemma to Prove Roth's Theorem \".","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361303$BD759A59-9B6E-4239-BE10-47C67702FF51","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"8a0dcbd563a78e00dcfd88de0b00c2b2bcb54e22","datavalue":{"value":{"entity-type":"item","numeric-id":7361140,"id":"Q7361140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$48DC5646-4FE2-44E4-8B17-EEE075AAC505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"8d9d0c26c1c111d89fe16b977a089859cc1a5f26","datavalue":{"value":{"entity-type":"item","numeric-id":7361891,"id":"Q7361891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$B4F27737-FAE2-4A67-958A-D1F22A620F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fb8d362a37d915bc209e2a34621808fd5c61e17a","datavalue":{"value":{"entity-type":"item","numeric-id":7361908,"id":"Q7361908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$16FB4933-C707-4FBA-89DD-927446D13568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"08b5ec925589c317fc584decb48dd95268674805","datavalue":{"value":{"entity-type":"item","numeric-id":7361056,"id":"Q7361056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$7260B8D9-D6F0-41A9-B3A2-77ADE53E0DF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c23d68de51cf92298ad3c9cec466d6d2d94857d","datavalue":{"value":{"time":"+2021-12-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361303$5658C238-94BA-49ED-92C4-576C877039FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf0212451b5c50f9258af885ee7657b6ad5c76d8","datavalue":{"value":{"text":"Roth's Theorem on Arithmetic Progressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361303$F773F9CC-E3B0-4DD9-BC9B-73BF69561B4B","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":"Q7361303$0A678394-7291-4670-BEC3-C7CEB7BCF569","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"f3718ba60fb3ca54d1e75bc16696ddd7ca207e99","datavalue":{"value":{"entity-type":"item","numeric-id":7360827,"id":"Q7360827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$7C9A5300-0978-4BDB-9AE2-154B39A5A469","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":"Q7361303$DE0CB80C-1E2D-4536-AD1B-DCFFBE45A04E","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"9ed936313ab00b5998843540bb84080e8ab0e947","datavalue":{"value":"45544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361303$0D64FE79-EB8A-4E19-978A-06942209C00D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361303$E406205A-7C41-4FC6-BF0C-42961484E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361303$70A117A7-9FBC-4450-842F-F70817EF4050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd53baf500a6931877eb74cf8c39e6d35302628a","datavalue":{"value":"11.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361303$0DFE3A50-A35B-4C57-9B44-4336C88D2640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361303$075D58BA-845B-477A-9320-5CCCC2570782","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$6D13E333-9E53-40A4-A6D9-633989452B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3e9c336168e17650e6c38b2eaa0f70237b2e636e","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$299AC029-C408-49D3-B96E-4C8EBCCE8FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8cd467bd80e3549c5bb18d1191fcc2b25077cabe","datavalue":{"value":{"entity-type":"item","numeric-id":40962,"id":"Q40962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$EB7B28EC-2A98-48B9-BF9A-86E498B7C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6bbc316d4497e097d8fb3e48fd57f7643b44826c","datavalue":{"value":{"entity-type":"item","numeric-id":40246,"id":"Q40246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$A8482F39-F553-4845-AF2A-7907AB760E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$C92D00E6-68EA-47D4-9CF1-CE86B0625C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0fb0f5acefe0285c4235629c72289d7ae1c6a9b4","datavalue":{"value":{"entity-type":"item","numeric-id":5972356,"id":"Q5972356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$2408FE2F-6600-4E99-A4CA-82F31D7625C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361303$14B5B3CE-FCF6-4BC4-880E-BB4F3AA683A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Roth's Theorem on Arithmetic Progressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Roth%27s_Theorem_on_Arithmetic_Progressions"}}}}}