{"entities":{"Q6582344":{"pageid":14193500,"ns":120,"title":"Item:Q6582344","lastrevid":103739822,"modified":"2026-06-06T08:03:48Z","type":"item","id":"Q6582344","labels":{"en":{"language":"en","value":"The Todd-Coxeter algorithm for semigroups and monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7891461"}},"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":"Q6582344$DBA22FB0-3667-4410-8E46-A185E73DBB24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70a0d98f59d303fb95148511d5e02fb7bc848f66","datavalue":{"value":{"text":"The Todd-Coxeter algorithm for semigroups and monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6582344$2B6E6E09-3C59-4F58-AE72-7EBAD6560E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f034aa2ef546d1327f64976578429f4ce34090fd","datavalue":{"value":{"entity-type":"item","numeric-id":2279997,"id":"Q2279997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$1341868A-9DEB-46C9-97F5-93DE3DC9E588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1537c45749fde170b34adb6bf2e936507286bc92","datavalue":{"value":{"entity-type":"item","numeric-id":343473,"id":"Q343473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$F6C8F28D-7984-491A-8544-F69AD6720F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28e7644241f413dd7b0265db75fdcbf4215ad794","datavalue":{"value":{"entity-type":"item","numeric-id":6356445,"id":"Q6356445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$9172BF0B-5D13-46DD-876F-5A63BBB94A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3e98f22fb41dcbca7d1868afa2f414e27afdea7","datavalue":{"value":{"entity-type":"item","numeric-id":6162858,"id":"Q6162858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$B177A4C2-F2BF-469F-8BF7-90A603A5C106","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":"Q6582344$6A654AED-4FBC-4B79-B326-B3AD3832F0A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a60b2cedf911b23a09d870d9af5eb6325c70c19","datavalue":{"value":{"time":"+2024-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6582344$A586FD96-251E-4C06-B059-5F98B926B56A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fef5c51ef9d86494cc22e8ab3502e1653f7c735f","datavalue":{"value":"The Todd-Coxeter algorithm is an infinite collection of different but related procedures. In the literature for finitely presented groups, examples of procedures in this collection are referred to as coset enumerations. Congruences are to semigroups and monoids what cosets are to groups, and so congruence enumeration for finitely presented semigroups and monoids is the analogue of coset enumeration for groups.\\N\\NIn this paper, the authors define the infinite family of procedures for enumerating a right congruence on a monoid, show the validity of congruence enumeration, discuss how congruence enumeration can be used to compute congruences of a monoid that is not defined by a finite presentation, describe the two main strategies, the so-called HLT strategy and the Felsch strategy, for congruence enumeration, discuss some issues related to the implementation of congruence enumeration, and finally present some variants: for enumerating congruences of monoids with zero elements, Rees congruences, and Stephen's procedure. In the appendices, the authors give a number of extended examples and a comparison of the performance of the implementations in \\textbf{libsemigroups} of various strategies when applied to a number of group, monoid, or semigroup presentations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$93AEC7BA-650B-447C-8C50-A9A479C8AB4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"212896024bdc62228276889c6c03d2e4971853a3","datavalue":{"value":{"entity-type":"item","numeric-id":382930,"id":"Q382930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$DECB91B3-CDF6-454A-9392-616E49C3788E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582344$8A83991B-208A-4D4C-BCA9-E2952F03E3E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aeabfd1a4dd9ee6562434b469c208fad207a7b8","datavalue":{"value":"7891461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582344$9A413C43-61F9-4F13-8530-8018EBCD7085","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$DB1A7EB8-3CF0-45D9-9E8E-9F97782A55D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$0F5816D1-3507-4E6E-921E-B1F082644C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c2b42618fc6a7afe0018e2b117b4ee04cc9ce6","datavalue":{"value":"finite presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$8AD3EBEE-2556-48ED-B74A-3E9C10798CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$56384F19-1A6D-4F35-9395-0968D6EA67F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$0F7F7865-773C-4BCD-83D4-942B568C36A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582344$5B5333AA-008A-43F4-A9DC-9A427D46F688","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":"Q6582344$BE031A60-02DB-418E-B027-3DA9E5A69233","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"079a21866d15ec45627e7a5cc7482d8ea59cbe25","datavalue":{"value":{"entity-type":"item","numeric-id":2163861,"id":"Q2163861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$27AC37F0-BB81-4C2E-A47C-203ADA201030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d40dd903950792216a3a3986e6ccf2c87399583","datavalue":{"value":{"entity-type":"item","numeric-id":1586826,"id":"Q1586826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$39B0938A-251E-47C8-8AE5-1DE64E0C55FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf38cfdd4be5d80434967e0d788b92599d44fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3259071,"id":"Q3259071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$917E532F-62EF-481F-8345-A22722FDF0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797506a05fe41bc7e1b8b799a00c755dfe7a2bd1","datavalue":{"value":{"entity-type":"item","numeric-id":3643581,"id":"Q3643581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$50DC7B2C-13F1-41E5-BE4E-FDF44EA832A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8f9a5fdefa013473dcce95b54e08993e3c091","datavalue":{"value":{"entity-type":"item","numeric-id":4073550,"id":"Q4073550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$A35F397B-3B55-4F0E-864A-44D7DB108D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f038f190189729a61fb14e7c25099f135a0c26","datavalue":{"value":{"entity-type":"item","numeric-id":1483698,"id":"Q1483698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$73BFA80B-462F-4F8F-98D9-3EE85ECFE79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ad2886f163187eddacbf486d45ae75e6c749c2","datavalue":{"value":{"entity-type":"item","numeric-id":3520364,"id":"Q3520364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$C94888C0-26D1-4104-B79C-8142C1A48792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89aeb26a4122d59ed7d41a6c63081afae8aafcc9","datavalue":{"value":{"entity-type":"item","numeric-id":663571,"id":"Q663571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$B6249137-481C-40E5-B9BD-5F0E172262C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde0e33c3917cb98e5f398d7c0a3544ab89637d2","datavalue":{"value":{"entity-type":"item","numeric-id":5021371,"id":"Q5021371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$5AEF07EF-BC81-4CD6-BBB7-9F9CEAEB34D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462b655eb414d5c14e495a49cd1e3e89b8d58dce","datavalue":{"value":{"entity-type":"item","numeric-id":4458400,"id":"Q4458400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$47BB4A19-20E8-4B29-8131-5FB58B49A1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7095637c8dfcbaa93cb54ba833dbc609214f6b88","datavalue":{"value":{"entity-type":"item","numeric-id":4336094,"id":"Q4336094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$B66779B2-001A-4936-84F7-193539F4E91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccd04fff363d831a3654a8e4b20d6cf888646ae","datavalue":{"value":{"entity-type":"item","numeric-id":1745109,"id":"Q1745109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$DBB80A84-2C54-4D8B-962B-D0D84F9093CF","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":"Q6582344$9A70F9D9-B66D-4317-A07F-F61FFD1F1FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06844243a769070bb8d89f84e2acbbacffd9c622","datavalue":{"value":{"entity-type":"item","numeric-id":4159543,"id":"Q4159543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$A80010FA-395A-4FD5-9721-DC673DEBA924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec7523cb24747fd86eec2852bdbb418af3105c4","datavalue":{"value":{"entity-type":"item","numeric-id":5727698,"id":"Q5727698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$FA757870-76F0-41C4-BDC0-F236EB4B7467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d98f4eaf0ec4a5f70667860f8d020501efbb1c0","datavalue":{"value":{"entity-type":"item","numeric-id":1192225,"id":"Q1192225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$94EA97AF-056F-4BDA-9FAB-CA3C2FF6A760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591d82c6101fcc441a1582f91c25c6f1d7024032","datavalue":{"value":{"entity-type":"item","numeric-id":1311325,"id":"Q1311325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$E05D8514-7382-42ED-AA8E-758009F6BE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2f88149d016915049279ca0278b83b6aa83a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3617922,"id":"Q3617922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$27964C6C-A340-4CC2-9F78-F71BA108BF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e3673a62dd9ec15581453c3622d7508f55638f","datavalue":{"value":{"entity-type":"item","numeric-id":3950713,"id":"Q3950713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$0422A28C-319D-43AB-9E4C-110F62AC596A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2402346f8aef9770dda0ab29e870c256b77a24","datavalue":{"value":{"entity-type":"item","numeric-id":5583888,"id":"Q5583888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$06E0C155-7C72-40CD-8A7A-F1E4787D2DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcca98669bd2028547fa0bf649a1da34cda8f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4289431,"id":"Q4289431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$71A83235-9C40-46DE-8F6E-6F16FF2EF555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd264c5dfd5c649381e4cc5b4c1e202d0f51399","datavalue":{"value":{"entity-type":"item","numeric-id":4317890,"id":"Q4317890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$9ADF5420-B141-44C8-90AB-A9956CFAAFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8e2f2ec58764e5ef189197cc7d64be5910ed6a","datavalue":{"value":{"entity-type":"item","numeric-id":4835713,"id":"Q4835713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$16BC5481-0E37-4F0B-87A6-5CC373F125F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$20B2EE56-BA96-40D9-9A00-77668700D400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040415d351156844afd3404e4c23cb0d719d904","datavalue":{"value":{"entity-type":"item","numeric-id":582399,"id":"Q582399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$E3C4D1ED-26FF-4E0E-A049-56B799B24851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$C26D7E0D-EE13-443C-8B28-DB8DA23072C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1667c5fc8984b6974b72bcc598f107f74764e9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5763841,"id":"Q5763841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$3B6CD0E9-1152-4D97-804B-AD842CAD088B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71b4bd18bba8fddacd1b9d5095f520aa119e435b","datavalue":{"value":"10.1007/S00233-024-10431-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582344$B6D83F1E-12A8-4877-AB72-35CD8ED33419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814dc1f8186b7859f5cf4fafd7602a6b587f1b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4843623,"id":"Q4843623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3b3dadd27759d55378da0b8c4c1591e74500d0","datavalue":{"value":{"amount":"+0.852874219417572","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":"Q6582344$534839BE-B5F9-4483-934E-ECED6D120952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56bbdc7ae38ba4cd8bb20b65fe3d34b40416e619","datavalue":{"value":{"entity-type":"item","numeric-id":3220735,"id":"Q3220735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a208544fc23f2601e69e130ef3bd6b08f28d557e","datavalue":{"value":{"amount":"+0.7792907953262329","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":"Q6582344$9D8E002B-8A9A-4A3D-9D84-7F88D2FB50EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8655477578bb1e9c2915da85c900b6fd52088ea","datavalue":{"value":{"entity-type":"item","numeric-id":4133833,"id":"Q4133833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af931c98029a4a4f2212bc52a213c5b3d5cc3172","datavalue":{"value":{"amount":"+0.7764056324958801","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":"Q6582344$D2C6BD85-E189-47E2-8462-79B158382513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295700b8689a28089f933696e666dbcab3f02254","datavalue":{"value":{"entity-type":"item","numeric-id":4289431,"id":"Q4289431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f543ef5ec01c50e391f886394da9af21e71ba039","datavalue":{"value":{"amount":"+0.7708559036254883","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":"Q6582344$0B604807-4D42-4D94-B7BE-E13FE40FA379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c106394d79c35fdc9fd1c642614a08450e207755","datavalue":{"value":{"entity-type":"item","numeric-id":3223037,"id":"Q3223037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d311f319c98788fbc7c0fdc2aa9c3c17681a538","datavalue":{"value":{"amount":"+0.7602605223655701","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":"Q6582344$628C2457-E35F-4746-869C-630656B6D63E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582344$37395CA4-FF16-4CB9-A883-1B2B130E1109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Todd-Coxeter algorithm for semigroups and monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Todd-Coxeter_algorithm_for_semigroups_and_monoids"}}}}}