{"entities":{"Q2709032":{"pageid":2719771,"ns":120,"title":"Item:Q2709032","lastrevid":79291079,"modified":"2026-05-06T13:34:58Z","type":"item","id":"Q2709032","labels":{"en":{"language":"en","value":"Computing with semigroups in GAP. -- A tutorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1584832"}},"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":"Q2709032$8AA1D29A-7264-43B9-B15E-D33080B34491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b946c9d2ac876e908151a27ad41f0f00b2f05fa9","datavalue":{"value":"0988.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709032$7C2215C9-19BF-4D12-90A6-98945E9299A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a36f527c44457eedbdfea8622082c338ad731e4","datavalue":{"value":{"entity-type":"item","numeric-id":195276,"id":"Q195276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709032$BFFAFA7F-F856-4FFB-9C1F-1E63FAD16D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34512a6b432290ec46696d515426c395047f68f2","datavalue":{"value":{"entity-type":"item","numeric-id":834184,"id":"Q834184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709032$96A66B60-77A8-46EB-8464-F632D9C6C4F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456c8c6068f5f9f6deacb4e2d51a2b9ec66d8bdc","datavalue":{"value":{"time":"+2002-06-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":"Q2709032$1D6ECC8B-5D33-4721-9CB7-97896118DEE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709032$2C5B82EA-D60A-48F6-9982-8FC9B712E0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709032$09BFBF4A-6834-4063-9E54-0949E59F8775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709032$A89E7058-FD15-48FB-8FA8-830199E2A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709032$E167A4F7-0B66-4F07-9289-0BA515231EE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"820fac5ffc3bbe79c866d090cb99e53f59eae4f3","datavalue":{"value":"1584832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709032$57330B4D-9F71-46C1-94EF-108AD8FC13CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e958263fde3989c8d67cc91012129b05281ce448","datavalue":{"value":"computational semigroup theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$FE77A6B8-DCE1-433E-8431-A73B707E48A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a9016a796d20e6d55fde65b10dfbf35ef5755c","datavalue":{"value":"transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$9BEE4491-B075-4D39-A8C7-0E302CDAAD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$C14F03E6-30A5-4C0C-A1CB-137092A18A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"375619c9a684a84d97b549f14fee1fca44194595","datavalue":{"value":"GAP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$2E74C106-BB43-4C8A-80F3-68EA83559500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f04570def689715b84014013c9f3df4e02641","datavalue":{"value":"endomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$67DE657F-ADEF-429D-AFF6-406379F27D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f49505e4e2c976866b17f504a4a2917c9677f07","datavalue":{"value":"Green relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$039D25F5-4854-469B-9229-D19088D013E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd99925e35cad8a870a6a38cb1763a4be34dd7d","datavalue":{"value":"orientation preserving mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$A22D2E61-5F46-4CEE-9DE0-7193D7533F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8315cb3c23e74fc7eed135d59f03cb1280d20e15","datavalue":{"value":"Rees matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$D3AB39C5-D246-432B-88EF-B27732266EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$2844937A-374B-46C0-AB96-AE6A562E30C5","rank":"normal"}],"P1463":[{"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":"Q2709032$FB825856-5CA1-435A-804E-6F7B62A5CF0A","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":"Q2709032$4C497EA4-0EFC-4C20-BA2E-28602A2AB0FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c2bd421d958ed804de4d5b5f3422cc9e004b91c","datavalue":{"value":{"text":"Computing with semigroups in GAP. -- A tutorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709032$693DA023-9C27-40AC-9824-C9919B1CEB5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c58e1cce21c44d10effc37c2810d6882c618006","datavalue":{"value":"Possibilities to use the GAP (Groups, Algorithms, Programming) computational package (downloadable from \\url{http://www.gap-system.org/gap/}) for investigating semigroup problems are illustrated using examples from the following areas: endomorphisms of a finite chain (transformation semigroups, congruences, Green relations), orientation preserving mappings (quotient semigroups, Rees matrix semigroups), power set semigroups (finitely presented semigroups, homomorphisms and enumerations), endomorphisms of the symmetric group (efficient representation of elements, semigroups of homomorphisms), the Heisenberg group (Knuth-Bendix procedure).NEWLINENEWLINEFor the entire collection see [Zbl 0954.00028].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709032$4B0FB1F5-DA4A-4B22-8668-A47776EDA869","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709032$548B1CE1-F485-411D-9860-BD29063E9E69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc4a734aab1de3a1b1d0b7f38d6e033c060f43f","datavalue":{"value":{"entity-type":"item","numeric-id":5115337,"id":"Q5115337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82af628f137a17146a0e93acd0afb1076c9fa864","datavalue":{"value":{"amount":"+0.7925651669502258","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":"Q2709032$DB9B0B49-5A28-43BC-BE46-789DC71F7679","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":"b31ccb0940a972e887252b34719a7b7ad4b7f2b2","datavalue":{"value":{"amount":"+0.7904753684997559","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":"Q2709032$2BEAC878-1875-4419-8C02-5EB4D6310938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b0c14fcee4829ee2e6a3feead63741b0503c25","datavalue":{"value":{"entity-type":"item","numeric-id":1599539,"id":"Q1599539"},"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":"Q2709032$FD6433A5-6B39-4C1C-ABD7-DC7FD3E0BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305dd909024d547f0d936deff1ff0cebefb902ed","datavalue":{"value":{"entity-type":"item","numeric-id":3625868,"id":"Q3625868"},"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":"Q2709032$F9499C38-1D91-49F0-A8A4-EA331AC739C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6fede5bf4be6709503b0597b4e4c07cb4cbbdf","datavalue":{"value":{"entity-type":"item","numeric-id":846358,"id":"Q846358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d639ae15821f9c4974cffee96489f4ed441dd0","datavalue":{"value":{"amount":"+0.7882303595542908","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":"Q2709032$54B5C9C3-ADA1-481A-9C74-4BF4153F42AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing with semigroups in GAP. -- A tutorial","badges":[]}}}}}