{"entities":{"Q2805397":{"pageid":2816135,"ns":120,"title":"Item:Q2805397","lastrevid":79410551,"modified":"2026-05-06T13:50:38Z","type":"item","id":"Q2805397","labels":{"en":{"language":"en","value":"The supports of weighted unranked tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579314"}},"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":"Q2805397$924B04F1-7BF0-4CC1-ACA2-02CE71A5AF86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6063047b7914af5d9f4c0aeb32436d0a07913c55","datavalue":{"value":"1341.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805397$BABC7898-6B1C-45A0-B9FC-5DBB7BAD1EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f32f377b03f17edda028a43fd16fd30c6764b859","datavalue":{"value":"10.3233/FI-2015-1143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805397$4A3CF32F-A62A-4B66-9619-B6D363B7F728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e11e6208f0244fd618e9ad2c54268fa1cf9475c5","datavalue":{"value":{"entity-type":"item","numeric-id":2805396,"id":"Q2805396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805397$1302E77D-F127-4E83-8617-02F6D45F3818","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":"Q2805397$35313FE5-8FF2-4D8F-9FBF-26D7779251CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805397$400F314A-846A-4B07-9D9D-9017544A2702","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39aa9fdf5ab62c801ce885c7d8f139e97b3cfa9f","datavalue":{"value":{"time":"+2016-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805397$34018143-F7CA-4D03-99C4-B04F399A23B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805397$482BA89B-BF2F-44A9-BCF8-EAC5B195871D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805397$6273597A-7421-4F76-B51D-7351E3D2EF61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bcb2c676a8f87bb29ffb89731041cb13bc4bc21","datavalue":{"value":"6579314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805397$52DF373D-8871-42D9-A385-5843013DE424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e7f2666b067684f9439288a91d20d01c174bcb9","datavalue":{"value":"weighted unranked tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$B975E916-44B9-4476-AA5A-D140F2DCE1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4893313c959be648d2827d518625d21b5169c8e1","datavalue":{"value":"unranked tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$6F9889C6-A87A-4B24-9682-0DD971A4E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44712012f944bab659e3d7fc7b9da0ae8ca67f8e","datavalue":{"value":"support of a tree series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$B29910DA-4DD2-4891-BE09-E714269E6CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7fa3b8c509388d9927380f7bf66c097952faa3","datavalue":{"value":"bimonoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$220ACCD3-9E0F-451A-B1A3-12CFA5653EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34564c1e872983472918a5e2eed748c6cc0bb6d0","datavalue":{"value":"nested weighted automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$0AF596BE-05ED-45D5-B64C-54E0D8CC52C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccb16ea664f389e219551c8751a0f7b9687827e","datavalue":{"value":"weighted pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$0D7B7542-44E3-45BF-908B-7FA37CCA133D","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":"Q2805397$179B2F06-AD82-4A16-A568-E21017C93CE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15ee0489efba6bb5ce10e8e62ef62f50a3e0d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4899894,"id":"Q4899894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d5ceba306816121ad43f477a87fe05cd5c8802","datavalue":{"value":{"amount":"+0.8630737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$AF2CBF0C-A955-4395-B011-F6EE060C060A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb54ecb5610b82dadae2dbcc62c329165834736","datavalue":{"value":{"entity-type":"item","numeric-id":845343,"id":"Q845343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2be74bf1a3bb31e00cf617283295bc14ff1865","datavalue":{"value":{"amount":"+0.84087056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$A3098A3F-03E2-4DDC-98D7-1D9F260FB795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c68ab22784371aa3f9a8716132480d4e8ef1f2","datavalue":{"value":{"entity-type":"item","numeric-id":2136289,"id":"Q2136289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f808b8a25610a23afb724297556c554bcf96670c","datavalue":{"value":{"amount":"+0.8065724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$7E0691BE-065F-4053-8429-1083B6BF524C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1b00fcf3d89208d9839eb34ed93c97dfb4cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5217295,"id":"Q5217295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad37cb2703f54fd555329263d6c38cbb5258cfc5","datavalue":{"value":{"amount":"+0.8057788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$37AD0AD8-E98D-46B2-850E-390D442124D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995f49e7fed4ad38de0b7a8ea979bb81357cca59","datavalue":{"value":{"entity-type":"item","numeric-id":5072551,"id":"Q5072551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c488b2df8f33d8dff8cd03bbfacc306961a116c9","datavalue":{"value":{"amount":"+0.8032091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$030EB2CC-8080-4F92-8B51-31D4E81C0EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"067c7e63f4ab54dc12b8c6bf8e8eaeea57098106","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d06ada64c66009448332f37f56d76fb3c45148","datavalue":{"value":{"amount":"+0.7946277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$9266D3A2-DF1C-4B21-9F21-46CA3767AC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ef572855280d47a7b18668c08c1c7d476c3b33","datavalue":{"value":{"entity-type":"item","numeric-id":3077186,"id":"Q3077186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1991950ec2b2b706584964a2055018fc7f999805","datavalue":{"value":{"amount":"+0.78313506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$B806F31F-EA0B-4902-9F7E-4ADF92C581F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de95e497dc1303cadb4d8cbf9ba675a8a5cba0b","datavalue":{"value":{"entity-type":"item","numeric-id":1797776,"id":"Q1797776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbfe945de7a3ed7e5528ad11321c94483b200a4","datavalue":{"value":{"amount":"+0.7823475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$898A2D94-1E08-4568-A85F-056EEBAD201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ec451a971652031e36ee1f84ad60430fccaba1","datavalue":{"value":{"entity-type":"item","numeric-id":5871579,"id":"Q5871579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b1c04a41bde44187aada40240c76cb6c6000db","datavalue":{"value":{"amount":"+0.77487314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$38D70394-6668-495C-86BB-4F51E5E5A972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501b237c2f607d427430b140e5d13e9f41708296","datavalue":{"value":{"entity-type":"item","numeric-id":5038197,"id":"Q5038197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee394b5c6b7caa6b4f222da2a9550ea343a366c","datavalue":{"value":{"amount":"+0.7742906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805397$E9C4C8DF-AC8B-44F4-8137-E314A2FD7A41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eea021118e69436ca8eda5c7c4ae2dca8b868586","datavalue":{"value":{"text":"The supports of weighted unranked tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805397$F69D38D2-BA5F-426B-9CF2-519107156E4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f6e13445efddb5a60c2fb24a53f7d4d2bd4f1f1","datavalue":{"value":"In this paper, the authors consider the supports of weighted unranked tree automata over certain bimonoids. A bimonoid \\((K,+,\\cdot,0,1)\\) consists of two monoids \\((K,+,0)\\) and \\((K,\\cdot,1)\\). It is strong if + is commutative and \\(x\\cdot 0 = 0 \\cdot x = 0\\) for every \\(x\\in K\\), it is commutative if the product operation is commutative, and it is zero-sum-free if \\(x+y = 0\\) implies \\(x=y=0\\). The support of a weighted tree automaton is the set of all trees that are evaluated to a non-zero element. The main theorem of the paper states that the support of a weighted unranked tree automaton over a zero-sum-free commutative strong bimonoid is recognizable, and that one can construct a finite tree recognizer for it if the bimonoid satisfies a certain condition. The proof and the construction utilize ideas of \\textit{D. Kirsten} [Acta Cybern. 20, No. 2, 211--221 (2011; Zbl 1265.68103)], who presented similar results for weighted string automata over zero-sum-free commutative semirings. By giving a translation of weighted nested automata to weighted unranked tree automata, the authors obtain an analog of their main theorem for weighted nested automata. Finally, they present similar results for weighted pushdown automata.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805397$73F9CAF0-1F8E-40F7-A1A1-414BECD9F3A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805397$388FC717-F544-4A11-9605-F8B8C92BACD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The supports of weighted unranked tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_supports_of_weighted_unranked_tree_automata"}}}}}