{"entities":{"Q2280327":{"pageid":2291070,"ns":120,"title":"Item:Q2280327","lastrevid":71748051,"modified":"2026-04-14T00:17:04Z","type":"item","id":"Q2280327","labels":{"en":{"language":"en","value":"A Kleene theorem for weighted tree automata over tree valuation monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144449"}},"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":"Q2280327$D2969280-28C5-47B4-8241-7757AEEB25F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85e43c1113bd5d8c8554e73dc6f18899179b25d4","datavalue":{"value":{"text":"A Kleene theorem for weighted tree automata over tree valuation monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280327$94F06C0E-9721-4438-9515-53F619FB9588","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ed5c5fd65938a8f2eeecde329a7c03e8db01149","datavalue":{"value":"1439.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280327$AFD8323B-2DA0-48FF-ACE6-579CF286D8F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c25bc9dd9d1fe94c2ecce12e70cd90472ffc47","datavalue":{"value":{"entity-type":"item","numeric-id":2280326,"id":"Q2280326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$3D537965-29C3-4513-9B7A-FAB7D05D5E2F","rank":"normal"},{"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":"Q2280327$12ABFB41-A555-424C-A46F-41EA2F2B8F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$4F8C731E-A5C8-4F5D-B7E1-218702E42131","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$FD0F549E-85AB-4E7E-9E22-05E56DF94AC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280327$88426465-4975-464F-BEF7-4E7B750F4FD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc09802513502c86aeb0a36fda4edd45bb7b247d","datavalue":{"value":"The contribution establishes a Kleene theorem for weighted tree automata over tree valuation monoids as the title correctly announces. Weighted tree automata are essentially tree automata, in which each transition additionally carries a weight. Those weights are taken from a specific algebraic structure, which are tree valuation monoids in this contribution. Roughly speaking, a tree valuation monoid is a commutative monoid together with a valuation function that evaluates a tree of weights to a single weight. A Kleene theorem is a result that states that rational expressions (essentially corresponding to closure properties) and an automaton model coincide in expressive power.  This result is achieved in the usual way. A weighted tree automaton is decomposed recursively into rational expressions and for the converse it is demonstrated that recognizable weighted tree languages, which are recognized by those weighted tree automata, have the required closure properties. As usual for tree automata additional concatenation leaf symbols (one for each state) are required for the transformation of a weighted tree automaton into an equivalent rational expression.  The paper is well written and contains examples and illustrations for the benefit of the reader. All proof details are provided and no special background is required to appreciate the obtained results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280327$19770986-4B63-4480-860B-E7379BCB5D71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26d1c218d463f30593893b3e531d81ce8bef8874","datavalue":{"value":{"entity-type":"item","numeric-id":519890,"id":"Q519890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$ED1A1589-6451-47A3-8968-7FDEF3042BE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280327$63B6D1B0-D7A1-46B6-A3C0-EAF2125D76A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9941f10c3523e90c0348bf3ad830d9445c48a81c","datavalue":{"value":"7144449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280327$29DD5E95-38AF-438A-98DB-C80158B9C6D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ef5bc2cb983b0c28f3c227fff422a301ad3621","datavalue":{"value":"weighted tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280327$4C0BAA45-146E-4780-9F87-0643327D0B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0307f4610d94f105804e86dc0ca8cacd6c88b11c","datavalue":{"value":"rational tree series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280327$98032824-873B-4D3D-B2FB-CB018C9BB3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ad31c3de0f654335e48cbef1fdf631c0a32b20","datavalue":{"value":"tree valuation monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280327$4A11CFCB-8506-4D34-9497-D2B0D605E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280327$CACC6EDC-4B11-43F3-8491-DD72497879B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb822c0ed75a148683d01ddade0e809d965dc5ff","datavalue":{"value":"rational expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2280327$39211EE3-6BC3-48E5-A2D5-6D3DBFDDC5D9","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":"Q2280327$E51AAE71-5543-4736-A99A-6CF2A9CE521A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf658adbbfad141cb83bd59bff89d361ce554bc6","datavalue":{"value":"https://doi.org/10.1016/j.ic.2019.104445","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280327$9EBABC14-4A50-407A-9057-928BAE86DE54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d46c9e404c74a0ac5337ec4d0ed2360906674f86","datavalue":{"value":"W2971170072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280327$9D16B825-8F84-42D9-A711-1B2137FEFDB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ae8407d8f4e98ebc8e3ed9ad36d7191509a6d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090465,"id":"Q1090465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$B9B436D7-B3B1-4434-97F9-22B9A55F1EB2","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":"Q2280327$071EEFA1-5F7B-439E-8689-96790A64FCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$34A3E087-87F6-4C5F-8CEB-4E7D88C50F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11fc286d2f24f7c9f19cb329934818398bd4bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2798741,"id":"Q2798741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$35C43A41-FC74-45F3-828B-318CC37C2D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b100d1682adba14568cc3b100a8d68c521210969","datavalue":{"value":{"entity-type":"item","numeric-id":3098032,"id":"Q3098032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$743B5596-D465-4499-8FCF-DB1133EBC4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80063a4cb97be60ba3456a35a582af2e44b434b","datavalue":{"value":{"entity-type":"item","numeric-id":3586111,"id":"Q3586111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$2FDC024E-67BA-48EB-9646-16C948FED39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db74365bc65ba8d4f1a9fdc24571ef3741223e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3224951,"id":"Q3224951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$6D7C7F51-2DB8-4498-B111-F83FB56FE3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe3289b404f8c54d133efef53260abd5b383c81","datavalue":{"value":{"entity-type":"item","numeric-id":1764423,"id":"Q1764423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$24E41D45-ED89-4343-90A1-E94F30F9360F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e307459d1aaedbb1d3e69baa1fa1a1381ad97d3","datavalue":{"value":{"entity-type":"item","numeric-id":5247168,"id":"Q5247168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$91E50F74-2D96-4307-B054-0328BE448459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199ba3dbfc3f92c0be4caa38546b22e071eb88ac","datavalue":{"value":{"entity-type":"item","numeric-id":4449537,"id":"Q4449537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$C39BF86A-6046-4CDA-958F-56C744764717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b497dca7797fa6294274a661f5142f00c1c31586","datavalue":{"value":{"entity-type":"item","numeric-id":2272217,"id":"Q2272217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$4BF1B7AA-DB94-479E-8E78-86F35FF0E5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d63873ff56d26a39b5ac11c37f1f668bd6d4795","datavalue":{"value":{"entity-type":"item","numeric-id":5072551,"id":"Q5072551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$F1062A6D-AA55-45DB-9B6B-A6DE0075A998","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":"Q2280327$DABC75B6-E78A-4707-9428-86C9554AEFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f2cb0b05a9fcc64b59e5bc5b6a1a831d1edc0f","datavalue":{"value":{"entity-type":"item","numeric-id":5462672,"id":"Q5462672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$60193FC2-492E-45C7-B7E4-13088FC42EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30342cec1f288e223133423eb03214f428fdf2b","datavalue":{"value":{"entity-type":"item","numeric-id":3077193,"id":"Q3077193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$37C5CD83-C91E-41D4-9175-C30580615661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$502AAA9C-4CA5-4273-8ED1-ECA7491AED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676fd0cb9d2a3853bba222c1c7caf967fbfa4957","datavalue":{"value":{"entity-type":"item","numeric-id":2355687,"id":"Q2355687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$FCC719F4-03D1-4298-9B08-19F89D460C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280327$5263235C-6BD3-4246-928F-BC7AE1D8036C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3700d51a07c4a3577b74754fa864e24fa5b22233","datavalue":{"value":"10.1016/J.IC.2019.104445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280327$8C76677E-120B-429F-B698-BD6DC7ED1849","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb7cd3f55149f4ec90477ece9a82328c498c471","datavalue":{"value":{"entity-type":"item","numeric-id":2798741,"id":"Q2798741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aea13628363c069fc8c4db26906fdef9b6f0dd9","datavalue":{"value":{"amount":"+0.9686177372932434","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":"Q2280327$8849832D-D5A4-46CA-8A0B-1D2032F53BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364d8b24a1779f1e2c3d26234f2b4ad14fb3bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1764423,"id":"Q1764423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a8cf31e28e43c398c420629e5da40d7234af6f","datavalue":{"value":{"amount":"+0.8894726634025574","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":"Q2280327$DA031A94-4A6E-453B-9897-C9401B3004A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7f2ceac7150208e7de9f95dbc0db2acaaddce2","datavalue":{"value":{"entity-type":"item","numeric-id":2272217,"id":"Q2272217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade1cbd506e2f46fe448c0a6cd929fec2869112b","datavalue":{"value":{"amount":"+0.8804735541343689","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":"Q2280327$B3E856BA-DA1D-486C-B65C-FF19B6D0A411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e8fb6f9a717220b4121572698846e0bc776874","datavalue":{"value":{"entity-type":"item","numeric-id":5900814,"id":"Q5900814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68908069dd625bc23b8b5afdf65ec258f1320c1","datavalue":{"value":{"amount":"+0.8630885481834412","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":"Q2280327$8E92D135-4F03-4CD9-8C82-189BA7FDD1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70cd62303d2fc03ce4c0e2a435758b145475a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":2989926,"id":"Q2989926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44979a215e40599bebef47da3097d357e5213f6d","datavalue":{"value":{"amount":"+0.8561188578605652","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":"Q2280327$024FC458-1AA8-4406-B1D9-08D6C264AE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kleene theorem for weighted tree automata over tree valuation monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Kleene_theorem_for_weighted_tree_automata_over_tree_valuation_monoids"}}}}}