{"entities":{"Q1348762":{"pageid":1359501,"ns":120,"title":"Item:Q1348762","lastrevid":68527824,"modified":"2026-04-13T00:19:00Z","type":"item","id":"Q1348762","labels":{"en":{"language":"en","value":"A proof of Halpern-L\u00e4uchli partition theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1740661"}},"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":"Q1348762$8DEAB30D-08AD-4A37-8620-85EEE00E98B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec29e8dd19519fc73836b81c45cc4344fa84e73","datavalue":{"value":{"text":"A proof of Halpern-L\u00e4uchli partition theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1348762$13E848A6-E066-43C7-B5D3-988EC72057C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19324161f2adf6aebea09225cc0d98221a6f1c41","datavalue":{"value":"0997.05025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$F9F80559-6671-44F0-B810-A3B322BCB284","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96032bde18948b572e5ffa569ba862bb64aea74a","datavalue":{"value":{"entity-type":"item","numeric-id":327394,"id":"Q327394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$29D6FB5D-2729-4C41-A3CF-2FECD15005B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"719bf7ad3601cae134e8bc620030c614a82bb6d9","datavalue":{"value":{"entity-type":"item","numeric-id":331745,"id":"Q331745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$965AACF1-D179-4DBB-B28D-1068A16FCBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150234de3a6d8fdc20fd3ba745798fff7785f670","datavalue":{"value":{"entity-type":"item","numeric-id":311499,"id":"Q311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$1CD8D808-87A5-4E02-B287-0F0DAEC3422F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$07869C9D-408B-470E-8F92-81AA9F619F6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15fb60c960feb264c024651f136b1931daadcf81","datavalue":{"value":{"time":"+2002-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1348762$A0C0D379-604A-445D-8953-5FF8284C1CBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ff7f2c456fdbdec46eaa4ef24aad7b66951f0d8","datavalue":{"value":"This paper deals with the Halpern-L\u00e4uchli theorem which is a fundamental Ramsey type principle dealing with partitions of finite products of trees. The authors here present a proof of the Halpern-L\u00e4uchli partition theorem and its version for strong subtrees by proving a general statement of which these results of interest are an immediate consequence. The earlier proof uses some metamathematical tools which are difficult to follow, but the proof presented here avoids all those metamathematical arguments. This paper also includes some additional applications of this theorem in the area of metric spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348762$8ACFA824-8868-4B88-A735-EFD28F8CD4E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$9E37150C-A883-4A80-A739-F572E3922217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$739AD7DE-3253-4F86-883E-57978C529AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"16a41880afbd8630e6acc78be050f90ea5608911","datavalue":{"value":"05A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$7F6F5BBD-5DA7-4F42-B2D1-16416B764DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9456f4364e77d550a343506f4b0ef02a941fddc7","datavalue":{"value":"1740661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$3EDD42A0-C1C6-4643-B239-727AFF88FE91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e1de4fbd5015e78868261684533b0ab18801f1","datavalue":{"value":"partitions of finite products of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348762$9B2322BA-FA60-4C84-89A1-D06218588F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aac22db8551e32b2ea99776b0836769851c218d","datavalue":{"value":"Halpern-L\u00e4uchli partition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348762$5304B9D3-28CA-4B95-94D5-F649F31C2F82","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c5966bacba611d16b7c796cf01c056e7b12d67d6","datavalue":{"value":{"entity-type":"item","numeric-id":607023,"id":"Q607023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$B4C29A1C-F664-428D-A08C-30BDF7B94DDB","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":"Q1348762$1DA7AF5E-677E-42C6-B116-B03FDA4A9D92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08702f7b3d569cdb4e610e2a98ea4846b277af47","datavalue":{"value":"https://doi.org/10.1006/eujc.2001.0542","type":"string"},"datatype":"url"},"type":"statement","id":"Q1348762$39751C38-AD96-4B42-A46D-A1EA47946748","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6008d24a5c5e3f4bcb7c8950540b1ea74cac43e1","datavalue":{"value":"W2068608446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$DFB70F9D-CD41-475B-AE1F-6EE884A3C07A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd45ab73de1eb092cf6986404918e9e6186e67d7","datavalue":{"value":{"entity-type":"item","numeric-id":4071750,"id":"Q4071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$D833D9BA-9720-4794-B2F8-4E64A20975BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7597068ac110925e9a522a2ccf924621f26f7471","datavalue":{"value":{"entity-type":"item","numeric-id":5541372,"id":"Q5541372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$1F00AF7F-C294-4420-B010-90C7332264BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8b28f89eea8e63ae30bdc781a2c082a993b39f","datavalue":{"value":{"entity-type":"item","numeric-id":687284,"id":"Q687284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$93E17CD7-FEBA-40DF-971E-27FB11FBCA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8dfbfd63f970a4db5e8be32937a0366e28da7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1137591,"id":"Q1137591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$E29F188B-2D3D-48C1-8D70-C388F37986F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592bde5cd90af20bc4fbf2afbf5ef620939865e4","datavalue":{"value":{"entity-type":"item","numeric-id":3944589,"id":"Q3944589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348762$34472E9D-A39C-4AD1-A35B-EFF1ED83080C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ae754fa5908f9da857d8c1413cc8992e47a8050","datavalue":{"value":"10.1006/EUJC.2001.0542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348762$036F4B73-A631-4724-A57F-169417CC29C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2083e65fefaff0e6db4bb75aa3bef39c085305ee","datavalue":{"value":{"entity-type":"item","numeric-id":4600470,"id":"Q4600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec968bdcb52f353a0678988ba84fc6aae34681b","datavalue":{"value":{"amount":"+0.788574755191803","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":"Q1348762$69C53B6B-1604-47E7-828C-E00BF9CA0A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b0b267df42dbe2d4971f291c3f8112299f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2437433,"id":"Q2437433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bbbf81f6dff58e7a85a00458fda8a870d95bf2","datavalue":{"value":{"amount":"+0.7877473831176758","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":"Q1348762$1AFC8DED-D69C-45F0-97AB-97AC8472EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb7fa4421ebc4a68aa375ee29994fcd4a2abae0","datavalue":{"value":{"entity-type":"item","numeric-id":5222520,"id":"Q5222520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2c47fe31b7d3199e7ae439435b1aa871c41156","datavalue":{"value":{"amount":"+0.785945475101471","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":"Q1348762$10508D9E-38BE-4A7F-B366-5CFF813A78EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e0534d185719c7adfb2b1e7703ec21ddcef35d","datavalue":{"value":{"entity-type":"item","numeric-id":5107220,"id":"Q5107220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a289f9445080a4688b50a921954f93aeba87d808","datavalue":{"value":{"amount":"+0.7548682689666748","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":"Q1348762$6AC9C7D0-52D9-4226-8CC8-A8B7FEE725E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e2d78c408062795bedac5b31529a098a5ebe315","datavalue":{"value":{"entity-type":"item","numeric-id":687284,"id":"Q687284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc110bc9cdbe22cff465d0c6d64a2d7b4bfc459","datavalue":{"value":{"amount":"+0.7435510158538818","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":"Q1348762$5F50CD82-4EF1-4620-A41C-238B9936E063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of Halpern-L\u00e4uchli partition theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_Halpern-L%C3%A4uchli_partition_theorem"}}}}}