{"entities":{"Q6989489":{"pageid":21439944,"ns":120,"title":"Item:Q6989489","lastrevid":84008291,"modified":"2026-05-07T20:18:33Z","type":"item","id":"Q6989489","labels":{"en":{"language":"en","value":"Repetition factorization of automatic sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8034708"}},"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":"Q6989489$3880DF8B-1D07-4C74-B84B-85392BA568E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2b331b9f851b3018d62efbd11ca0594f5c1a17f","datavalue":{"value":{"text":"Repetition factorization of automatic sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6989489$8C1F12DF-4DE2-4CD0-A7AB-68A14D4F46A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c75b1fc17114b04403b1d77194f97f391f267066","datavalue":{"value":"10.1142/S0129054124430019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989489$BEA05113-A06D-4946-8D39-8551A8152F47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8579d08d02888dcfc6c4a0d1e7ad3780689962","datavalue":{"value":{"entity-type":"item","numeric-id":284844,"id":"Q284844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$2D38EB5B-F413-444B-8B5D-BB0849EABBEB","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":"Q6989489$247F2C32-F7C0-4799-B833-94362486D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d6f57824ecf63849e141c4df57c7036c3c5477","datavalue":{"value":{"entity-type":"item","numeric-id":6460705,"id":"Q6460705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B301A443-05D1-4CC3-A4D0-80E6952EA443","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B1F0722D-5956-48CE-8700-893A530EDA85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb65cc6c30cdeeb47f4c77b6abe15de7b7d5bed","datavalue":{"value":{"time":"+2025-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6989489$3A1DDAF6-B520-4005-8DC3-111256A7A1ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1ece400e273feb49b66ae9dbb2667cf35735531","datavalue":{"value":"In combinatorics on words, a repetition is a (fractional) power of exponent at least \\(2\\) and a word has a repetition factorization if it is the product of repetitions. After the preliminaries in Section 1, Section 2 is devoted to the general case of repetition factorizations in (generalized) automatic sequences, where the famous theorem of B\u00fcchi, linking first-order logic to automatic sequences, is used. The subsequent sections are devoted to specific sequences where the results are made more precise using the theorem prover \\texttt{Walnut}: Section 3 is devoted to the Fibonacci sequence, Section 4 to the Thue-Morse sequence, Section 5 to paperfolding sequences, and Section 6 to the Rudin-Shapiro sequence. The paper ends with Section 7 where the authors present some open problems for further investigation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$A9AE61A0-2A85-4F81-AD7A-5117C61BA227","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9df3542a9eec6bc92e9896d46540d72ddb06f43","datavalue":{"value":{"entity-type":"item","numeric-id":308969,"id":"Q308969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$602FAB54-4E17-4266-B051-FF9C4B70CFA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989489$00B3CF7D-0243-478A-939B-F364BCF32AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989489$BFC0DC7F-6D3A-41B6-9C05-9FC95A9F1534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ca731a56039d958a6c6961c0744d8e360bb5e13","datavalue":{"value":"8034708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989489$2086F5FA-F9E3-452D-BAFC-1A16F989FA0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0d749d81c5f78a594725deec8a2fc7f6cbfaac","datavalue":{"value":"repetition factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$4F3B0A71-1AAB-421F-988B-6EE6ADE47EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$8C77740C-4D14-4890-94ED-969FD4E4C80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a64fc47d6b4374dda5b80285e4867d8288957c1","datavalue":{"value":"periodicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$750050E3-62BA-4EC4-BD2B-5E448CC16183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d502ab3afc5cccfc18f7081f2e0a3864c74ed8ef","datavalue":{"value":"repetition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$2A21AE20-79A7-4ED8-B82D-B8499AA7F029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0514de64a92d377eb5b7f411a83a6f319c4635","datavalue":{"value":"Fibonacci sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$27BAFA82-80FB-40CB-8437-9DA63DACA9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1484d9165527900f2ecd9e3b2a7c6e8b90cf1370","datavalue":{"value":"Thue-Morse sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$5F973CF0-41CF-4DE8-ACE5-7816F79D0344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f068df4b2b0ef7c31a46d88355635615cfa72514","datavalue":{"value":"paperfolding sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$C0073447-A72C-4538-AB11-259C530E952E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3406910cff784321516e471197e032bb1802e0be","datavalue":{"value":"Rudi-Shapiro sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$83323CE0-94E7-4E9C-A3D8-C54F8AA6658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1225367b1c58aa38751252c599f129a0a0e283bf","datavalue":{"value":"Walnut","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989489$39919B71-F849-42B1-8809-87E6D2CA46D6","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":"Q6989489$3FCF6121-981D-4E56-B94E-E9A0CE95683F","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":"Q6989489$DBFD6646-DDE5-4DB7-B3BF-4B4FD891528B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c6eb7af281395c84d6a5f41817d9073aa50bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3718171,"id":"Q3718171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$4CB2A8B6-C2B3-497E-B833-D5F1B90AFDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dabd89d1650a3f66c63265a24f19cdd05b83a51","datavalue":{"value":{"entity-type":"item","numeric-id":1838047,"id":"Q1838047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$C00D40BF-C395-4A65-BC80-9A171B93D9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de29fbd20c178037317006e502680133b13a6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1326952,"id":"Q1326952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B8527636-B80D-4ECB-9637-6930EB300B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7409ce12fc521e911d6f4a6b767611cba400d27a","datavalue":{"value":{"entity-type":"item","numeric-id":5517677,"id":"Q5517677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$2A55041E-C3AC-4C08-8978-8E1ED91BDBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79d35828bae1410afaf2b12ea60d637ad83c1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2135631,"id":"Q2135631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B31F7714-CD1D-4898-8172-FE7A5CA8A657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771528ed7b6d99e99b55531cba756b7df7b0aa32","datavalue":{"value":{"entity-type":"item","numeric-id":6545438,"id":"Q6545438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B2F060C6-9C94-4E9F-BEC9-AE79028519EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e5b379f7f97cc7b01c882e2063b221e394ed26","datavalue":{"value":{"entity-type":"item","numeric-id":5815665,"id":"Q5815665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$1282529C-2B81-4876-8A57-3D4390F1BDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a841053d53082397a775cfe4f1cec24c6efb469f","datavalue":{"value":{"entity-type":"item","numeric-id":3265792,"id":"Q3265792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$6C52332A-9568-4B83-9989-4DABCFCF73FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90a313323cde04c66f9dd91e1c21775235f7096","datavalue":{"value":{"entity-type":"item","numeric-id":6622783,"id":"Q6622783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$8ED68A58-649A-4106-99F1-041517E2D2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79610d67000ac3800ec9c7fc973c320d024cafbf","datavalue":{"value":{"entity-type":"item","numeric-id":5093875,"id":"Q5093875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$C4209166-B108-4675-A80B-FE1A1A6F0141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db551149f80e31e109f227cfdcb86710f60d7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2710702,"id":"Q2710702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B9A05CD9-5742-477F-8871-811431CA6A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932014bfbefb5900b9f4a012f8590537e499d23a","datavalue":{"value":{"entity-type":"item","numeric-id":6001896,"id":"Q6001896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$BAEF65C9-245C-4C6A-AFC6-63C913DBC0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a29f3e0c75866192e5ee2025f7bb4fd46918197","datavalue":{"value":{"entity-type":"item","numeric-id":5665234,"id":"Q5665234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989489$B6F85E62-740D-4A0F-9D0D-11A751C1A846","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Repetition factorization of automatic sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Repetition_factorization_of_automatic_sequences"}}}}}