{"entities":{"Q1103002":{"pageid":1113754,"ns":120,"title":"Item:Q1103002","lastrevid":69647253,"modified":"2026-04-13T08:26:31Z","type":"item","id":"Q1103002","labels":{"en":{"language":"en","value":"Covers of product sets and the Korec-Zn\u00e1m result"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051752"}},"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":"Q1103002$7A2DBF77-3BB8-4C05-ACD2-2D0CD9CE104F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd12d791094c39b5edc0df036141a70f08fac99b","datavalue":{"value":{"text":"Covers of product sets and the Korec-Zn\u00e1m result","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103002$B2BC6139-495E-4F67-9394-14A484EA6F1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b96d41d76fd8ad24b043a194c344627680bce6","datavalue":{"value":"0645.10048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103002$40AEE1FF-F1EC-4F6B-8266-CC390082C696","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1bf2e0327b98ad8c0badcfd83d262eb9938f6dd","datavalue":{"value":"10.1016/S0195-6698(88)80037-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103002$42D4C2B4-CAE7-4F6C-B9F1-7052AA5F52E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"671f87bbb03b8190581972ff8394115a8a1845ad","datavalue":{"value":{"entity-type":"item","numeric-id":802205,"id":"Q802205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103002$3AB3F2E4-6B6E-40C5-993E-8947DF928FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e03c17ae3571db27d3739bfca7ca1335b1d6bf08","datavalue":{"value":{"entity-type":"item","numeric-id":686152,"id":"Q686152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103002$8DC1F870-D7B3-40BF-9F71-8C45CDAD308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e709fecaf3540b3e05639431386acc098a31770","datavalue":{"value":{"entity-type":"item","numeric-id":200918,"id":"Q200918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103002$35D11EC3-0EE8-46E3-9D2E-572F88E9E2C7","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":"Q1103002$A88A4EDF-E0BB-4D2F-A37D-0BDAB91881DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1103002$7ECF4D8A-65B9-4D75-8998-22386075AB20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"214ae8a8ffe0848209856235ae26136a474680e4","datavalue":{"value":"A finite system \\(\\mathcal D\\) of sets \\(H_i\\) of the form \\(H_ i=\\{n\\in\\mathbb{Z}: n\\equiv a i \\pmod{N_i}\\}\\) is called covering if every integer belongs to some \\(H_i\\). The number \\(N_i\\) is referred to as the modulus of \\(H_i\\). The system \\(\\mathcal D\\) is called minimal covering if none of its proper subsystems is covering. Denote \\(\\operatorname{lcp}(\\mathcal D)\\) the least common multiple of the moduli \\(N_i\\). Further, for any natural \\(k\\) with canonical form \\(k=\\prod^{t}_{j=1}p_ j^{t_ j}\\) put \\(f(k)=\\sum^t_{j=1}t_ j(p_t-1)+1.\\)    The main result is the following: Theorem. Any minimal covering systems \\(\\mathcal D\\) must contain at least \\(f(\\operatorname{lcp}(\\mathcal D))\\) sets.  This generalizes some results by I. Korec and the reviewer from 1974.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103002$7F9F4C38-6E4B-412C-ADC5-C8C3BE465024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103002$AA1696D2-202E-439C-875B-2C34D533CC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103002$4A0E8B7B-DEEB-4593-AEB4-7D952953C69E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90a782f90de4c2a368d32457a5726652eb3a4d64","datavalue":{"value":"4051752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103002$C7507388-CB06-49E9-A81D-583E3C974AF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9aa351a104cf538d56b71f5fcd7e4aa83dfd7f9","datavalue":{"value":"systems of covering sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103002$B56C1020-3677-4FBF-8EE2-C38EFBDBE37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae50ae2b85be6b6a62442695a83467ecef2262e","datavalue":{"value":"modulus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103002$35FE99F6-72C3-4EB6-90FB-96778F9DC6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c2062de5f19c527ccd12cf4042772b859b439d","datavalue":{"value":"least common multiple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103002$0DA89FFA-7D94-443D-9B8F-DB568F889AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e39e0e41845f0434465eb7a57e84cd838bf4317","datavalue":{"value":"minimal covering systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103002$B552ED4F-2651-4E16-9983-5D56A771F2C1","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":"Q1103002$FBBD9546-0364-464E-8783-9147A1B2BFD5","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":"Q1103002$2AC6F127-14A8-4C81-A0E8-A02069042D1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"224870f78754fa85201844da7953c4900be22f50","datavalue":{"value":{"entity-type":"item","numeric-id":1086272,"id":"Q1086272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103002$678F024D-668D-4C85-B257-85E98141F4E8","rank":"normal"},{"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":"Q1103002$FDE357AE-0B44-4FC8-A9B7-26192FDC9DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b70a5f7cdf120574ccfad2e2714a1fd7c99506","datavalue":{"value":{"entity-type":"item","numeric-id":4075520,"id":"Q4075520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103002$17B65D0D-CF1D-4B17-A3B8-12458A2A27D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61af5a3ab9d30766645f66ea9afd211e7031cace","datavalue":{"value":"https://doi.org/10.1016/s0195-6698(88)80037-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103002$B1EE371C-A7D1-4AFA-B1F2-E4968A1A14DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afe43bb279bf60cdb398d50723ece71e4c64c3a7","datavalue":{"value":"W2047548383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103002$110CF5C7-2B22-49CD-8FBC-5114BB88D3A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da4135d1fa5f94be900554ec47356ef5018bf70","datavalue":{"value":{"entity-type":"item","numeric-id":5060305,"id":"Q5060305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e4d5cee4a769d56ee25328d374f69b552d67b1","datavalue":{"value":{"amount":"+0.8665534257888794","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":"Q1103002$D0723FA2-E513-4EA1-B716-13BD61138EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d282d487697aea45c7d218ac915a7a2afc455c","datavalue":{"value":{"entity-type":"item","numeric-id":3982384,"id":"Q3982384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32faab00ddb4a94f93b8fe60000e1562fc9b3ff","datavalue":{"value":{"amount":"+0.8635350465774536","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":"Q1103002$A8B55F32-E3B1-4965-80E8-A15981D7029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bbe0863a2c84722eb3862a9d2911806fc6f8d5","datavalue":{"value":{"entity-type":"item","numeric-id":3829600,"id":"Q3829600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d631ffaa5910ad4afb43f93aaed22d683a52b8dc","datavalue":{"value":{"amount":"+0.8578150868415833","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":"Q1103002$C1E60821-AEFA-441A-BA95-130604E6FDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b55675d5d3989591b88202cedb1e407d9877a4","datavalue":{"value":{"entity-type":"item","numeric-id":5183567,"id":"Q5183567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fb80b0bf4f0863ada2b2119ffccaf6bafed260","datavalue":{"value":{"amount":"+0.8340502977371216","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":"Q1103002$25D70A35-167D-469C-9FC6-DDB3649C0C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d7334ea47ba9c72e5e1f851b32c8f981c9542b","datavalue":{"value":{"entity-type":"item","numeric-id":3312324,"id":"Q3312324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6710f90273f1c51708e098b3ec2fa49e801196b4","datavalue":{"value":{"amount":"+0.8260162472724915","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":"Q1103002$420D0E29-7FFB-4A22-90D6-BB65CEF3762D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Covers of product sets and the Korec-Zn\u00e1m result","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Covers_of_product_sets_and_the_Korec-Zn%C3%A1m_result"}}}}}