{"entities":{"Q2747262":{"pageid":2758001,"ns":120,"title":"Item:Q2747262","lastrevid":47683579,"modified":"2026-01-02T10:27:16Z","type":"item","id":"Q2747262","labels":{"en":{"language":"en","value":"Remarks concerning finitely generated semigroups having regular sets of unique normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1657435"}},"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":"Q2747262$C2BB292E-D257-46F5-AD43-2CC9C26FDECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f1cccdebc7aa99e0d65e57f2c56322ce6fabf35","datavalue":{"value":{"text":"Remarks concerning finitely generated semigroups having regular sets of unique normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747262$E39E3385-DAD7-4FA7-A2EF-07405385E89D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc7fca8f00255314eaa534b12848f5f58fc5350","datavalue":{"value":"0995.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$75A0FDD8-736B-4C32-A85B-B02345AA7C5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c30e859f66842cc613e88660dffdcb4b2b3d3eb","datavalue":{"value":"10.1017/S1446788700002354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$A33E1B4B-9257-4B09-B10C-B2147BA954E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8374e10674de008ad470a7324c7ea5c29cbb78a0","datavalue":{"value":{"entity-type":"item","numeric-id":2747261,"id":"Q2747261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$D8E8EFFC-DAD5-4BF5-A000-C698477E4F99","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":"Q2747262$84464097-CD82-4375-ACC2-1B045F972FF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8777d2a3e3d4e597d4b36b518095ec9f327c7e71","datavalue":{"value":{"entity-type":"item","numeric-id":2726645,"id":"Q2726645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$1B912B51-2D67-4DF1-960F-6CE33AA11DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6885bde12782bb93eb57857d3dc36ae5a1816b","datavalue":{"value":{"time":"+2002-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747262$F4A4FCA2-7E81-4D37-B51A-664AEA276C40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$22D1ECD8-ECD4-49AC-8D82-10EA23AAAD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$0E83E0BE-B063-4746-A00B-AC7944510655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$ECD1D86D-8EDC-4A16-A3D1-5EF0030F73DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20eefac443a95649033fb3b3489ceee34f041ba6","datavalue":{"value":"1657435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$5B0BAE2F-5E81-4FC2-A95E-7215CC394E49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ecdc68bffe58560c0de6cd2a26cf549c869a9db","datavalue":{"value":"rational semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$EF1BF983-E5CC-4B58-B454-F69F2C7ED482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$199ED8B0-DE7A-4C15-AE6F-139B11EC7305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485ac9763ffeba69fc6c5ed7965f9f2efb63cbf7","datavalue":{"value":"regular subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$B48BB3F0-A6CA-415A-93EC-585C37C02E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$FF79C14F-EA11-46DD-9AE9-38DE91D9F575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584d92a68940c6f66942d60e46643e0a17ac2fd1","datavalue":{"value":"growth of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$FBAD7350-62ED-4E9B-AB8D-EBB18225F099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e96a14a19c31b2e5c3ce720c662694b801071d","datavalue":{"value":"free inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$FCDBAAD9-E43F-47F4-A8DE-41BADD52678D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$FEFCBAA9-3DE1-4D2F-9330-5AC8DCFE8E5C","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":"Q2747262$74CA0834-9D69-41E9-99D9-9594083FE647","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfbf624acafbdc1870caa82443fae600c7357868","datavalue":{"value":{"entity-type":"item","numeric-id":4934090,"id":"Q4934090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$1A1930B0-067E-416A-A28A-F4B8A5F029BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2abf4d356423a8ee1185b7ee2ce6291e15acbc","datavalue":{"value":{"entity-type":"item","numeric-id":4354240,"id":"Q4354240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$1A5A6871-91A1-4498-9A92-2502CC478376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78758589b9e138f155b9b13eeae184db8fa243a","datavalue":{"value":{"entity-type":"item","numeric-id":4853962,"id":"Q4853962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$3FA6CCE7-B637-40D3-B06C-092FD23ABCDD","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":"Q2747262$4B8455B2-4B1B-4637-AF67-FF622496F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$B1632E1B-664A-46BF-9610-C826BE01CBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1053d29cce4d088a4c4418ed058e36324f2372ae","datavalue":{"value":{"entity-type":"item","numeric-id":1270959,"id":"Q1270959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$D670E830-6B83-4306-AB0B-068C8182F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$513BAF87-96AC-4474-BB91-35BDED99E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343dd049f92bfceaee9e24b4e0e943082832903f","datavalue":{"value":{"entity-type":"item","numeric-id":4882919,"id":"Q4882919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$3FB2BF04-0A64-4C84-8E50-64E9FB0CD1D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bc9d190aef2bd947d5c5b8f91b2b62d65b1463b","datavalue":{"value":"https://doi.org/10.1017/s1446788700002354","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747262$AF17562D-C378-4E6D-A36A-95A4DDA52712","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96f5af244110b1df0f10bcc316831c6ef4398c1d","datavalue":{"value":"W2153607460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747262$3B1F6650-28F0-44A0-B016-95F87780E3AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"935a2054d1d04cc8f7ab0558c8c85f0096aec656","datavalue":{"value":"A finitely generated semigroup is rational if there is a regular subset \\(L\\) of \\(X^+\\) such that the canonical surjection \\(\\phi\\colon X^+\\to S\\) is bijective on \\(L\\), where \\(X\\) is a (finite) set of generators of \\(S\\).NEWLINENEWLINENEWLINEAfter discussing some basic facts on rationality and growth of semigroups, the authors prove that the free inverse semigroups are not rational. They derive a contradiction from the assumption that the monogenic free inverse semigroup \\(FI_x\\) were rational using the fact that \\(FI_x\\) has polynomial (cubic) growth and the pumping property of regular languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747262$47987645-5BC5-485E-A431-788DAFDC09AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7eb34a5913e32e2432a47344f3fe5b5428d3d6a3","datavalue":{"value":{"entity-type":"item","numeric-id":441852,"id":"Q441852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747262$9D1F10F6-C987-4E77-BBE0-EFB74F6BF5A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5918d20387e32ed4bf7dcdf3f515ae9c62516e16","datavalue":{"value":{"entity-type":"item","numeric-id":1270958,"id":"Q1270958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda09b64560fea87d0e4e9ae47bf41a4ef04c158","datavalue":{"value":{"amount":"+0.7754029631614685","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":"Q2747262$8B20932C-3236-44AD-AB3A-6D962DAF95FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd2efd885c39bdeb927cd51e9f651875cb0990f","datavalue":{"value":{"entity-type":"item","numeric-id":3619688,"id":"Q3619688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35595f317dee5e6b897f8a7b46521d75f6c439ba","datavalue":{"value":{"amount":"+0.774668276309967","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":"Q2747262$2EB7FDBA-26BD-4EAD-AD60-778DB4CF224F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f681d9697d0be3e22e2018f52adf4f3f13f1b217","datavalue":{"value":{"entity-type":"item","numeric-id":5429962,"id":"Q5429962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004c30ce3c0b9197f338fb36bc2843550a215546","datavalue":{"value":{"amount":"+0.7698320746421814","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":"Q2747262$02636468-5211-482F-8B90-C84997699FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da1fe5650ad1fa4cedd1a5b3d601fd6e722b92b","datavalue":{"value":{"entity-type":"item","numeric-id":3056271,"id":"Q3056271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e9aa269e8b1ef184d45176f13e6ed2da9cfe0c","datavalue":{"value":{"amount":"+0.7563949823379517","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":"Q2747262$77A7FEBD-E50E-45D8-A6C9-BD79E0211988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8e891e3ed650bc2f4d182b977ed0d73047cd0c","datavalue":{"value":{"entity-type":"item","numeric-id":2680819,"id":"Q2680819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a58318e7511865722bc3fb73099913401638ab","datavalue":{"value":{"amount":"+0.7518844604492188","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":"Q2747262$99F38113-698F-468D-95E2-FE56A3CAC78E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2747262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2747262"}}}}}