{"entities":{"Q6861668":{"pageid":20666632,"ns":120,"title":"Item:Q6861668","lastrevid":84249023,"modified":"2026-05-14T04:40:26Z","type":"item","id":"Q6861668","labels":{"en":{"language":"en","value":"Decomposition of Beatty and complementary sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156723"}},"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":"Q6861668$30948B8F-4D58-45AF-9700-6D353F935EE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffe5af1c25fdb7167219b678fcd6357fc62af926","datavalue":{"value":{"text":"Decomposition of Beatty and complementary sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6861668$4D47B8AD-DCE3-43BF-B846-CED8BC32CE5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d04c20139360c66f14f3c5e3aae7c81f20368331","datavalue":{"value":"10.5281/ZENODO.17711544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861668$AD15085C-9319-40B1-839F-8EAFA630FD9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"028b07d71b42a7c88b248fc0db9846069e9ddb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2828355,"id":"Q2828355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$532F7F5A-A1F9-4F6F-94A9-A7F07E67D688","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7156ae6288d1cd7ff602ff259046eb2abb40ec71","datavalue":{"value":{"entity-type":"item","numeric-id":2882724,"id":"Q2882724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$C15DB276-359A-497B-B7DD-9666B89ADC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6861668$627EDC5A-C954-4916-97B4-AD918C903465","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0aeae9834c57942f4d8347b9a70776fbaf9343f","datavalue":{"value":"\\(A\\) and \\(B\\) are called complementary sets of natural numbers if \\(A\\cap B=\\emptyset\\) and \\(A\\cup B=\\mathbb N\\). A set whose terms are given by \\(b_n=[n\\beta]\\) for some \\(\\beta>0\\) is called a Beatty sequence. In this paper, the formula \\([n\\phi^2]-[n\\phi]=n\\), which was proved by \\textit{W. A. Wythoff} [Nieuw Arch. Wiskd., II. Ser. 7, 199--202 (1906; JFM 37.0261.03)] is generalized to any pair of complementary Beatty sequences \\(A\\) and \\(B\\) with irrational slopes \\(\\beta>2\\) and \\(\\alpha\\) as follows: \\N\\[\\N[n\\beta]-[n\\alpha]=[n(\\beta-2)]+[n(2-\\alpha)]+1.\\N\\]\\NMoreover, it is proved that the two quantities in the brackets on the right-hand side of the equality count the number of integers that belong to \\(A\\) and \\(B\\), respectively, among those integers lying in the half-open interval \\([a_n, b_n)\\).\\N\\NBy introducing the novel Minimum Excluded with Skipping (MES) algorithm, the results in this paper are proved by using combinatorial arguments, basic analytic techniques, and standard properties of Beatty and Sturmian sequences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861668$AFA9F442-3DE2-462A-B037-80CE6E943FCD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c40ccf101f1116be404a15b0ef3081ee61e48fa","datavalue":{"value":{"entity-type":"item","numeric-id":250279,"id":"Q250279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$8B93D9F3-AC79-4941-9C3A-994B9E296F83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861668$25F5A0B5-FF16-4A19-AD0D-C41357CFEC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58d33fcd5e5cb8a52812aa5e4a2f3f30b5cf0e30","datavalue":{"value":"05A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861668$1D12241B-1FB9-40EB-93DB-2976E5167AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e084899bb0ad3eaadedfa806c9364abc684402","datavalue":{"value":"8156723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861668$89711E60-1E00-4925-98A3-5144B548708C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e21f64875b8b23958df14a0f3fae0988757f87b","datavalue":{"value":"Beatty sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861668$D944E11D-1256-4107-9BDC-D2E687746529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359480598e3ab038f8886026eb67f285abfa3ac3","datavalue":{"value":"Minimum Excluded with Skipping algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861668$64C1B443-B489-42B2-836D-4C41851BEA1F","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":"Q6861668$1DBAE634-E36B-48EA-A80C-71C17711964D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c419c6dc12d5149acb256c05f0423a048c1eb80","datavalue":{"value":{"entity-type":"item","numeric-id":4834004,"id":"Q4834004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$CBAB4443-B091-49A8-AD2A-9921B83F8520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4e2f90490f2659854abc9a22b065ddff5c0f23","datavalue":{"value":{"entity-type":"item","numeric-id":3548498,"id":"Q3548498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$3AF35EFA-D42D-41DC-BBF8-60B3E59D53CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57963544d6d0e0cb3c0d5ef1217a8db2e6534ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2332793,"id":"Q2332793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$0641F9A3-F3A5-45EE-AB02-858ABD68CCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$73DF58A3-E98A-46B4-8749-7169DFD4BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234dfb12d877c3eb0efb17a74c00bd496f6e951d","datavalue":{"value":{"entity-type":"item","numeric-id":2003725,"id":"Q2003725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$72503B32-2E25-406C-8AD8-5E2F22E248B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4832d39c8f2a536c56f30b9aacf2babc582a31ad","datavalue":{"value":{"entity-type":"item","numeric-id":2963486,"id":"Q2963486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$068940CE-FC6F-467E-BCEB-D0476DD89371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c79c161a062a6d78e73fbb89856abdc4fd5ace","datavalue":{"value":{"entity-type":"item","numeric-id":3615234,"id":"Q3615234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$FB37311E-7F1E-4AE3-A321-18BB3A081D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00acf816049e784e7f9ce3bd3f8bcaf37117cfd7","datavalue":{"value":{"entity-type":"item","numeric-id":1917511,"id":"Q1917511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$663F15DE-9F66-4EDA-AFB2-C6264CF1F14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1338c26f5f62be6a7744ba05c34fed4e20875b","datavalue":{"value":{"entity-type":"item","numeric-id":2446875,"id":"Q2446875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$4F6B81F7-B717-4A20-8F42-D1A7B0069E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669b00219484d2bd8e3ab04e0a07b9e400bd0285","datavalue":{"value":{"entity-type":"item","numeric-id":5384323,"id":"Q5384323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$4B3D579D-FA5A-49DC-AC6D-140D0B9A4843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884730700dad99fa01e6d28a2321a82310e2ae8a","datavalue":{"value":{"entity-type":"item","numeric-id":3973278,"id":"Q3973278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$1D9D950D-19A5-4E34-8284-6F413ED14A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab3bdd7d7fbfac1006a4b16e8a3687950389993","datavalue":{"value":{"entity-type":"item","numeric-id":4099541,"id":"Q4099541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$406B6128-8A28-405E-AB67-49AB6366F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0268566ed4c4a0250fbfe1850681e6a8d95988","datavalue":{"value":{"entity-type":"item","numeric-id":4740359,"id":"Q4740359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$A24DBCBF-C699-4509-990C-170B4896E3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c19be668343a980e9ac040ea069d327309754f","datavalue":{"value":{"entity-type":"item","numeric-id":4286802,"id":"Q4286802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$A5688FCD-D6C6-43A7-B301-7A2899A00E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50049de52e7856bc69e5c823627de4a1d84354c","datavalue":{"value":{"entity-type":"item","numeric-id":2586282,"id":"Q2586282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$8A6CA861-98F5-4F73-A73B-331E4C7646B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$2C04438F-3543-4B70-9134-52E032A9F86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2912fa3d3a62af011a6aed65f09b56b2c860bdb","datavalue":{"value":{"entity-type":"item","numeric-id":4642344,"id":"Q4642344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$23A2DA62-25EE-45D6-BEB4-D61DFC91ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711d5009d8f159cd3f3324db9003e442e6a248db","datavalue":{"value":{"entity-type":"item","numeric-id":3002435,"id":"Q3002435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$3AE19869-9AC9-405A-BF8C-0E6F8B07A10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acad44afcc8e93e6a570ca828ec42ba57c94f23","datavalue":{"value":{"entity-type":"item","numeric-id":700198,"id":"Q700198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$3C23DD45-209B-4A13-8AC5-2808047D56D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf895364d9ac65eedd810970620946b22eaaa2e","datavalue":{"value":{"entity-type":"item","numeric-id":5348020,"id":"Q5348020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$581D1CB2-9EE9-4A33-B263-197890EBEF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aae8002faf1c9061b77a24a4345984d301c3e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3495413,"id":"Q3495413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$BE11388E-0B80-48C1-B671-DEC5FD012C9C","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":"Q6861668$9B7062F7-9033-45F7-ABBC-1885B7F03DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8576fb5bfe61e4fc9a30e028d213cf3f2d8d20d5","datavalue":{"value":{"entity-type":"item","numeric-id":3016880,"id":"Q3016880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$88821752-80C9-42B1-81B6-822399B0C6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d22e95cfb08114972c1514e26bef4d87d04d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5524918,"id":"Q5524918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$85E6214A-A2C3-4E84-9A63-9321E00A2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802cb61bee775467d7df14ca09c4d4a3619e3a34","datavalue":{"value":{"entity-type":"item","numeric-id":1496902,"id":"Q1496902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861668$7095FC09-59D0-4018-AEFB-FBE828108C87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposition of Beatty and complementary sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposition_of_Beatty_and_complementary_sequences"}}}}}