{"entities":{"Q2020439":{"pageid":2031181,"ns":120,"title":"Item:Q2020439","lastrevid":57676866,"modified":"2026-03-31T21:22:12Z","type":"item","id":"Q2020439","labels":{"en":{"language":"en","value":"Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7337404"}},"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":"Q2020439$19C9F055-D403-4AE6-ACB6-5FA6BD28A4BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"554242dcb0f6a2a3e1455fafabf9c5b68d52f1b4","datavalue":{"value":{"text":"Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2020439$9491FD73-A3C0-49E3-AF73-E264675BCB08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5db6266b5549d92eb53920de67b2ba9429c301b6","datavalue":{"value":"1489.11046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$7B7D108E-CC2B-4C2D-8A35-0418723E61F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$71CEAAE0-466C-4E5F-9F30-CA5949D18671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf8a5b7f21409e54e1a54b87dc13de420e37e80","datavalue":{"value":{"time":"+2021-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2020439$2A06853A-3E71-462D-AFBD-3AF577C59C65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8a0d6ebd6470a596caaf3515f25b635a5d381d7","datavalue":{"value":"https://arxiv.org/abs/2010.10956","type":"string"},"datatype":"url"},"type":"statement","id":"Q2020439$C140C43B-E8CC-4A87-ABCB-8AE2CBB8C110","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4daab80d0b07d3aadcd11d35d62074525a06ce88","datavalue":{"value":"Dekking formulated a conjecture about the subword complexity of the Fibonacci-Thue-Morse sequence, and this is proved here. The argument is computational, and uses a decision procedure carried out using a software package called Walnut.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020439$EDFF7927-6235-453E-ABA3-5F5BB58A2660","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f527af6021fa2abbecdfd313d9268f87b4cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":241587,"id":"Q241587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$4E466D25-8E24-4251-8446-B0143362EF34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$C02463BD-AB4A-4237-8E21-D4EBC7D9CDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$C326ACEF-7D50-4EB5-81AE-B17C6854E13C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46899a912dabfec4a38a800d628dea29ad771244","datavalue":{"value":"7337404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$9AD79DAB-4A64-4584-BBC8-4E313EE7A7AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020439$9ADD5D6D-465A-4AB7-A43A-FBF89388A06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d3038b86bd8eca9cc438a24056aeeb757ee1f5","datavalue":{"value":"subword complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020439$2C8DA555-5F10-4192-B851-BF62616227C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9867ce2c7b745c50103851e797018887e49042d","datavalue":{"value":"Fibonacci representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020439$340071A2-C3F5-4DFA-A7FE-1F83392A475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b996035c0cc1a475bffa2f3ad1b1517095f3c1","datavalue":{"value":"Fibonacci-Thue-Morse sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020439$9CA1595A-579B-460B-A93A-68E9B102C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2020439$8AAAA46A-18FA-4F41-900A-3C92FFF0ABAE","rank":"normal"}],"P16":[{"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":"Q2020439$6ECFF04F-12B6-45D7-B001-ACA446E09F3E","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":"Q2020439$5F53D465-8566-4DC2-BCFA-476AC1C24287","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":"Q2020439$0809950D-3169-4EA2-A9A0-1CFA26678F20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83e6c5c86a59c6ea5afaa33f4e15b0102935e74a","datavalue":{"value":"W3137198537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$43A07DDE-CA9B-4494-8060-B29418CA74F4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5d133ef026ee5938a93d9f129a512de799d73fae","datavalue":{"value":"Q113872391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$285A7AA5-603A-4316-B0E7-F8FC37BB0512","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":"Q2020439$8DF65803-569B-4F74-B405-CA7E1D4D49AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f5231738e0df07d7c98e712ca1dd0f65ca91ed","datavalue":{"value":{"entity-type":"item","numeric-id":2222098,"id":"Q2222098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$06B6B9AE-B48A-42DD-B5EB-10213FC1E13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca115817f94a9c98084ad7802061163cd4c63d7","datavalue":{"value":{"entity-type":"item","numeric-id":1824700,"id":"Q1824700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$151453A6-85C7-4F97-BA4A-D53047AC64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964471cc79768bf8e2834c1b2237032b9da5e51d","datavalue":{"value":{"entity-type":"item","numeric-id":2227491,"id":"Q2227491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$5CDF3468-0398-477F-B3A0-69F910B3CF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48edb664783fa6fbebd3b3c75b27cf76562deead","datavalue":{"value":{"entity-type":"item","numeric-id":2974059,"id":"Q2974059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$008A9BD4-81A9-4880-B1BC-62F0F022A38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0381556a1eb4270d68e2cf0912fa536974efcc84","datavalue":{"value":{"entity-type":"item","numeric-id":2372874,"id":"Q2372874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$A170BD72-7ED4-46BB-A80E-DB595E0DF571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$2D1BAFD2-8FB4-4A7B-958C-F8B078D8E5D5","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":"Q2020439$B2214532-9970-48B0-8644-63C1EBD255B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d569f9d620c09b82670d57dea945ca55100a0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1119694,"id":"Q1119694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$A7FDE045-8270-4657-BD1B-44CCAB0C5CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19324feede743357692937a5f85e76dd9043820","datavalue":{"value":{"entity-type":"item","numeric-id":3186674,"id":"Q3186674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2020439$11888538-9EE1-403B-B0E6-8C8B051690EE","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":"Q2020439$B410E269-835D-4D75-99F2-531EF634EE6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dcc629f144247f4713597241ed8356564f7c58b","datavalue":{"value":"10.1016/J.INDAG.2021.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2020439$A97EB3B7-5154-4D07-A71F-C805D6E388F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a86bdede39e1bb92b3f3a37b56f5eeebfb414e","datavalue":{"value":{"entity-type":"item","numeric-id":6159442,"id":"Q6159442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c588255e4da1c36f89afab422f6be40c23673c6","datavalue":{"value":{"amount":"+0.795591413974762","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":"Q2020439$9B81C7D8-B348-4499-8177-7DB7BF4F8FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fcfe33899093d98ae4084faa0c65f86561f810","datavalue":{"value":{"entity-type":"item","numeric-id":5384332,"id":"Q5384332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76da63e04a3be8b5655e2fd5246a172cbe835bc9","datavalue":{"value":{"amount":"+0.7660577893257141","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":"Q2020439$792F2495-5A51-4E09-B6EA-A0BDE171C8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fddfbe8b5ad1c00b5ae4d22718e5da10abeef1","datavalue":{"value":{"entity-type":"item","numeric-id":2143625,"id":"Q2143625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dacc0c1298a03909f6fe949300b32b03ce8776","datavalue":{"value":{"amount":"+0.7592661380767822","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":"Q2020439$C9F9D476-27F1-4C0A-A829-7EFC17BF85B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d51c35fcb285b9ece5aea4b9fbff8e937dc0fb","datavalue":{"value":{"entity-type":"item","numeric-id":1392298,"id":"Q1392298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c860398b28bc2423e1e32c55743e954d8d9b3fb1","datavalue":{"value":{"amount":"+0.7534509301185608","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":"Q2020439$8CBD3F42-8BFE-44B6-AA85-B4E5D03188DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9cdceb144e68026f9bcb02a068b094ca9f844b","datavalue":{"value":{"entity-type":"item","numeric-id":3186674,"id":"Q3186674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994209351fd4b06f73b88af742c831f74b335ee5","datavalue":{"value":{"amount":"+0.7521325945854187","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":"Q2020439$E19C9CF9-468F-4E7F-83E4-DB10D2870503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2020439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2020439"}}}}}