{"entities":{"Q536241":{"pageid":538008,"ns":120,"title":"Item:Q536241","lastrevid":62571705,"modified":"2026-04-11T06:59:55Z","type":"item","id":"Q536241","labels":{"en":{"language":"en","value":"Gr\u00f6bner-Shirshov bases of some monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5888531"}},"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":"Q536241$F4BDE316-46CC-4AEC-BC20-516169B2C80F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f88de16cbf809fb6ef19b460919745c7f10a871","datavalue":{"value":{"text":"Gr\u00f6bner-Shirshov bases of some monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q536241$494B50F3-784E-41DE-8CDD-53057148E3D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3834f3f29c3585259d867b29c2482617e6b20e2","datavalue":{"value":"1215.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$76E42DD1-CC62-475C-8521-17A709925697","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1a507da2f2b2f51268d0cb77017c5c634879f73","datavalue":{"value":{"entity-type":"item","numeric-id":536237,"id":"Q536237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$4F21A094-40AA-4E8C-BF83-E50F1BDB9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900def0bd0f952d40c236ec0140210ce59610e55","datavalue":{"value":{"entity-type":"item","numeric-id":536239,"id":"Q536239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$63A3AF69-D86D-4CC2-A438-D8E77F38B2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e65f72a3790ea8d288882f2eba7bac62c321fb","datavalue":{"value":{"entity-type":"item","numeric-id":455400,"id":"Q455400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$E5219D8C-E948-4C3B-A6D3-C6847833BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1920727f560cacdfce81488948231e68d79f4e","datavalue":{"value":{"entity-type":"item","numeric-id":394649,"id":"Q394649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$6732C29D-98EA-455F-9A50-5F55A1BB4549","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$4F244CE1-8A6F-4D4D-96C2-BAB47AE7BB9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cbf00e44216134987f6bb7aed9696496702f7d0","datavalue":{"value":{"time":"+2011-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q536241$4E729C04-401D-4145-8207-6AA6E0635D44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$11694D8C-359C-407F-86D9-EAA7F534E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$0F851C56-2C20-4332-BBBE-7EBDEB097E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$E4D0CD94-19C6-4D10-A543-057D831D3D22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6632c0680f865ff2e108b95a07c05f786d166597","datavalue":{"value":"5888531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$EAFDBA51-1A3A-428A-A6AD-F4DA9C675A86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661c4dff24c64863a7f35b892c3b1f6aa152dcc2","datavalue":{"value":"Gr\u00f6bner-Shirshov bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$14C46BC6-94C2-44C1-AF2F-7E2D9E3D4615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0206b3ce899f46214672b76de6b4000dbeb8f6f","datavalue":{"value":"monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$197083A3-DAF8-4C98-B20E-CFB084E4AC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87358badf78ee8b81015673c24e405dcd5968853","datavalue":{"value":"graph products","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$551C7D09-1AB2-476C-9563-6CE156353F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91b271eb69ab3727acc124175ea0ef761841abd","datavalue":{"value":"Sch\u00fctzenberger products","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$6B327A6F-BE81-4844-A3E2-338130019754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8315cb3c23e74fc7eed135d59f03cb1280d20e15","datavalue":{"value":"Rees matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$0841A7DD-A723-449C-BC74-E3C8B581899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96fd7be9631edb45ac33ee482d312a36831c0760","datavalue":{"value":"normal form theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$8173FF24-BF69-43BC-B06B-450A233E82DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$D3A00160-A512-46A3-9E97-4C4ABC17D11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078005e7a0dd00b58eaccb2ff013bb9ba80559f4","datavalue":{"value":"composition-diamond lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q536241$CCC513EC-3686-45B7-A78D-5029DCD5F0CD","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":"Q536241$F52CA46A-627C-49A1-9C89-D19E7240C8E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70642670b5c215052e9fc459282b002ad1a33f71","datavalue":{"value":"https://doi.org/10.1016/j.disc.2011.03.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q536241$20BCE3B2-3935-42F8-A4D4-1C921CD3FEC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f5e02eca2935b2dc83330c733425d3b97fce9ec","datavalue":{"value":"W2005595156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$AD26A118-B4A9-4E83-ADCE-0B81F2956687","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$5E267EE9-538A-41B0-85BC-EE61D5221115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dd90369a4f7d2912537f29eba7fe2c0cc22674","datavalue":{"value":{"entity-type":"item","numeric-id":4119334,"id":"Q4119334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$C8E8B3D4-BF76-40BD-9E1E-B9A5622BC7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1c9c6aff93ff52275c3c7192c31b081fb1da5e","datavalue":{"value":{"entity-type":"item","numeric-id":1012560,"id":"Q1012560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$1B15B2ED-0C6E-459A-B280-9AA3B78B8E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798f611d8634f6087c94991d10996142d5e9db54","datavalue":{"value":{"entity-type":"item","numeric-id":932795,"id":"Q932795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$3880716B-EA74-4C65-8921-F03F34057A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c25b4b400e08196903f8ca8fcbc3c1429127a73","datavalue":{"value":{"entity-type":"item","numeric-id":5665187,"id":"Q5665187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$71C6AD7E-1FDD-4E60-845F-1154B76ABDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1bbe3bcf9b03c683c8320e5b6b5945a08366733","datavalue":{"value":{"entity-type":"item","numeric-id":947815,"id":"Q947815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$BF90E2F9-C8E8-4D72-A51C-1F27DA651B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d0ebe42f23aa48b292c9bcbb455af0494ca23f","datavalue":{"value":{"entity-type":"item","numeric-id":1042871,"id":"Q1042871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$387845F6-C8A1-409C-A5A0-7796AD04F26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2c0b9a71c4ddb624ff1323dddd6b53b0b8a6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3837507,"id":"Q3837507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$15709CBA-68C0-47E2-9D01-BC4E7D2C2CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8c8d19ffc0a04251ea70e58ea1b8279c1a214b","datavalue":{"value":{"entity-type":"item","numeric-id":1295659,"id":"Q1295659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$4A89B4FA-8B2D-4560-BB7B-A52A6D28F28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4d0736df59c1b1960f60495fcd98770719c186","datavalue":{"value":{"entity-type":"item","numeric-id":2457339,"id":"Q2457339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$2FFB8FC5-947C-460D-93C0-91C17E14EDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$676F883E-E294-4747-81AC-98F1C2DD22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$F176BAD2-6D75-41D7-BFE1-AB158C062887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1b8625c9d35871cc13c0c10b3b14d7201f90a7","datavalue":{"value":{"entity-type":"item","numeric-id":3514798,"id":"Q3514798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$5364BA4F-602E-447F-9E15-6F9830DB3E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae64041fc2781d971737685a54746eb2db67310f","datavalue":{"value":{"entity-type":"item","numeric-id":3602715,"id":"Q3602715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$234241C5-4C83-463E-B5FC-56F2367F65A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3979818701d51e6c9946dd23317276ebdefcdaa","datavalue":{"value":{"entity-type":"item","numeric-id":5444889,"id":"Q5444889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$2D236084-9DA8-4714-B57B-63F2BE0A81C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814a316ee83a9292abcf7e0b0f89ae01ee4b7a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5939562,"id":"Q5939562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$A9BC275C-34AA-4C8A-BE36-4A96AB361687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$3D228F3C-0381-45C0-B939-491A409DF05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe589d09184eea1055bf235c48cd7d82d08ff71","datavalue":{"value":{"entity-type":"item","numeric-id":4317740,"id":"Q4317740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$38BB9D40-D211-45DC-BB34-B9B5AD0F1DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12438f0aefc74682f98d487a28487b2e9a59e71","datavalue":{"value":{"entity-type":"item","numeric-id":1590954,"id":"Q1590954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$93D87C52-6900-47F6-877C-2E0ACDDAFC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$135D10AA-9F92-44FF-A393-A2B2D7456EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6787481fcf56247063c4a3bddfd7f43a7f748c","datavalue":{"value":{"entity-type":"item","numeric-id":3289053,"id":"Q3289053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$0F374B18-DF85-458D-A2AB-9447A7BA4AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406bf4098a1ddb2d0ade5ddcf4b35c26106e18fb","datavalue":{"value":{"entity-type":"item","numeric-id":1150445,"id":"Q1150445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q536241$7A83E052-7AEC-4C51-ACF4-87C09B0E492C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72e803bf7f3f10f7649a6513236f747c87274a55","datavalue":{"value":"10.1016/J.DISC.2011.03.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q536241$5AF51D64-4EA7-4B91-8E98-6366BC2B2EEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18628d3a7526e6fcb6f70ce0777a5ec560f83e2b","datavalue":{"value":{"entity-type":"item","numeric-id":5496356,"id":"Q5496356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a6025d7b003386219f4b2c0720b1176cca1048","datavalue":{"value":{"amount":"+0.8388296961784363","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":"Q536241$9A68010B-3D9C-46D3-BAF6-06545C858436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc6df6c018abda863eabf5fed1773b27ff7e5f9","datavalue":{"value":{"entity-type":"item","numeric-id":2153009,"id":"Q2153009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96522f5ad4d5df779caa177070c8fcf5b0e3b308","datavalue":{"value":{"amount":"+0.8027775287628174","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":"Q536241$87345AFE-E28A-4C3B-B317-FA5F8DFA5170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5f275f06ff42b1de39234c7f633503f0b28c36","datavalue":{"value":{"entity-type":"item","numeric-id":4442428,"id":"Q4442428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed1180cdec02db31da0f571ae8e12e0b34aa5fe","datavalue":{"value":{"amount":"+0.8014955520629883","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":"Q536241$8EA8D368-955A-4AA4-B2C7-5E454EB9B9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce9e93a6935f1a3288e6d7a36c859cf0fee664e","datavalue":{"value":{"entity-type":"item","numeric-id":5279387,"id":"Q5279387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a1d9b5f5ce101e7993e7bbd5bd145ec1c69ad1","datavalue":{"value":{"amount":"+0.7920490503311157","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":"Q536241$03D8F7DF-8582-4E6E-B4BD-FD6B9FDE3A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862c709bac8007ec71c5f67150c017bcf982c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4955478,"id":"Q4955478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649e7ac052cd3541732dfc78e82d34a778b27db1","datavalue":{"value":{"amount":"+0.7896235585212708","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":"Q536241$A14BA6F0-78E5-472B-A249-38C55A694808","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner-Shirshov bases of some monoids.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner-Shirshov_bases_of_some_monoids."}}}}}