{"entities":{"Q1599539":{"pageid":1610279,"ns":120,"title":"Item:Q1599539","lastrevid":72295035,"modified":"2026-04-14T03:56:36Z","type":"item","id":"Q1599539","labels":{"en":{"language":"en","value":"Computing transformation semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753672"}},"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":"Q1599539$8111DE7E-4930-41FD-B1CC-45EACA103CC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b1eb103d89a556a6ef8251cbc0b23a709725fe0","datavalue":{"value":{"text":"Computing transformation semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599539$06C9300B-D11C-47D4-94ED-CA06F6F8570A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38d3c22aea929e10e40f724d5586b17697c3ad81","datavalue":{"value":"1002.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$A173D5C9-F8E0-4BDF-8EBB-F3AC7177589F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$EA15892A-1844-4351-B0CE-1BF5E30AA9EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$B6A44D6A-8C5F-48F5-B831-6F8B2E256291","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ba1d953aa735572961ec1919ce144a2600d9eb","datavalue":{"value":{"time":"+2002-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599539$06C69A1F-DA69-4FB9-A4EF-5793C43556A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8176146d8f8c0925222cb7fccccf018a19e6b6f0","datavalue":{"value":"The paper describes data structures and algorithms for performing computations in a finite semigroup \\(S\\) with identity, generated by a set of transformations. A basic idea behind the algorithms is the partition of \\(S\\) with the aid of an equivalence relation \\(\\mathcal R\\), one of Green's relations. The paper presents algorithms for performing global computations in \\(S\\) (like its size and structure), as well as local computations within an \\(\\mathcal R\\)-class, without touching the rest of \\(S\\), thereby improving existing results by \\textit{G. Lallement} and \\textit{R. McFadden} [J. Symb. Comput. 10, No. 5, 481-498 (1990; Zbl 0792.20061)]. This approach is bound to result in more efficient computations.   The algorithms have been implemented in the GAP computer algebra system, and are available as the share package MONOID. Examples of computations using MONOID are given in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599539$68F4C647-1899-442B-9C4A-AA80D406D7D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"83ea1119a5eba74d0e2ceda74e470cb249630932","datavalue":{"value":{"entity-type":"item","numeric-id":283698,"id":"Q283698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$9D241DC5-EDEC-4081-9E5C-1D5CFA597B08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$4C107836-A744-4344-A736-D64E2F82D8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$64307F76-63E1-4A85-A658-9AC92282FBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$B0C15A1B-20A2-4F52-BDDC-294003581CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$A186DACB-FA1F-48BE-AF34-E2DD66E09851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aea1afdfa6677610ad7cf9ffa5ee50b56a98f73","datavalue":{"value":"1753672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$009EB0C1-B9C2-4AAD-A2A9-1CE9B48AF234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f703bf1195798601d5abc76e88de9971aa3509","datavalue":{"value":"finite transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599539$ADBE55D2-9074-469E-A0F6-C302BC4D2022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f49505e4e2c976866b17f504a4a2917c9677f07","datavalue":{"value":"Green relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599539$B24E1394-6528-4259-A293-7F9CB1400E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59af2f1807214bc4ea51ad853787043fc55ad62","datavalue":{"value":"generalized Sch\u00fctzenberger groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599539$BF0F1776-D1A9-4CF0-9F79-C1BB7D268D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599539$33614F4F-4CEC-4291-8DC7-CD4855829208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599539$E0F12300-8A3B-41C9-9713-7C6996B9449A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da28c7abac363afa595ea0d184ff5337a2bb8a15","datavalue":{"value":{"entity-type":"item","numeric-id":20370,"id":"Q20370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$80AAE4B4-E211-42F6-B42F-8AA387747792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$16D7F65F-46E5-44CE-AFD9-805D4CD500BB","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":"Q1599539$7012B2B7-A4AD-4486-A352-FE02B8A34A4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff9d21612982cfc9cc07f3fedd15ec5b94e2b8ce","datavalue":{"value":"https://doi.org/10.1006/jsco.2000.0406","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599539$E377A4B3-6930-46BE-A85E-EF10139932C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"953d9bc6c6e2ee3d182df02b59af397cbaa4a471","datavalue":{"value":"W2006000220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$2DF30AFE-9630-4893-836C-C037258EA4F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$C50C31F1-BF75-4323-8C60-6B85F127D6AE","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":"Q1599539$966B5176-C138-49DE-B088-F70DFD7FD097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac36a06bcb60df76802cfc1626ae816971e6b93","datavalue":{"value":{"entity-type":"item","numeric-id":1173774,"id":"Q1173774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$0E864DC5-DA6D-4680-BDAD-9C18680259BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900862c245b6d2a86c8269faa1ff151e83a0b2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1266188,"id":"Q1266188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$EB8169E7-545F-4215-91B1-AF166D6594B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067e393b8b4356a444ebb86fe4868b077a480748","datavalue":{"value":{"entity-type":"item","numeric-id":4273608,"id":"Q4273608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$CFDCEB53-A0EC-4E76-8F64-1E1BD0CB3226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d545d46281c27f7c22d936768292713b57021712","datavalue":{"value":{"entity-type":"item","numeric-id":5617749,"id":"Q5617749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599539$5504E98C-7BC1-4202-965C-16CB605DD2E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"949555b4a9dff1d35045ab85b96c9c5837dabacc","datavalue":{"value":"10.1006/JSCO.2000.0406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599539$DD85E12B-F066-40DF-971D-585C57FD6735","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72f3fac4e29d3bf28f0d5d53f778603f9e6c549","datavalue":{"value":{"entity-type":"item","numeric-id":1173774,"id":"Q1173774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad833f0e333163e969d50f9755f46423c39c0f0","datavalue":{"value":{"amount":"+0.8772862553596497","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":"Q1599539$242B3487-9A3A-4D07-A2BF-886B00A2F6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c274cd1aa746e2c191af6ac21100581b78ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":1757008,"id":"Q1757008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001de066ef9c9261b7acdfb34a98290e599843bf","datavalue":{"value":{"amount":"+0.823244035243988","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":"Q1599539$520708DB-54B6-430B-94AA-34D851289352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d8f14e52915e5d19979548fb052cba1eb7216a","datavalue":{"value":{"entity-type":"item","numeric-id":4336094,"id":"Q4336094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4387ba578b6593e57b55ea7583e1b140b056ce30","datavalue":{"value":{"amount":"+0.8077552914619446","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":"Q1599539$8E5DB957-3DC4-4478-92B2-0A37BAA412EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2634c61882337bda3018841014982eafc91feef","datavalue":{"value":{"entity-type":"item","numeric-id":1645462,"id":"Q1645462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33ed7c9e9661e866b95f92d9a433c637f79e710","datavalue":{"value":{"amount":"+0.8044490814208984","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":"Q1599539$787CF209-C85B-4326-9F45-BD3E6C5CD02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b7a7362a88c6d98c2faf50ad2da99778ab3f07","datavalue":{"value":{"entity-type":"item","numeric-id":2709032,"id":"Q2709032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649fa0943a04a6e6054c12df4fadaff1f11ed211","datavalue":{"value":{"amount":"+0.7897958159446716","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":"Q1599539$77CF1188-BAA6-40AA-ADBF-B3308F8481EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing transformation semigroups","badges":[]}}}}}