{"entities":{"Q1848173":{"pageid":1858915,"ns":120,"title":"Item:Q1848173","lastrevid":73040493,"modified":"2026-04-14T09:41:35Z","type":"item","id":"Q1848173","labels":{"en":{"language":"en","value":"Automatic completely-simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1822374"}},"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":"Q1848173$887180B6-1766-4093-8982-D55C48B0CCA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fecf54e1004377bac48c912e3c7863cdd5583f16","datavalue":{"value":{"text":"Automatic completely-simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1848173$89B5F640-D64E-4EB0-8B7F-B7F2DF4D8422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc94902b992347f6b0d2ad1b0424c38efc1b30ba","datavalue":{"value":"0997.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$F439B9F3-CD4A-40BD-8728-16434550972E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef5f12488ca04b5faf2a01a6c704b9e41dc5686","datavalue":{"value":"10.1023/A:1015632704977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$5DF24CF9-E1CE-45D9-ABF3-D4336C66AA27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd78d4bdb808fac2af34ccbd95e95e6e263f6f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1330683,"id":"Q1330683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848173$2F60536C-A3EA-4FCD-B726-4DB4DB8ED721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bf537b8d33f43f27f392b7409d272c7e527e24","datavalue":{"value":{"entity-type":"item","numeric-id":724911,"id":"Q724911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848173$77A182F2-6138-407A-ADB8-44584519D766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf259cca190e165fade42bb2bf8ce8c8090da867","datavalue":{"value":{"entity-type":"item","numeric-id":1110649,"id":"Q1110649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848173$384B1788-04D2-44C5-832D-113794C2BE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99637ff12ce766661a0940b08e197a328f933923","datavalue":{"value":{"entity-type":"item","numeric-id":585356,"id":"Q585356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848173$86B6EE88-E418-4DDF-880C-E119892D5F7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848173$3E189E45-8491-4409-ACAF-F93A6C246E9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1619f533236da13b48e5500821f4ed21ad7e10ea","datavalue":{"value":{"time":"+2002-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1848173$60264014-0179-4D36-A8FB-F34D62187B5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e62d331fb34f0959707ebad656ace7156c5cc15f","datavalue":{"value":"The main result of the article states that a Rees matrix semigroup \\(M[H;I,J;P]\\) with finite \\(I\\) and \\(J\\) is automatic if and only if the group \\(H\\) is automatic. As a corollary, it is verified that an automatic Rees matrix semigroup is finitely presented. The authors also show that automatic completely simple semigroups are characterized by the fellow traveller property. One more result is that the existence of an automatic structure for a Rees matrix semigroup is independent of the choice of the generating set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$C7C02A15-A051-4125-8337-759D2419530A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$E409D419-61AF-4E62-8C9F-7DC6FFD992E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$C6D35542-F971-4DEF-9C03-F421A84C9B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$6F241D25-22DA-497A-B6E8-B079E6C6DCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$C15B8A36-C371-44AA-B9C6-0D29D88819F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bbbd46a18ed11a46bbc550341334189b21c9b7b","datavalue":{"value":"1822374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848173$BEC481C2-7A00-4CB6-9DF0-2EAD69F467CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d227622b114a413a6dfa603588e4cba8547f643","datavalue":{"value":"automatic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$BA87ACCF-8A99-4883-887D-F4062A8AC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b3fb3dc8b0115a7d922378d6f9aadb718529842","datavalue":{"value":"automatic semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$D6477705-E5AB-49A6-B05F-7A100D5FFB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$F530AD43-C264-48DF-BECD-8109464A1DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$62FC80C9-E263-4FE3-82D1-D074F44EACC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8315cb3c23e74fc7eed135d59f03cb1280d20e15","datavalue":{"value":"Rees matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$CA117CB4-8450-44F0-9576-E0B286176D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848173$6080B5B5-8836-4652-A0F0-060764E05657","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848173$CAEABD1E-761A-4980-AC37-A468FCD738A4","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":"Q1848173$0150C31D-9E4D-4FF2-A0D5-3E03A0D0562E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f9794b4d08303b4c3a58b2ca8a580dbc8f850f","datavalue":{"value":{"entity-type":"item","numeric-id":4534136,"id":"Q4534136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95765260332a50595180409993ab17f68abfcfbc","datavalue":{"value":{"amount":"+0.9199047088623048","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":"Q1848173$9201CF02-635F-4626-933A-CE06611C1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c165171fe9e5259aa380d50392a2e60dd34db5","datavalue":{"value":{"entity-type":"item","numeric-id":4786329,"id":"Q4786329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbb887c784e3296c6d519d034e8ca7857be18ec","datavalue":{"value":{"amount":"+0.91990464925766","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":"Q1848173$0A3F6418-B6C7-4BE1-9E7F-314ED80BC015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089b6cb87e02b1deeb8f264a8b39e8a824b54f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2373412,"id":"Q2373412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce024b012a7d7ff27ca9c8c8c93b200bb623ddc9","datavalue":{"value":{"amount":"+0.8645563721656799","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":"Q1848173$6BED0DD9-F45A-4BF7-A69B-CA54389BB1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be3011d58c56ede202495d2ca5ed8529eb25dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1955595,"id":"Q1955595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64fe92241cf77b4ae6b94a05e6abe7e0966f773","datavalue":{"value":{"amount":"+0.8559539914131165","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":"Q1848173$D1AC7127-B050-4BF7-89C8-49DA762027AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0687769696cc171e893cc517d117ab9729752b9c","datavalue":{"value":{"entity-type":"item","numeric-id":2481327,"id":"Q2481327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2315661909309ab974e7c4f7d554443b40c342a3","datavalue":{"value":{"amount":"+0.8552143573760986","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":"Q1848173$6CE993BB-CDE2-42F3-9508-2B539A8EA4C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic completely-simple semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_completely-simple_semigroups"}}}}}