{"entities":{"Q1284479":{"pageid":1295229,"ns":120,"title":"Item:Q1284479","lastrevid":68368404,"modified":"2026-04-12T23:14:14Z","type":"item","id":"Q1284479","labels":{"en":{"language":"en","value":"Regressive Ramsey numbers are Ackermannian"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1278833"}},"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":"Q1284479$D6A7D3C1-AE98-4D6C-A68D-2C8E47010979","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b558b7262e1e9d626dd851c1d90d80b6bdabff9","datavalue":{"value":{"text":"Regressive Ramsey numbers are Ackermannian","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284479$8FDD1476-89DF-4976-8E60-CED0F4A3296E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ae8e3c199cbb35b03be3b5b4e3da0e02b406194","datavalue":{"value":"0918.05076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284479$F9AB3509-DE43-41BE-9173-B39EBD439A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f62fff0e7c427ea1a760d4859edb422e5adb62e","datavalue":{"value":{"entity-type":"item","numeric-id":189924,"id":"Q189924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$E2A06BB5-C762-45EA-B74A-17A5647D835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$703E23A7-AA15-4C5F-BEBF-90D0766D6CE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$78473336-93C2-4E52-A509-5AE38C4F25A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa2e5e35d3f24c6f7bef23b8c15234f371e216b0","datavalue":{"value":{"time":"+1999-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284479$5091006A-5DF3-4E81-8116-520A2A8074A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3f496d29c56a0ba7f732c7159c3bd395755c019","datavalue":{"value":"https://arxiv.org/abs/math/9805150","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284479$2F14E7CF-FCAF-43EB-B3D1-7AA6BAF015A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5535a236b1aa4d9720c6fddd0eadacc7025fd2de","datavalue":{"value":"An elementary proof of the fact that regressive Ramsey numbers are Ackermannian is given. This was first proved by \\textit{A. Kanamori} and \\textit{K. McAloon} [Ann. Pure Appl. Logic 33, 23-41 (1987; Zbl 0627.03041)] with mathematical logic techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284479$C9CA5A92-D8D5-4E85-BAD6-0C7E037A1E25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284479$4F76EA16-9493-4395-8A7F-3BE79EA9F8F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85547e09bd70ccd331fc68966ab42896c1822159","datavalue":{"value":"1278833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284479$3E6B61E9-F0D5-478E-B0B5-979E9C341A2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86fe40825142b90338b74674bd9d8840a30831a0","datavalue":{"value":"regressive Ramsey numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284479$35C197C2-2D3E-4CAE-88AE-4AC979E0916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c24c585cc9d3740254f10d39918c888c920c02","datavalue":{"value":"Ackermannian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284479$677C7B60-D9FD-47B6-BD78-A1900762CF53","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a714b8b1c3541c6d37b111d53efd3e2dabb173f9","datavalue":{"value":{"entity-type":"item","numeric-id":1297762,"id":"Q1297762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$25884B75-2FE3-428D-9DEE-CADAF2F0AF4A","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":"Q1284479$848A7FC6-36B8-4834-88E1-DBA41086D55B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0782b33e56c7d86131cc02d708cf35043420b9db","datavalue":{"value":"W2108178829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284479$D3C5CBF9-A2E6-4D20-BBBB-20387866715E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76d91d3dd1208426b047130d39894bfab628f04","datavalue":{"value":{"entity-type":"item","numeric-id":1210716,"id":"Q1210716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$EFFD3C5D-7AF9-4802-89EA-798D3B37C8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087997f39728f68ba5717661dfa38b5ead409bb","datavalue":{"value":{"entity-type":"item","numeric-id":581400,"id":"Q581400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$FE2C7116-6C80-41CD-B3D0-83CE1BD36699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4d37ff5464f44bd75600b74f14d23b6ac5e34f","datavalue":{"value":{"entity-type":"item","numeric-id":1325270,"id":"Q1325270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$500BB8EB-8A51-4CF8-9EF7-E78C4E889F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f2072fe57618aecf2e72e552e1cc8ff765f5d5","datavalue":{"value":{"entity-type":"item","numeric-id":801937,"id":"Q801937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$9DB55A3F-7EA2-45E1-9D3C-DA2759925E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c3d366816448adef53b3c01a23f30d2b7a2228","datavalue":{"value":{"entity-type":"item","numeric-id":3972756,"id":"Q3972756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$CD2DAE32-1F23-4DD2-BE7D-75BBC2123234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12b749d311a8819dd21d04bbe20dd3f5c47f970","datavalue":{"value":{"entity-type":"item","numeric-id":1157345,"id":"Q1157345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$77D93509-12EA-482A-BA60-453F7E73F2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314afae9c4a9f73a94af2e86d16d32feec0babba","datavalue":{"value":{"entity-type":"item","numeric-id":3794188,"id":"Q3794188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284479$D47B1B4B-512E-4F34-BC95-148FE7FA46A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16e77ef936aee165cc1d7bf80487e89b839288e","datavalue":{"value":"10.1006/JCTA.1998.2906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284479$3B1F1607-71CC-446F-84E1-09082414E5CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84124dd95e349e12ff671616475c8e89f8085e73","datavalue":{"value":{"entity-type":"item","numeric-id":966137,"id":"Q966137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5aa42c6bfe52cbdebcf308771aef79143905682","datavalue":{"value":{"amount":"+0.8310457468032837","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":"Q1284479$289CEB3A-5144-4679-83C0-E2E9DC40D1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95ccf4c10fec1d583bd5b0720efc40fc16b9950","datavalue":{"value":{"entity-type":"item","numeric-id":1865390,"id":"Q1865390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554a299913f12d17653e46602b24f41b67372688","datavalue":{"value":{"amount":"+0.8087753653526306","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":"Q1284479$1808FDAB-8441-4F14-9532-C3EE2D8CA139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e70d6087c232fc86feac50d7caa9cb1e9c0e1f","datavalue":{"value":{"entity-type":"item","numeric-id":941316,"id":"Q941316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dde71cd8d3aa654139d89ba624ac6fe7988b97","datavalue":{"value":{"amount":"+0.7747470736503601","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":"Q1284479$E5F36D57-FBF7-4000-8B37-C2D77E096FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e784d12da4e2d4bff57f1908b9c16d9dcbc7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":618311,"id":"Q618311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a462124f387f301d00be4210e9ee2183cbe80379","datavalue":{"value":{"amount":"+0.7541231513023376","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":"Q1284479$0D2B3705-3DD2-4C50-B219-210783B4BBB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regressive Ramsey numbers are Ackermannian","badges":[]}}}}}