{"entities":{"Q7361313":{"pageid":31519478,"ns":120,"title":"Item:Q7361313","lastrevid":105423536,"modified":"2026-10-08T13:45:25Z","type":"item","id":"Q7361313","labels":{"en":{"language":"en","value":"Combinatorics on Words Basics"}},"descriptions":{"en":{"language":"en","value":"AFP entry Combinatorics_Words"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84637e0d9d0c5c123d760d1b1c449d1419658b6c","datavalue":{"value":"https://isa-afp.org/entries/Combinatorics_Words.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361313$0C601C55-B9A1-4399-85D2-4196D0A6EAB6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"085865edf97a98215beb337f6896cdec46d2b6d9","datavalue":{"value":"\u0160t\u011bp\u00e1n Holub","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361313$BE2882EB-7224-4C90-A793-327CC3905479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f096ce01f1cf368fa7e2bec0f1dc6f74ada35e98","datavalue":{"value":"Martin Ra\u0161ka","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361313$1D1AA7D2-2EC5-4AB6-8F73-7C3FFA814689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"9ddd9a293526951f1113989f140f1ab2451c08e6","datavalue":{"value":"\u0160t\u011bp\u00e1n Starosta","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361313$72B482EF-7A11-4B1F-B759-F308E7D87170","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f31a1c14708bcbaf2d186f3e26759f26eb4e3bba","datavalue":{"value":"We formalize basics of Combinatorics on Words. This is an extension of existing theories on lists. We provide additional properties related to prefix, suffix, factor, length and rotation. The topics include prefix and suffix comparability, mismatch, word power, total and reversed morphisms, border, periods, primitivity and roots. We also formalize basic, mostly folklore results related to word equations: equidivisibility, commutation and conjugation. Slightly advanced properties include the Periodicity lemma (often cited as the Fine and Wilf theorem) and the variant of the Lyndon-Sch\u00fctzenberger theorem for words, including its full parametric solution. We support the algebraic point of view which sees words as generators of submonoids of a free monoid. This leads to the concepts of the (free) hull, the (free) basis (or code). We also provide relevant proof methods and a tool to generate reverse-symmetric claims.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361313$21D67D9C-BBFA-49E2-A3AA-63831C13395B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40691ce6cf0d5bcb9135bc062b62084b420222b","datavalue":{"value":{"entity-type":"item","numeric-id":1132974,"id":"Q1132974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$6A2C1CA5-4A8A-4B3D-A946-78DC561B29DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532a62b60e075fff433f243b2f28347c1a6df5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2405272,"id":"Q2405272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$7508F4C0-F243-45B8-9C13-A9060664E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79fe3d532150de53dce91db4d98a86d2d076176","datavalue":{"value":{"entity-type":"item","numeric-id":860888,"id":"Q860888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$5DE39BDD-7407-423E-A0E8-BDAF71BC34EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a06077d755c5922858512c1ef5c5edc5af4d11","datavalue":{"value":{"entity-type":"item","numeric-id":754298,"id":"Q754298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$20A8673F-3777-4B42-AECD-3A93666FADE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec063e97134a956b4adef0cc993fcbb16c7d0af9","datavalue":{"value":{"entity-type":"item","numeric-id":5340253,"id":"Q5340253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$B738086E-0B76-43C9-ACF6-87977950537B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb0607106dc61219a435c620ce9974783204282","datavalue":{"value":{"entity-type":"item","numeric-id":3546338,"id":"Q3546338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$98048DDB-E439-4DD7-8FC0-4A63FB18A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$1E1A3500-91C3-43B3-B5D0-04D3B9AE83F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba75693b6124fe57a706fee318668736345dcfb","datavalue":{"value":{"entity-type":"item","numeric-id":4681771,"id":"Q4681771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$BE09D292-6150-44C0-9E54-6927E2353B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$B26C5FB6-6F05-4F77-9649-F41387758815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca34fe94cbf494863af77ec148aceea3d9965b","datavalue":{"value":{"entity-type":"item","numeric-id":775458,"id":"Q775458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$D29FF989-5C59-470E-8DB7-7BD8DEDD7637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcebe3e5e589b59809b54b4843b39a94cae5f60","datavalue":{"value":{"entity-type":"item","numeric-id":3714479,"id":"Q3714479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$4FD5A8E7-11C3-4FE5-A3EA-F737E01FF3C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e17dcc18ff0871d2991e1fb42a26e2731ae4af6","datavalue":{"value":{"time":"+2021-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":"Q7361313$C94434EB-9898-479F-91B3-B6D649ADB2A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e30fa6a9160880394240bcbf4d8fe4e33ea2ecc","datavalue":{"value":{"text":"Combinatorics on Words Basics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361313$39737813-F146-4B5C-8D89-31B2A5325366","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$11812E83-6D75-4668-B0BC-7C18AEA16246","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"22338a832800d92c4c38b6914837d7e44dc1abec","datavalue":{"value":{"entity-type":"item","numeric-id":7361292,"id":"Q7361292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$BACE7C00-2CC1-4509-98D8-6A37489D51B2","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$6BEBBD76-8C09-43EA-BBE2-2AA55C4FC9A2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$AEF015F1-1DD6-48D5-9A49-19B30CEBF667","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"1b8669d3e24fbfe7ac3d852b0a2bd3d60ddfe925","datavalue":{"value":"43884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361313$9D94EF0B-8901-434F-94D3-758D8B6EDD5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2090dab08365ee49dc7f0187a2d263de90ba4ac","datavalue":{"value":"0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361313$ECC69045-07CE-442C-8228-BAA76E6AC49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2ce8697776c478fad5facac57bc163b9158c961","datavalue":{"value":"3.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361313$5212D263-BB85-4E4E-85A5-9197ADE3F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5cf7d30d31540f6bb1acf1f51059cded1668d0e","datavalue":{"value":"20.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361313$183E49E9-93C9-48E6-80B7-888A1024D98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361313$975AEFB7-DB51-420F-A900-E72023191962","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$16B2E2F6-726A-418D-B3A9-EF67E769F2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$361F732E-EE01-4BDC-8CC8-8FF2AF03F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$7FCBBE9C-5D07-4CBE-BBEB-82384A10DEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$22547A82-8703-480B-87C6-9354E8E8467F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d16d192d750027a7f6b18062abae143ae867c0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5975130,"id":"Q5975130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$D075B714-3755-47AA-B6B6-8F7867F5A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"34e5984c92a5678b8cbbfb0ef293a32caf9a81f0","datavalue":{"value":{"entity-type":"item","numeric-id":40625,"id":"Q40625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$37CCAAD3-2693-4FCB-AD60-1B48254D8EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$A107A000-1001-4B7A-9345-F6CB3702F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$F85062BB-304F-4AC2-B978-E517F642F556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"11af759dca84691586252e0b573e8a8954103958","datavalue":{"value":{"entity-type":"item","numeric-id":5973606,"id":"Q5973606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$03D037F2-2C5E-45D7-9AD2-1E95F25915B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4c6c1756a711704f8dffd88a8b49d130f663f193","datavalue":{"value":{"entity-type":"item","numeric-id":5975195,"id":"Q5975195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$4BF1AD3D-AFD9-4EF1-8FEB-5A622D075390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ba3f15aa14fbbd578c51538850f628419ea26ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5974221,"id":"Q5974221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$9F3F4D9F-3CB1-486B-966F-EADC1F896CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"52963dcd731c5ab982289e0a176d34be47e260bf","datavalue":{"value":{"entity-type":"item","numeric-id":53570,"id":"Q53570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$33CD35F0-3C9C-49ED-A0BB-0393E49D657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$801201C5-583F-401E-B458-FF2C861ED696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$DEE0C171-D8B2-4EDB-8FB3-ADEAC5B07653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$84A2E9C7-7F49-471F-9F5B-DA2FBFCC9ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$9DB886DC-6641-4890-BB8D-5232455A8FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361313$37DC270E-ED40-491B-A79B-2EE75E6D6285","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorics on Words Basics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorics_on_Words_Basics"}}}}}