{"entities":{"Q418740":{"pageid":420507,"ns":120,"title":"Item:Q418740","lastrevid":61695975,"modified":"2026-04-11T01:01:55Z","type":"item","id":"Q418740","labels":{"en":{"language":"en","value":"The three-squares lemma for partial words with one hole"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039147"}},"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":"Q418740$7EA6451E-C9BA-4DF2-8343-5A292ADC6178","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ce764e2ad6182907beddb38998995424edcdf48","datavalue":{"value":{"text":"The three-squares lemma for partial words with one hole","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418740$428C46E1-6D45-4EBD-A449-1D5B5708B88A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535edcf935ee4f16d04e5675fe3e1c0eff09e789","datavalue":{"value":"1250.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418740$AE1EEB1E-4FE5-46F1-A121-B64D4578E386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a2427e8635c9bf41e6e8e9b799af2cdb05b6c2","datavalue":{"value":{"entity-type":"item","numeric-id":344547,"id":"Q344547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$F380562D-616B-4C6E-B67C-208C5B926075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b45e6f35a46f2e2f1fa86a21166fefbadd915c","datavalue":{"value":{"entity-type":"item","numeric-id":591667,"id":"Q591667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$A3BD8A96-9CC5-4948-970B-A84FDAAA609E","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":"Q418740$8155A37A-D6AE-4CBC-9167-2D74BF1324DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-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":"Q418740$8D433385-B984-4F6F-BD83-271A61CCE106","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1709c704ca283e54ed81f03ca60bb288bae9e53d","datavalue":{"value":{"entity-type":"item","numeric-id":355508,"id":"Q355508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$9478DCC2-B92C-4025-ACD6-F2D15D7F8408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418740$31200D61-60EC-4990-B098-507DC5D28C8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0496a3946a0a728f58410e7f2ac9fb2ec750b8aa","datavalue":{"value":"6039147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418740$528C9EBD-6639-4366-91C8-63BC307AFCD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa3526be5d4d54138d41c11844ac017bc2eedfdb","datavalue":{"value":"partial word","type":"string"},"datatype":"string"},"type":"statement","id":"Q418740$08F10233-3AB1-4A11-993F-4C1DB2785D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8bf180b0fa76fe067513fdfc15b5255ce2b832","datavalue":{"value":"square","type":"string"},"datatype":"string"},"type":"statement","id":"Q418740$7191B207-EB9D-4A08-BB8F-BA0CEA0750A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb72e2fcf57b0db5d21c8b2a765646e03ae3c03","datavalue":{"value":"three-squares lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q418740$E75363BE-0C0F-471B-B2FB-5B63A1108C89","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":"Q418740$51F9893E-8AD4-4387-933E-D4FCBF47BA4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f13f1186969b7a0052cc5000f2e2a0fb1d31238d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q418740$DE8BB5FC-FA84-4CF9-8CF5-94CBED2518F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d5ca07182b1333ba8698ac66703fe9d2f48a45e","datavalue":{"value":"W2020706684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418740$F1452CEF-CC72-4AD0-B4FE-D3E5509119EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46fe3379d361e4de9a11f54d1f8299097878b616","datavalue":{"value":"Q124815790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418740$D037999D-9DCC-4AD1-8E73-EF764F29EA81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbea9efe49a8fa4b049b0379279b0f54f9349ea","datavalue":{"value":{"entity-type":"item","numeric-id":1292487,"id":"Q1292487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$171C8BE4-D804-4742-A224-476490A1645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"258bdba76977b3dec81e7e3a5e90f663de66a9f8","datavalue":{"value":{"entity-type":"item","numeric-id":5310364,"id":"Q5310364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$AB2569CF-5233-48FF-8037-C502A55D4059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b43dccde8855fe15e7e828dde9cb9e5fa0ff985","datavalue":{"value":{"entity-type":"item","numeric-id":868383,"id":"Q868383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$5AEDFC12-8DC7-4BCC-9D12-C291DC65E359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ba6dfb8d49c0c2290e0ef234801d3cf1d0dc9c","datavalue":{"value":{"entity-type":"item","numeric-id":924728,"id":"Q924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$8ED167CD-D6F1-4D0F-A839-8C8CBFD5B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26320ad46b0a55bf988cd5e440343da947e5f394","datavalue":{"value":{"entity-type":"item","numeric-id":3549287,"id":"Q3549287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$3E84FC96-8706-4249-AA45-D9780C26E975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908caeb85d0f3b508cee1a58037c14b7aad25828","datavalue":{"value":{"entity-type":"item","numeric-id":1853530,"id":"Q1853530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$1AD6291D-D70D-4211-9434-55C4DE71F3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da33fe72d259df3fa4e36b9d7e691ba48c65ee77","datavalue":{"value":{"entity-type":"item","numeric-id":3111640,"id":"Q3111640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$9A37BEB3-B625-4FD5-85B2-7B0AC78BB11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab472b1e66210d557078cdf8e8a2d28a724d52ed","datavalue":{"value":{"entity-type":"item","numeric-id":5306171,"id":"Q5306171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$605D3A9C-6637-44AB-BFA7-E69459FAE3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b4ea8126834e713a6fd04e452d0caba2914a82","datavalue":{"value":{"entity-type":"item","numeric-id":3056274,"id":"Q3056274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$31E3B4EF-3FFB-48AE-A615-D36E76468438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddf4d7bf35eb070a41dcdcb117fc30dee03620a","datavalue":{"value":{"entity-type":"item","numeric-id":1894296,"id":"Q1894296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$BE9365DA-D6ED-46F2-9914-A21531538CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2040d7baa256f9c23ae09dc367bdbccbe7712e00","datavalue":{"value":{"entity-type":"item","numeric-id":5757383,"id":"Q5757383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$388FFFEB-454D-4D45-8EBD-98E236EA20BB","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":"Q418740$3942A6C0-0AE6-417D-AE66-A31878B160ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a834052a3e05989e344d6665c0cd14b6be81b3","datavalue":{"value":{"entity-type":"item","numeric-id":1268630,"id":"Q1268630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$32DBAA9B-4ADB-41A7-AB14-8C222222F088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3529acd507405b35f2ad1e741eb2a2bffd7844d9","datavalue":{"value":{"entity-type":"item","numeric-id":5387733,"id":"Q5387733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$C6A71F11-87C6-48C7-ACB4-44ADC72A2BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af235b2837891de04e61e8eb39c15a6757ff143f","datavalue":{"value":{"entity-type":"item","numeric-id":2568974,"id":"Q2568974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$6A5000E5-B55A-4524-803E-C090944BB8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0281b1c2c80cdfcafd7b3866126d6f7fa8de78b3","datavalue":{"value":{"entity-type":"item","numeric-id":2373759,"id":"Q2373759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$B27165CF-398D-4113-AA61-AE116ABEDB2D","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":"Q418740$15D147FC-827D-41B4-8197-8F9B3F1021F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f5af8729211d8e2f4f395527d6d0629a74473d","datavalue":{"value":{"entity-type":"item","numeric-id":4674640,"id":"Q4674640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$579EBC7F-3357-4723-811A-2D6D02C76C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb526570cf5a3559359b3f5f190f936d3bbccf2","datavalue":{"value":{"entity-type":"item","numeric-id":732016,"id":"Q732016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418740$F84F85C0-2EFE-4EBC-9192-23223548984A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b36307d2e566a27c74da0c79e2319e92b2cc68ed","datavalue":{"value":"10.1016/J.TCS.2012.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418740$2D98174A-47E7-4327-BC6C-7F5E0A138F0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"391461f04098e1dee26329020b3b6e0db6330772","datavalue":{"value":"Partial words are words containing unknown symbols at some positions. Such positions are called holes. A lot of effort is being devoted to answering the natural question, which of the known properties of (full) words can be observed in partial words as well. One such property is expressed by the three-squares lemma, an important tool in attempts to prove the conjecture that the number of distinct squares in a word of length \\(n\\) is always less than \\(n\\). The lemma states that in any word, if \\(w^{2}\\), \\(v^{2}\\), and \\(u^{2}\\) are three squares starting at the same position, \\(|w|<|v|<|u|\\), \\(v\\notin w^{\\ast}\\), and \\(w\\) is primitive, then \\(|u|+|v|\\leq|u|\\).NEWLINENEWLINEIn partial words, a square has the form \\(uu^{\\prime}\\), where \\(u^{\\prime}\\) is compatible with \\(u\\). Two partial words are compatible if they are of the same length and they differ only at some of the positions where one of them contains a hole. The paper provides a generalization of the three-squares lemma for partial words with one hole. The generalization is a corollary of a theorem with more detailed results about the relative size of the squares. The quite painstaking proof of the theorem is divided into several steps, provided in six sections of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q418740$CEEDDA30-57BF-4356-AC42-E7DBADD8C3F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823463583fe66d685da33dda70a645ad10a44993","datavalue":{"value":{"entity-type":"item","numeric-id":3069745,"id":"Q3069745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a862b09e59b689366b062fff9cb493aa839a8fc","datavalue":{"value":{"amount":"+0.9088754653930664","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":"Q418740$DAC2F480-029C-4CC2-8EDE-9318E95F1EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d749c1a705e868d363b80f9a7aa18ed372d6022c","datavalue":{"value":{"entity-type":"item","numeric-id":3653094,"id":"Q3653094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91e3c3f4dec4467594aaae8c14e961ed038e3a0","datavalue":{"value":{"amount":"+0.8692532777786255","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":"Q418740$2F3E4C5F-E0E2-4B99-A74C-2DC5F319F45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c34e6fc46eaf12ce3986de094d75ed154e36ec6","datavalue":{"value":{"entity-type":"item","numeric-id":2440165,"id":"Q2440165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51dd05b738cb454b8d5baded17f2cface899a1c9","datavalue":{"value":{"amount":"+0.8568161129951477","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":"Q418740$72AC6335-CE52-44EE-ADD3-CE660193EA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b1c8f2a1e8df4ce598ea440148b3fff9d00e99","datavalue":{"value":{"entity-type":"item","numeric-id":5306171,"id":"Q5306171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7058990095f6fe573b90c3a56d3b5d2793018ab","datavalue":{"value":{"amount":"+0.853007972240448","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":"Q418740$429CD9EF-58FB-4FB3-AAA7-6FDB30415A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b0d25e8bd63ca83a80932bc95c564dc06e76a3","datavalue":{"value":{"entity-type":"item","numeric-id":3167513,"id":"Q3167513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24899abe3654cf849e0334c8c01cbd846c7bf62","datavalue":{"value":{"amount":"+0.8450326323509216","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":"Q418740$B64E614C-B8A8-4418-A1D6-9ECB65FFDA3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The three-squares lemma for partial words with one hole","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_three-squares_lemma_for_partial_words_with_one_hole"}}}}}