{"entities":{"Q2333033":{"pageid":2343776,"ns":120,"title":"Item:Q2333033","lastrevid":57859977,"modified":"2026-04-02T20:24:37Z","type":"item","id":"Q2333033","labels":{"en":{"language":"en","value":"Critical exponent of infinite balanced words via the Pell number system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7127169"}},"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":"Q2333033$31D4FD36-4888-4C7A-823E-AAD22B62EE43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27f005c77da410701a70da8bd73610636cd9302e","datavalue":{"value":{"text":"Critical exponent of infinite balanced words via the Pell number system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2333033$D84E28F6-0534-451D-9BD7-D232C370F1E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cabf8ade5aca54a4d4b2ab34343b7b0e86a8e8f","datavalue":{"value":"1447.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$CB1C5004-4036-428B-A127-ED18E5D58BE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b10335026c95b0780f8831bdc7497012fec9b7d9","datavalue":{"value":"10.1007/978-3-030-28796-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$C3FDB749-DB7E-48E7-9E87-18FAF0C1F38F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"119afb6183ad91776fae94b3f75156961b83e957","datavalue":{"value":{"entity-type":"item","numeric-id":2222097,"id":"Q2222097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333033$A28274C0-182A-455E-989D-2901B35BD7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333033$43EFEACA-73AB-4DF3-9389-A61F76783E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2561b1efd6a7609647fbceb007fc8fdcc0d609a8","datavalue":{"value":{"time":"+2019-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2333033$16A689F9-BA58-4DC3-B011-309C225CAEF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb37ccb2e24e20f3319a26513b4ec746e9df0b2a","datavalue":{"value":"https://arxiv.org/abs/1902.00503","type":"string"},"datatype":"url"},"type":"statement","id":"Q2333033$E4B2692A-5E7F-467F-9358-70D739E0A5F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e10e62c4f2df924ea0e1e55cafb2f0628393bdd4","datavalue":{"value":"The \\textit{critical exponent} of an infinite word \\(w\\) is the supremum of the set of all rational numbers \\(r\\) such that there exists a finite nonempty factor of \\(w\\) with exponent \\(r\\). \\textit{N. Rampersad} et al. [Theor. Comput. Sci. 777, 454--463 (2019; Zbl 1446.68132)] conjectured that the smallest possible critical exponent of an infinite balanced word over a \\(5\\)-letter alphabet is \\(3/2\\) (note that a general conjecture was given for a \\(k\\)-letter alphabet). In the paper under review, this conjecture for a \\(5\\)-letter alphabet is proved using ``automatic theorem proving'' techniques. The authors make use of the Walnut package based on B\u00fcchi's theorem and first-order logic. A numeration system based on Pell numbers \\(1,2,5,12,29,70,\\dots\\) is related to the studied infinite word. To be able to use the formalism of first-order logic and encode this infinite word in an extension of Presburger arithmetic, the authors obtain an automaton that recognizes the addition relation for words in that numeration system. This is again a nice example of how computational techniques are used in combinatorics on words.  For the entire collection see [Zbl 1419.68014].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333033$05E33443-59A9-41B6-A2B1-12F5947FC324","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":"Q2333033$CC205717-7AB5-4B99-8001-9D3FA08AEE8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$C97F60E0-0C09-4D04-B32B-61055C668B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$18CED3D4-76B8-4EC4-90DA-EBC22F7A8BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$BB975B32-E281-44B1-807B-C42AB81784D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$D015A4D0-01A2-489B-8116-3C5BBE2D9D36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b529d77b0a190afab2f9a881d4df78996c9c3309","datavalue":{"value":"7127169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$D620CD08-F982-4E89-B4A7-2A24E954F818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a25eab04f448840a9d25e72f9b29beac7a0c6db","datavalue":{"value":"critical exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333033$F8674395-1D69-4D9F-99DE-10DB312D0AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2480af75ad44d228cb73370fec0d4202bf0c9149","datavalue":{"value":"balanced word","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333033$BA627EE6-68D0-40C6-8374-3FD184AF643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333033$8F94F015-6104-4B35-9E66-A2048E1D4DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde29233e1a9f3d2987841af9be4e53a4b563377","datavalue":{"value":"numeration system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333033$AB9BF731-ABDB-43D3-8C92-5940D09F1CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339408db521953cde4ffb72b51306acf6ed66d64","datavalue":{"value":"Pell numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2333033$B6D42CB3-A1C4-4ECE-9E16-303AFB70BA5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41206dcbcbeae462e666a06f6cff03ec3cba83dc","datavalue":{"value":{"entity-type":"item","numeric-id":41836,"id":"Q41836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2333033$06B39241-2FB3-4D66-B631-829BBC68C3BA","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":"Q2333033$4F7257EC-CFDF-4796-90F9-302BD57EFD77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbb592a0ff053bc4249dc2e26ecf77645f6ae7ba","datavalue":{"value":"W3100315250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2333033$EC606E72-14AE-48B5-8893-DFAC709999AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d75120d842ea9612103a823e3709ac513705cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1010692,"id":"Q1010692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddcd5c4cae007808b7fdc22866ee5461cef1e06","datavalue":{"value":{"amount":"+0.81034356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$7D6525CE-22C9-483D-A116-DDDEEACBEEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9dfda3f41617ee7b30d3bb14a2766ae5f0ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2422043,"id":"Q2422043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8b8079666deb7b047f66383610b622ca22e1e4","datavalue":{"value":{"amount":"+0.8063182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$EA0615E1-2BC6-4DA1-99E3-3C3AA397A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3d090a71a768aecde16ae2752b0ddce5587a97","datavalue":{"value":{"entity-type":"item","numeric-id":995572,"id":"Q995572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385e2dd9a41736f80e55dff8947980827e085f7c","datavalue":{"value":{"amount":"+0.7779482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$696BF666-8BB9-4C00-9D14-AC9D443D75CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c2c479f0e819565504ea7a3dfdbd1a14bcd769","datavalue":{"value":{"entity-type":"item","numeric-id":5223830,"id":"Q5223830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c6a1acaabd1d76976381b0d772de1ebd8427b0","datavalue":{"value":{"amount":"+0.77095693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$A6858487-6916-4F18-82E8-6FFC844E6924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc734f67855494897a8132d4d3fc1712de67b30","datavalue":{"value":{"entity-type":"item","numeric-id":2333034,"id":"Q2333034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff9816d25df67aba76d06ced7d3ab4f1e37521b","datavalue":{"value":{"amount":"+0.77049017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$A88BEEA3-714C-4A1D-B091-B5375769DBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa361e7b0a8dcc1c784dd1b22424bd8116b954d","datavalue":{"value":{"entity-type":"item","numeric-id":5756719,"id":"Q5756719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219f2ed6871ab1c23958e97a0f07f7c00cebbb38","datavalue":{"value":{"amount":"+0.7604895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$99239093-0946-40CF-9639-3C0EB0854EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18da5b707a68922348e360da56680ff2cbed196","datavalue":{"value":{"entity-type":"item","numeric-id":2456366,"id":"Q2456366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e3cda617efeee4018acc537fa7f9de6db335a4","datavalue":{"value":{"amount":"+0.756614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$B1D7A6F7-C1C7-478A-A792-5223BBA399EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b64fdee4e6d0415d036bcec52b8395ff18c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5130737,"id":"Q5130737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a641bd507db3a1287ac0957e075e51636e1a36a","datavalue":{"value":{"amount":"+0.7510188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2333033$2699C191-21C1-4603-9156-5D193C3FE227","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2333033","badges":[]}}}}}