{"entities":{"Q1826640":{"pageid":1837382,"ns":120,"title":"Item:Q1826640","lastrevid":70921827,"modified":"2026-04-13T18:15:17Z","type":"item","id":"Q1826640","labels":{"en":{"language":"en","value":"Hierarchies of tree series transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081685"}},"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":"Q1826640$F7679DCF-7EC7-4B45-B4EA-96BB2943C927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d6bce8d9b59b47f6596a1ef0517a4f1c19f9126","datavalue":{"value":{"text":"Hierarchies of tree series transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826640$6E0F8BE0-DB35-4A0A-AEF7-67185F120FF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ed040b0a4a537d3c7653deb0eeb758560466184","datavalue":{"value":"1160.68409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826640$504A1C2D-670B-4A95-A129-B5D1BDAE0C6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d00fa627735b22d11a5ec2028150137b2160228","datavalue":{"value":{"entity-type":"item","numeric-id":404009,"id":"Q404009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$8FB24165-94D0-4878-ADC6-BF46788A66CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d2f5116085a3cb41dcaa973a580020c4febca4","datavalue":{"value":{"entity-type":"item","numeric-id":989548,"id":"Q989548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$682BD84C-4BE8-4C90-A281-966543F3F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc997ced3fd73a72cbbd0b0d0d4b1a7dc726eef5","datavalue":{"value":{"entity-type":"item","numeric-id":404010,"id":"Q404010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$FFD1C289-B51D-4634-876F-AC4988998693","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$538D20D6-0F55-4145-B955-536D59430A93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-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":"Q1826640$90B78080-C29A-4D61-8227-A82E5BA808D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08f6dbd39fc6600f58afb0c4827acac2f5f0fe06","datavalue":{"value":"We study bottom-up and top-down tree series transducers over a semiring A . We present an inclusion diagram and prove its correctness. This inclusion diagram implies the properness of four hierarchies. As the second main result we prove that the first two hierarchies are proper even for arbitrary (i.e., not necessarily commutative) izz-semirings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826640$F26085CB-E634-4773-8C03-8C79B41DA49F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826640$D0697665-A1BD-4F28-8358-5CC4313F7019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7e39b72524120a6249756b27fddd76cd9f28153","datavalue":{"value":"2081685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826640$78D7D386-AE7F-4D5B-8F23-B4CDEFDE490D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a5a511a70081ebff631f8fb66688d8f2c0ad26","datavalue":{"value":"Tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826640$82B5F010-F008-4347-AC08-70C100A16F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d80edf1ebeadb16c5f320ccd7fe35fb44016ff","datavalue":{"value":"Tree transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826640$E2372B2C-9392-4CDB-A499-4DF86D8ABF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef15d7de39d822abea6876f061396f6f5aa1919","datavalue":{"value":"Tree series transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826640$4B22B6AB-2C61-4021-9A0B-D46EC1F26354","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":"Q1826640$2DB3523E-50CF-451E-99C1-DA807F58B3F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"076143c4de89678748aed6d1767e77f7985f0b61","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1826640$F25CF2C9-60D3-479D-A544-63244FB4B7FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40a45beb3cd40f12bfaf0ce0dfcefe99c707c786","datavalue":{"value":"W2058316523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826640$ADB92BBC-4AF1-4B60-8966-C2261BF16662","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb3d15dea78d633cda8dffcef636710c8cbd7","datavalue":{"value":{"entity-type":"item","numeric-id":4195956,"id":"Q4195956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$689699E5-5D35-494F-B7FB-66B58ACEE57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad0a9d370c8b64e12fb0c3cd7c6e672a27b4958","datavalue":{"value":{"entity-type":"item","numeric-id":1277364,"id":"Q1277364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$1E9E2040-3F4A-47B5-9F7E-E9F538262D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3bae3c97e2b3d36238f909e810418a6164c88a","datavalue":{"value":{"entity-type":"item","numeric-id":1854452,"id":"Q1854452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$5EE6632B-E194-48A2-B5EC-8320A78B413B","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":"Q1826640$0B86E194-446D-419A-9F77-8B444F704E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$BAA07BFB-311C-4527-AD29-25095B4B99ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f9ed14f47635349292dc1fc5be666cede90cf","datavalue":{"value":{"entity-type":"item","numeric-id":4146263,"id":"Q4146263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$B59F3DAF-7D21-43D3-BDB6-693F459248A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a18c8ab6e2d2a9acc4d84df0c9eccee124cc9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4747534,"id":"Q4747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$D754DA1C-1C0F-4ACF-939C-B50DB3BC2758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7732db5e4f48751d2a763cb9331873511d25e489","datavalue":{"value":{"entity-type":"item","numeric-id":3150247,"id":"Q3150247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$81EEB44A-058A-4727-9BF5-EC5A3F94F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980a6530e26b95b1ccced773b6d57739ceae5608","datavalue":{"value":{"entity-type":"item","numeric-id":1136239,"id":"Q1136239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$118ED953-0B1E-49D2-A0FC-3DB1A4FE841A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74feebd6aeb7b6a39ed2486078ddf173d7310a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241985,"id":"Q1241985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$8A5BA1A5-6764-4EF8-831B-563CBD1FBCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4a8db546bd4002de0d898b78cf037d04755bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3779776,"id":"Q3779776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$D44559C8-AD41-45B5-843B-EC3CEE4B1D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a934c95343f5669a8d2db134905f65dede6d62d","datavalue":{"value":{"entity-type":"item","numeric-id":3028362,"id":"Q3028362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$E7AE5235-5972-41FE-879E-EB519FBC13D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c992192144fd67c7b5125cf28cadbb1c2e71b79","datavalue":{"value":{"entity-type":"item","numeric-id":4273673,"id":"Q4273673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$23D85546-BC72-44EF-B959-2FB62E1AACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eebe48f5ef26e93fd20d62b5053775dad68cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":4210160,"id":"Q4210160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$BBC5A3A7-DB93-4FBA-B2AC-AA182164A0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c672147b322586613a7957715d895d9c0a5e6254","datavalue":{"value":{"entity-type":"item","numeric-id":1405790,"id":"Q1405790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$CB7D15C1-B6E4-4BDE-98FC-5EB09CC4BDD9","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":"Q1826640$0CF22CBB-6CC1-4C77-9570-85FE7225CDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$C3C96981-5956-4E76-869D-962FDCC755B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97601119848d777817f27f077a4a6cb206ad822","datavalue":{"value":{"entity-type":"item","numeric-id":4269222,"id":"Q4269222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$5E70EFBA-0F08-4493-AD79-4B79F6396FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eb147693940039f5f23a4ec700c016a8867050c","datavalue":{"value":{"entity-type":"item","numeric-id":4004425,"id":"Q4004425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$819B9C67-BF0D-4377-886A-53BAA7BAAAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa37577134181e016d5cbf3a595bcb988b0108d","datavalue":{"value":{"entity-type":"item","numeric-id":4273670,"id":"Q4273670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$3234487B-E97F-40B8-96DF-EE092E4FF106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63be057f1dbf872e8af155ca01c9414977fab2","datavalue":{"value":{"entity-type":"item","numeric-id":5603192,"id":"Q5603192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$DB14F671-1EB7-4319-9A73-ACCDB47EB042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b966808ee9c0072c8088b0c39fe14c48405ed89f","datavalue":{"value":{"entity-type":"item","numeric-id":2540272,"id":"Q2540272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826640$79FDDEE4-1400-4085-A4A6-02E992C64CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8663869ae0b7e6e45554a36ad0cb70c6d1efb83","datavalue":{"value":"10.1016/J.TCS.2004.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826640$6E087DFB-0885-49BC-B6E6-D49EC99AEF4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e66bb001f9c4854d60825aa6e6d7647f1be8c38","datavalue":{"value":{"entity-type":"item","numeric-id":3617059,"id":"Q3617059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0e37ef7c0fb76f6990c99c3df0e13bf90075ed","datavalue":{"value":{"amount":"+0.9198389649391174","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":"Q1826640$9A0A89B7-45DB-4832-A772-19D35153A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e744b71cab03e44590d275d076a9bf8c22f289","datavalue":{"value":{"entity-type":"item","numeric-id":3150247,"id":"Q3150247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f3e1ad2f6a09926730785a769e98d7be30ed0c","datavalue":{"value":{"amount":"+0.8682380318641663","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":"Q1826640$1CD7F5E3-D628-46B5-AF43-EDA1DB393D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5ab33657f26aa5efaf7c56a9f491c65d818774","datavalue":{"value":{"entity-type":"item","numeric-id":4866680,"id":"Q4866680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac55ce433860af034f2c51017d75bbe6a7fcca5","datavalue":{"value":{"amount":"+0.8670507669448853","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":"Q1826640$1EA50E1D-980A-43A9-911D-4B9BD2541B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee6ccf6daaef2f70d596db8f2ca0d3b87cf01cc","datavalue":{"value":{"entity-type":"item","numeric-id":860891,"id":"Q860891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f805bafe9fb61c38d682dce52baf2b60301b218","datavalue":{"value":{"amount":"+0.8585522770881653","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":"Q1826640$A924D4EC-C2A7-43F2-A567-BA0D0338E063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2b88410021d48363b1e1db9f584ebafe1ae666","datavalue":{"value":{"entity-type":"item","numeric-id":557898,"id":"Q557898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f93da9f39c80cc3591a1d2315b2f93966b674a","datavalue":{"value":{"amount":"+0.8284944295883179","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":"Q1826640$EBDE11B1-38E1-42F7-9472-6C5E8F8C9EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchies of tree series transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchies_of_tree_series_transformations"}}}}}