{"entities":{"Q5925549":{"pageid":8059984,"ns":120,"title":"Item:Q5925549","lastrevid":93412499,"modified":"2026-06-05T04:21:26Z","type":"item","id":"Q5925549","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 7538343"}},"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":"Q5925549$2E82BA18-ACC7-49AA-900D-662C8B4DA2F2","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":"Q5925549$1339459C-CBD9-402D-BA52-59EA025E56A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71dc50cdee7d392da9fd56b7fcb1a09d3b18a575","datavalue":{"value":"1506.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$DBDB62C1-D2BE-4F8A-9907-F8004D5B2EE4","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":"Q5925549$651DD40B-850C-4CA5-A250-0D92509464D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925549$F0B4B2D2-A512-4118-A1C5-F9DE5FAB2B20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3cf5dcd0a1b4e1ab96661cdd555a0d486e901de","datavalue":{"value":{"time":"+2022-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5925549$124BCB10-5315-4390-80AF-AC9E6FDC3B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$C6FCDDA6-A0CF-4E7D-AAF0-1B3E35567823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$6226D931-BD61-4E33-A092-565797D4A179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$D9F5DBCF-B9B1-4C50-8523-1C27BF730F25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b030a916763c30c88303a6c89f758837adeaa8ef","datavalue":{"value":"7538343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$D33F5B81-D6CF-4EF3-A8EE-791736C674B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925549$D19BE5B4-763A-4C72-A3C2-70DA423BD425","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":"Q5925549$599A0A10-2B4C-4EC6-96D1-EAEEF1BF7A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d27a15bfdf3585c4155784eac08fec1e3c37bb6","datavalue":{"value":"https://doi.org/10.1016/j.ic.2022.104911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5925549$08ED74BE-6A21-4BB0-ACFA-3D4D6CBDF5B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07cc24ec817f86ad32454f7e583ac66d31c5beb1","datavalue":{"value":"W4226193413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$A0BD2A24-1541-4EF5-804D-494A175AFA03","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":"Q5925549$25C050B8-650E-4F3C-A529-3FD9772D15B0","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":"Q5925549$96B11F9E-98B1-4ABB-A356-61279D534BDC","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":"Q5925549$DBEDD72A-7510-4D25-ACC7-54BF86DE7DC7","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":"Q5925549$73A1ABF4-E079-4E21-A559-636921D961FD","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":"Q5925549$A34974D3-F0CE-4F03-BE67-C75DE92144B7","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":"Q5925549$70084FD8-1D6F-4600-BC9B-55CC22C684FA","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":"Q5925549$0D0F89DD-3F0E-4433-870B-8675B44CCD26","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":"Q5925549$F38B7BFA-DD71-4FC8-9E74-8E7D3170D111","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":"Q5925549$F1AE1786-E292-463A-AB8B-87AA8FEAB742","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":"Q5925549$6185FD74-0BA4-4FC6-816F-B338AA1B18B7","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":"Q5925549$623178B8-1F21-45CF-8336-94542F23D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925549$FBDEA486-4A9A-4C1C-A9F0-8B71E02A1712","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":"Q5925549$EE2D5751-FB67-4F36-B168-C8A7B98F6037","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":"Q5925549$4448C371-EDBB-4C6F-AE24-F8B61A4376C8","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":"Q5925549$4F78BBE1-5682-4F73-ADB7-A9D39AFCD3EA","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":"Q5925549$6A926AA4-94E8-4BE0-A069-21669DF273A8","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":"Q5925549$5BF9C0E1-B76F-48AB-ADEE-DE4B160D88AE","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":"Q5925549$65FFDBAB-975A-4E7B-88AA-A5BDB5D29180","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":"Q5925549$983001E6-A16F-42B1-8BC7-6C0FD0060E23","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":"Q5925549$A84F812C-14C5-4ECD-9CD6-E43C3A80D222","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":"Q5925549$42B028BD-C4DA-420F-A941-AB5FA7260FAE","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":"Q5925549$3D65E184-AC1D-4192-BB31-1CCB192E2966","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":"Q5925549$9801FF8F-F79A-4DF3-A822-F46D744F8320","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":"Q5925549$D0C1A19E-28EC-45A2-979A-BC3F9EBF2702","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":"Q5925549$A9B7F321-3D27-4831-8832-5ECDB0072590","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":"Q5925549$AF610A3C-F62A-4191-9ABB-17267B865F74","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":"Q5925549$4AB0E31C-C5B2-41C3-B865-92845D0E7219","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":"Q5925549$E90609F8-6231-474F-8EA5-5BF3E3D9C5D5","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":"Q5925549$7EA94C76-E471-4254-B032-0F12111ABE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925549$ABE84D9A-8070-491A-B737-A62230195AF4","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":"Q5925549$9C28DD52-8350-4F05-9863-85062100C53A","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":"Q5925549$A562CAED-D27B-46D7-94D3-59E09008CCCD","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":"Q5925549$34572379-A69A-485D-BD04-43307E776D0D","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":"Q5925549$39EFDB09-EA05-4EB7-9596-A57A4843710F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab1acf30402772351684c46f342d02205d7b19b1","datavalue":{"value":"10.1016/J.IC.2022.104911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925549$CFE233CE-6EEA-4437-A21D-22603730A2B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78dfe88ee8ea9391e788ab342fb4e48854749a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5918962,"id":"Q5918962"},"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":"Q5925549$C6E5B8DC-0C2B-4C05-BFD8-BD34AEF028DB","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":"e309d225f1636a43a9a9085abd57905594c8af22","datavalue":{"value":{"amount":"+0.7236180901527405","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":"Q5925549$9E3056AB-6217-4E10-84DA-470970591F75","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":"112b79b88990f1a1bd071ef7ee4ddb43d3779978","datavalue":{"value":{"amount":"+0.7069535851478577","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":"Q5925549$D8476051-BBF4-46D9-ACE0-4CEEEFB7F9A1","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":"a158ecadc776bf4331074f03e4972d28712d9a58","datavalue":{"value":{"amount":"+0.7069070935249329","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":"Q5925549$C720D265-058F-4064-B82E-99F9586EFFF5","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":"70cdf5be814e851e8e717842dcaedaf4b120909c","datavalue":{"value":{"amount":"+0.7017390727996826","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":"Q5925549$04DE85F0-2B65-43F5-99A6-74A39DB560F4","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":"Q5925549$DA79070E-F8F9-4C12-BFF5-D9583D058216","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_auxiliary_logic_on_trees:_on_the_tower-hardness_of_logics_featuring_reachability_and_submodel_reasoning"}}}}}