{"entities":{"Q2709973":{"pageid":2720712,"ns":120,"title":"Item:Q2709973","lastrevid":82936913,"modified":"2026-05-06T22:30:19Z","type":"item","id":"Q2709973","labels":{"en":{"language":"en","value":"Finitely based, finite sets of words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587541"}},"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":"Q2709973$E439E30E-1398-484A-A44A-DAF46675C041","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdd896178693ce8becf857dc335b25bc7a5d06ab","datavalue":{"value":"0980.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$9BA29819-FB05-4103-8233-D88210CA09E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca03d291e0a111ae66a2172ea824354af5173ad3","datavalue":{"value":"10.1142/S0218196700000327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$AF73A520-E437-4B5A-B427-197FE49AD1C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$4B8D5790-9F71-4687-9D09-5A1C5DBCC529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db859c0333cf546169f3854aca3485a3da15e86","datavalue":{"value":{"entity-type":"item","numeric-id":305771,"id":"Q305771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$AC8912E0-C4E4-4438-B409-104479DFAF0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$EAAB1B86-EEEC-4203-8E25-D419F31ECCE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb1c6756959a58d27f6df0bc0f4a2c614f247a86","datavalue":{"value":{"time":"+2001-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709973$F5ECCED7-9EC6-4DFD-A0E3-E0BF11B68FCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$35B9FDDA-1CF4-44CC-95D4-0443E36898C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$A7A2F30C-C7E1-4A3B-B283-7E7A8259DB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$640CFC4C-A693-4112-B15C-3DB1D87EBB23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ca665b344e86974e89eb73cbc7ec4f950c1c1dc","datavalue":{"value":"1587541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$16C8A58C-706C-456B-8CF0-BA6F92877744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709973$8D28F36F-1C2E-459C-9D4A-7B49BAD737A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b506ba18e299894cf12c81ffd0a7d898253ec2b4","datavalue":{"value":"finitely based semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709973$AE1A535D-0B3C-489C-BF0E-333854E4C5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc209c341969156a9304c942921ce9993d08239c","datavalue":{"value":"non-finitely based semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709973$5A82CC1E-60A1-4096-82FE-12C2B5D8AF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709973$7D20BF15-24A4-441B-A525-8DDE9CE0D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709973$EFC0BE54-7FA4-411A-8A06-275F460D0A9F","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":"Q2709973$C8B430FB-89BE-4B37-84A9-66BE9BAA5117","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$586B46D3-6BF4-4BBA-B3D3-B6D67F184905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$23AEB632-7EC8-4699-ADEF-8E24FB2EF0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$F145B7F6-704E-42FE-90D5-7F9F68C164E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c32927ab5a076883ade44f58d9df31c260d8bb","datavalue":{"value":{"entity-type":"item","numeric-id":797614,"id":"Q797614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$1B22F3AE-95F4-47CD-9BA4-3DD58DBFBA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8875edd74561cc5d1cd17aba7a5796ac3ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$21D0AA07-32C4-4436-9184-6A51437B006B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3197f0092d6c449135bd2a319f234cb43d164a","datavalue":{"value":{"entity-type":"item","numeric-id":3801785,"id":"Q3801785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$FB18DDDB-CD83-451C-8891-DEAA2D3955A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9f697a37e9cd7ce3c5b2b9f786ae98e5d1c0b0","datavalue":{"value":{"entity-type":"item","numeric-id":1173963,"id":"Q1173963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709973$CCFC766B-697F-46EC-AECD-B8888080BD62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dabcbd6d26b89ad739a4cc8db31a3936c823771a","datavalue":{"value":"https://doi.org/10.1142/s0218196700000327","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709973$D2F427F0-7837-4ADC-AEAE-F46CBEDF0D89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4847c1503134dc5592e3c17b1f0d0780a1748891","datavalue":{"value":"W2018987884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709973$6C6674CF-7ADA-42BF-BA10-969C9C58E136","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f8b495721fce8ed6bc4702a55a0c86a862e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":744847,"id":"Q744847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d6146e0593f14ba3574d55022afc52df6226d0","datavalue":{"value":{"amount":"+0.8834382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$81DE5964-1E51-405A-9A5A-EDFA185E78CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5625d8548b8e6c9a3b27cd9efa20b8d98d2467f7","datavalue":{"value":{"entity-type":"item","numeric-id":5250532,"id":"Q5250532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2543f6cce599ae5153c44cfbaf5e07ea05f1f9a","datavalue":{"value":{"amount":"+0.85698867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$67270D72-F68D-4790-9EC2-D34A27910DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942c6ffc8b692543440d1c6f2c3a01f324b970d5","datavalue":{"value":{"entity-type":"item","numeric-id":4786258,"id":"Q4786258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98c4a8942e0cc7a75f0d9e1c7146d8a8196e39c","datavalue":{"value":{"amount":"+0.81425995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$7A8B10DC-EF7A-4B2A-B02B-1DC4582B3DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea6e65e4c52b604eef240c2cb6574d7306d56cd","datavalue":{"value":{"entity-type":"item","numeric-id":896250,"id":"Q896250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2991aaf9730d293c8b7f402c007a038426af41f9","datavalue":{"value":{"amount":"+0.77376586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$E152F55F-57D6-46EA-9B3F-7B98D7A1EA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f8f5e4902995f75a04ee2a2dfd54363fb34548","datavalue":{"value":{"entity-type":"item","numeric-id":6170751,"id":"Q6170751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ac735ebb77d36b56dd27b1242a66fdb1ad250d","datavalue":{"value":{"amount":"+0.7683262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$BE8808CA-0EF8-4580-A558-643358BE3C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b521a1b494727d16197f4ac801bc1868b8a3ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1991587,"id":"Q1991587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f97ae9efc3f4edd37f3c3dca0eaa20ab84a80e6","datavalue":{"value":{"amount":"+0.75550044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$314E02CE-3B10-4BAE-8B2D-24C0BE5DE58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cae5e711946eaa86336305da523d9bba0bf946","datavalue":{"value":{"entity-type":"item","numeric-id":1677273,"id":"Q1677273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25130a95ebe7c65b230717b3685d770d793e8747","datavalue":{"value":{"amount":"+0.75245786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$E546FEF3-8233-4361-950D-5F2B9F1A6AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b35ad69302665a3e61d4c2c24a7aef1798bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":467506,"id":"Q467506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9e7b3bb976c038e3272d8170b037942d038bd7","datavalue":{"value":{"amount":"+0.74090546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$0F01AC8D-6F4F-4684-9770-474BABAA8401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b433f037be81a86b5eac30b25c70d1a1641286d6","datavalue":{"value":{"entity-type":"item","numeric-id":2799600,"id":"Q2799600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00214e397228062847c88e17ce1ce297e400373","datavalue":{"value":{"amount":"+0.7394596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$AD62C83A-5B40-4E1B-A25A-5941B29D97D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3716bd43015d9e648bc72ce4fc34872f1ee8e8f","datavalue":{"value":{"entity-type":"item","numeric-id":2740982,"id":"Q2740982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de175c8c9f7def8fe9d6af8b9bb1c79420a7520","datavalue":{"value":{"amount":"+0.7363399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2709973$211BB77B-2A14-459E-85BE-7DF58AA1589F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d79432377b6acbdebf11fb902b1863fb8b1689b7","datavalue":{"value":{"text":"Finitely based, finite sets of words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709973$9F285828-B45E-43F0-A048-5996034B41F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"926823b43b22a5bfe2e3eb544d692688c959e140","datavalue":{"value":"For a finite set \\(W\\) of words, \\(S(W)\\) stands for the monoid defined on the set consisting of all subwords of words in \\(W\\) and of \\(0\\) by letting the product of two subwords \\(u\\) and \\(v\\) be \\(uv\\) if \\(uv\\) is again a subword of a word in \\(W\\) and be \\(0\\) otherwise. This construction was suggested by \\textit{P.~Perkins} [J. Algebra 11, 298-314 (1969; Zbl 0186.03401)], who used it to produce one of the first examples of a non-finitely based finite semigroup. The authors systematically study the finite basis problem for monoids of the form \\(S(W)\\). They find many interesting results showing that, in a sense, this class of monoids behaves with respect to the finite basis property as irregularly as the class of all finite semigroups. For example, with every finite set \\(W\\), one can start an infinite increasing sequence \\(W=W_1\\subset W_2\\subset\\dots\\) of finite sets of words such that in the sequence \\(S(W_k)\\), \\(k=1,2,\\dots\\), finitely and non-finitely based monoids alternate. One more example: there are finite sets \\(V_1,V_2\\) such that the monoids \\(S(V_1)\\) and \\(S(V_2)\\) are non-finitely based [finitely based], while their direct product \\(S(V_1)\\times S(V_2)\\) is finitely based [respectively, non-finitely based].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709973$B001DB0E-3CC2-42E5-B03D-B47E9978A15F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely based, finite sets of words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_based,_finite_sets_of_words"}}}}}