{"entities":{"Q5937586":{"pageid":8114388,"ns":120,"title":"Item:Q5937586","lastrevid":93425900,"modified":"2026-06-05T04:22:50Z","type":"item","id":"Q5937586","labels":{"en":{"language":"en","value":"Partitions of factorisations of parameter words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1619837"}},"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":"Q5937586$865BBFDE-966D-4096-9378-2B36D18B2E85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"538faec81445377d81a0150cbccf3ab9330f5c72","datavalue":{"value":{"text":"Partitions of factorisations of parameter words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937586$691B98F1-AA58-4731-897D-66A4F7EACCD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38f500726d5e881d23b6bef92c234d2ea5772e0f","datavalue":{"value":"0973.05079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$3DE28CD8-09AF-41D0-9940-4A3CF1B22799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3c9b19ac83e22bc23464cd14182d6f82b9122ac","datavalue":{"value":"10.1016/S0012-365X(00)00315-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$ADC170A8-CD47-4EA0-A93A-5DB09A4DCD07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d0fc4004f99f9f3e4d0b630d55e753b70799ef1","datavalue":{"value":{"entity-type":"item","numeric-id":1057305,"id":"Q1057305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937586$6F3A3603-0A25-4848-9C6D-B43B7A90A290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8005ca59a5ee2a756344d796d59cb8ddf00841ea","datavalue":{"value":{"entity-type":"item","numeric-id":533347,"id":"Q533347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937586$90B991DF-8EC9-4D2B-9537-07A2A7DC3E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb2038aacbfb89f97cb497b2e396f98494a6e45","datavalue":{"value":{"entity-type":"item","numeric-id":189735,"id":"Q189735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937586$902322D5-4132-44CB-ABC3-1423DD85FB3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937586$CCC01F2D-FD34-4237-93B4-21E13638D2FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c5332c48de08b7b8da8f565721b384b6d4a11a4","datavalue":{"value":{"time":"+2001-11-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":"Q5937586$D30024A1-20E3-4A0B-B9C3-F4C53775F231","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"821d42b3872fb812c3bce8555acdb0acbb8d72f2","datavalue":{"value":"For a finite set \\(A\\), and a set \\(\\Lambda=\\{\\lambda_1, \\dots, \\lambda_k\\}\\) of parameters disjoint from \\(A\\), a \\(k\\)-parameter word \\(w\\) over \\(A\\) is formed from the alphabet \\(A\\cup\\Lambda\\), and is required to have each of the parameters \\(\\lambda_i\\) appearing at least once \\((1\\leq i\\leq k)\\). The parameters are ordered so that the first occurrence of \\(\\lambda_i\\) precedes the first occurrence of \\(\\lambda_j\\) whenever \\(i<j\\); the set of such words is denoted by \\(A{n\\choose k}\\); \\(w\\in A{n\\choose k}\\) is an ascending parameter word if each occurrence of \\(\\lambda_i\\) precedes each occurrence of \\(\\lambda_j\\) when \\(i<j\\), and the set of such words is denoted by \\(A^<{n\\choose k}\\). For \\(w\\in A{m\\choose k}\\) and \\(f\\in A{n\\choose m}\\) \\(f\\circ w\\in A{n\\choose k}\\) is defined to be the word obtained from \\(f\\) by replacing, for every \\(i\\leq m\\), every occurrence of \\(\\lambda_i\\) in \\(f\\) by the \\(i\\)th letter in \\(w\\). For any word \\(w\\) over \\(A\\cup\\Lambda\\)---not necessarily a \\(k\\)-parameter word---\\(w^\\prime\\) is the word over \\(\\Lambda\\) alone obtained by suppressing all letters from \\(A\\); such words over \\(\\Lambda\\) may be written in the form \\(\\prod_{j=1}^t\\lambda_{i_j}^{a_j}\\), where \\(a_j\\geq 1\\) and \\(i_{j+1}\\neq i_j\\) \\((j=1,\\dots,t-1)\\) and \\(a_t\\geq 1\\)---no commutativity is assumed. The associated pattern \\(\\pi(w)\\) of \\(w\\) is defined to be the word \\(\\prod_{j=1}^t\\lambda_{i_j}\\). A factorisation of \\(w\\in A{n\\choose k}\\) is a sequence \\(\\overline{w}=(w_1,\\dots,w_s)\\) of subwords of \\(w\\) such that \\(w=w_1\\dots w_s\\); the type of \\(\\overline{w}\\) is the sequence \\(\\tau(w)=(\\pi(w_1),(w_{21},\\pi(w_2)),\\dots,(w_{s1},\\pi(w_s)))\\), where \\(w_{i1}\\) is the first letter of the subword \\(w_i\\), \\(i\\geq 2\\). With any \\(f\\in A^<{N\\choose m}\\) and any factorisation \\(\\overline{w}=(w_1,\\dots,w_s)\\) of \\(w\\in A{n\\choose k}\\) is associated a factorisation \\(\\overline{f}=(f_1,\\dots,f_s)\\) of \\(f\\) where, for \\(i\\geq 2\\), the first letter of \\(f_i\\) is \\(\\lambda_{\\nu(i)}\\), where \\(\\nu(i)=|w_1|+\\dots+|w_{i-1}|+1\\), and the parameter \\(\\lambda_{\\nu(i)}\\) occurs in no \\(f_j\\) \\((j<i)\\); \\(f\\star\\overline{w}\\) is defined to be \\((f_1\\circ w_1,\\dots,f_s\\circ w_s)\\). A variant of a theorem of Graham and Rothschild [\\textit{R. L. Graham} and \\textit{B. L. Rothschild}, Ramsey's theorem for \\(n\\)-parameter sets. Trans. Am. Math. Soc. 159, 257-292 (1971; Zbl 0233.05003)] is proved: Theorem C. For \\(m,k,r\\in\\mathbb{N}\\) and for any finite alphabet \\(A\\), there exists a natural number \\(N\\) that depends primitive recursively on \\(m,k,r\\) and \\(|A|\\), such that, for every \\(r\\)-colouring \\(\\chi\\) of the class of factorisations of words in \\(A {n\\choose k}\\), there exists some \\(f\\in A^<{N\\choose m}\\) such that, for all \\(u\\in A{m\\choose k}\\) and all factorisations \\(\\overline{u}\\) of \\(u\\), the colour \\(\\chi(f\\star\\overline{u})\\) depends on \\(\\tau(\\overline{u})\\) only.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937586$1EF8A0C6-DB36-453C-8812-D1B4C186DF71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d410aa128a8b8a63913c9594604f4ec3d0ad8b4","datavalue":{"value":{"entity-type":"item","numeric-id":590664,"id":"Q590664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937586$B5E661B6-A020-449E-9513-338F57E140D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$376DF8B7-8C3D-41AE-94B9-15F8DDA06F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$E78C6578-E529-495A-AF57-88DE33063AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7415c779182fc50b7cfaa10089e1ce20b4d4d9d","datavalue":{"value":"1619837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$68203A8C-7E7E-4B14-9909-C765F5414452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a950310e9eb045daa0f9bd8d4f930b87da523be","datavalue":{"value":"parameter word","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937586$40872DF4-BAC8-4DE7-8A0C-CC0C0DA0BC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e9f2dc355d021016d2761333eae34570a21c15","datavalue":{"value":"associated pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937586$B81F1274-AD5B-4472-A7B7-F51BFE6CC650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5624802e7052c56ea4fbdb36d3f04c8e9bcd985","datavalue":{"value":"factorisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937586$FBB3EB28-84BE-431D-B313-0CA04D58D83E","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":"Q5937586$2E7E9E34-6037-4D18-B830-AFBF4F82527E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9a6ece2db04c7f67dff1b376ed5e1251567ef9d","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(00)00315-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937586$D97AAD85-8DA0-4302-B541-425A5819092B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"514c0e7b9d323e5d8368e4720ac5f15173e4cf53","datavalue":{"value":"W2168032725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$2D543755-3F1A-462E-82E0-D8A379F57E4F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ff7dd3a5fd5b8b2e5fbd86d261e5eea54143a7b","datavalue":{"value":"Q127125964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937586$685BDBD0-3E51-4CEA-848D-504644EA60F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ff36e2a1b272ee24c2558090f9ed4618f65d58","datavalue":{"value":{"entity-type":"item","numeric-id":3315512,"id":"Q3315512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1bb0c4f8fe0e9eec99644083c80382380f6db6","datavalue":{"value":{"amount":"+0.8209529519081116","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":"Q5937586$18052A8C-E41A-4AA3-8002-00DF000FEE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beab54328ef6c686f0ae781783d4debc91a30052","datavalue":{"value":{"entity-type":"item","numeric-id":1356497,"id":"Q1356497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cf0d497decdf60a79930ea9fef3149ff60dde2","datavalue":{"value":{"amount":"+0.8188781142234802","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":"Q5937586$A15E36F2-B208-4730-83C4-FC7F08662635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca19202cfd47651f2e4c284e78fac5ceff390f6","datavalue":{"value":{"entity-type":"item","numeric-id":3812254,"id":"Q3812254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23c1d55544aa3f4e917916789831008f01ad257","datavalue":{"value":{"amount":"+0.7951751351356506","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":"Q5937586$27DBD491-A335-49E3-9FED-8286B573EC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03e2df6644195768993ca261f549a55c69ff2a0","datavalue":{"value":{"entity-type":"item","numeric-id":1180427,"id":"Q1180427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21428aa521e9a551b4ddb0038318eae3b10bfce4","datavalue":{"value":{"amount":"+0.7798083424568176","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":"Q5937586$ABAA4E5F-C203-46D9-97F2-7222BDB357E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8ec73347c020964205755a9d424c783dc4fb53","datavalue":{"value":{"entity-type":"item","numeric-id":3341054,"id":"Q3341054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12914b0c7822ae52e81640a52ff0afb9f0113c4","datavalue":{"value":{"amount":"+0.7778627872467041","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":"Q5937586$53D3AA40-F7C0-48E8-9460-4FA6A4D49DBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partitions of factorisations of parameter words","badges":[]}}}}}