{"entities":{"Q692910":{"pageid":694759,"ns":120,"title":"Item:Q692910","lastrevid":63546234,"modified":"2026-04-11T13:54:01Z","type":"item","id":"Q692910","labels":{"en":{"language":"en","value":"A B\u00fcchi-like theorem for weighted tree automata over multioperator monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6113534"}},"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":"Q692910$0A57C602-E26A-4CDD-B624-3A91FA78580B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb6e39a0fdeb0f06fc259ecad887c805f1018292","datavalue":{"value":{"text":"A B\u00fcchi-like theorem for weighted tree automata over multioperator monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692910$A36AB024-0F60-43CD-B052-5D985EEB5433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8dca5518f54bde6ab0dc41661e0631d96c714e0","datavalue":{"value":"1280.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$E8A0354A-4AB7-4DF0-877F-331B6557DB65","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":"Q692910$9F7C095A-12E0-48F6-8C6E-6BE46C06D704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a96c5e2671089a5ee5aace4401fd02f6a6bfff","datavalue":{"value":{"entity-type":"item","numeric-id":692909,"id":"Q692909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$A79032D1-A995-4C01-9EA3-ED64D5C8049E","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":"Q692910$0F2D25E2-C546-40B2-A39D-54CD9FB77384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$CE1A4913-3B1F-499B-839D-C6585546D259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dff58ac691764932e2d1883ecce372141126289a","datavalue":{"value":{"time":"+2012-12-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":"Q692910$E9040CB0-D6D4-404A-BC37-FEEE184A6243","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07da0b24c3ca98612f144e7d220fcf5ef977b2ae","datavalue":{"value":"There is a quite well-know correspondence between recognizability by finite automata and definability in monadic second-order logic (MSO) going back to results of \\textit{J. R. B\u00fcchi} [Z. Math. Logik Grundlagen Math. 6, 66--92 (1960; Zbl 0103.24705)] and \\textit{C. C. Elgot} [Trans. Am. Math. Soc. 98, 21--51 (1961; Zbl 0111.01102); Errata 103, 558--559 (1962)], which now covers, beyond the original case of strings, tree-like structures.  In [Lect. Notes Comput. Sci. 3580, 513--525 (2005; Zbl 1084.03036); Theor. Comput. Sci. 380, No. 1--2, 69--86 (2007; Zbl 1118.68076); Handbook of Weighted Automata. Berlin: Springer (2009; Zbl 1200.68001), Chapter 5], \\textit{M. Droste} and \\textit{P. Gastin} extended this correspondence further by considering logical evaluation, no more in a Boolean algebra, but in the more general setting of semirings. The reviewed paper considers a similar extension but to multioperator monoids, which are commutative monoids with additional operations. The authors hence show that in this case also there is an equivalence between being recognizable by a finite tree automata and being definable in MSO. They furthermore show that their result subsumes the case of semiring by deriving Theorem 7.2 of [\\textit{M. Droste} and \\textit{H. Vogler}, Theory Comput. Syst. 48, No. 1, 23-47 (2011; Zbl 1226.03048)] from their own result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q692910$78D4D6E2-352E-4585-AFEE-70723DFD0BB4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2daced9896460a81c4c40ff31087aa019e14cb22","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$B465FA96-F47D-4014-B965-B6FAAE7A5C4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$276ED72E-9F38-477F-8FBF-DD5E656CDEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$619C5BCD-FFAC-4815-BB71-A719279C83BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$5C728EA6-10FE-4AE2-B6B2-C3B8FDAF7F82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d4a7d020c06dd46a9a61bf08bc81fe072626938","datavalue":{"value":"6113534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$78D9439E-0D04-493F-BC04-6AFE2F971D67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ef5bc2cb983b0c28f3c227fff422a301ad3621","datavalue":{"value":"weighted tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q692910$B64B48C9-BD74-46B9-B925-B0061190B16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ecdb7194758fb5fbcb55260f347a11dbd132299","datavalue":{"value":"multioperator monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q692910$C6BAF8A6-60D1-43AF-98BF-E774B172E7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42635abc114e10ebbd9737df881da0c9eb5413dd","datavalue":{"value":"weighted monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q692910$8076844D-0844-4285-AA21-D70FB198EBD1","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":"Q692910$1C341D5E-3F0C-4F39-AC81-891D93EA41CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"919449b0a667e4456d17ccbed9b966a433d80140","datavalue":{"value":"https://doi.org/10.1007/s00224-010-9296-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q692910$6CB67CB1-9DC2-4F2E-9B40-B0221CFB6375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aff01b790d482a4051883d27b1aee421ce8c23f7","datavalue":{"value":"W2047705796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$8ED81F94-1D7D-47FD-A04C-C4E5EA8A60D7","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":"Q692910$75F53BD0-BD93-45D1-A9A6-8D52DFA1EFF9","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":"Q692910$FAA7E70A-13D4-492A-98DC-C1B076EB9058","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":"Q692910$008DD813-4B2B-4632-9D9A-50ACDEB235B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$2B57FA30-1408-45B8-9DFB-210C330B72A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$F4589043-1645-41E9-92EA-BD53738B0A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$876D82AD-2EF7-4BF9-9BF2-6CF52EC8F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8c74c7576dd6842938a4ab1463a8c65c94088c","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$F3B6922B-38AD-4D75-9500-9D420FCD3812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fe74d71647df58cbeb87817c49bc896fc5aa69","datavalue":{"value":{"entity-type":"item","numeric-id":2373736,"id":"Q2373736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$A7735E8B-48A3-4235-BDA4-EA95C5DA79AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04affc1f26ba464db952e6838fed20ce621f9c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3503896,"id":"Q3503896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$A9601B0A-78D5-4DCC-A6E0-8A5B184D45C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034459693441a1328a028647928f4d5eec6fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$7AD3B891-62C0-4A48-BA72-1E9ED39FC8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af53cad56838a221d1ec96c534dc8d447ac33b19","datavalue":{"value":{"entity-type":"item","numeric-id":2429720,"id":"Q2429720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$242AA20C-49EE-4CE6-84AA-785F0839C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cec19ccd9f8b83f764a37a43c83276cd4412640","datavalue":{"value":{"entity-type":"item","numeric-id":3584890,"id":"Q3584890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$20068F6F-0CE9-4EDA-94F4-3F33C77656F4","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":"Q692910$F54EEF4B-8E12-49AC-B92B-BDFB86A7C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d82147a59885a4bb491b402567e198ff80dfb2","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$28F72988-90F8-473A-82BA-DDEB7C85F4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$5AA60D93-E0D6-46F5-BF57-96BECAE1028C","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":"Q692910$B58C1478-D1DD-4C7B-B588-C1FE158D9071","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":"Q692910$A94D640D-105A-442D-B9B6-CA672E249930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfbe2e489d8ff6586f2982512a5715a0e85c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":2372277,"id":"Q2372277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$4080C4F0-5887-4D54-8012-3E7DB1ED1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49dc506e8ef0be80c3e9ef436058d212d0d160b6","datavalue":{"value":{"entity-type":"item","numeric-id":2429722,"id":"Q2429722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$B4492F6D-5D7F-4CC4-AE5B-5500F5982C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f901f6b50f084c012ebc053ea12fd5ea0285bf","datavalue":{"value":{"entity-type":"item","numeric-id":3634180,"id":"Q3634180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$693FDFBF-C94B-4228-AB12-19AD69C0F46B","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":"Q692910$44A159AB-3CC2-49EB-AED7-A1673E854ADB","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":"Q692910$1F4CF737-85FE-445A-AA2A-0A19EB49186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b670815da7dcdd09819fb6de23ae9ecf44b551aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917078,"id":"Q1917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$ADCC7EDA-D408-4E50-85CB-9E6A2B4CDF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa14683c469036c34a0a8d885fa33bee80e3c6e","datavalue":{"value":{"entity-type":"item","numeric-id":4076799,"id":"Q4076799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$18802946-3CE7-4B20-AB44-84A81AE1FB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681237120173c6d7ddd08d2b165212bcd195c39","datavalue":{"value":{"entity-type":"item","numeric-id":5310661,"id":"Q5310661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$62B298F1-2066-4FBC-ACE6-392A18A3A721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf6fba036ef6d85ba8370cec84eb92ce1f8e585","datavalue":{"value":{"entity-type":"item","numeric-id":5711965,"id":"Q5711965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$1E2930C3-BFD9-4B9B-91D9-7A4C9406582D","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":"Q692910$2B9C634F-65FE-4A34-BCEE-061298424B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802fa16dd849b709f8453e66818db125cb4f0db7","datavalue":{"value":{"entity-type":"item","numeric-id":5428243,"id":"Q5428243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$65F5F613-3A10-45DC-8042-03A662925500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aec100dd463a14d7c0590bcfcb94ababf6d061c","datavalue":{"value":{"entity-type":"item","numeric-id":3519504,"id":"Q3519504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$F135D42C-6223-44BD-BDBE-9AA612912A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5286393ee0506c8fbc6acd503aebffbdede40555","datavalue":{"value":{"entity-type":"item","numeric-id":3434698,"id":"Q3434698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$32D5A6BE-FEE1-4081-B7D4-50374DB80458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$CA71488C-F3A2-4589-9863-7EC7C013E9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3ea9c596ffadafd480b0353105f443a116489d","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$BE893E84-2364-4A12-AEF8-FE8D438E8AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0d1d32780f27b2b22226c1eeb552d4b8df5c56","datavalue":{"value":{"entity-type":"item","numeric-id":4899894,"id":"Q4899894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$E6349192-32EB-4E3B-8B07-C2C79D7AE8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d0f30748fd8a3bbebd86505be43529eb35243a","datavalue":{"value":{"entity-type":"item","numeric-id":3515223,"id":"Q3515223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$08C19FED-C07E-413A-972D-F8D21A12A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$DB172769-E44B-4279-BEC0-F55197554E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59293eeb5b02bf53fbf8f0878a16024c278a1bec","datavalue":{"value":{"entity-type":"item","numeric-id":5592253,"id":"Q5592253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692910$22FC14A9-CE09-4123-A46A-3DEB5F2F82F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d77764c4d38e60a226a4673508f67c3d07322bd","datavalue":{"value":"10.1007/S00224-010-9296-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692910$4ED67D7D-C0AB-41BA-BEFB-9C8567B064A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daadbb665a0a5bedf97e6182b25363a7cd08cc73","datavalue":{"value":{"entity-type":"item","numeric-id":2355687,"id":"Q2355687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afaa3230399ab2e4fdc6adfce623dc959bdc933","datavalue":{"value":{"amount":"+0.8417248129844666","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":"Q692910$A14EA0A8-650A-4C2E-A8AB-94F6B7F01965","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":"f10c4203bfd185da791b7ec142e9a1f30b3ca052","datavalue":{"value":{"amount":"+0.8285642266273499","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":"Q692910$E1F98069-4B68-46CC-8E1A-19AC7310A835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b035386239cfd5fbc2fbbebd44d0d89b58911d63","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c316b62706ca215df8ad55bbd2acbac798dd86","datavalue":{"value":{"amount":"+0.8080959916114807","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":"Q692910$1BBE7754-BF1B-497A-A519-3E5BA1675F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f695d60476781bbca13c548ff9f100b39096b7","datavalue":{"value":{"entity-type":"item","numeric-id":2280327,"id":"Q2280327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52c0f20324b7f97f6f8714390c33ff46c98e482","datavalue":{"value":{"amount":"+0.802006721496582","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":"Q692910$C7565BDB-5EA3-4C8F-9A6C-69431A9EF4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec7c4e072c23812f51613e12d298e0eb12c4f71","datavalue":{"value":{"entity-type":"item","numeric-id":2051789,"id":"Q2051789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c7ee45170690b933440d84a832e6c084e58657","datavalue":{"value":{"amount":"+0.8011155724525452","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":"Q692910$BCEE871A-4573-43DD-9303-49E1EEDFF1D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A B\u00fcchi-like theorem for weighted tree automata over multioperator monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_B%C3%BCchi-like_theorem_for_weighted_tree_automata_over_multioperator_monoids"}}}}}