{"entities":{"Q1386332":{"pageid":1397072,"ns":120,"title":"Item:Q1386332","lastrevid":68596659,"modified":"2026-04-13T00:48:53Z","type":"item","id":"Q1386332","labels":{"en":{"language":"en","value":"Extremal infinite overlap-free binary words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1154471"}},"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":"Q1386332$799E3928-A5AB-4895-8F08-BB3C310E14E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2408aba58e596646aac35a24cdabe5156918c8f","datavalue":{"value":{"text":"Extremal infinite overlap-free binary words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386332$25F7AD2B-7597-4426-8B71-24AA71B35B03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"217be7b5c15c4bffb5d8a7d76c7f3c22d1c2f4c0","datavalue":{"value":"0890.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386332$FD5D4CCD-E56B-4162-8E0E-168591D4DC79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386332$6EDD5DC1-67CA-43C4-AB02-A035F8C48E20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55fb3f14c91fe25aa34a1cf0fe957b7dd1b3bb52","datavalue":{"value":{"time":"+1998-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386332$21249E3C-8370-4202-B061-CCE80FA1592D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f8d3074987d7afc8af4aeb93f5289ca8860227e","datavalue":{"value":"https://eudml.org/doc/119482","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386332$9073FD23-E8DE-4AB9-B38C-32FCBA36DAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"530179af190e58ae65d7f225be5ceebfbaf7945d","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_5/Abstracts/v5i1r27.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386332$1497D6F2-3953-4436-B594-9AA984F37F6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c83f7fc908f5cedc63b4793d05b2b16c4a577f0","datavalue":{"value":"Summary: Let \\(\\overline{\\mathbf t}\\) be the infinite fixed point, starting with \\(1\\), of the morphism \\(\\mu: 0 \\rightarrow 01\\), \\(1 \\rightarrow 10\\). An infinite word over \\(\\{ 0, 1 \\}\\) is said to be overlap-free if it contains no factor of the form \\(axaxa\\), where \\(a \\in \\{ 0,1 \\}\\) and \\(x \\in \\{ 0,1 \\}^*\\). We prove that the lexicographically least infinite overlap-free binary word beginning with any specified prefix, if it exists, has a suffix which is a suffix of \\ \\(\\overline{\\mathbf t}\\). In particular, the lexicographically least infinite overlap-free binary word is \\(001001 \\overline{\\mathbf t}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386332$FADD895B-6D77-401E-938A-76BEBC78AE00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386332$0CEBAE4D-0FF4-4E97-B0E8-3BEA33DF46F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5350537b7968e0817e853d5bc4f034d66b9ba771","datavalue":{"value":"1154471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386332$58B60E4C-835A-42B1-8867-6BB6CE5FF5C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65dab1f1a3b3ee51bddb925e9382be5307cf3d2","datavalue":{"value":"overlap-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386332$87B82CFD-FEFF-4591-BEC1-775CDE60D2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca419282edbfb289bafae0d787e725556c6f560","datavalue":{"value":"binary word","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386332$4766DC6A-3E0D-4D96-B020-621458A181BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab96f30ed40d3ebcd6538eddee3d78ff2ad4c7ea","datavalue":{"value":{"entity-type":"item","numeric-id":187638,"id":"Q187638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386332$CD5B01A9-BBF4-4821-A093-10517789370D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7d7e2c7b3a01468c115e8f5c9f176f4cf098d4","datavalue":{"value":{"entity-type":"item","numeric-id":405074,"id":"Q405074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386332$95464067-6693-4571-8FCF-54F5390C7DCD","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":"Q1386332$18A2615D-D6D0-4E4F-8E48-4343E96C54A7","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":"Q1386332$E4B665DC-3A1A-4A07-B4CD-FBD2F3AC0944","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"6449ec033af64adfbaa871a79b8f145b9be367dc","datavalue":{"value":"bafkreiducdzdbrsnrlleql5iltx4k5tzvf3fsxlr4vze4chkjmcj6hh5yi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386332$A302274A-5655-4C1A-B47C-BB330D0871C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50c27d317cf7473d3257f77adaea60e586b4a12","datavalue":{"value":{"entity-type":"item","numeric-id":2893314,"id":"Q2893314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d269e1e1c3efb777a112d13333ddeb0219248048","datavalue":{"value":{"amount":"+0.8406298160552979","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":"Q1386332$228DA437-8668-4AF6-932A-8D96224FBAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffa13a4c829cd8f5ca40f01d8529f1c93c42eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1308744,"id":"Q1308744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed4b30f866e91693de50fce13af0691fcdb6f83","datavalue":{"value":{"amount":"+0.8308125138282776","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":"Q1386332$8241218D-F660-4B70-B99C-589FBB1313F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec2bc91f04daa8752146be95af5f2f4f1571ff","datavalue":{"value":{"entity-type":"item","numeric-id":2215463,"id":"Q2215463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46eb429fad27d23fa82c434ea71de1c26631c450","datavalue":{"value":{"amount":"+0.8304317593574524","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":"Q1386332$2DA11995-ECFA-42F6-A704-BCF70AE5B695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d7c42aad49fbdb14c9855672b61d22abfa37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4281523,"id":"Q4281523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38d2cad91a01061e7a432ab99dfc247c1faeb2a","datavalue":{"value":{"amount":"+0.8140280246734619","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":"Q1386332$6854889C-74AB-451F-9D82-29F322B472D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ebfa1adf8f679f7d21543831a27144014c081d","datavalue":{"value":{"entity-type":"item","numeric-id":4721661,"id":"Q4721661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7883d69a02fb2218f4708b651b76fe7c8847d96","datavalue":{"value":{"amount":"+0.8088865876197815","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":"Q1386332$9317C6DA-6144-4E42-8203-776459321E99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extremal infinite overlap-free binary words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extremal_infinite_overlap-free_binary_words"}}}}}