{"entities":{"Q810153":{"pageid":812001,"ns":120,"title":"Item:Q810153","lastrevid":64506423,"modified":"2026-04-11T20:20:28Z","type":"item","id":"Q810153","labels":{"en":{"language":"en","value":"On the invariance of small overlap hypotheses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212329"}},"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":"Q810153$4DEE3634-3D28-485D-A912-9F6B60B2E681","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf730c64a30e9d79c4beaae8e51e447f7109baa","datavalue":{"value":{"text":"On the invariance of small overlap hypotheses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810153$15D1751F-1A8C-4FB6-8E58-EE4FBE46C229","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6acfd0973f49cdf84bb1efc88b02dcd90bd04eb","datavalue":{"value":"0733.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810153$615E4A0E-D58B-4414-B1B6-2DBEBA34E6B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce203a52b28f2e193df88ca65bbfe3e34ac44294","datavalue":{"value":"10.1007/BF02574273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810153$827140BA-D6C3-449D-9E21-1FE92CD5F05D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"117ccbddeef0a44e34a252b1ea4ce0f6cdefc27c","datavalue":{"value":{"entity-type":"item","numeric-id":810152,"id":"Q810152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810153$68823AA5-A97F-409B-9CBD-35557C04C422","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810153$981FA743-474A-4144-BD78-8B97082478D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810153$564C99AE-0F0C-465E-828D-D409C26A9882","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97199c71d50b088780fe043c27dfe3b2bfaea4f3","datavalue":{"value":"https://eudml.org/doc/135117","type":"string"},"datatype":"url"},"type":"statement","id":"Q810153$12E086AA-0547-456B-8B91-0817C3BE63C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1522741d257d4223ecabbb2b80315bb1a6634338","datavalue":{"value":"For any semigroup presentation (X;R), words \\(w_ 1\\) and \\(w_ 2\\) are R- words if \\((w_ 1,w_ 2)\\) is in R. A non-empty subword (factor) p of an R-word w is called a piece if there is an R-word \\(w'\\) and (possibly empty) words on X, u, v, \\(u'\\), \\(v'\\) such that \\(w=upv\\), \\(w'=u'pv'\\) and either \\(u\\neq u'\\) or \\(v\\neq v'\\). For any positive integer n, (X;R) satisfies C(n) if no R-word can be written as a product of fewer than n pieces. Interest in these so-called small overlap hypotheses stems from a result of J. Remmers that any finite semigroup presentation satisfying C(3) has a solvable word problem [see the forthcoming book of the reviewer, `Techniques of Semigroup Theory' (Oxford University Press, 1992)].    The author shows that given a semigroup S defined by a C(n)-presentation, there is another presentation for S which fails to satisfy C(2). However, any presentation may be effectively reduced to an equivalent presentation which is free of trivial relators (relations of the form \\(w=w)\\) and avoidable letters (letters a, every occurrence of which in R has the form \\((a=w)\\), where w is a word on X-\\(\\{\\) \\(a\\}\\)). The main positive result concerns two presentations \\((X_ 1;R_ 1)\\) and \\((X_ 2;R_ 2)\\) for a semigroup Q which are C(2), free of trivial relators and of avoidable letters. Then for all \\(n\\geq 1\\), \\((X_ 1;R_ 1)\\) satisfies C(n) if and only if \\((X_ 2;R_ 2)\\) does also.","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$9634E97C-51EF-4D2B-91A8-B0F2E554EFDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810153$4ECB18E4-F7ED-46AF-B361-A26168EE57FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45c059fa30e09dd39230def5e1233900027e37d1","datavalue":{"value":"4212329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810153$8DE4A251-C184-45BD-82B8-9EAA89F83B13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ec44896050f94a61e9f5f6b1a4dbce52c15699","datavalue":{"value":"semigroup presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$52DD30C1-F190-41C2-8D29-DD83963201D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$14D4BE7A-F07A-41E9-88FA-0C79AF2B8651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a71d9536dc5a80c78aace2f36731147c63365cc","datavalue":{"value":"small overlap hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$7DA634E0-FFEF-482E-82B4-DF12B57CD66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd93d310e44c53ef3928114694d5c7dcd3d26e1c","datavalue":{"value":"C(n)- presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$49DFD7D3-7B6E-43AB-8E01-C8ED0EDC0D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202a86ffd8c6c335c4d68b7c62b1a6f11621586d","datavalue":{"value":"trivial relators","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$CDE337E6-C8AD-4673-9A60-FA05AC193BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd0be318d82c3fcb483bf4b5304827734fc6ea3","datavalue":{"value":"avoidable letters","type":"string"},"datatype":"string"},"type":"statement","id":"Q810153$3135B743-B828-4E99-A5F2-6E05EE0DFEE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810153$6D41D5D3-B0F5-4EE0-B7B6-53FFC0695CDD","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":"Q810153$3CE79F8F-CC87-4552-8F18-455114FA3404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d461aa99b56c017c9a5b1a38322ea27e3417ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":1346307,"id":"Q1346307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d149ab420671251cb6d675f14a39c14dc14c4ea2","datavalue":{"value":{"amount":"+0.8226141333580017","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":"Q810153$06063DA5-2D63-4DA1-B17F-4B0590FA5C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2d5e33478bcba12b60f0c7e3bc5cb25e141832","datavalue":{"value":{"entity-type":"item","numeric-id":2447222,"id":"Q2447222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e769a215f1d7d0aa3d9243b67d5578dea1f6cd08","datavalue":{"value":{"amount":"+0.8226137161254883","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":"Q810153$F4DEBE5C-1598-42A8-9F44-5A010D723E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad5e181a5dcc11fbd188e541e6fb34dd73d9b09","datavalue":{"value":{"entity-type":"item","numeric-id":1024387,"id":"Q1024387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2383d7bf8f501cea17677469e8ce56380246840","datavalue":{"value":{"amount":"+0.800758421421051","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":"Q810153$1683B461-266A-4D35-A195-88BAF483C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d770591990147de6388e03c2c49fe79e5a73a2","datavalue":{"value":{"entity-type":"item","numeric-id":2996845,"id":"Q2996845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1384eb10209f06f72c14b6546428c417b7461628","datavalue":{"value":{"amount":"+0.7998321652412415","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":"Q810153$CC513BFE-B6F9-4B61-8E34-1C707C2ED3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1eacf430f722647237c4f061063ff5980764cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2428571,"id":"Q2428571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c908df2a725dd9f6e033e9a23926a583ac8ee5","datavalue":{"value":{"amount":"+0.7901308536529541","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":"Q810153$28C888B1-85DD-46F4-AAB8-681340EACB64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the invariance of small overlap hypotheses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_invariance_of_small_overlap_hypotheses"}}}}}