{"entities":{"Q916797":{"pageid":918645,"ns":120,"title":"Item:Q916797","lastrevid":42766182,"modified":"2025-07-10T13:29:39Z","type":"item","id":"Q916797","labels":{"en":{"language":"en","value":"An algebraic proof of van der Waerden's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154755"}},"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":"Q916797$1500E1F1-B8B0-47C8-B12C-7042C58A2BA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6d4218e84e5756b5d09d05e209ef2b2c3a82e47","datavalue":{"value":{"text":"An algebraic proof of van der Waerden's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916797$AFA365BB-E509-4E6F-A441-AC74DD2CCFBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e8cc89a8cb7bcc7aedf348753fed68d95efd55f","datavalue":{"value":"0704.22004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916797$0414FFA0-5740-4BB3-A5A8-24896728673E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1973c8f323147c3ce2afcb1041ac22b4101c42d","datavalue":{"value":{"entity-type":"item","numeric-id":171731,"id":"Q171731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916797$82AD4CD0-02F0-472E-BA76-C7AECB122BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a4a87a26563fb7072ed0ed4aef6b4c573991923","datavalue":{"value":{"entity-type":"item","numeric-id":916796,"id":"Q916796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916797$8E4A1318-96F3-4925-A04D-0B798C6F9755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a51e12fb29128739fb6990cdbe33743d6ac0c0c8","datavalue":{"value":{"entity-type":"item","numeric-id":171732,"id":"Q171732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916797$015AF2C0-6D1C-42FB-A8AB-263A8611EA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0e4d0508b89dd54fb272e16e56b67b48317695d","datavalue":{"value":{"entity-type":"item","numeric-id":798457,"id":"Q798457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916797$5F26FD08-3635-43B1-A325-E881BB2AECEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"190f08128b991df2a0ad2bbf0d84e95f751f56d1","datavalue":{"value":{"entity-type":"item","numeric-id":246266,"id":"Q246266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916797$97F9108B-EA21-4B41-96AF-326397152C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q916797$B8545810-5AFB-4810-A878-4D0B8C1DB444","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08e7ec306174d2b3caf63a7b2768b977fa968f55","datavalue":{"value":"B. van der Waerden's theorem (of 1927) states that, if the natural numbers \\({\\mathbb{N}}\\) are partitioned into finitely many subsets, then one of the subsets contains arbitrarily long arithmetic progressions. The present proof uses algebraic and topological properties of the compact right topological semigroup \\(\\beta\\) \\({\\mathbb{N}}\\), the Stone-\u010cech compactification of \\({\\mathbb{N}}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q916797$EDA58CC1-1EF5-4D1C-8188-9FD0F28D2117","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916797$EC4737D1-5716-40F8-BBAB-DFF714493DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916797$52D6DA6F-4518-43A7-8E51-8B4C8163DD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc918739208248f35fea9e5c33ece7f0619d7069","datavalue":{"value":"11B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916797$C17D22F9-166B-4F88-A617-3FACBFD616C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c79005c5e9e1e5726c4b805dec738c377accd077","datavalue":{"value":"4154755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916797$0E1E0F32-F054-46C0-B28F-08C4CFFBF418","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19986b8fecb43e8171ffe4a0d4b192174eb7ee8a","datavalue":{"value":"arithmetic progressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q916797$B6EC3236-8B1A-4856-83DC-492C36081F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be27b4507b00924a15b787d8a8ffe84e9a621797","datavalue":{"value":"compact right topological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q916797$8220C096-8808-4CB6-9E5E-0A196EFCD8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1849b2c44d473efa9800d91e200a73d3c9d5fcda","datavalue":{"value":"Stone- \u010cech compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q916797$004D6B9F-1189-4C5C-B22B-1A014F32E056","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"691c8f4ea68148f814db14cd1d63841481ba7a70","datavalue":{"value":{"entity-type":"item","numeric-id":165958,"id":"Q165958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916797$CD068F3A-060C-4688-B41D-862A9AF0CC0D","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":"Q916797$3C050842-060A-43F0-9B9C-8BC619E7E0EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c47768d33937b08a92e8b0cde03574954b954d","datavalue":{"value":{"entity-type":"item","numeric-id":4212878,"id":"Q4212878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04df48e90dde040db73b7d84b31a78c5cb484485","datavalue":{"value":{"amount":"+0.93189365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$E1B03382-88CE-4AF3-9347-6FF9A7FD5221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7569201230532652ce43579cb3481c84babf77f1","datavalue":{"value":{"entity-type":"item","numeric-id":3346447,"id":"Q3346447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af993ebcc83d232c0cbfb8a97cf4c6f8b980d01e","datavalue":{"value":{"amount":"+0.91584444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$0D14093F-D50B-4537-8069-540724271DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddee95ca78845756e07bb4731279ea241d412e11","datavalue":{"value":{"entity-type":"item","numeric-id":4722536,"id":"Q4722536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302aafd7df7c5211df800028bf6866b5b53e0920","datavalue":{"value":{"amount":"+0.91429704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$8B860EBE-1C21-4443-B01E-5A2BEFB6AE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6712cad19d1e033bb2d159bd936a9edbba995204","datavalue":{"value":{"entity-type":"item","numeric-id":4839867,"id":"Q4839867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed33dc987bcd7a989f1f6eecf33cf0a6379704","datavalue":{"value":{"amount":"+0.91181916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$179C8FFE-35F1-4CC3-BC80-09A3D3906B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b06ca5434105ad1124c05ad466e064fa27bb0e7","datavalue":{"value":{"entity-type":"item","numeric-id":3699021,"id":"Q3699021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1a5fb29c42b2f8bfdae49e9a4b92e5d7df9daf","datavalue":{"value":{"amount":"+0.9114717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$D2FF0DFE-AA67-4A5F-BE20-703FD9F49372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daef1858c38a14ff1407f7a020cca056da9ce4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1921227,"id":"Q1921227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b136887756f9af3823140ffedf002122d768f0a3","datavalue":{"value":{"amount":"+0.9079454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$9562E2C9-4CEF-439F-966A-76F98586A26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be1d239837ef615d76dde2b13ae66c3581acdc","datavalue":{"value":{"entity-type":"item","numeric-id":634632,"id":"Q634632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5df81b1b2f4f162a648c2aefd742656ac22163","datavalue":{"value":{"amount":"+0.9072789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$3A2D579D-F661-4F4E-AFD6-082F477BFF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ff27d9e6730c14dc504391c5fd95dbea208316","datavalue":{"value":{"entity-type":"item","numeric-id":4948044,"id":"Q4948044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be52de6290351e97fd60e3399dacb44f51723a03","datavalue":{"value":{"amount":"+0.90330905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$96AA8023-3360-420F-B728-DFE8BED9C693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dc45caea47ba4adc5166bfe42015921ce59a21","datavalue":{"value":{"entity-type":"item","numeric-id":5083813,"id":"Q5083813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa666ae603b79b5045801ef65089db9e16cd286a","datavalue":{"value":{"amount":"+0.9021479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$C0930D35-A725-4E9A-97C8-84AFE56FA770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61f445dcb847606e3e202dbe44fa20140a83ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3515843,"id":"Q3515843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a1db35b49566ba2e68ca841619d0028c8da626","datavalue":{"value":{"amount":"+0.9005585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q916797$D8A4DA2F-3738-4AD9-96D6-952B6FDA70B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916797"}}}}}