{"entities":{"Q1111587":{"pageid":1122336,"ns":120,"title":"Item:Q1111587","lastrevid":69669042,"modified":"2026-04-13T08:35:15Z","type":"item","id":"Q1111587","labels":{"en":{"language":"en","value":"Varieties of formal series on trees and Eilenberg's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075146"}},"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":"Q1111587$8FA67DD9-BE8D-4487-BAAF-38C4DD403422","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a780643515e70de66891892cbb37529954d4a8a2","datavalue":{"value":{"text":"Varieties of formal series on trees and Eilenberg's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111587$73749B16-A7D5-442C-8156-09A40A10B22E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc13c881e85b8e77e6959aa0cfa1e8ab25c01d27","datavalue":{"value":"0658.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$53E7B4DC-55EB-4433-9C5F-A50FAC93EA27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d537a7dfceba902c64a878d3a5382e0faa224ae2","datavalue":{"value":"10.1016/0020-0190(88)90056-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$9EE15CF0-8D91-4C16-ABC2-2BEE9351B4DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f508831a56382fb093df013046134f3240e93f","datavalue":{"value":{"entity-type":"item","numeric-id":551196,"id":"Q551196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111587$F862AC20-430F-4A75-BD7A-40080A8BD23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d999d33157afad28b480ec5816cc474e087d7a1","datavalue":{"value":{"entity-type":"item","numeric-id":1111586,"id":"Q1111586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111587$137A5087-0575-4BC2-BFF4-E8C339CE5267","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111587$7AA0842C-D0D9-453D-ABED-09D1B28180BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111587$FADB9639-78F9-4C3E-A746-E5D8070CC6A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4bb79452d226ba4c38cef3df9b61986301fb558","datavalue":{"value":"The authors prove a tree series version of Eilenberg's correspondence between varieties of languages and varieties of mono\u00efds. More precisely, for each field K, they introduce the category \\(K\\)-\\(\\Sigma\\)- Alg\\({}_{fin}\\) whose objects are (\\(\\Sigma\\),\\({\\mathcal A})\\), where \\(\\Sigma\\) a ranked alphabet and \\({\\mathcal A}^ a \\Sigma\\)-algebra, which is also a finite dimensional K-vector space, satisfying an additional property. Then they define the notion of (E,M)-variety in \\(K\\)-\\(\\Sigma\\)- Alg\\({}_{fin}\\), where E and M are appropriate classes of epimorphisms and monomorphisms in this category. And, finally, they prove that there is a bijection between varieties of tree series over K and (E,M)- varieties in \\(K\\)-\\(\\Sigma\\)-Alg\\({}_{fin}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111587$CAEB83D1-1A17-40A5-9A5B-C9678EB0D443","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$BBC9C8D5-FCFA-4754-B98C-BE49E3642F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$94CAE6D5-4941-49AA-AF00-34AF3E773F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$49DF1497-2366-4C05-95FC-8E4BE4E5B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$6E683846-7BE7-47A8-ADAC-E3F4418D44C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$B27FD9BC-7977-469D-836C-179A50894DAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4abf14ca518776d16bf6a552f883f792efbb49d","datavalue":{"value":"4075146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$EBD92D3C-4391-4123-8A18-BF908819B96A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec2fa9fdd96b63aa3b726e6bd581bf740ea333","datavalue":{"value":"syntactic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111587$4EE90621-CC9A-4869-A965-A20FCAF80177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b655136ffb871e878cb05ddb8f06fd7b435373b","datavalue":{"value":"tree series version of Eilenberg's correspondence between varieties of languages and varieties of mono\u00efds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111587$5FA51101-B6CD-4416-AAAF-9F52222C9B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa48a778dd73b23fb7cd62330b73ec53c6afe8a","datavalue":{"value":"(E,M)- variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111587$3DBC04F6-4289-433B-8310-011416DE7CD2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7dcbef3067fda72f30f415bf6a0c7276c9f5060b","datavalue":{"value":{"entity-type":"item","numeric-id":216237,"id":"Q216237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111587$B2F9D85D-E1EC-4FEB-BE29-BB2863307BC3","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":"Q1111587$3D3BCCC7-F714-42ED-8905-DAC0CFE47268","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a656b67b2a19763661ecee2f11c10f6fbd0f24a9","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90056-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111587$7DEB34BB-C68A-4F9B-86D7-2F804EAEBF71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c782a327f046e83a9d8dad8eb20ee5140cac31fd","datavalue":{"value":"W1970935577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111587$D0DDB5FA-D6F1-465F-A2D4-193452AB619F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111587$D5E8A84F-1017-47C7-A39D-557BEE13EFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351484737a41e34c0e2c9f7e2a4224161a45b706","datavalue":{"value":{"entity-type":"item","numeric-id":1144951,"id":"Q1144951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111587$4A278902-06C7-4F22-965B-270AF643A08E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20423e3f104ae033f0f70674e68e980bfdf78658","datavalue":{"value":{"entity-type":"item","numeric-id":627171,"id":"Q627171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda2db35403c8f5608aa6b3f956bd8ca91869b77","datavalue":{"value":{"amount":"+0.90857613","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":"Q1111587$CED4A185-F143-4BDA-B685-DEDEF2553594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733a45b442b8942b995425f15140186bd01d8fb6","datavalue":{"value":{"entity-type":"item","numeric-id":4449535,"id":"Q4449535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6509f04902c82c61ce063b03d9d4534dc34350d","datavalue":{"value":{"amount":"+0.9073143","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":"Q1111587$CBA66050-6A4B-4485-8647-02EC3809C10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a029097f14f62d073617e89b1880f1107728052","datavalue":{"value":{"entity-type":"item","numeric-id":2770673,"id":"Q2770673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f716157aad2d8701c4a803fa354ff66cdd3a30aa","datavalue":{"value":{"amount":"+0.88764286","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":"Q1111587$901C2A05-738B-4D50-886F-20797B71D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2256fcd441a0435901e5c21967510b463705254b","datavalue":{"value":{"entity-type":"item","numeric-id":751831,"id":"Q751831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d48d0ee4d246ae3f5274f6bfc2e13c6750bdab","datavalue":{"value":{"amount":"+0.8728612","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":"Q1111587$7F54C33A-80EE-446A-8F20-0696A4951FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd08d1b914657878e042f7f2a51e556a07abbde","datavalue":{"value":{"entity-type":"item","numeric-id":792763,"id":"Q792763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ddd38ff72b7a22f23579d186f56d371e6898da4","datavalue":{"value":{"amount":"+0.8727554","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":"Q1111587$B069C976-D4FC-41ED-A4F1-9B48A4785159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90fad6ee224c67c777d8554d3da2ead5deb75fd","datavalue":{"value":{"entity-type":"item","numeric-id":5134525,"id":"Q5134525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec702537d5bc3f1f1dc4bc27015b8cf9c7caff41","datavalue":{"value":{"amount":"+0.87042344","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":"Q1111587$836CCA74-6138-4E8E-AF21-AF53D353BD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6a382bd01f592cc9b4de700d98b8c89f4dcf3d","datavalue":{"value":{"entity-type":"item","numeric-id":2866996,"id":"Q2866996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec173b55d75895776b4fa21cc1d624edbe787073","datavalue":{"value":{"amount":"+0.86923885","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":"Q1111587$D8969814-F4C4-43B5-B1CE-34744913E126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d335b73734efc9a469bbef54a0a0454a4dd5b4","datavalue":{"value":{"entity-type":"item","numeric-id":3125174,"id":"Q3125174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00836f05d6d9f4fe79cf527886af2f657692830","datavalue":{"value":{"amount":"+0.86902845","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":"Q1111587$3E52D9AE-D973-43F6-8428-6DED90C701DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eefe18d73f488a0a57133c7aa0575892c03fb88","datavalue":{"value":{"entity-type":"item","numeric-id":4858417,"id":"Q4858417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca772f51ae6e5fd4710c4310ad2ccd32cfdf77fb","datavalue":{"value":{"amount":"+0.8666469","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":"Q1111587$4CCAC696-2DB8-4124-87E3-129D47E19515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fefbebbe7d174173067078db83d5c8121b4d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4863565,"id":"Q4863565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b41fa37d2f1456477fcfa5078ae137e0836f440","datavalue":{"value":{"amount":"+0.86650467","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":"Q1111587$CF79F829-5AA3-4D49-8836-CD652E8F5DDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of formal series on trees and Eilenberg's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_formal_series_on_trees_and_Eilenberg%27s_theorem"}}}}}