{"entities":{"Q1295934":{"pageid":1306684,"ns":120,"title":"Item:Q1295934","lastrevid":67298067,"modified":"2026-04-12T16:41:15Z","type":"item","id":"Q1295934","labels":{"en":{"language":"en","value":"Recognizable formal series on trees and cofree coalgebraic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309128"}},"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":"Q1295934$8312CFF3-AD70-499F-AEE7-803C2DB87112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e37412e89d475e51538a9dbfb58ceceb85fd8eff","datavalue":{"value":{"text":"Recognizable formal series on trees and cofree coalgebraic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295934$FFC77441-0F49-42B9-9942-30C9583C2039","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6236503b6b19ffef590b742f57799cdd1003701d","datavalue":{"value":"0933.16040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$BEF25C2C-B353-4A2F-B307-FEADF9865E00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a11eb487fd094886468b351a8ee272924b093b37","datavalue":{"value":{"entity-type":"item","numeric-id":1070017,"id":"Q1070017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$255890BA-3254-4680-BEF3-015871C9C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"357d5922da0bc3af9028a1e087f7eb5405887c33","datavalue":{"value":{"entity-type":"item","numeric-id":914817,"id":"Q914817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$63407623-01CD-4A82-8A76-E9C803111FD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$AA75E033-943E-44EC-95D7-34C68FEDC5E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02000238ef6e862a5c8de82bbe4b4eb0ee0b8beb","datavalue":{"value":{"time":"+1999-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295934$E4EFE178-2C26-44D0-A97A-7201F8913618","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fbafa32478f00bc6f0c2c171aa54e41db6725e4","datavalue":{"value":"Let \\(\\Omega\\) be a collection of sets, \\(\\Omega=\\{\\Omega_n\\mid n\\geq 0\\}\\), and \\(F\\) a field. A linear space \\(A\\) over \\(F\\) is an \\(\\Omega\\)-coalgebra if for any \\(\\omega\\in\\Omega_n\\) there is given a linear mapping \\(A\\to A^{\\otimes n}\\) which is also denoted by \\(\\omega\\). Here \\(A^{\\otimes 0}=F\\). This notion is a dual one to the definition of a multilinear \\(\\Omega\\)-algebra in the sense of A. G. Kurosh. By a tree \\(M\\) the authors mean a free \\(\\Omega\\)-algebra on a set \\(X\\) (free \\(\\Omega\\)-magma). The linear span \\(FM\\) of \\(M\\) is a free multilinear \\(\\Omega\\)-algebra on \\(X\\). A tree series is a mapping \\(f\\colon M\\to F\\). A tree series is recognizable if there exists a linear expansion of \\(f\\) to an \\(FM\\) such that \\(\\ker f\\) contains an ideal of \\(FM\\) of finite codimension. Let \\(\\text{Rec}(\\Omega)\\) be the space of all recognizable trees. It is observed that \\(\\text{Rec}(\\Omega)\\) is an \\(\\Omega\\)-coalgebra. One of the main results states that \\(\\text{Rec}(\\Omega)\\) is the cofree \\(\\Omega\\)-coalgebra on \\((FX)^*\\). Moreover certain subcoalgebras of \\(\\text{Rec}(\\Omega)\\) form a cofree \\(\\Omega\\)-coalgebra on \\(FX\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295934$B5ACB1A5-F91F-43E6-9089-49B6F4A301B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$A0629D6C-D53B-4581-8A68-7187091B1CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$344A4E5A-59DD-4834-BE34-B7E5B87B5ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$D4B75D77-3A20-48A7-9A4F-3646983865E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09d12b1a148e1eb90f62f4ad19e3e17ccf40750a","datavalue":{"value":"1309128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$B0D672EE-BB9B-46C3-84E4-54B51C23240E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eb4478b32cc6b416c4d966b1d86c0546767af14","datavalue":{"value":"cofree coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295934$EFA1B4E5-40F3-4773-A23D-AE019499A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295934$7E49CC08-F3B9-49BE-9DBE-343695DC74CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8efab713ec8e528cf77f00ba85db64cff355c8","datavalue":{"value":"recognizable trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295934$C792473E-2EF7-4639-8261-EF5126CB3C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655741430a9b27b3f8e5361a13f420eebd1c8c63","datavalue":{"value":"recognizable tree series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295934$FB24B87C-4BE5-4998-BA3C-F0EAECFB0414","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff9c204734da989d3bd60f1269711086ca85ada3","datavalue":{"value":{"entity-type":"item","numeric-id":220946,"id":"Q220946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$FFDEA880-3441-41FE-BDC1-1923416A3651","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":"Q1295934$E8AA88D4-26BE-4199-915B-82FA0552F5FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f26f81b0671776c4a76866cd83b7c7622794497b","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7752","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295934$6CF1E9AE-3604-458D-889D-A0DF86FAF388","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a00ac1ba73baef0c4c968a0f8eb1b9133aadfb2","datavalue":{"value":"W2014888672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$901C99B3-0DB2-47C2-AB6E-9DAFE55EAD2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c1c60cf7c8f77b6249077c408725ca3c8e29d","datavalue":{"value":{"entity-type":"item","numeric-id":759221,"id":"Q759221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$F50F1D58-82AB-4F92-A528-9563521E0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5662303ee56f67e6db642f054a57b0ce9ba9df1f","datavalue":{"value":{"entity-type":"item","numeric-id":4868186,"id":"Q4868186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$B4382464-9844-4516-B544-B45926E15351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e29938d1c36bb12ebf9cd5c645b8a9f62076801","datavalue":{"value":{"entity-type":"item","numeric-id":4304206,"id":"Q4304206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$80E48CEE-7E09-4B04-ACB9-2FB0273B3119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee4a61e4bb7970c9ce235cfcb950cc6e37b322b","datavalue":{"value":{"entity-type":"item","numeric-id":4141885,"id":"Q4141885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$AF83A99A-1671-4933-9A36-E1BD814E636B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$B5447016-233C-4C7B-BEEC-24CA51A6F112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$D9A108F7-DCD2-4824-9430-FA39080A338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a22e7aaa45df1b46f4e13a899fbd66e1b300e69","datavalue":{"value":{"entity-type":"item","numeric-id":1076124,"id":"Q1076124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$717717E3-6396-4A48-BEA7-0D40C5B9AE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d397aace085807ce61486851acd227e093c3ab6","datavalue":{"value":{"entity-type":"item","numeric-id":761527,"id":"Q761527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$7BA6C79F-1AE0-47EC-88C6-48F124C0E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee6a8f158162eeab982762db3925bf2c469c7799","datavalue":{"value":{"entity-type":"item","numeric-id":751831,"id":"Q751831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$6E1B02D9-49E5-4882-BC64-0BC8010CA7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af95da8ce016ce37152e497d0ceeb46800d8ff5a","datavalue":{"value":{"entity-type":"item","numeric-id":911788,"id":"Q911788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$922AEC03-74E2-485B-933C-9674F2AC641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254652c200f13af54d89b326dc31f61b3c043f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3031948,"id":"Q3031948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$49D27EEF-1D47-4E87-84DD-3FE0B046F15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d603ed81a0a8094784f6feee708601139e0d424b","datavalue":{"value":{"entity-type":"item","numeric-id":792763,"id":"Q792763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$A4C167E4-4CB2-45A1-9D16-B90B7047D943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$68585C02-E44E-4D08-8ED7-D0C74D46B668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c2a74b8230a6a71b8dd75bb1d11ad5d0866745","datavalue":{"value":{"entity-type":"item","numeric-id":1345230,"id":"Q1345230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$2351C1A6-8E13-4B50-81C8-891656570117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653241c1703da0d7c9e3c58c28daa5d73c3d7175","datavalue":{"value":{"entity-type":"item","numeric-id":3798819,"id":"Q3798819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$73E1FFD6-BFD1-47A4-B7F8-64BF79652686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49dba02ed1166b71cc0cb955eb46e38ed97656e","datavalue":{"value":{"entity-type":"item","numeric-id":1102370,"id":"Q1102370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$4A1A20D0-2AA9-4D45-BC91-F63D467D6BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ca71089e5f5dec5e563d5ad5c14757d343300e","datavalue":{"value":{"entity-type":"item","numeric-id":1147779,"id":"Q1147779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$4D59035A-5C3E-422C-8F39-907FA132B40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca9bfd9278fe94406b0eb6d8a19d3c3d83dd58f","datavalue":{"value":{"entity-type":"item","numeric-id":3134850,"id":"Q3134850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$88A0B856-F0F8-4CA7-837D-4B4440E8BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295934$1B63CD87-0639-48A9-B931-0FFDD52BD4B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d285cb42d2cef9d3234d1a5bd26cc9158df4612c","datavalue":{"value":"10.1006/JABR.1998.7752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295934$CC0B4223-5E4F-4333-920F-B08BFFF3609B","rank":"normal"}],"P1643":[{"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":"dd39a94f529f19dc010a36c79f79b2443883df57","datavalue":{"value":{"amount":"+0.7851510643959045","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":"Q1295934$88B0300B-8408-4233-A13D-2F8AD58D183C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b35b25f1d7e2eea9470acac4daefecc3f5d465","datavalue":{"value":{"entity-type":"item","numeric-id":1413887,"id":"Q1413887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d45209f0913c64cccaac737c1bdcc9655915038","datavalue":{"value":{"amount":"+0.7827085852622986","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":"Q1295934$B787D496-6A33-4C30-93C9-FC82B521CFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f85541757347bda21153924cf0976a9f75b9b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4240621,"id":"Q4240621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14991e65a3428003fb7aeeab8993c451fb2681eb","datavalue":{"value":{"amount":"+0.7526687383651733","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":"Q1295934$CBC48200-F4AD-4BA1-A676-8AE78907DB49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recognizable formal series on trees and cofree coalgebraic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recognizable_formal_series_on_trees_and_cofree_coalgebraic_systems"}}}}}