{"entities":{"Q5903072":{"pageid":8013161,"ns":120,"title":"Item:Q5903072","lastrevid":101920958,"modified":"2026-06-06T03:08:37Z","type":"item","id":"Q5903072","labels":{"en":{"language":"en","value":"Disjoint covering systems of rational Beatty sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946262"}},"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":"Q5903072$51A973B8-4D10-4E51-9FFE-1C8272F13E65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"219e3b90a512248b6235144850df25d28b35fa3b","datavalue":{"value":{"text":"Disjoint covering systems of rational Beatty sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5903072$CDD1500A-37AD-4052-83D8-2D025ADBA0D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c979cb7fad02a3075751c33bdf181ff5129cc214","datavalue":{"value":"0589.10060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903072$FDCF161B-5206-4156-9A5F-BEDD5DBBABF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb1c4eca28fad737b9c906ad8fbee5166e278d0d","datavalue":{"value":"10.1016/0097-3165(86)90015-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903072$E09AF735-15CF-4AAF-B86A-2D0D0F8BA877","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":"Q5903072$CB6E16F2-67D8-4632-A879-FBC432BE23D4","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":"Q5903072$574874B1-E169-4BF9-9417-CA5EE523C770","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":"Q5903072$D7B1FC98-D211-4BC7-A6F2-ABB58C027B35","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":"Q5903072$DE73C463-925B-4B37-B6ED-A9092F7E7C20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q5903072$AFCA2367-9D59-4C0A-BD1E-3FA62670BA94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5812ff2cf0beb554947a5d214fd48665594475b3","datavalue":{"value":"A rational Beatty sequence is a set of integers of the form \\([\\alpha +nr]\\) with n running over the set \\({\\mathbb{Z}}^+\\) if nonnegative integers and \\(\\alpha\\) a real and r a rational number with \\(n\\geq 1\\). Here [ ] denotes the greatest integer function and r is called the modulus of the sequence.    The authors prove that if a finite system of Beatty sequences partitions \\({\\mathbb{Z}}^+\\) then the greatest among the numerators of the moduli (written in their lowest terms) of these sequences appears at least twice. This is a generalization of the well known result of Davenport, Mirsky, D. Newman and Rado for disjoint covering systems of arithmetic sequences. They also prove that even three largest numerators are equal provided the system contains at least three sequences and the moduli corresponding to these numerators are not equal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903072$5E38102F-64CA-4AF5-B9CE-20D25B178723","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac599b3b4b403e13ff34b53d17b49cf088c1290e","datavalue":{"value":{"entity-type":"item","numeric-id":587322,"id":"Q587322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903072$21903F30-6F4B-4573-9AE8-DDDFDFDD416C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903072$CA8C4D8E-1CA5-4763-A2EF-E6E0B5D3512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a956ba151c790dcf1c264a66e8b68d651f9216c","datavalue":{"value":"11A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903072$5B204310-C8B8-4AED-AAB7-25A326F690DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"232111feaec436b51b8d72e0c6a4ea1dac93b82e","datavalue":{"value":"3946262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903072$BBB8814E-C4E9-4515-8E77-1AD90673CDE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff77765cf1b59e45a3b33b93387c33b773054807","datavalue":{"value":"rational Beatty sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903072$5524BFB5-5D65-459B-A77F-03E78FAC3CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b34a651a0711e305ed23d2516fc43fc639241b7","datavalue":{"value":"greatest integer function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903072$E465E6D4-0534-461D-B2E7-201743401EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2398ee429e7b9f1e4d6849717ec7d5777fb198b","datavalue":{"value":"disjoint covering systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903072$AE270C65-2170-4E43-980A-8334D6014154","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":"Q5903072$E2DC1EB8-D85B-4A4A-B692-7976FC343755","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b99af4686eaf49f6a46efc43b4167386330569a2","datavalue":{"value":"https://doi.org/10.1016/0097-3165(86)90015-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5903072$0BB23066-ECF3-4433-9E8A-9A382AEB0989","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3181552a22878a16459f5351d2f605579e720df6","datavalue":{"value":"W1980203985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903072$6C63FB47-B770-45F7-8475-7EA85DF99E14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d72faf9315261835c99647af23a2e3395a8529","datavalue":{"value":{"entity-type":"item","numeric-id":2559484,"id":"Q2559484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903072$57DE5CA1-7A65-4237-AE15-F83830D7B351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612401fdbbabdd1e6f169a0fb8d2948bbb14985e","datavalue":{"value":{"entity-type":"item","numeric-id":1394256,"id":"Q1394256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903072$D36DC1E3-6495-4273-8CFC-5413380F8FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc971d58ceb8c70ccc1f9226d038658ba9882f7","datavalue":{"value":{"entity-type":"item","numeric-id":2541735,"id":"Q2541735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903072$2A891A78-E226-4CC2-8726-54BF82AE77A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bef910c0a28bb20639b92b86a8ff3a5c999403","datavalue":{"value":{"entity-type":"item","numeric-id":4132611,"id":"Q4132611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903072$0C3B9844-3CBB-4BD8-AF4F-F19819CE9B4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e763fee2f6d3d784baea25ded424e340c9f7e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5905461,"id":"Q5905461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625976a17790e41ee9c6f4b71da186cf8588c429","datavalue":{"value":{"amount":"+0.8939921855926514","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":"Q5903072$022A0DAF-1AC5-4916-B38B-D937E60E49D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4955f719d68d55ab7e67eb844ce3dc0cc04530f6","datavalue":{"value":{"entity-type":"item","numeric-id":2855633,"id":"Q2855633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ccdbc4ff5685b6fd2dc974ff75bb76df43579b","datavalue":{"value":{"amount":"+0.8935439586639404","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":"Q5903072$321F70A1-3EB9-48BE-82D1-4654D32710A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e9ad5fd0a0a1d25c74598595035563d9c74b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4205508,"id":"Q4205508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72eaef1f858fbf23d160581e5a912e71e522ee8","datavalue":{"value":{"amount":"+0.8623442053794861","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":"Q5903072$21EA4A2C-503C-437F-ABC0-DB11FC79EC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f32d2a8a6835450f1bcdb5cdd0f9e2bf9bfea77","datavalue":{"value":{"entity-type":"item","numeric-id":4831482,"id":"Q4831482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f8c1eb7f1307dadf0988b325b0d4f58be78aaa","datavalue":{"value":{"amount":"+0.8227081894874573","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":"Q5903072$CF9740D7-CB85-42B8-B2A3-461B15237C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e138d6d221e39740f3f532d90c06cac36f276d","datavalue":{"value":{"entity-type":"item","numeric-id":686460,"id":"Q686460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9708cad97f9292083ebf644afa29384845fc2c74","datavalue":{"value":{"amount":"+0.7977479100227356","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":"Q5903072$DE05AE62-5488-44DE-B792-F451B5137997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjoint covering systems of rational Beatty sequences (scientific article; zbMATH DE number 3946262)","badges":[]}}}}}