{"entities":{"Q6545089":{"pageid":14156243,"ns":120,"title":"Item:Q6545089","lastrevid":103520105,"modified":"2026-06-06T07:32:25Z","type":"item","id":"Q6545089","labels":{"en":{"language":"en","value":"Axiomatizability of propositionally quantified modal logics on relational frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7854638"}},"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":"Q6545089$4A3E3B43-7C64-4A2D-9C63-144F0A1158F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef2dd0c59698fc2f053f09ab70a96260567e5ab","datavalue":{"value":{"text":"Axiomatizability of propositionally quantified modal logics on relational frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545089$0B302526-29FC-4428-8B8F-D0FDE2686ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cacc2855768c74c4174546017ae63b2e563038b","datavalue":{"value":{"entity-type":"item","numeric-id":373014,"id":"Q373014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$9A51E187-84B5-42D5-A12B-8C7FC4FCCE1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545089$D08C8D52-E9CE-43DF-91EC-4C5A834EB6E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545089$5FD31AC8-9FB9-4267-A21F-6F38E29FC63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545089$6B40617D-11F2-4E34-91DC-74AF0279EFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545089$6D092173-D836-4886-A963-143563598215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e017230e2f7232300f6d2967e34ffd6fc68e19d6","datavalue":{"value":"7854638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545089$5BB47B5E-C1D2-4403-8F60-BD3CDAB53024","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545089$C9522524-62F6-4683-8D5D-B75FED7CB31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545089$1A3C8CBD-2FFD-4BB0-8667-0151BA9312B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d22b82563ebca48e90415abc49a6556c8806ba1","datavalue":{"value":"second-order propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545089$6FFD14FA-0F76-44C1-B4A9-BC8E205E2B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545089$E59EA640-999A-4FE5-9107-4316336B40AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545089$28F58248-8C16-4936-B7FA-3073329FA4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545089$F0673592-8F8D-400D-B6F3-A692B73249EE","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":"Q6545089$08AE0D83-9F06-4628-B413-B6552492F142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0236ccf2806909432e7cbeebb1de0ee519759a","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$9D4CF098-DD27-47AE-B843-A7AC42281D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b79e4cfcf3bcd78a7377aa411e54feaeeebfe9","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$829C13CA-8CE2-4EF1-AE9D-1DB75BEEF911","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":"Q6545089$05263B91-AFFA-48B2-92EF-33C3287F4AB4","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":"Q6545089$B1E58F83-98ED-4471-A4C1-3AFE5078A5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a142e7981f1be1361835a4a2b1a28d5260a8164b","datavalue":{"value":{"entity-type":"item","numeric-id":5576251,"id":"Q5576251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$9C43EDB1-FB70-4E12-B85E-E5A7138FEAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a87021c2b940923dd9b6d58954bdf1a5350b5a7","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$EBB9D75D-ABF3-4487-B0E0-21DC56D15BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$98BD63ED-154F-479A-A69B-294C5320DC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68358e5e9b74cd417344d70ee4760c38519ced99","datavalue":{"value":{"entity-type":"item","numeric-id":2240550,"id":"Q2240550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$A1FB254A-7AEE-4ABB-B549-13C36A2E9945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b36cbb7d508e52ebfa9859231054b236cf884f","datavalue":{"value":{"entity-type":"item","numeric-id":5070432,"id":"Q5070432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$D6DC563D-D3CD-47A7-8BE2-FE6FC4EC3A8A","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":"Q6545089$34185AD1-C3A3-45B9-ABE0-E90A0F71B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$914F8504-2E32-4490-8E62-218847F8485C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8625db84f20ccd9d3b08e041752b0033dc71a346","datavalue":{"value":{"entity-type":"item","numeric-id":373015,"id":"Q373015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$DBF48449-6D3F-4A6C-A62A-28FB88913817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcb0037de19eeea5eae4817af905ff733f17f1f1","datavalue":{"value":{"entity-type":"item","numeric-id":1670490,"id":"Q1670490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$7CB62165-F721-429D-A360-60687BE10C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3740db493ca8ad6291810cbf4c7f83e635eaef4","datavalue":{"value":{"entity-type":"item","numeric-id":2055931,"id":"Q2055931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$C1604A6A-02A2-4367-A647-61DD4D8399A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$1C422AB5-7754-468E-B805-FD4C3D4D0484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a4bea75dde5fc87e575fdfc8567cbc4a9cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$CE3EBEB6-10D3-4A43-B89F-4E6D2921EE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64040bbac50b384a31548ecb60a990ea2585409","datavalue":{"value":{"entity-type":"item","numeric-id":3663256,"id":"Q3663256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$7E2B4875-B368-435C-80B8-65F3D1270B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$B5151E8E-79E6-4931-A581-736E588C9222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$AE196624-B0DC-412A-ADA7-9CD40B05B65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe430246be9e80ccc7308755699d2f2800d1edea","datavalue":{"value":{"entity-type":"item","numeric-id":4083396,"id":"Q4083396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$C4AB0806-D773-4713-9023-ED3A06269681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$D5852B90-ACF9-4F0B-A435-0D7F1EE37E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002460162e95ba276012863faeb6722ea601f64","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$08E547FD-8EAD-45C0-AD81-EFB640FF0E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b843e8e74318cede8ab1893b27d0687a21c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5666547,"id":"Q5666547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$48082689-DB62-4134-BA5D-1BEC9117AB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$C25B8233-2CB8-44E6-9EC5-E76DB5A4CD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$473622B2-D679-423F-AE2E-E1B50A2ED922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$D9A5D8AC-A210-416C-96A4-0796F06C15BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$9E0D5A9E-412E-4D36-B822-B846F7DEECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b48eaa38a9421051d21dea5ff88d1310e330bb","datavalue":{"value":{"entity-type":"item","numeric-id":558415,"id":"Q558415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$03190993-75A4-4415-BB4B-A11B7B543254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$1AE29072-C5B1-4B30-812E-8F4936A97174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180abb7bd1ccb50b9190f5eab21e36d8e8a1d487","datavalue":{"value":{"entity-type":"item","numeric-id":5892761,"id":"Q5892761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$11D620B7-F59A-409E-891D-3FECA0FF2911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4368711a38820381fc744a8d9886d2aed6cddb9","datavalue":{"value":{"entity-type":"item","numeric-id":1472446,"id":"Q1472446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$CAF8E0BA-2DD5-4C0A-94F6-C0572A7AE452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$1CF272AE-64AD-43E2-A7C7-4068FCD3F220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$2ABA7AFC-B20B-41E8-B39E-AFE546DDF882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9725a65698f7598808da2e2091ed170cd9a7d90f","datavalue":{"value":{"entity-type":"item","numeric-id":3916564,"id":"Q3916564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$C95D2BA5-ED0B-47CC-B725-5D86EBF3657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce1b60385156afb7fd353bd25e0f5bfb5cb9966","datavalue":{"value":{"entity-type":"item","numeric-id":2624154,"id":"Q2624154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$EEAE5C8E-616A-4B3D-8216-B8BDA83C8F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$FAEF4B49-51F5-45F5-A98D-E90AA93F56C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca4aec97f8b6722f7d89ee3c7774362391b5802","datavalue":{"value":{"entity-type":"item","numeric-id":1131357,"id":"Q1131357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$3049DF91-9D85-4FED-9DC0-BA20C0EEC0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$92502D64-A532-4493-B242-D480DDA585BD","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":"Q6545089$979EA1F5-CE0D-432E-8C1E-BD5F52E03157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae402495081f71687673aa90b26969eeb53d4e38","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$BBF40F9F-BD0B-45A5-ADB7-728ACFECC613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$7218F273-C728-4FB5-A1A5-180B569D5D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ba3a9005fa36975f18f0579830b291d3bcc59","datavalue":{"value":{"entity-type":"item","numeric-id":5643953,"id":"Q5643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$DB657E33-F167-4408-8CD4-473731A49797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$AD7211C3-6DB9-462E-A876-8929C8CC3735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$9698EC90-2157-4A00-9591-27784364F6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fabc7ce92cd418c29c1badf9af4146e49bc9035","datavalue":{"value":{"entity-type":"item","numeric-id":2521340,"id":"Q2521340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$C05A3FA0-102D-43C1-BF47-85680B54FE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32d674744e33d33ff2d01f51e300197666c7e9c","datavalue":{"value":{"entity-type":"item","numeric-id":1826435,"id":"Q1826435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$A449D5A1-BBEE-4B73-BC6D-A7A88F3C3118","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545089$5C5E54F9-F033-4E58-B8B5-A7A86B81F0B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb3383e4ed955286b5663ec42fce97fecb2f124a","datavalue":{"value":"10.1017/JSL.2022.79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545089$087AAAE8-A6E0-4CC0-9FF1-CFD5AF48710D","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":"Q6545089$F0D92FAF-B130-4F3B-B5EE-218131783AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizability of propositionally quantified modal logics on relational frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizability_of_propositionally_quantified_modal_logics_on_relational_frames"}}}}}