{"entities":{"Q1087900":{"pageid":1098652,"ns":120,"title":"Item:Q1087900","lastrevid":49029649,"modified":"2026-01-06T12:11:34Z","type":"item","id":"Q1087900","labels":{"en":{"language":"en","value":"Improvement of Mycielski's inequality for non-natural disjoint covering systems of \\({\\mathbb{Z}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989431"}},"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":"Q1087900$858410E1-B9CC-4C0D-8497-894A94C39225","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5fb367397cf8daeb7aa235b09a310a6f9f940d6","datavalue":{"value":{"text":"Improvement of Mycielski's inequality for non-natural disjoint covering systems of \\({\\mathbb{Z}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087900$FD54F986-A280-4690-8051-C7A080383466","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca19abdf799c795be524381784200b3a44baf171","datavalue":{"value":"0612.10003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087900$906D1B6F-5A3B-4699-9D59-F3A06ABCE695","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4284ab5249a99f5eaa3b8d2384f035a8eb8c3427","datavalue":{"value":"10.1016/0012-365X(87)90237-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087900$837871F6-6AA1-42DA-A5EC-84AEE907AF15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85de89faa7dea0486792597ead40953c99a9145b","datavalue":{"value":{"entity-type":"item","numeric-id":1087899,"id":"Q1087899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$00E4BAB2-EDDB-4851-97CC-DF6B92D2628E","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":"Q1087900$A95646A7-962C-4CC5-85BA-23E5629C1955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1087900$3FAB9B2D-E562-4B92-B4C1-D9AD5855431D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fba4ca2567157bd760247da326fa65ef7909ba00","datavalue":{"value":"Denote \\(a(n)=\\{x\\in {\\mathbb{Z}}\\), \\(x\\equiv a\\) (mod n)\\(\\}\\). The system \\(a_ i(n_ i)\\), \\(i=1,...,k\\) will be called disjoint covering system (DCS) if the sets \\(a_ i(n_ i)\\) are disjoint and represent a partition of \\({\\mathbb{Z}}\\). The numbers \\(n_ i\\) are called modulus of DCS. A DCS S is said to be natural if there exists a finite sequence \\(S_ 0,S_ 1,...,S_ r\\) of DCS such that \\(S_ 0={\\mathbb{Z}}\\), \\(S_ r=S\\) and \\(S_{i+1}\\) arises from \\(S_ i\\) partitioning of one of its classes into \\(p_ i\\) (prime) classes of equal modulus.    It was conjectured by Mycielski and Sierpinski and proved by the reviewer that for every DCS we have \\(k\\geq 1+\\sum^{t}_{j=1}\\lambda_ j(p_ j- 1),\\) where \\(\\prod^{t}_{j=1}p_ j^{\\lambda_ j}\\) is the standard form of a modulus \\(n_ i.\\)    In the present paper this inequality is strengthened to  \\[  k\\geq 1+p_ 3+\\sum^{t}_{j=1}\\lambda_ j(p_ j-1)  \\]  for all nonnatural DCS, where \\(p_ 3\\) is the third smallest prime divisor of least common multiple of the modulus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087900$D25B1D70-0199-41AE-9DB3-EE5DE907B4F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087900$4682650F-1364-4D3B-916F-0F320FEC1101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087900$9E4467D8-FCDE-432F-A4FB-7A9062EF2257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66ab6c2a0b42aa74758cdddd63ede42ef1924594","datavalue":{"value":"3989431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087900$42F7A70F-8B33-40D9-AE21-A74CF88F31F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c87b720821690e99976fefddfe117024874312c","datavalue":{"value":"Mycielski's inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087900$30F1B127-76BF-460B-A68A-240B4A1EB26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e4acaa4e353e49e50ee05b5d2a6e65d906dcbe","datavalue":{"value":"congruence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087900$0E969C93-E633-4C03-B82C-50613E2DE036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6eb446694994a4b2f17bcd57327ac2183a3403","datavalue":{"value":"disjoint covering system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087900$ED1C4344-A9D3-46B9-AC52-5CD612DB9161","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a173941da1594601fad69167e0964f93212a07c7","datavalue":{"value":{"entity-type":"item","numeric-id":1229887,"id":"Q1229887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$732CFE36-A956-4CB7-9569-D2B030D0951D","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":"Q1087900$6237ECEA-EA15-43A5-ABC8-6BD4F2623AAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c04aaeffeff9f7443ed7e75b5698532b5bd7187","datavalue":{"value":{"entity-type":"item","numeric-id":4774210,"id":"Q4774210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$139DCEE1-39B4-4F2B-9131-3187BA531438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fe90ec76e461ce21fb5c0f068e2e88ed683220","datavalue":{"value":{"entity-type":"item","numeric-id":3669484,"id":"Q3669484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$F899DBF5-6380-4EDE-B660-62A7C2D2A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721334d9a6544d0556330d9b68e4667a845cfce1","datavalue":{"value":{"entity-type":"item","numeric-id":5521623,"id":"Q5521623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$9F7620B7-B51A-49E7-BC87-C410CCBCEEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff2968dda1fb37629068ab3bfd2a2548eb0612a","datavalue":{"value":{"entity-type":"item","numeric-id":4092019,"id":"Q4092019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$7ECD81C6-4AE7-4833-A9AD-BFC38DB07288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758c2f585b4c3a1be8f013a227c0434e6133377d","datavalue":{"value":{"entity-type":"item","numeric-id":3936821,"id":"Q3936821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$14584A0B-634C-4965-93A0-8856897A7B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aded4754992b61a743c2c23a08f22e86bff5f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":5581764,"id":"Q5581764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$3D7DC941-6BC7-4F8C-B5A4-81CC3D75E34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8975fc826faf532bead222d4cc7ff5163baeeb","datavalue":{"value":{"entity-type":"item","numeric-id":5614072,"id":"Q5614072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$077111D5-D66B-4558-B4D0-B88EC72A6777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da63ac1a0772bc2dfd1c3807196f45655b5fd21a","datavalue":{"value":{"entity-type":"item","numeric-id":4742877,"id":"Q4742877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087900$5F9CD180-2F56-4BC3-9EB3-5827F80D41A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123baf848d25c5621caf2aa75e15ae3c680cfd85","datavalue":{"value":{"entity-type":"item","numeric-id":4764286,"id":"Q4764286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538cbb9241011840ba731b930531f3fdf507d404","datavalue":{"value":{"amount":"+0.8659626245498657","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":"Q1087900$2A2DEDB3-CC51-465B-9DE7-5A3433BA748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ce808cf09b2915d5078a6ccc9073103b8facae","datavalue":{"value":{"entity-type":"item","numeric-id":3141276,"id":"Q3141276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b5f12cc622a0261e59d233cef5916dcfbe9718","datavalue":{"value":{"amount":"+0.8625097274780273","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":"Q1087900$5935D8B8-41E6-42AB-9865-0FF732D16C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5eb924f154e9bd493c22c25c47324f223ae162","datavalue":{"value":{"entity-type":"item","numeric-id":3483340,"id":"Q3483340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cbcc40574384ddcd77d666ab37eda895d2e82f","datavalue":{"value":{"amount":"+0.8612996339797974","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":"Q1087900$D0ECC522-860F-479A-B3C2-9B9B99C810A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e14ce0b2f453b887e189ccc4f8d15f9207ecba","datavalue":{"value":{"entity-type":"item","numeric-id":4404990,"id":"Q4404990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5355392660d2d3895e0df994e9210a48703ac45","datavalue":{"value":{"amount":"+0.8576121926307678","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":"Q1087900$00F8A55D-D42A-4667-AB2A-7A3BBB9D43FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf6cfb3f02a2e9b3c4d42a5abb22227b6c2a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":3760595,"id":"Q3760595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27eafc2567679e5eb6f3920f565d76117486bbe5","datavalue":{"value":{"amount":"+0.8546692728996277","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":"Q1087900$25D94425-EFCE-4D0A-BD32-E779BAE51CD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1087900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1087900"}}}}}