{"entities":{"Q2672565":{"pageid":2683308,"ns":120,"title":"Item:Q2672565","lastrevid":57973653,"modified":"2026-04-03T07:27:04Z","type":"item","id":"Q2672565","labels":{"en":{"language":"en","value":"Properties of a class of Toeplitz words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7540190"}},"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":"Q2672565$2C5910CA-F61C-4BF4-B8C4-EBD2FECBADF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109100dbed043eb19a16e12042e5b03cc98c0e2b","datavalue":{"value":{"text":"Properties of a class of Toeplitz words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2672565$2130C1A7-0540-4420-8672-3AC67783B9EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7660bd70f02b514dd2106ad71c6f1ed08af71c","datavalue":{"value":"1492.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$E727F0CF-217A-4AE6-B46B-208FE831E969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f8d2720e5ae17c97b257f83af31373f85713723","datavalue":{"value":{"entity-type":"item","numeric-id":243831,"id":"Q243831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$326CC4FD-1647-4FA6-BF93-4AB5CD8111BF","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":"Q2672565$EE696203-6EF3-4B9E-8567-3D46EBB7DFD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$FD7EE0B7-18AE-43AC-96B1-B1FE74F8F54A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77075991782c40305711c3d33a7ecd0dd8eab84c","datavalue":{"value":{"time":"+2022-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2672565$B9BB4F3A-12EF-46EA-A1B9-574A465BC899","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0306a5fa819c026bf8b8f09491ea29d8ec232473","datavalue":{"value":"https://arxiv.org/abs/2112.12125","type":"string"},"datatype":"url"},"type":"statement","id":"Q2672565$B118A69B-828E-4F0C-9004-D93BE030A401","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"439c0cae63cd9e389f345ab02aebe23ef8882f08","datavalue":{"value":"Toeplitz words are infinite words formed by an iterative process, specified by a sequence of one or more Toeplitz patterns. The Stewart words are Toeplitz words specfied by infinite sequences of Toeplitz patterns of the form \\(\\alpha\\beta\\gamma\\), where \\(\\alpha\\), \\(\\beta\\), \\(\\gamma\\) is any permutation of the symbols \\(0,1,?\\).  In this paper the authors study the properties of the uncountable set of these Stewart words: their critical exponent, avoidance of the pattern \\(xxyyxx\\). They find all factors that are palindromes and determine their subword complexity. Making use of a convenient ``Stewart automaton'' purposedly defined, they can then produce automatic proofs using the Walnut software and first-order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$8C0D0ABD-25A3-47CB-9C0B-984F7F00EEF0","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":"Q2672565$4F711408-ADAE-4939-9078-C1FE6B2D9ECA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$F248F0B5-C97D-446A-8E03-F9E35C91F7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$433A349B-EED0-4950-B749-AC1E0A1ADED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$B3B0AF23-8DC8-4BFE-9C3A-76796BF5B922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d47bbbdc845d19f84947cb8caec92d9a28c9abe6","datavalue":{"value":"7540190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$2BCAE212-B6E7-457B-B869-2FDE70BE7C6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3238046503620edbf8280b9c65a2e9b1b4abc11","datavalue":{"value":"Toeplitz words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$ADAF5E5E-A04F-495B-AA82-3AE058AA48CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1225367b1c58aa38751252c599f129a0a0e283bf","datavalue":{"value":"Walnut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$56333264-85F4-4F7F-B08C-0113A3D7FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3f948b7845a5fb684d2a2a6e3683d9ec01be62","datavalue":{"value":"Stewart words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$578A2D9F-515B-4CB6-AD3B-7A899F6155F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734166dd76551156a537e5c17e63162394a8c79d","datavalue":{"value":"automatic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$D6202740-78A2-4096-86E5-63CABC34C37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d589d1418bb454d0d57abd8c2020b4fc06552aa","datavalue":{"value":"pattern avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$9F350B37-765D-4989-825E-B4B3C4FE2550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a25eab04f448840a9d25e72f9b29beac7a0c6db","datavalue":{"value":"critical exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$2E2CF694-9865-4CB9-8212-B2DDFA626268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$8EF5503A-0D87-4494-821D-BDB9C969662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$77C4B4A1-9ADD-4294-A2C1-EA6B9FFD2395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d3038b86bd8eca9cc438a24056aeeb757ee1f5","datavalue":{"value":"subword complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2672565$B15A3D8A-1741-4BAA-82E8-ECCB951B8771","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$86E4C151-0105-4B1A-B96E-5C5937A400D2","rank":"normal"},{"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":"Q2672565$9CF89386-4CC5-4ECE-85C5-C8C906E8AACF","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":"Q2672565$90B6EC57-77E6-4F72-8595-C79C545037F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcb9c817a907649969b561eee35afeba047f6de3","datavalue":{"value":"W4224095417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$D95E5AE2-59D2-4696-92B5-A0325A5E8888","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"905c743dce35c31013a6439ff5d7d278986643ce","datavalue":{"value":{"entity-type":"item","numeric-id":5111205,"id":"Q5111205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$5552FEC4-9C04-442B-A40B-7AF6E809C20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb54514c4e848d88bf9e10708a8f59fd1a05fe6f","datavalue":{"value":{"entity-type":"item","numeric-id":4340141,"id":"Q4340141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$40CCB5A7-C4AD-4764-8726-BF7B47912D21","rank":"normal"},{"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":"Q2672565$FBB1C0B8-C29E-421A-9B05-631A08D7E371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d5cd07335ecb67d28a8c3d2a5cc3e18a3e8b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3395963,"id":"Q3395963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$746AB602-1B51-4DA3-80D2-F299384B277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a692f34f7bd686415cc577bc32c4a0a66fb8383","datavalue":{"value":{"entity-type":"item","numeric-id":2106611,"id":"Q2106611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$3CDD1F00-6C0B-45F7-BD68-6C6B5BE2F9B2","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":"Q2672565$947456DA-7049-4B1D-A5C3-4DC9CA8C4210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ed3efc5aaa46d19dfc82914d98474dc8429417","datavalue":{"value":{"entity-type":"item","numeric-id":1362993,"id":"Q1362993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$7B91209D-E3AF-4037-B010-10E6F21A5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012d86b7442713ec122b29ae9cc8d7f3cbf35bdd","datavalue":{"value":{"entity-type":"item","numeric-id":1168345,"id":"Q1168345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$719F558D-F7CD-4811-9D49-A2E386145FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504d75d4bcde44d0f396ab03e1030e5eb6f493cd","datavalue":{"value":{"entity-type":"item","numeric-id":385043,"id":"Q385043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$742049B1-E81D-4810-BB70-CB213A30C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb7c7ceab59e0be6e96c048aeccef2e62169fc5","datavalue":{"value":{"entity-type":"item","numeric-id":3195678,"id":"Q3195678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$E55D70DF-5D45-4FC5-BBF5-40690584A5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf07e5ad5fa75c612b25e41215799f30b2726ba","datavalue":{"value":{"entity-type":"item","numeric-id":5592092,"id":"Q5592092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$50C0B629-E18A-4485-825E-F6F9622C0BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986905898b7fcf2265898fc5e3335bda2fc68463","datavalue":{"value":{"entity-type":"item","numeric-id":2934274,"id":"Q2934274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$26BC49DD-449D-40E0-B76A-B51F9BD0309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef19c946c5dd5185440346d46bb2eec329761aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2904215,"id":"Q2904215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$91901D92-4A27-4D26-8724-965CDE142122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a17ad0197d78bafac9cce97f4a694f975861069","datavalue":{"value":{"entity-type":"item","numeric-id":1320503,"id":"Q1320503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$DAF3CE79-D4BB-4925-8F6D-73E5F4BD60CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfe8b3db045c3af5bd936077fb2e74b1125b562","datavalue":{"value":{"entity-type":"item","numeric-id":4443440,"id":"Q4443440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$4A533723-D1B8-4ABE-9A16-0F01306FA4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c6cf83c4c3e91c95b3b697f553cb67b36b654","datavalue":{"value":{"entity-type":"item","numeric-id":3409329,"id":"Q3409329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2672565$FC0E8897-365A-495D-B789-BCB6A5160531","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9f05158abfa16b59500a8b6938593c52900dd34","datavalue":{"value":"10.1016/J.TCS.2022.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2672565$7E6D99D2-F1B5-4429-A26A-42950CFE246B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2305555b7205b848ce0f7bd5be0b6a5ee7c6d6e","datavalue":{"value":{"entity-type":"item","numeric-id":5395394,"id":"Q5395394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328c2ec1be75eefad596ebcb976eecd230c28f4a","datavalue":{"value":{"amount":"+0.7786896824836731","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":"Q2672565$3A398700-74D4-40FC-9E23-BA52A0D3E841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2f4e00ec432012abfd279b12c8acc2236b4e98","datavalue":{"value":{"entity-type":"item","numeric-id":1824405,"id":"Q1824405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7dcaba2985ff24f206bd13fd37916566b0bf57","datavalue":{"value":{"amount":"+0.7728715538978577","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":"Q2672565$74D88435-8E75-45E1-9E63-1912AD82B295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f3be9dcf178d255eb8c68263a930a5c551be52","datavalue":{"value":{"entity-type":"item","numeric-id":2502894,"id":"Q2502894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3b1e21d8a2529a19bf58d19c6134d74153a63e","datavalue":{"value":{"amount":"+0.7631120085716248","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":"Q2672565$93483824-F5D7-4BC9-9A21-1FCFAC177B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c62b7b88e7d551d6018cd604d935e5a7f9cb868","datavalue":{"value":{"entity-type":"item","numeric-id":1362993,"id":"Q1362993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c58d10c570d6e74e4bff39f1dff9e285763c15b","datavalue":{"value":{"amount":"+0.761224627494812","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":"Q2672565$57E8015A-9EB0-4423-BB5B-05EEE658A10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8acbe251f60557555b8f20ab0898f3a75e6d1205","datavalue":{"value":{"entity-type":"item","numeric-id":507796,"id":"Q507796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb24e58b7e025ab86a40deb43ce0a4b65080454","datavalue":{"value":{"amount":"+0.7368338704109192","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":"Q2672565$8375A279-717A-474D-AE98-2FD1DC9044AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2672565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2672565"}}}}}