{"entities":{"Q1676792":{"pageid":1687533,"ns":120,"title":"Item:Q1676792","lastrevid":73984746,"modified":"2026-04-14T17:57:09Z","type":"item","id":"Q1676792","labels":{"en":{"language":"en","value":"Avoidability of formulas with two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805095"}},"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":"Q1676792$8FF4E35D-9653-46D5-AD5A-0581744918C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8343e629c157612dbf187d40872357fde1fcae69","datavalue":{"value":{"text":"Avoidability of formulas with two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1676792$B5916D36-01A8-41E6-91D7-288C0FE61BE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63f14007467349a725a251fc73deaad2acd6b986","datavalue":{"value":"1374.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676792$4267E271-87E0-44C5-9A54-99AE7D191A04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b3826c52088f4aa88f5af749aa0df3944c777e9","datavalue":{"value":{"entity-type":"item","numeric-id":244933,"id":"Q244933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$9D35FA4C-286D-4A02-8F90-3211FEA4E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78345249e55a9bb9c4e6d502130671e58eccc6b9","datavalue":{"value":{"entity-type":"item","numeric-id":668060,"id":"Q668060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$234BF682-36B7-41B4-A222-FA481C9415F5","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":"Q1676792$44A05124-35CD-4AD8-B3D0-101E23EDA16B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1676792$D006DA04-171B-43F2-B1E3-EBE36D5E61E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2943a45e8818cd9661c97735afe8a24dfcbe0159","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i4p30","type":"string"},"datatype":"url"},"type":"statement","id":"Q1676792$797BBE08-1A97-4519-A752-EE4E972E5DB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f214d847195fba63a1c575121b813f905a7ff1ae","datavalue":{"value":"Summary: In combinatorics on words, a word \\(w\\) over an alphabet \\(\\Sigma\\) is said to avoid a pattern \\(p\\) over an alphabet \\(\\Delta\\) of variables if there is no factor \\(f\\) of \\(w\\) such that \\(f=h(p)\\) where \\(h:\\Delta^\\ast\\rightarrow\\Sigma^\\ast\\) is a non-erasing morphism. A pattern \\(p\\) is said to be \\(k\\)-avoidable if there exists an infinite word over a \\(k\\)-letter alphabet that avoids \\(p\\). We consider the patterns such that at most two variables appear at least twice, or equivalently, the formulas with at most two variables. For each such formula, we determine whether it is \\(2\\)-avoidable, and if it is \\(2\\)-avoidable, we determine whether it is avoided by exponentially many binary words.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676792$8C3E9106-32C4-4927-9F6E-9388040F3F10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676792$2BBEA0FB-BCD0-45B9-B541-B990DBCEDDAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02d74f098d745a6560ef023214925fe68f20eb2f","datavalue":{"value":"6805095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676792$9FC1460B-DF70-4734-B1C8-88E8C086FCCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9d10a3cc7e7a04e25f3a32ce40e8fbcfa3f461","datavalue":{"value":"word","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676792$1043C9DA-1303-4B1A-921A-A1EB5F9BF612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d589d1418bb454d0d57abd8c2020b4fc06552aa","datavalue":{"value":"pattern avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676792$E25BFCF1-D775-45BB-B61C-7ACDF65F088F","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":"Q1676792$9FE91AE6-CB20-4A15-B22D-3AB6D0B1B17E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"745db653d9f8681a0c74bd7ae1faf8eb8976b8f1","datavalue":{"value":{"entity-type":"item","numeric-id":2348261,"id":"Q2348261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$8831FCB2-C8E2-4052-85D0-213630F48ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ac228e0a8acb953c0ce04885ae6edc96ddec5c","datavalue":{"value":{"entity-type":"item","numeric-id":908709,"id":"Q908709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$41EE7B26-9921-4D8F-9C07-45AC2273D301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7183512e2829a55f36b5e7ad58903f071c8748","datavalue":{"value":{"entity-type":"item","numeric-id":1137038,"id":"Q1137038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$AC3B5328-8EBE-4431-9F3A-BFF1A053AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539d0f71c49fdea0bbe5491ba9d5863bba97ce29","datavalue":{"value":{"entity-type":"item","numeric-id":1743715,"id":"Q1743715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$856815B8-7C3C-4CE0-A0B2-DC25A18B7F50","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":"Q1676792$1A75AB3A-E198-4172-A409-67D15BD04687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7273c5b24ad72bbfbad8718f0b57ab619400c14c","datavalue":{"value":{"entity-type":"item","numeric-id":3421905,"id":"Q3421905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$2F8C63D4-2B1B-45B7-8324-9BEB34998C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8b715a196854fff42795c42ac38919ff0d716b","datavalue":{"value":{"entity-type":"item","numeric-id":5190083,"id":"Q5190083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$0602ABFA-EAE7-43FA-8272-55AEC0A0850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756dee485802f0d87b220bea0f3b7679f8925171","datavalue":{"value":{"entity-type":"item","numeric-id":2635083,"id":"Q2635083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$52AD4000-C2C9-40D4-BF2C-8869AD9C03BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d684de2b123df833c6a154fb8de5dbbf020106cd","datavalue":{"value":{"entity-type":"item","numeric-id":5915742,"id":"Q5915742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$DDA28BD9-18FA-46A2-83BE-DDC4EE235F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f414b9ea6adc0b4e47e61f4708d1d85e9b51232e","datavalue":{"value":{"entity-type":"item","numeric-id":3734729,"id":"Q3734729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676792$B50E2C91-16D7-466E-8A02-5FA18ADD92A2","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"71aad4fba023a7696f5918fd97f84308570e8525","datavalue":{"value":"bafkreigpllxw7kfk3a7ko56wnposg6ehq7ifkt2llxkwjdbbtoihvjr36e","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676792$745C0AE7-ECC5-4336-943C-F4A0581FEE0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b868ce7997bce7b45b57f622edb73f1f225db6e","datavalue":{"value":{"entity-type":"item","numeric-id":2817400,"id":"Q2817400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788a59abad16ce30d4bd732368676634fcdba0ad","datavalue":{"value":{"amount":"+0.9900075793266296","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":"Q1676792$5B67034D-7DBC-46B9-9F4D-D8FEAF3EE33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf7fe36a78637692581227d2c1abc41a3b83f96","datavalue":{"value":{"entity-type":"item","numeric-id":2635083,"id":"Q2635083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2620680ddd081a269a227c1058ae45df2c6941ae","datavalue":{"value":{"amount":"+0.8269405961036682","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":"Q1676792$F8453907-D79E-44AD-9749-DA2C5559C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31efb7de0106a341aeb24053c33ca184b44f73c7","datavalue":{"value":{"entity-type":"item","numeric-id":547794,"id":"Q547794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64839f5dbfbc755aa4f6c69235ab4413d61a44e","datavalue":{"value":{"amount":"+0.8246931433677673","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":"Q1676792$4CCAA2A3-C21C-4CE2-B64F-B93DA9935034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1673b169e7f69bf8b023477b59d1ef5f360ad2c","datavalue":{"value":{"entity-type":"item","numeric-id":1114419,"id":"Q1114419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d96f249dac8554010ffac761341810791a980e4","datavalue":{"value":{"amount":"+0.8240624070167542","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":"Q1676792$B231E423-1370-405E-90B4-72E22E2FC18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0d08b54a83694ff1ff383415c69079a07c18c2","datavalue":{"value":{"entity-type":"item","numeric-id":3774970,"id":"Q3774970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5bc7e90a46a62c6774239e0d7e6e018b8ae35ca","datavalue":{"value":{"amount":"+0.8214917778968811","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":"Q1676792$87027059-6825-473A-889B-33EFE7751DA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Avoidability of formulas with two variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Avoidability_of_formulas_with_two_variables"}}}}}