{"entities":{"Q744848":{"pageid":746697,"ns":120,"title":"Item:Q744848","lastrevid":64020018,"modified":"2026-04-11T17:06:32Z","type":"item","id":"Q744848","labels":{"en":{"language":"en","value":"Finitely based monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6493114"}},"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":"Q744848$E2F3BD2A-A87A-4814-AD69-A50D7035DDAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbf3aa15049ebf78b5bf199934cf57ecbfa7e595","datavalue":{"value":{"text":"Finitely based monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744848$5D365781-08BD-4C1F-8177-0A2BDCD137E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d21ceb050f987b74b14d1a73c769657d6dc67f1","datavalue":{"value":"1348.20064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744848$4151A861-8EFE-4C98-8701-483A7C4FBF87","rank":"normal"}],"P16":[{"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":"Q744848$C7BFDA1D-68BC-4E9D-AD78-236E55AB6BA8","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":"Q744848$033067A9-3B0A-4C97-B890-68CE4C6B09BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5981dc1780667b005458bf584649c04baa5310fe","datavalue":{"value":{"time":"+2015-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744848$43761D33-9F59-4E56-8D30-B604078AB07F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcf625212ebd2d808ec39b1ee3f04701ba04b732","datavalue":{"value":"https://arxiv.org/abs/1402.5136","type":"string"},"datatype":"url"},"type":"statement","id":"Q744848$A6496CFF-A91F-4B63-A23E-6DE96EBA9FC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a671c22687480d579bef2f84c428b6d4909664d7","datavalue":{"value":"The author provides a rather technical condition (Lemma 3.1) that can be used to prove that certain monoids are finitely based. She applies her condition to give alternative proofs of some results by \\textit{E. W. H. Lee} [Mosc. Math. J. 12, No. 4, 787-802 (2012; Zbl 1295.20063)] and \\textit{F. Blanchet-Sadri} [Semigroup Forum 47, No. 3, 305-317 (1993; Zbl 0814.20048)] and to investigate the finite basis problem for monoids satisfying the identities \\(xyt_1xt_2y=yxt_1xt_2y\\), \\(xt_1yt_2xy=xt_1yt_2yx\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q744848$89CDDDC4-6234-4EAF-A927-4CB42F088BFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744848$41860862-865D-474D-A1CB-79DB09F8B7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744848$B7F7D65C-8FBD-4BD2-A1BB-404CEA6364A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99b7e6fee4a984c78dead1ccb4159fcf9e363ccd","datavalue":{"value":"6493114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744848$575740F0-0CE9-4050-88AB-0AA9FC2ACF70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1178b35afc52e08d361283ac7c78b9537b115d23","datavalue":{"value":"semigroup identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q744848$0E4773EC-00A2-44DF-9DFA-E1D746C231AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q744848$BFBB239F-DC94-4AF2-907F-E95CD5FB0F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q744848$8626E2AC-46C8-4CFB-8D8D-72CF15C7EADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e66ea799e08d4fa143be1cab8ede1fe5fd90e977","datavalue":{"value":"finitely based monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q744848$C39F2C7B-7E43-4BA3-80D6-23CD05694659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q744848$C4B348F4-4718-4FE9-B9AE-2195C67B596E","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":"Q744848$0793D1FB-9B26-4DD2-A154-FCF7C836D9D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04195330d1bbcb424a61036a747ee989208ef934","datavalue":{"value":"W2092619689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744848$AF29AB77-41D8-4CC2-81C9-232B857E50E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1381d42866abd0ebaaa691a72701b0b1082b550c","datavalue":{"value":{"entity-type":"item","numeric-id":895869,"id":"Q895869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$586A55E2-39FB-4F96-9578-0E2708FB09DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce19d6cacc5742a55163367953019ae15709eff1","datavalue":{"value":{"entity-type":"item","numeric-id":688972,"id":"Q688972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$782F0220-149F-4ACC-9C48-D3FCBE67C963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a866f7b67aad930bc14601626db5bb06f4bbd0","datavalue":{"value":{"entity-type":"item","numeric-id":1314381,"id":"Q1314381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$1069FC46-8CC5-453A-A934-A540F3FD0244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bd324bacd50de3f878213bad2042040463d201","datavalue":{"value":{"entity-type":"item","numeric-id":1246047,"id":"Q1246047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$814EBCE3-C4A1-409B-AF72-FB2C1366986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$D3A20B68-6B09-473C-A37C-028FDE96B1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757cee661acf600c705044282a138a430237c443","datavalue":{"value":{"entity-type":"item","numeric-id":1780019,"id":"Q1780019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$025D4803-2784-49CB-AE71-9A73EFA61958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cb44920452e2a30ebec55d1554cafbdd5519f4","datavalue":{"value":{"entity-type":"item","numeric-id":2709973,"id":"Q2709973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$FA26EE1A-0797-42ED-912F-FD5D1BE60B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e04a8d28a6dd960df04c8b67eccc4acd330dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":5851761,"id":"Q5851761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$EF5A449A-7BB5-4354-AA8E-CAEDC80F43D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5284c4bd7f1d1b2f695bd5463e28ddc14a1bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":5404573,"id":"Q5404573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$D7F5CEBA-360C-479F-95A7-2E5BCFA8383F","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":"Q744848$8F5CA34B-9D85-4CC7-9F2B-8AE34B11D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f78b1813f5e4b4074e81cb1c203a268dadf5637","datavalue":{"value":{"entity-type":"item","numeric-id":744847,"id":"Q744847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$7552EFDE-146A-433A-A33D-B134A4D12EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2ab7ea4081dfc486a80cfe639a47ed19130efe","datavalue":{"value":{"entity-type":"item","numeric-id":305772,"id":"Q305772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$12AD0DFD-D535-4A7B-8439-8D5FE51563A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507b134c3ff0aaf66cee234e5db9596c48c8d355","datavalue":{"value":{"entity-type":"item","numeric-id":2009667,"id":"Q2009667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$D7D15457-3874-4D31-9E1E-3463348F8E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0edb49b5476d9a05956126aad3c29b57e3522c71","datavalue":{"value":{"entity-type":"item","numeric-id":4786258,"id":"Q4786258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$404FF37B-4EA5-46B0-9EAA-5F419C8970ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740cb886eb095d0a8c707aac801289b9db94804e","datavalue":{"value":{"entity-type":"item","numeric-id":3765976,"id":"Q3765976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$88BBC000-F0B6-475C-ABAA-D9161374ED9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19851a87651e7278b2d87ff2769f2cf045eff3b","datavalue":{"value":{"entity-type":"item","numeric-id":804711,"id":"Q804711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$E126B5E6-FC25-4FEA-9E17-4C8554DB8C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ead1b0f13ec34231f4b030964b426a19e4586c","datavalue":{"value":{"entity-type":"item","numeric-id":4658714,"id":"Q4658714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744848$239AC256-8211-4269-AD6F-17F536ED0853","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5552e853fea17aae76a701cb6ec43385ed4c1c21","datavalue":{"value":"10.1007/S00233-015-9709-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744848$7A1DCD67-B2C6-426A-A992-5005F73EE666","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":"c9ad69943d54574f53d7cf49420a6585cdcfc087","datavalue":{"value":{"amount":"+0.96037793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$486577CE-AA63-499A-A773-EE3E7A30BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31549bd08b1c77dfc9bcbed506026d9b3e27d314","datavalue":{"value":{"entity-type":"item","numeric-id":1402901,"id":"Q1402901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2806cc5fdc9fc5f3cf2f6a241e8b81fc5f82a58e","datavalue":{"value":{"amount":"+0.9478439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$CE0B29AC-0ADB-4B1B-9242-D8340C783F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69270a66f1c452b623899ede96388887274b635","datavalue":{"value":{"entity-type":"item","numeric-id":3103755,"id":"Q3103755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7f31d5b02ed8610c9d9d582f81d61e6ab0eb31","datavalue":{"value":{"amount":"+0.94615644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$EB43E8BC-D627-4C0A-9177-1805046E3660","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":"99b10c09759c79f947823e6cd20b8ec498a6326b","datavalue":{"value":{"amount":"+0.923029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$9AC188FA-A81F-4785-BF6E-0B9B7BCED703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f3495c19d4867b6838879870f00d0ef4888181","datavalue":{"value":{"entity-type":"item","numeric-id":5308806,"id":"Q5308806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82028848d5b3588fab6b0c4f972c769dc5046eb8","datavalue":{"value":{"amount":"+0.9090041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$11772D82-1A80-41B2-9847-C66571E6B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0763bd7ec673b8d6996f245e5fe418a36eeee015","datavalue":{"value":{"entity-type":"item","numeric-id":5461108,"id":"Q5461108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ea20741a1859bb0aa13a78c0578f134ce21649","datavalue":{"value":{"amount":"+0.89622486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$CE7F390C-58AB-496E-ABD2-1BA009B8E4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79976433a12cd1fe27abdfcad4192d2a13b684d9","datavalue":{"value":{"entity-type":"item","numeric-id":3123642,"id":"Q3123642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4048d7daec73c3a8a58315fb12d9573185a2abb","datavalue":{"value":{"amount":"+0.8949301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$C264186C-132F-4429-B2B5-08B0CE5B7D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536defc90e186fc56166858fde55aa4443910e90","datavalue":{"value":{"entity-type":"item","numeric-id":4951130,"id":"Q4951130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0062b5c7056799d9ada06bd134ff58a20b4557","datavalue":{"value":{"amount":"+0.88951707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$D0B97F02-CB41-4232-A8E9-D164A95FAFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa13a02886e27c5e8a9e4eeb77797ee43faaca1","datavalue":{"value":{"entity-type":"item","numeric-id":745715,"id":"Q745715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e445d5ebdb60ad67985f99037f83fea4e219ddee","datavalue":{"value":{"amount":"+0.88942486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q744848$25BEF6E2-2EDB-48A5-B1DF-B02778F29CF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely based monoids.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_based_monoids."}}}}}