{"entities":{"Q5918962":{"pageid":8050130,"ns":120,"title":"Item:Q5918962","lastrevid":101936690,"modified":"2026-06-06T03:10:16Z","type":"item","id":"Q5918962","labels":{"en":{"language":"en","value":"An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250952"}},"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":"Q5918962$59665097-F322-4CB1-81CD-2415B0CB9DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05e7d333835deafdeef9e8f874376d22ed8f44c5","datavalue":{"value":{"text":"An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918962$28F280C1-7289-4F4A-9FA8-0D82E8483777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c732e3c9b41812386ac61e015ce5b6a5c62316","datavalue":{"value":"1506.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$2791FD2D-1C42-4290-9F17-2292B774EBD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c582ad2dc9db71ebc3223135a125393ebcc5855","datavalue":{"value":"10.1007/978-3-030-45231-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$620E7B0A-75BB-40A9-BB82-ABCCDA23B394","rank":"normal"}],"P16":[{"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":"Q5918962$B5C6213B-D7F2-4020-AD50-0D6A8F52F3C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$70379238-63F7-43D5-B829-40E40216CB06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918962$8D32A608-468C-45A2-881D-51601AD71076","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$495EA2DA-EABD-4045-ADAD-C1875A8AB5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$2EE7F437-36EE-4732-9260-C9072356D6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$F7ECBDBF-1432-43D3-AB82-BF1454D07BA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a83deb79f8e8ad2679bb214be350fa985b250c8","datavalue":{"value":"7250952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$48F14B19-1828-4660-B3DA-2E389B3D3084","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":"Q5918962$31FAC0DF-1B51-47CF-875B-C66EB8B91764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e665207572392ca12b931862c855835d4c5b75c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45231-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918962$AAE06AD9-455C-4570-ABCE-584A3A007D8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f94a3819ad6db5cc40a0e1fffd62f8023b35f7b","datavalue":{"value":"W3016818860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918962$C1204B6A-3C94-4ECC-8BCF-FB79629D41DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132ae93635a7e475a0e401546e1c8496b4e1d7df","datavalue":{"value":{"entity-type":"item","numeric-id":3617721,"id":"Q3617721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$06E7093F-843A-425D-953E-6AF85129EF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827e4fc776f8a8bf8ff951ab1d035396132701ee","datavalue":{"value":{"entity-type":"item","numeric-id":2870113,"id":"Q2870113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$D48B8DAE-B4DE-42FF-B933-C7EBF887A375","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":"Q5918962$60467A18-E4C3-4AEB-BED9-3906107491AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941aa1213b7996820c2ba8b7a45639c44f08f994","datavalue":{"value":{"entity-type":"item","numeric-id":3457681,"id":"Q3457681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$F5E0430B-464F-40BB-863D-C0D2D1738FC2","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":"Q5918962$E0EC71B2-CC24-42B0-9503-C9F1C7747047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef97f1b93808d420e9e1a0538f96468d2b59a73","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$1BFB8D30-4078-4BCD-A549-CAB5EDB19C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$D682894D-2593-4A36-9467-8E85893EF8D4","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":"Q5918962$4705AB9A-A0BD-4196-891D-D84C330C73C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$3CE6F2B6-3C51-4718-B8FA-36CE23A0C229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bd2a89aeae9f01c497530d394e0c4804c2b95f","datavalue":{"value":{"entity-type":"item","numeric-id":3512430,"id":"Q3512430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$5EEE9994-59DE-47EA-8448-CB6CC62106EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$312D6A78-BCA4-4474-970C-31DD4DDED808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303d01a7a1e51f72e0f454ebdba30702c0404b1","datavalue":{"value":{"entity-type":"item","numeric-id":3521904,"id":"Q3521904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$AAA8C050-B42B-47A9-8C58-506B4C79D4AD","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":"Q5918962$B18AD764-0BBA-474A-B3F2-13C49CB7B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ff9a52cab460a33a7fc9bc3f18ea7928bde13b","datavalue":{"value":{"entity-type":"item","numeric-id":2957697,"id":"Q2957697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$3DDFE189-934C-493F-B057-E5530A90A255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ee59c1f13ee188c76274410e4585922f8c495","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$A42F5D7D-5315-43D2-BFA8-38F5D55C79DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ed283f352ab1fafe41dd5a04cf9750bc9a78f6","datavalue":{"value":{"entity-type":"item","numeric-id":2411038,"id":"Q2411038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$D4132AA7-40DB-49FD-82C3-205E32709341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf203a403075204115e8a5ecfae64b08b576c51","datavalue":{"value":{"entity-type":"item","numeric-id":1653010,"id":"Q1653010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$82416C59-EB57-47A3-B15D-D14A99EA9C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4965d29ff8d9bc7b2839b16f6d78237c7d15f6ea","datavalue":{"value":{"entity-type":"item","numeric-id":5170725,"id":"Q5170725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$2829717B-AE58-408B-82DB-150C7663D947","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":"Q5918962$E31EFC8C-2569-40FB-A7EF-691E3675F9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$15724BAA-D91F-4D2D-ACFB-CE30EA63980C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$D32266B3-A0E0-4766-BAB9-7F83A1B08004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$CBAD2E13-3E80-4347-BEA6-114E7196BBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$8F97FF2C-C6BF-4F70-A610-484218C69329","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":"Q5918962$2ACF31FD-6D99-4D7F-B58A-0D579CEDF371","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":"Q5918962$73A880AA-A8F4-43E7-BD0F-41EC7174EEE5","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":"Q5918962$814C20DA-3283-41FD-A2EA-27F26D3B9812","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":"Q5918962$B7625A6E-97A3-415E-AD34-885C53E56C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$C0DBD39E-C9EE-44EE-B9C0-1BC4DD8454E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62684b481e63c44b636f35ff713aeaed5007bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$17BA0324-8CB0-4ED5-BC32-45DBB30D4143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$278FEE4B-94C6-441C-A44A-24FAC76E2CC7","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":"Q5918962$FF3D25A2-E974-435D-A70B-D05843DDA678","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":"Q5918962$5ED14F1D-1109-4C24-8BF7-36355E1B4028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$96D8A5D0-3C45-4E6C-B65A-3AB06F2D3A0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b072bf0d5d8c2bd86e9104357fd5097e0fa097a","datavalue":{"value":{"entity-type":"item","numeric-id":5925549,"id":"Q5925549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d9d15d33d3d3bb2ea88c59f520fbc9d98edcd7","datavalue":{"value":{"amount":"+0.9982075691223145","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":"Q5918962$6322251B-CA44-4483-8678-4EA6AD58CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa63b3e91472e4f36dc409b9442f1db551724920","datavalue":{"value":{"entity-type":"item","numeric-id":5145629,"id":"Q5145629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13eda4d634fcfbc7587110b09de799956588593","datavalue":{"value":{"amount":"+0.7183198928833008","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":"Q5918962$5A05AFAA-3DA1-4BB1-ACAD-1AC2431A8808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5cb3c862bbc5733dc405243ce70156faad1af9","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26f389b683543ff91a358575759f229b25c50db","datavalue":{"value":{"amount":"+0.7087639570236206","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":"Q5918962$B48A2C44-DB1F-4210-A3B4-DBD94C5DAB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911f5586efcefddc5e7a7651b547e47916b65011","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8becdad885228beaeed5dfb5ba3e9caca8ead62","datavalue":{"value":{"amount":"+0.7064275145530701","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":"Q5918962$1F60281E-2C2D-4898-ADB9-F3508F433EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e500a4af0045b6bd4548b2f4b2a39d44b4a4fd4","datavalue":{"value":{"amount":"+0.7012432813644409","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":"Q5918962$3D8AD56F-C5AF-4AEA-B83F-412AA123AF5D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918962$7DB0DC16-1959-4E7A-9F06-F5E9FF888E54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (scientific article; zbMATH DE number 7250952)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_auxiliary_logic_on_trees:_on_the_tower-hardness_of_logics_featuring_reachability_and_submodel_reasoning_(scientific_article;_zbMATH_DE_number_7250952)"}}}}}