{"entities":{"Q2716145":{"pageid":2726884,"ns":120,"title":"Item:Q2716145","lastrevid":41920239,"modified":"2025-05-15T16:33:24Z","type":"item","id":"Q2716145","labels":{"en":{"language":"en","value":"Finite state automata: a geometric approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602201"}},"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":"Q2716145$AFACC3E5-72DA-45BD-8E44-CB880AD6D8F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eff68f271ea08681db24c97c9377610012f43041","datavalue":{"value":"0980.20067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$1FF54B17-C55B-43E4-82EC-CB5015DEB1AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f934de72c9a522a920d8f5d89b4d4f0f3f5e44cc","datavalue":{"value":"10.1090/S0002-9947-01-02774-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$D808EC04-A8FF-449F-8844-49FFBEDB8D74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a9b0b0009e7dc26ed1fb596dd0543ae0a05a62b","datavalue":{"value":{"entity-type":"item","numeric-id":172568,"id":"Q172568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$9D870AEB-4EC3-4AAB-B748-C87AE95C2A49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$9E3F8B58-D2EE-4600-9BA0-25EA38BCD404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"881100e941f5d37985efb4157570ac2964b779f7","datavalue":{"value":{"time":"+2001-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2716145$91A696D3-FFFD-4695-AD40-28E9E088E4CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$B7750B50-1548-4312-A8F5-3AEC4DD7F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$D3E4BD3E-A29C-4988-976E-7396735761B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$84B36E61-D845-4D29-8982-44A7F1D6C8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$876BF0CB-CEEA-4366-AFCB-0040C9129B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$3DDC7FDF-9AEF-4DBD-AB77-3189512A95E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$D16C394F-3D56-48F9-96D9-036DDD6466E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$DACD76D8-61D6-4AF9-9C5E-0E7ED1BCD4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$07D94AE6-171A-4D60-97C4-786415CB0C9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac8764eb7ecfb1c229043ae8a96c722c0c2683da","datavalue":{"value":"1602201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716145$DFE48076-B568-45E2-8EAD-18D915CB0F8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$59D98E3A-0A6A-4262-84E8-BCA5724292EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$F1604D56-0FB7-40D9-8C35-4771349102A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0206b3ce899f46214672b76de6b4000dbeb8f6f","datavalue":{"value":"monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$E7A74829-DC50-480F-9E3D-DAF031EC7ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1cb2b612684f00acb2f33c541956eb74fe14f86","datavalue":{"value":"rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$70FC9813-9CD6-4B39-A8C4-CFAF9D293544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$F7388F48-D1EA-4543-A108-C2DED2491CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53aaf43efe63536108f8796180fc912d60954229","datavalue":{"value":"profinite topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$4E886E84-9BB2-4F6E-8E7B-B3C735F6912C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6cade96afec3864ef27511ea2f85414cdefbd3d","datavalue":{"value":"pseudovarieties of finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$4D8697D2-C6EC-47FA-B5EE-EB807FC1D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa272f7e20d07255d919385199eb668b84320e2","datavalue":{"value":"semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$C9936C50-5708-4DC0-98D3-649F1505EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cb762d1ea7877089c13bef3068a60d0c553f9af","datavalue":{"value":"Mal'cev products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$3AA54421-0CE5-4052-A30F-F13137194282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c507d816bd2deedc26cafe761ebc2462e1102f","datavalue":{"value":"\\(\\mathcal J\\)-trivial semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$C96B64CB-DB93-4248-9003-FEA8DAEC75AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"177926f7abe98d798fd5e83e609da7054498b68d","datavalue":{"value":"pseudovarieties of finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$8C374F8B-2F3D-43E2-91A0-E33215B6D0A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7052141f94087e945c7103e32995aa8f78479791","datavalue":{"value":{"entity-type":"item","numeric-id":32793,"id":"Q32793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$4D822B13-8921-4A0A-864C-961A564D1ACA","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":"Q2716145$E0BAD7C7-359E-448F-A488-10067D200D47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cff72cc85a6e2107f4c3f485eca02fb3927e13","datavalue":{"value":{"entity-type":"item","numeric-id":4008756,"id":"Q4008756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$5C98E4E4-C35D-46AA-9A96-F2210F4ADA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$D1004D83-F8E4-4D1E-833C-8D1069364550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041dba3cfa101ba75306de7bad2972f86e1c4303","datavalue":{"value":{"entity-type":"item","numeric-id":4513299,"id":"Q4513299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$CE4D8C58-92FC-482F-AC53-AE4D68653FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aff5c8cacd83ad6b7451a953232661ac875cd12","datavalue":{"value":{"entity-type":"item","numeric-id":4487602,"id":"Q4487602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$76F77BB6-9007-4338-A148-EC86C45C0D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7ddb5d292c18082490b45851056fb9373664e0","datavalue":{"value":{"entity-type":"item","numeric-id":4704551,"id":"Q4704551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$903FB937-A84D-4FB1-A966-BF288C3D6D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e717044fcad99faf06d37ea7847a415e788e2235","datavalue":{"value":{"entity-type":"item","numeric-id":3123634,"id":"Q3123634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$D6DDCA0A-EF79-4EA5-ABFA-10593467F2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fcde6f1121f5cf95753264b136b6dc438cfa20","datavalue":{"value":{"entity-type":"item","numeric-id":1380025,"id":"Q1380025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$9939425F-20C6-4114-B1B8-D28881C013A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb0516265de0748b89055628f9573420bd87552","datavalue":{"value":{"entity-type":"item","numeric-id":580339,"id":"Q580339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$7DB6C2A6-F10B-4D41-8D2C-32A2C50FF474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b58eef69ca002442fc8892d8951907306aa68","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$C9C8A4E5-B5CE-4475-9314-BE360CD0DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b60b6016e2874f3433a4a41cc31aafa6dd93fc","datavalue":{"value":{"entity-type":"item","numeric-id":5616207,"id":"Q5616207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$3201C181-0676-444A-8970-2FA7D76F6755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$0F9224D2-BACA-4685-AF04-45451038B852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47dfde6037a735b5a256019a08e3ddbec7438981","datavalue":{"value":{"entity-type":"item","numeric-id":4786305,"id":"Q4786305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$6E6159BA-E43B-49D0-BE4D-5F7B8EA3A10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda3489b46b03cce2e2d044b296bd7198c95bbca","datavalue":{"value":{"entity-type":"item","numeric-id":4003861,"id":"Q4003861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$7F4DDEC0-67E4-47FE-A511-33AD0C765CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01b32f08130a44f4ffd0fb7baa0d3f8f650a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5526129,"id":"Q5526129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$2DDEAD1B-DA71-4847-BC1D-55E81A3E9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dab1814c176b89a7a31d4eb0dd9a4caf948c1b8","datavalue":{"value":{"entity-type":"item","numeric-id":2528390,"id":"Q2528390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$86FEC58F-24B7-4714-9D88-E67086BDEF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad594b6c7f92a07ea479ae7f4b8c7f1e4ee9479","datavalue":{"value":{"entity-type":"item","numeric-id":3760730,"id":"Q3760730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$5B5E86CB-6532-4480-9201-955EC8B14BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d25876fca387be25085a4779efc05d794a4653b","datavalue":{"value":{"entity-type":"item","numeric-id":4863968,"id":"Q4863968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$BE40CBFF-18C2-40A4-883A-C6119115E523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b3b012e0ab30a4ce80f3b27a494aafb7f5562a","datavalue":{"value":{"entity-type":"item","numeric-id":1137124,"id":"Q1137124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$1EF11D72-ECC1-4780-B39D-FE3EB8222AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaeb3a8e047dbdff458da3a3a6a28427bbb2685b","datavalue":{"value":{"entity-type":"item","numeric-id":5792501,"id":"Q5792501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$C23EC508-6E18-438A-9D28-4833BB1F5338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6665069c37ad0ced2c3ad12bfd7f717163c5f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5972181,"id":"Q5972181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$3856B930-CC0B-4C9E-B59F-4DEF83FB7BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75481fd44954531a2ecc24d4d14181093a11270d","datavalue":{"value":{"entity-type":"item","numeric-id":4024640,"id":"Q4024640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$F35D21AC-4110-45EB-853C-674FE9098BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$7C3578F2-B241-455F-B7DC-D4DCECD0E459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f782003373ac45ea291149864f875aee1615cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":579421,"id":"Q579421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$E33AC532-23BF-4782-8CA3-DB8101FEB524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653a847b0e494a47307ab3dabe8253959a47e518","datavalue":{"value":{"entity-type":"item","numeric-id":4039407,"id":"Q4039407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$98E3150F-7FAA-4775-BDC5-3CA5E1C43F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec66322d40c98ee36e4932e09fa8aa38479964b5","datavalue":{"value":{"entity-type":"item","numeric-id":3123636,"id":"Q3123636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$2B22770B-8878-46A3-A6DD-CE33309AC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5454ab7bf1a9740e513da386360dcdf8b8acd268","datavalue":{"value":{"entity-type":"item","numeric-id":4786288,"id":"Q4786288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$3227441D-6406-4948-9D21-7F9D427A17DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b22d53304e5d7f2c89df4060fbbf81fa8bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5919200,"id":"Q5919200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$B6CA31D5-DA63-4B5A-B372-CBAFDDE78F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22ac046f2d534070ceb1e764ffe3cbae45f6a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1183359,"id":"Q1183359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$DCCAC1F5-F027-458A-9566-D210A4575F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ee6fd8c60ee8a3e9c2f0437d602901736df475","datavalue":{"value":{"entity-type":"item","numeric-id":3988552,"id":"Q3988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$E37BDB3B-B897-4F4E-A8CD-D876B95A519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82461cb76d5d280bd6ac75f67f71a94ba7f40e5","datavalue":{"value":{"entity-type":"item","numeric-id":4944327,"id":"Q4944327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$3C7D4EDE-8B52-4CCE-94A5-4510E7C200B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22514db061f32ff6b3cf9f20a39a7850ef6cdbea","datavalue":{"value":{"entity-type":"item","numeric-id":4513300,"id":"Q4513300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$B581EF55-23D9-4E32-B420-18F8B8CA4453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d4cec728b1a54617b376fa06ff0e731aa0b982","datavalue":{"value":{"entity-type":"item","numeric-id":4294046,"id":"Q4294046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$BB1FD20B-C4DB-4322-A2FB-FA771654CCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8842d2597b949d54863f3f05bbeb4e5e5b5fab0","datavalue":{"value":{"entity-type":"item","numeric-id":4316606,"id":"Q4316606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$A41FAA45-6EE4-40F5-B66D-0989F8B46D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$31199B12-BEE4-479B-8C9D-9183474E42DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c87faf8f30657e689b9c32ffdd2e937bb1c0870","datavalue":{"value":{"entity-type":"item","numeric-id":1055548,"id":"Q1055548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$D3E8EB48-48ED-4693-B25A-E24EDB14D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7902ebc15d16be0851060174512e928b188010e2","datavalue":{"value":{"entity-type":"item","numeric-id":4704548,"id":"Q4704548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$85ED1ACB-D842-4506-95A4-D803FDB9E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5e694b6cefab8c368d3197fb8635e6284fede0","datavalue":{"value":{"entity-type":"item","numeric-id":4940634,"id":"Q4940634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$B972A8FE-39FC-490A-8807-8F1289174B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cd910803586b3b13c2f452685ba3cb3276b050","datavalue":{"value":{"entity-type":"item","numeric-id":5930161,"id":"Q5930161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$BF6ACC34-A28B-4E56-BA9C-918063CF624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7091f9fca7f91e2c082dadc0503dc27173c045","datavalue":{"value":{"entity-type":"item","numeric-id":4786270,"id":"Q4786270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$075D7008-0A41-4BD7-98ED-3670A21B56DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d9d5ac69157c6019244e99762834ffe6441b0b","datavalue":{"value":{"entity-type":"item","numeric-id":5957776,"id":"Q5957776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$D48BAF98-D913-4D47-90DE-1A611EDAC6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d7ab0ae26d29b32d03a921e62c304f8d73c47e","datavalue":{"value":{"entity-type":"item","numeric-id":3760745,"id":"Q3760745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$A337909F-A13A-4804-A29A-41162F65C050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$6166A6B6-8B35-4056-91A4-FE01788CCA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6468407fea79925550eec679c8838ea00b7831","datavalue":{"value":{"entity-type":"item","numeric-id":1207707,"id":"Q1207707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$01739E03-A634-41A2-96D4-68720BA3D5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073cf7123663ae28dac28fe13a76d49325a30134","datavalue":{"value":{"entity-type":"item","numeric-id":4867097,"id":"Q4867097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716145$F1A30208-52A5-45DE-BBC3-038C0CE7ABB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428347846548534a8141490b0fab4b99992f0428","datavalue":{"value":{"entity-type":"item","numeric-id":3210193,"id":"Q3210193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e57a532d5911701ecc7f82354af65b20123081","datavalue":{"value":{"amount":"+0.93626034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$0214DEA3-3440-4F77-B176-197759764019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fb692e5cc1f0cf6148be866011549a3e95f56b","datavalue":{"value":{"entity-type":"item","numeric-id":3804200,"id":"Q3804200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defbd409a93f10ae43a71dfb22f1227d1e73a6c0","datavalue":{"value":{"amount":"+0.8925993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$7E2664DA-8E9D-4940-929E-5348D0BA5C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ff95aff3630edd8cd3f465a018856960ec9a1f","datavalue":{"value":{"entity-type":"item","numeric-id":995557,"id":"Q995557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c84b7615645aa5bf200bedd158b1faedb4d065b","datavalue":{"value":{"amount":"+0.8807128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$D9F88E98-BA04-4A9B-9809-F52691FB4CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17b8ff7e9fe9db0b46ad42c546f2d66fb8ad4a4","datavalue":{"value":{"entity-type":"item","numeric-id":4474154,"id":"Q4474154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c84b7615645aa5bf200bedd158b1faedb4d065b","datavalue":{"value":{"amount":"+0.8807128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$E8E0E6E7-1520-4EE0-A91B-33A0542D5997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3e29dad5f02bd71bd6532004bded16997cd686","datavalue":{"value":{"entity-type":"item","numeric-id":4008487,"id":"Q4008487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ca6553b8f26c70ee18ee24af318a88f59504de","datavalue":{"value":{"amount":"+0.87802446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$D142273C-906D-43E2-9D3A-631EF08540BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782129fce2a76a9169b5ac48a234473ef174ce67","datavalue":{"value":{"entity-type":"item","numeric-id":2933048,"id":"Q2933048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62bd43d3ebc4e8feeb5ce9a168f3547f4a0f9e8","datavalue":{"value":{"amount":"+0.8703298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$CF44723E-670E-4D24-AFF0-FBE30F18F50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56be1dac23bef3883c09b1c4032455d7ede864b","datavalue":{"value":{"entity-type":"item","numeric-id":3091194,"id":"Q3091194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098e82bfe7cfb67bcb6b3f7b2d90aefb2eeabe82","datavalue":{"value":{"amount":"+0.8657222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$B170D4C9-321E-4F4C-893B-D4BEC7EB368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2de49a67673cd029d2b8224909f905aca77080","datavalue":{"value":{"entity-type":"item","numeric-id":3117052,"id":"Q3117052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9386e9dde32c5bf05db7a8f313ccab6d1cbb64f","datavalue":{"value":{"amount":"+0.8619287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$2DED84A3-FC79-498C-B51A-976059090B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e164bcd7c76dc1b668e23828fe6a5909547564","datavalue":{"value":{"entity-type":"item","numeric-id":5741952,"id":"Q5741952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b974f1f24bd79dcb42f1363e32377b0769846404","datavalue":{"value":{"amount":"+0.86164594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$50C34430-4B06-4BDF-B85A-E9D9BCCADA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b72adf6b26d2ce5af077e0b4d04e6b92b9e333f","datavalue":{"value":{"entity-type":"item","numeric-id":3776624,"id":"Q3776624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9266091a97c9e664cbe42af27dbcba77a8f60fda","datavalue":{"value":{"amount":"+0.85857356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2716145$CD6CC75F-0D37-4FBF-B372-0381BF0CEE2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbfeff48cdc4398877380a9b28571f9fcd59e05e","datavalue":{"value":{"text":"Finite state automata: a geometric approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2716145$C1BB2EEE-D8FD-4620-94E5-DF33715BECD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b73e9e7a77572c41d5a320703974d1813b300826","datavalue":{"value":"As the author says, this paper contains an elementary and more general version of the recent results by \\textit{S.~Margolis, M.~Sapir} and \\textit{P.~Weil} [Closed subgroups in pro-\\(\\mathbf V\\) topologies, and the extension problem for inverse automata. Int. J. Algebra Comput. 11, No. 4, 405-445 (2001)] that link finite automata theory with the study of profinite topologies on a free group. For example, the author gives a method that, for each extension-closed pseudovariety \\(\\mathbf H\\) of groups, allows to rebuild any given finite automaton into a finite automaton which can be used to recognize the pro-\\(\\mathbf H\\) closure of every language recognized by the original automaton (Theorem~6.27). This method becomes an algorithmically efficient procedure whenever there exists an algorithm to test membership in the pro-\\(\\mathbf H\\) closure of a finitely generated subgroup of a free group, and the procedure is only polynomially slower than the membership algorithm (Theorem~6.28). In particular, the pro-\\(\\mathbf G\\) closure of a rational language (where \\(\\mathbf G\\) stands for the pseudovariety of all finite groups) can be computed by the author's method in rapid polynomial time.NEWLINENEWLINENEWLINEAs an application to language theory, the author shows that if \\(\\mathbf H\\) is a group pseudovariety such that all free groups are residually in \\(\\mathbf H\\) and \\(L\\) is a rational language which is open or closed in the pro-\\(\\mathbf H\\) topology, then the syntactic monoid of \\(L\\) belongs to the Mal'cev product \\({\\mathbf J}\\circm{\\mathbf H}\\) where \\(\\mathbf J\\) is the pseudovariety of all finite \\(\\mathcal J\\)-trivial semigroups (Theorem~7.19).NEWLINENEWLINENEWLINEThe main semigroup application of the author's techniques is the proof that, for each extension-closed pseudovariety \\(\\mathbf H\\) of groups, the Mal'cev product \\({\\mathbf J}\\circm{\\mathbf H}\\) is equal to the semidirect product \\({\\mathbf J}*{\\mathbf H}\\) (Theorem~7.24). This proof is independent of the previously known equality \\({\\mathbf J}\\circm{\\mathbf G}={\\mathbf J}*{\\mathbf G}\\) due to \\textit{K.~Henckell} and \\textit{J.~Rhodes} [Monoids and semigroups with applications. Proc. Berkeley workshop on monoids, World Scientific, 453-463 (1991; Zbl 0826.20054)]; moreover, when restricted to the case \\({\\mathbf H}={\\mathbf G}\\) it gives the shortest and least technical proof of Henckell-Rhodes's theorem to date. The author also shows that if a non-trivial group pseudovariety \\(\\mathbf H\\) satisfies either of the identities \\(xy=yx\\) or \\(x^n=1\\), then \\({\\mathbf J}\\circm{\\mathbf H}\\neq{\\mathbf J}*{\\mathbf H}\\) (Theorems 7.31 and 7.32).NEWLINENEWLINENEWLINEReviewer's remarks. 1. Theorem~7.40 states the equality \\(({\\mathbf V}*{\\mathbf H})\\cap({\\mathbf R}*{\\mathbf H})=({\\mathbf V}*{\\mathbf G})\\cap({\\mathbf R}*{\\mathbf H})\\) where \\(\\mathbf V\\) is an arbitrary monoid pseudovariety, \\(\\mathbf H\\) is an extension-closed pseudovariety of groups, and \\(\\mathbf R\\) is the pseudovariety of all finite \\(\\mathcal R\\)-trivial semigroups. It relies on a result by \\textit{J.~Almeida} and \\textit{P.~Weil} [J. Pure Appl. Algebra 123, No. 1-3, 1-50 (1998; Zbl 0891.20037)] the proof of which has been recently discovered to be insufficient. Therefore at the moment Theorem~7.40 may be considered as being proved only for the case when the pseudovariety \\(\\mathbf V\\) has finite vertex rank.NEWLINENEWLINENEWLINE2. Recently \\textit{K.~Auinger} and the author [The geometry of profinite graphs with applications to free groups and finite monoids (preprint)] have found a complete description (in terms of the geometry of the Cayley graphs of the relatively free profinite groups) of group pseudovarieties \\(\\mathbf H\\) such that \\({\\mathbf J}\\circm{\\mathbf H}={\\mathbf J}*{\\mathbf H}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716145$16B129C2-315C-4371-95B9-9099412246D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2716145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2716145"}}}}}