{"entities":{"Q2355687":{"pageid":2366430,"ns":120,"title":"Item:Q2355687","lastrevid":78844097,"modified":"2026-05-06T12:34:05Z","type":"item","id":"Q2355687","labels":{"en":{"language":"en","value":"A link between multioperator and tree valuation automata and logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463985"}},"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":"Q2355687$53442DFB-9BC4-40A8-9019-2043D2EFAA7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b57290e3f8fb879da82686e81b4d9c94a570a180","datavalue":{"value":{"text":"A link between multioperator and tree valuation automata and logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355687$AFA0615C-5CBA-4D17-B8CB-64D1F2AF3F79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85c7df1b7f18647234b3756a9279c722c8a45adc","datavalue":{"value":"1330.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$6AFE9FB9-F6FB-4057-8AC9-CF82E3312DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c78ef0993c1f908df68f0341de50ff4c930cfadc","datavalue":{"value":{"entity-type":"item","numeric-id":2355686,"id":"Q2355686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$911CA759-D664-4721-9A98-85FBF45D3F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6abcaa1251202ed3643126fcfbe2ded0a2422ded","datavalue":{"value":{"entity-type":"item","numeric-id":2280335,"id":"Q2280335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$9BF024E6-5639-4797-BB5B-BB0FF711514F","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":"Q2355687$0A6FB03A-CE31-4007-9F17-25DDDD5CBF4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffc3b242463a8a01767e25c752f32765f1655cfe","datavalue":{"value":{"time":"+2015-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355687$909EBB07-ECD4-428A-8810-B2FE7357C60F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"583dd3edfd7f1c6a5c5062e54bee91413264b3a7","datavalue":{"value":"The authors compare two weight structures designed to overcome some limitations of weighted tree automata (wta) over semirings, namely multioperator monoids (m-monoids) and tree valuation monoids (tv-monoids), as well as the associated weighted tree automata and MSO tree logics. For any given tv-monoid \\(\\mathcal{D}\\) they construct an m-monoid \\(\\mathcal{A}_{\\mathcal{D}}\\) such that the weighted tree languages recognized by a wta over \\(\\mathcal{D}\\) are precisely certain projections of the weighted tree languages recognized by a wta over \\(\\mathcal{A}_{\\mathcal{D}}\\). Similarly, they construct for any so-called regular product tv-monoid \\(\\mathbb{D}\\) an m-monoid \\(\\mathcal{A}_{\\mathbb{D}}\\) such that the weighted tree languages definable by restricted MSO formulas over \\(\\mathcal{D}\\) are precisely certain projections of the weighted tree languages definable by so-called m-expressions over \\(\\mathcal{A}_{\\mathbb{D}}\\). The second result actually follows from the first one by the B\u00fcchi-like characterizations of the classes of weighted tree languages in question, but the construction given here leads to an essentially lower blow-up of the size of formulas. The authors also present forms of their results that do not involve projections.    For the two weight structures, the corresponding wta and MSO logics considered here, cf. [\\textit{Z. F\u00fcl\u00f6p} et al., Theory Comput. Syst. 50, No. 2, 241--278 (2012; Zbl 1280.03045); \\textit{M. Droste} et al., Lect. Notes Comput. Sci. 7020, 30--55 (2011; Zbl 1331.68127)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$36DA5758-29E7-444E-AB34-F48596907B99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$530D4464-D4FF-4934-BCD7-83877AFBEF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$46F9ACCC-B626-466A-9EC0-FDAFFAA35D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$7CEA39D5-D045-4175-AB17-01381BB82EA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe3d8515758538c164e4231e789e662068d11c3f","datavalue":{"value":"6463985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$8946A835-2EC1-4729-9814-472507B61D01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272285942f4b091a819d2eb7a865293bf3f9c3ec","datavalue":{"value":"weighted tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$EDC45D18-7D06-4540-B25C-2FCEB6CC2922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22839511b1b2e88121e4d8d7f81e307f8961a75","datavalue":{"value":"tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$295497C0-9EA2-4ED3-A574-0099E9C1A768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f7e82dfdaf52bee790340d238d1f3751f0a03f","datavalue":{"value":"weighted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$B8FCCB7B-98CD-4975-9513-21061BFC858D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3898212513e24c39127a6e58f22e0141bc29b0","datavalue":{"value":"MSO logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$DF2E5BFF-483D-4AB4-B38A-B364A126ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"513a0bc232077d385d31d35678fa6fb31c441745","datavalue":{"value":"multioperator monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$ADFCFBD6-1853-4BD9-9F3B-9AB5699F1391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a5f58e4e019e163f505e387d18a50ca73245879","datavalue":{"value":"tree valuation monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355687$1F427A00-0102-45FD-92C2-15B1C4770192","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":"Q2355687$453677C1-CBD5-4E34-BBEA-AC02FCB48A18","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":"Q2355687$8654A9ED-BB0C-4C12-A497-8569F6EA0A19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c72dfa24b22ce7838cddf23ba55a8e81c8dca85","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.04.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355687$1AF03779-0851-4EE0-A3F0-7F613C7DC27C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8d2fe2fbf333a62c75993414cd4e5ae6256147","datavalue":{"value":"W293593254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$40F57E09-AB3F-4025-A056-793CE0380226","rank":"normal"}],"P223":[{"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":"Q2355687$932E79F3-509A-4FE1-9FB0-D7A3B52CCF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$7532FD74-8E84-43DB-9AFE-1A755D01D5E0","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":"Q2355687$100892FF-FEA3-4617-AA9B-03106E69F397","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":"Q2355687$E993F995-2C4B-4927-9177-45ECAD045A59","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":"Q2355687$E826610A-7885-4A96-8AD6-709458362C64","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":"Q2355687$2F682DEF-348E-4E16-8614-549A81916F6D","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":"Q2355687$E1FE64DA-325E-4F14-89DA-5F550F953896","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":"Q2355687$2F09417B-0DCF-442E-9269-934C601CC203","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":"Q2355687$84758802-388F-4722-8707-9D75F4ECB517","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":"Q2355687$6DB6583F-739F-4FFD-B43C-C577D5BAF690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f09581897556cea86eed7d9ddf2e0e316b1c14","datavalue":{"value":{"entity-type":"item","numeric-id":692910,"id":"Q692910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$B6370020-B520-4DD0-8CE6-4EA046E6F87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da66f0cad24e71ad72423907b549be96b38a4e8a","datavalue":{"value":{"entity-type":"item","numeric-id":5053730,"id":"Q5053730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$A3A0D808-ED10-49BE-935E-E1933753A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7540d2d04b660b9dad0733f1ead71985bbbbb9","datavalue":{"value":{"entity-type":"item","numeric-id":4510923,"id":"Q4510923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$00130B2A-60E8-4004-9BF6-FF9D7FF24055","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":"Q2355687$223F5AE0-FC3C-4380-B9A0-3E63832B2671","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":"Q2355687$F917ED23-A95D-4643-A517-5FB424AD55B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355687$CE5924DB-5961-4444-8626-10DE9C60F577","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":"Q2355687$D17A8EA8-C759-4CBA-9D98-8B75A2B2D44F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b863563f9951ddc8df83342e034adb96c8e9feb8","datavalue":{"value":"10.1016/J.TCS.2015.04.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355687$6E7CA28F-CA05-4020-9561-617DAC11E27C","rank":"normal"}],"P1643":[{"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":"cecf9329e9967ddcb567578cc808a8a288650838","datavalue":{"value":{"amount":"+0.89935434","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":"Q2355687$EC52C269-9D71-4452-B48B-6AC0B6514EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4e90a608d22ace2dfaf918acfebafc92e85a53","datavalue":{"value":{"entity-type":"item","numeric-id":2947150,"id":"Q2947150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590176688c68d606f793ffffc8cefd18f90f2492","datavalue":{"value":{"amount":"+0.8651569","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":"Q2355687$D5491F36-FBEA-4FE1-9747-7C1DF5BEB529","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":"6d12d3037adbd8c5c75caad9c11859c88eed2a4b","datavalue":{"value":{"amount":"+0.8503991","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":"Q2355687$791171FD-3783-4DAF-A103-1D5ACDCC67B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db26bab9085c46609d78683548c62c9454cf4da","datavalue":{"value":{"entity-type":"item","numeric-id":3077193,"id":"Q3077193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c1e8b2eac825f1773db3ff587fa8dde5c05615","datavalue":{"value":{"amount":"+0.84329015","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":"Q2355687$B44CA401-CFA1-476B-A655-38505FC7FF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ca448065c080a6dea48cc7ec9ddbed4049055b","datavalue":{"value":{"entity-type":"item","numeric-id":3634180,"id":"Q3634180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbddcce46083ae518a793718b745f91ad29476d4","datavalue":{"value":{"amount":"+0.83412564","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":"Q2355687$8F1F46FD-1E97-43A2-A4E5-747F534270FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdd7f6dcd35cf975bd3fc9826f040bebdfaa56e","datavalue":{"value":{"entity-type":"item","numeric-id":3098032,"id":"Q3098032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311854926928dc95033d680f109657d6795b988b","datavalue":{"value":{"amount":"+0.8273343","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":"Q2355687$78B1AC2E-4182-47B4-BD3C-951F35838072","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":"b81870e12e4bea47d94f0c1244106e409e4226df","datavalue":{"value":{"amount":"+0.8262458","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":"Q2355687$DECBE0EC-A8DF-49A3-BC07-A6B280623C49","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":"69c577e48f626479d667881b31f0907e73b00b21","datavalue":{"value":{"amount":"+0.8219715","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":"Q2355687$5A60D0ED-FE9B-4412-9049-B4C5DCCE4851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe0adc001938032a878879ef75ace6a3d70ea12","datavalue":{"value":{"entity-type":"item","numeric-id":3515223,"id":"Q3515223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7a68845b21b517a2561632d57c5c7441aba167","datavalue":{"value":{"amount":"+0.8208515","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":"Q2355687$169F4147-B340-4816-B3AC-44AD66354C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e6cdf8c609606b2b593b89005ae5264e08ea8e","datavalue":{"value":{"entity-type":"item","numeric-id":2408804,"id":"Q2408804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6c25ec5f6149fcd6260b0d1ad9546241988865","datavalue":{"value":{"amount":"+0.8205984","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":"Q2355687$D0C3EEE7-88FA-4225-A327-EDA66160F1F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A link between multioperator and tree valuation automata and logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_link_between_multioperator_and_tree_valuation_automata_and_logics"}}}}}