{"entities":{"Q2914240":{"pageid":2924960,"ns":120,"title":"Item:Q2914240","lastrevid":85091081,"modified":"2026-06-03T05:50:49Z","type":"item","id":"Q2914240","labels":{"en":{"language":"en","value":"Wreath products of forest algebras, with applications to tree logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086017"}},"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":"Q2914240$2174AF99-71BE-4E74-86D3-7C7F9A86748A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a495762c9cb8940b6bc68ae22fb6dc76c00fdd","datavalue":{"value":"1258.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914240$1AA5C23A-2314-4FEB-9390-F593AD288BCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd19c30ae75953d08ef46e8cfd322580d695b7a9","datavalue":{"value":"10.2168/LMCS-8(3:19)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914240$9AC309EA-CB22-4AB5-8866-09983B616FB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914240$78AB83FC-71E1-4771-809D-4D6C0E9F659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914240$01A585E6-7243-4FB0-8B3C-7FE91493C115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914240$10A910D9-7309-4378-A62F-CD8CD30329EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914240$3B82C161-0881-41D3-8961-F04D0343F3AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914240$DDF671BB-56F0-4463-AC48-EF659413ECA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eabc5f285299178f6553ace7381ee693baa89cd2","datavalue":{"value":"https://arxiv.org/abs/1208.6172","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914240$32737ABE-28FE-44F7-8E48-13BCB9B9C851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914240$2357C3F1-3380-4BEF-81B3-8017F6337FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914240$B0B0A974-B9FC-4B85-8C4A-F110A634DA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914240$FD9642A8-4790-4CAE-BF59-E9A4E51B6103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d5351dcfb613f0f82274c4b9b6572fcf722ddb","datavalue":{"value":"6086017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914240$75EF5431-AD65-4F7E-A3D5-CB11AE50E108","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22839511b1b2e88121e4d8d7f81e307f8961a75","datavalue":{"value":"tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914240$80D39C46-053A-4496-BAAF-8AFAC7084090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914240$F5A01285-DAF5-44CD-9073-231B1E4A55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d4290d68667147e23aa4553ded9a74c5a4ca22","datavalue":{"value":"forest algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914240$77A949A1-35D6-4D3C-8C77-32A6A3857E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ee478c750caea749591f40b4d0b63323c1eecc","datavalue":{"value":"wreath product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914240$E3A2DAB3-FC0C-43FA-97C2-3938D2616FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574eabf8a559a37dff8aeb8efdea321dad27ac46","datavalue":{"value":"first-order logic over ancestor relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914240$F2B11869-302C-4D9D-86E4-CE8DF7A633AC","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":"Q2914240$01BECEE4-C7D8-4972-90AF-C8AB0B1DCFFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8823cc72e6459b5ea4cdc00c42b7fcd5639ff8ff","datavalue":{"value":{"text":"Wreath products of forest algebras, with applications to tree logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914240$61AF6107-3614-4599-964D-1EA82E7B922F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab0c9e9d853e18ccb02234f09cfa2dc2c18aaff","datavalue":{"value":{"entity-type":"item","numeric-id":5397719,"id":"Q5397719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3294bf4338d2ef6479c1c19b4bfc86041744b79a","datavalue":{"value":{"amount":"+0.915910005569458","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":"Q2914240$E18F5660-FADA-47F3-A93E-E6DD83566671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7e0cad177448a53ef10e7c98d8bae98a6d4966","datavalue":{"value":{"entity-type":"item","numeric-id":2947153,"id":"Q2947153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2f308196dbd8e5247d455ea3ff19e1c82411e1","datavalue":{"value":{"amount":"+0.8808861374855042","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":"Q2914240$5B256293-521D-4E0E-824B-0A2858796BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec99f7506520fb65e51924131dfcc01a96a8df6","datavalue":{"value":{"entity-type":"item","numeric-id":3166216,"id":"Q3166216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84913cefbe268f80a4b802373e506ba064532a50","datavalue":{"value":{"amount":"+0.8253777623176575","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":"Q2914240$602A79E0-6EF5-4CD4-B88E-426859C096D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2783eb6ebae44ec7adb272216fe9365029e1c101","datavalue":{"value":{"entity-type":"item","numeric-id":3184670,"id":"Q3184670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26958a9dfec9d514cc3c2c1610b46b545349c799","datavalue":{"value":{"amount":"+0.8213968873023987","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":"Q2914240$28569461-B11F-454E-9874-F7438DA4EDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c34633744e6c1ffeafc46b16bd1978793a02823","datavalue":{"value":{"entity-type":"item","numeric-id":3540193,"id":"Q3540193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca68b628559807acfa71a32c3c10eeedbcfb52a","datavalue":{"value":{"amount":"+0.8054834604263306","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":"Q2914240$46CA07DD-4BF3-4F25-961B-30BBEBB0492B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wreath products of forest algebras, with applications to tree logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wreath_products_of_forest_algebras,_with_applications_to_tree_logics"}}}}}