{"entities":{"Q5886519":{"pageid":7916070,"ns":120,"title":"Item:Q5886519","lastrevid":101846630,"modified":"2026-06-06T03:00:13Z","type":"item","id":"Q5886519","labels":{"en":{"language":"en","value":"On Composing Finite Forests with Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7672671"}},"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":"Q5886519$CFBC34C5-B1EB-4890-A19D-C90C4F8FA217","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68eef3d61de4f5dd3ad7cc7ef2fa124976dacadb","datavalue":{"value":{"text":"On Composing Finite Forests with Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886519$2977C6F1-DDC5-407D-8932-1B38111DDBE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bc0d6b06e35e8fe2fc145897c407773d6e32899","datavalue":{"value":"10.1145/3569954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886519$C49A50EF-B9E2-4471-B795-4BC441055AC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$6C6B46A6-642F-4A27-94FF-E5B24A4AB7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$9ACB9738-CFA4-4A02-B37A-D06CBE1A9171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$D39B9522-A8FE-4143-813C-B8BA93B7EE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$94559BF9-8605-43A8-9E97-D84B71AFCE8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$9E031817-E5F4-4D18-997D-12FCA43D074E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23081f3ff1efacf6ecefe15d31667096d2415dfa","datavalue":{"value":{"time":"+2023-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886519$7537793F-E5A4-4641-A8E1-34691E597408","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886519$D41D7CA4-6F57-46DB-8BE4-DD4FC564C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886519$80CAC34A-5478-4A55-BFFE-764C99FA1121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41026a4e2b20669c156945eafa21ce2584089cd1","datavalue":{"value":"7672671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886519$43D50F7D-C390-4042-91FD-AF8CC62B7EA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ae5d3458a1a096cdbcbf742cc73185814074a0","datavalue":{"value":"modal logic on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886519$BE711F98-00D6-4C21-ADB0-187C11A38068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886519$28C0DA89-EFA2-447F-83FE-7CEA1604DC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48b820539a43ff4dd453a7881edc4faa9aac3e6","datavalue":{"value":"static ambient logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886519$FA8E52DE-C0B8-4EE8-90E0-8A51EDE7AD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886519$8B5D294A-C4F0-49B7-98B3-7C1A1AF40AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886519$5E8195E2-5340-498E-B902-F9DEDECD582B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886519$55C5EF61-F40F-4B67-8052-2712E93F42B2","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":"Q5886519$A7A13ABD-A5D9-49A3-B7B4-9A560AE0B736","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"624b6f51ab35c17319d22de91b3651f7d911527e","datavalue":{"value":"https://doi.org/10.1145/3569954","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886519$0AD0AF60-45DB-449E-932F-5E2470D80831","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e65aa473c5d1bc508d05598ddcc62f068e75b5a2","datavalue":{"value":"W4313254506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886519$1641AC2F-8DAC-4726-A709-21EA6806C21B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc644fdfe65ffee1d8b3257cb9c93d8b3dba70e7","datavalue":{"value":{"entity-type":"item","numeric-id":2915023,"id":"Q2915023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$6AA79D76-7546-4560-ADAA-9406B4AA5040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed2b1e5d31cf740f7fa1d7eed79da876ede7569","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$A1A80DA3-7C17-4168-A64D-CB1FBA7D833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe961a6d2888f3766d527734ceed753a7fefde4","datavalue":{"value":{"entity-type":"item","numeric-id":4982127,"id":"Q4982127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$06E66FFC-BB55-471A-B278-5661E640586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9837cf66a742e6b8d4331eebf95c09975fb9b38","datavalue":{"value":{"entity-type":"item","numeric-id":4612406,"id":"Q4612406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$5BFBFF2D-DE2C-447D-A9B2-4564FD556DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$7393C2BD-B96C-480A-961A-D4DA773E48D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8348488a9fc93209ce7997d4ddfc3cd10fc3b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1065786,"id":"Q1065786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$65AB6559-4B8C-415D-A2C8-17AAEA1CA8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37c0598b054287ea8709bb2a49b23c57ed68ba","datavalue":{"value":{"entity-type":"item","numeric-id":5101338,"id":"Q5101338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$D02DC280-6298-4841-802F-3DA5825772F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7a63909efc6162798f8ebad87963d8f81df248","datavalue":{"value":{"entity-type":"item","numeric-id":5145629,"id":"Q5145629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$61E0F9CB-1E4A-4807-94E1-ED1782B37468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$A850D6C8-83CE-4C56-943F-C05BB06A1EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bcfc56e0f670d9b8633e4f3bce38e40e833e60","datavalue":{"value":{"entity-type":"item","numeric-id":3384161,"id":"Q3384161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$57E808AB-4125-4C6E-9ED6-D63B874439FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f4eeb20dd25bd5028e5a8d2fb2ef4f1c487a8","datavalue":{"value":{"entity-type":"item","numeric-id":744988,"id":"Q744988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$2E5FB1DD-3551-4372-8C33-FB7107B2DAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec42b90297b26fe3f31f8daa839dbb32e166d6b","datavalue":{"value":{"entity-type":"item","numeric-id":3367666,"id":"Q3367666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$0AF6730B-55EF-4636-908E-445037BBEB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aabb764a594b0c657b3583ee8cd7fc8f91cb5b6","datavalue":{"value":{"entity-type":"item","numeric-id":964499,"id":"Q964499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$98339C5D-E4FC-4761-9C9B-10C950A7D44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e345b28b6b4a436b683f7783d3d5886397a900a6","datavalue":{"value":{"entity-type":"item","numeric-id":5276152,"id":"Q5276152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$76F899B4-DB62-4048-85AE-D596FC39AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44bc47200c5e9915beb222d785350d8837594122","datavalue":{"value":{"entity-type":"item","numeric-id":3169433,"id":"Q3169433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$009F6439-1DD9-4E61-837A-AEEC12E413A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$FC70A52E-7134-462E-A0EE-87320B924E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6dbb50f144c27af1ab9e1ce0916ccdd827631e","datavalue":{"value":{"entity-type":"item","numeric-id":4612424,"id":"Q4612424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$48140268-73E4-4770-AE3B-39AFA84C9522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726beb58318e87f8f28c63fe4ff2b4e12330ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465854,"id":"Q5465854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$24CD6149-59AE-4B10-AE2B-C6048254E4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862061599e2cf610e0a9811f43493efd6b3954e5","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$E0184D4E-B23E-4C7F-B08E-B3F9DA7E46F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380e2da8428b3cc3a4a654b05a929c04c5f81ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$006E70E4-E5D9-4477-9D3E-B617F2AFAC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d67146650e0564e0d2eb039cca4d10e61eeb13","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$C5DB8742-0735-4A2B-84E8-3D8AAEAB7970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcbbeb27aa4b8b04046b7037c65bfc803c76a48f","datavalue":{"value":{"entity-type":"item","numeric-id":3382809,"id":"Q3382809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$7D48DF05-C790-4C4A-82C7-08215BD4F2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$65AC3F1D-3058-477F-B5A2-CACC5EF9CA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2668941b9cbb4011fa79194e46bde158d377b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$DFFEB29A-3B8D-4A44-A503-7720167819D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$74C19AA6-26A0-4F6B-BE15-8ADE507F1D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$5FB42CD0-5D12-46DB-A602-FB368D866613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5fc26794bf1e4cd27075287a57428875e447d","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$0FB97649-9EAB-4CB1-BF31-370F293F7158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$BDDF67DA-B7FA-4F6B-8FC0-D86A3311EDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$4BA6FCCA-DB40-4F89-9334-DF7522DE7663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$D224F913-147E-44E0-A0F9-88D258E5311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc41a6f4c3f61c1a908b43eb0a51dd26fd864ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$347BAAE4-69FD-4B99-B50C-A392181A7D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$3A9D621C-2D61-48CB-9EF9-AD9B27E4F461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a4ffdc9ad3ff53955286216a1220912094474a","datavalue":{"value":{"entity-type":"item","numeric-id":2847405,"id":"Q2847405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$8D96374F-7E85-4595-8BF7-5E30346B5C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83121be204c0ad3032f8a44579b093c0f822bca7","datavalue":{"value":{"entity-type":"item","numeric-id":5090983,"id":"Q5090983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$2E8E9912-D1BF-439C-876A-9120F9C979DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3d66f5ac35998f94dcfbdebca7ff270e76b5ad","datavalue":{"value":{"entity-type":"item","numeric-id":5918962,"id":"Q5918962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$FBF56B2A-95AC-4469-BFCC-04E6938F84BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$8CCA5431-8BE8-4ED2-A71D-809AEE395271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160d3bef2e7f4e951540a88ba607fc24c5162a91","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$317AFBA6-05C6-47C3-9270-64634894DA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$7CAB9056-8217-4114-A819-825533AAFA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$984CCBA9-CCF3-4EE6-98F4-B97BC83C8D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27124d54cb51e845e43d7ecd27812d025e0950ff","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$5B2F8636-BFDF-48AB-AB01-169B6C8DE82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$9F5A9067-2762-4062-AC70-46CC37EC8DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$D9497C29-7A7A-43EE-9231-98DF441CD833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$DF21BEC3-A6E8-44E1-8956-0617EFE2F98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$0E567244-7C23-4FEA-8625-9D1D1FE8C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$E4AE134A-639A-4379-9B53-3034D2E83BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886519$95946E83-C42D-43E6-B8CB-29332F766A5A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de370f5e6e8ae3b139e9dd17fde3daf5026d9a7e","datavalue":{"value":"Q130826230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886519$DED16279-1BD0-4F13-BAD7-DFFE01989C5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Composing Finite Forests with Modal Logics","badges":[]}}}}}