{"entities":{"Q2211032":{"pageid":2221775,"ns":120,"title":"Item:Q2211032","lastrevid":57780042,"modified":"2026-04-02T12:15:24Z","type":"item","id":"Q2211032","labels":{"en":{"language":"en","value":"The upper density of an automatic set is rational"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7272153"}},"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":"Q2211032$19B058F5-5C3A-4A0A-8063-66751997D552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4087937a63b55dd8fe4224ac3108f76851846b6","datavalue":{"value":{"text":"The upper density of an automatic set is rational","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2211032$EAA8C597-A910-432E-A9C9-78445092E262","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9b4f32d9748c08789a8e5a6ccf6ec894fdddc11","datavalue":{"value":"1465.11079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211032$C68D1B3D-6D0D-4EC4-BF2B-E1AD69365C9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9c8e87dce07a610e4d118d8e4bd426837efde8","datavalue":{"value":{"entity-type":"item","numeric-id":176875,"id":"Q176875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$AD4B9130-C613-41DC-809C-AFABF8B90D0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$12D4C4BA-31AF-43D0-A1B6-15EDE08A913D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9f22268837797e046dca0302ad58b944858f292","datavalue":{"value":{"time":"+2020-11-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":"Q2211032$CF1DCD1E-5758-4310-8743-60731A596642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38b77d8dcfa62dcb5cd094683bc156e00a8d93d8","datavalue":{"value":"https://arxiv.org/abs/2002.07256","type":"string"},"datatype":"url"},"type":"statement","id":"Q2211032$136422ED-EC7C-4F86-A793-3BBB2D866B7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35b749c33484fcc0fdd2095d1a9f6cee521823ab","datavalue":{"value":"Let \\(\\pi_S(x)\\) denote the number of elements of the set \\(S\\subseteq\\mathbb{N}\\) that are less than \\(x\\). The upper and lower densities of \\(S\\) are respectively \\(\\limsup_{x\\to\\infty} \\pi_S(x)/x\\) and \\(\\liminf_{x\\to\\infty} \\pi_S(x)/x\\). Let \\(k\\ge 2\\) be an integer.  When \\(S\\) is \\(k\\)-automatic, i.e., the base-\\(k\\) expansions of the elements in \\(S\\) are accepted by a finite automaton, then it is shown that these upper and lower densities are recursively computable rational numbers.  The author also proves the following. Let \\((\\alpha,\\beta)\\) be a pair of rational numbers satisfying either \\(0<\\alpha\\le\\beta<1\\) or \\((\\alpha,\\beta)\\in\\{(0,0),(1,1)\\}\\). Then there is a \\(k\\)-automatic set \\(S\\) whose lower density and upper density are \\(\\alpha\\) and \\(\\beta\\) respectively. Conversely, if \\(S\\) is a \\(k\\)-automatic set whose lower density is \\(\\alpha\\) and whose upper density is \\(\\beta\\) then either \\((\\alpha,\\beta)\\in\\{(0,0),(1,1)\\}\\) or \\(\\alpha,\\beta\\) are rational numbers with \\(0<\\alpha\\le\\beta<1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211032$E0488886-448C-498B-A909-808F9FD64ACE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee087b51e799847d019fb8239a9d1ca2f0176191","datavalue":{"value":{"entity-type":"item","numeric-id":236475,"id":"Q236475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$CC2388CC-36C8-4504-9B1F-137E2070835D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211032$356FECB1-1EC9-4CEE-8097-FBD50C4172FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211032$EC0F5388-C952-420D-9DD7-646CD4996476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bbcb502d7214c9f35790bce9747011ef001d0f5","datavalue":{"value":"7272153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211032$000228BE-9487-4668-B81C-A771C9D8C4A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541c6a9fb908355f35d4931156987b1164e7494","datavalue":{"value":"upper density","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211032$D3EC0F7D-F1DF-48E7-827F-A1287BB0EF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e926f63fabcff7340674412bfda52d6cf1f14a3","datavalue":{"value":"automatic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211032$B258BAFD-DDAD-4383-8A88-A8796602BCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6fb60558ed3a0932db7f82c8efea4bc940fed6","datavalue":{"value":"Cobham's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211032$105E3801-742A-4959-9744-02FD5F643805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2211032$0CCDB4F2-6B8E-4949-9125-5D435FE39B76","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":"Q2211032$4157E7F6-60F4-4F63-A8B8-C3366D7FED04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"068a76947845c52ff369d0fabdb91c7686aed262","datavalue":{"value":"W3095852456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211032$DAA31135-60F1-41E0-8961-17ED92984BE8","rank":"normal"}],"P223":[{"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":"Q2211032$2477DE98-1131-4A8F-8431-07F47866119A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65664fbf0fac07985e0db12657153820b2c5d9ad","datavalue":{"value":{"entity-type":"item","numeric-id":1011951,"id":"Q1011951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$A4554DEF-C42C-42EA-933C-EF0C95117AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4145f3b121f6ecc41ac0b4f32632ba7f9a94131","datavalue":{"value":{"entity-type":"item","numeric-id":1130614,"id":"Q1130614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$8E3AA2B0-9261-4C46-9626-8A895DC7ACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26ec61ad0b114755bec335b704577f3e8ceefbc","datavalue":{"value":{"entity-type":"item","numeric-id":5666530,"id":"Q5666530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$7C4FADB2-CD16-47E9-8887-2B7731DBBE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edc3beac98d0dff01d0b95a40316f88ba9ed963","datavalue":{"value":{"entity-type":"item","numeric-id":541909,"id":"Q541909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$6299930B-76BE-4A80-99B2-59EB9C84F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5038e27c65a33f40855b74a80a3547c89227a5a7","datavalue":{"value":{"entity-type":"item","numeric-id":5805016,"id":"Q5805016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$3ED647F1-082C-4955-B6A1-7125B0C7B92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1343b0a67907106a7d5f02e89120d871ab982a","datavalue":{"value":{"entity-type":"item","numeric-id":1143178,"id":"Q1143178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$536D1B42-B627-4D8F-B48D-CF71A394CECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$F6D6C482-2E2B-4CBB-8C3F-D6217373E85B","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":"Q2211032$92470B2B-16C8-4D44-ABAD-0B9869A91EC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caece72896afe7d13a7e62dad9a7b0d503926740","datavalue":{"value":"10.5802/JTNB.1135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2211032$C94FF689-BE57-4B3F-9E5A-F59EC53C880D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2e2193cb864411a47569b03ba78b039cb9d49e","datavalue":{"value":{"entity-type":"item","numeric-id":2947958,"id":"Q2947958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca99c2c76e3218aeb37acc64818a72f94f13f340","datavalue":{"value":{"amount":"+0.8181537985801697","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":"Q2211032$EA9FCE2B-C09E-4230-AC89-2A54CB3249EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29fac7f3280428070fb4483b9fb8963b0523bcd4","datavalue":{"value":{"entity-type":"item","numeric-id":2890222,"id":"Q2890222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d232fb8ba68f19fe6dedb36718b1dc9d14cfb74d","datavalue":{"value":{"amount":"+0.8140682578086853","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":"Q2211032$370939C7-0399-474C-BDB1-F5F4299047AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523cef801ac2b7be7c8e7fab4144cca8575a03b4","datavalue":{"value":{"entity-type":"item","numeric-id":1399991,"id":"Q1399991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033eb6355f6b39ab8504859569ea00d4faeff359","datavalue":{"value":{"amount":"+0.7864871025085449","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":"Q2211032$BF0C4CD3-4468-4499-9E38-5992EB4D61F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e4e124f2117f83e1f8e4e39f3ad01433471190","datavalue":{"value":{"entity-type":"item","numeric-id":5020677,"id":"Q5020677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e201c2342eb3c6b11f0e5d9061730145fd664dec","datavalue":{"value":{"amount":"+0.7634162306785583","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":"Q2211032$5813549C-9096-439D-AA8B-4118718DC0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3e52176a728c266bd8079011954085f292af99","datavalue":{"value":{"entity-type":"item","numeric-id":4577830,"id":"Q4577830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8bbe6ba17c58552664ffebf7a2122ad6e7e0bf7","datavalue":{"value":{"amount":"+0.7596493363380432","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":"Q2211032$6265AE65-1C64-49A8-A3BC-701434F6E220","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2211032$71EB6D70-5EC3-4F03-B100-82B86D496460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2211032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2211032"}}}}}