{"entities":{"Q6909867":{"pageid":20961091,"ns":120,"title":"Item:Q6909867","lastrevid":84162119,"modified":"2026-05-12T18:42:29Z","type":"item","id":"Q6909867","labels":{"en":{"language":"en","value":"Solving quantified modal logic problems by translation to classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111850"}},"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":"Q6909867$DEA25305-0F8F-46B7-B07F-1EDA77F04040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb73011e874eea8305dfd01e4f327ef2e6504c29","datavalue":{"value":{"text":"Solving quantified modal logic problems by translation to classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909867$C0EB19AD-61F4-4EBC-8EFA-CAEB5C7AD133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"064b823eca9b1b762015f8ca62d54bbe33d0d18b","datavalue":{"value":"10.1093/LOGCOM/EXAF006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$E602C22A-D83F-4CE6-A6E2-344EA6391166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$A8B98D89-616D-4C06-BF53-30D2D419130F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$D8FA4E53-42EC-47D8-B0C3-771CC638AE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$051BF043-7B77-4281-AEE1-CED5EB13FAA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$C6F03E07-7419-405F-A69B-62ADC6493803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-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":"Q6909867$72B9D113-E115-44A8-B66C-3A98F414973E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$D953ECAE-AE8E-4059-8B7F-70D1C489CFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$C6F4E464-F837-4D87-B018-397BB33683D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"034003110a90dd64a67548c3768e0ab4eb16f551","datavalue":{"value":"8111850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909867$052AC3C4-FDD1-4A66-B7FF-F19C90C217C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$18B156C0-BBD5-43B0-B73E-8FF088CB6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54182b6d9cd175b0d8818847edc40ca608bdd3d3","datavalue":{"value":"quantified modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$3D5E0ABB-8221-44D4-BFD0-4B3ADB8ACE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$223236D7-401B-4C47-947E-0214AA04F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$548CDDE4-2833-4E91-8C53-359F14166EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909867$C7767197-DE4A-4FAF-B05C-797C846D612B","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":"Q6909867$FD677831-6366-49ED-ABF3-1AE08B2A594D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$CBB421A4-E277-4C0A-8AA9-E675B32DE06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de233c938bb18fe74442a17cf92521dfb77f38de","datavalue":{"value":{"entity-type":"item","numeric-id":5841792,"id":"Q5841792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$8789C6D3-921E-41AF-9F1F-14BB11314D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$FA64CF26-BAC6-4C42-824E-FAFDA63F3ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cdbf60575c5f5395b6bb7df67d68d06aea35bd","datavalue":{"value":{"entity-type":"item","numeric-id":4619819,"id":"Q4619819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$309B2BA1-36F5-49D1-A81E-6D4101A125E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261bf1cec9df1397efeae294bf8d132656416872","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$26ACCC76-B7CC-43BB-837D-7576F8A4C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$B179EB84-CB55-4317-80AD-6F53118A010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbb59706402a58eab2bb1a14f29de683fb59d18","datavalue":{"value":{"entity-type":"item","numeric-id":2870120,"id":"Q2870120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$DD76DE7B-0496-408F-9F8F-C3CB04FF9BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$0B311AD5-B895-4339-96C6-FDE009DB5AF2","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":"Q6909867$A96B97F7-3A8D-4C6F-BFAB-8718F4FE0E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$4B19FEEB-8CA8-47E8-A70B-F7F7ADCE82BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$3374CA38-501F-4BA9-AD62-C27823EFD012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e299267965163ff34f1159e5fde10f92447367","datavalue":{"value":{"entity-type":"item","numeric-id":4539631,"id":"Q4539631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$4D88C71F-EE46-4A4F-B5FB-9638DED8EB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$568E8934-DFF0-4E18-B57E-CE484E9E14FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98132d14ca615c488121fcd9319fbcf564e2a4dd","datavalue":{"value":{"entity-type":"item","numeric-id":1523175,"id":"Q1523175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$D927984B-FDBB-46C6-918B-1526C7ACB403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96f4dd3b635458ba8c3357925c3473cf30fbfa8","datavalue":{"value":{"entity-type":"item","numeric-id":2819697,"id":"Q2819697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$A2A988F8-EC91-4EBC-B11F-1F76313E2E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f20088575107330940e1348ba332c37a9c576c","datavalue":{"value":{"entity-type":"item","numeric-id":4645724,"id":"Q4645724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$33D01C94-A69B-4BCF-B3A6-06DD5237E913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$0382CB99-DE5E-4E7B-A228-D0672E8E1932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$943BD223-558E-4701-B1A1-2549325FD4A4","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":"Q6909867$67EBB8EA-FA90-45D4-B6B8-E6CB479F1B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0a36b5e5a2f5cb80d9359e24f77fcf45641717","datavalue":{"value":{"entity-type":"item","numeric-id":2721185,"id":"Q2721185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$F959ECF9-20DA-45D1-9ABD-93C48B5F0283","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":"Q6909867$07E54E1E-987B-45DB-8009-570FFE0D4D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc32380a801af8bb19b7fe48bc238e9339feb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$0B3959D4-3380-4C3A-B87A-A61FB77753D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$18DE29E8-C414-4680-A484-F8CBA0DFBD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$45E80B4A-A817-4B79-AA50-E40600B839EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3c55acef09b75ced3de6aa80cdbdc9a1e475f","datavalue":{"value":{"entity-type":"item","numeric-id":3192198,"id":"Q3192198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$DDA9B213-DEFA-4E05-9445-C6CC5611004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5d6593da2b8fe3324beee4814d00197486af91","datavalue":{"value":{"entity-type":"item","numeric-id":2142078,"id":"Q2142078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$6A809004-0271-4C0A-83EB-9DBDAED91EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3391bccc161075d209868ebdcc23b758b7d30c9","datavalue":{"value":{"entity-type":"item","numeric-id":2055845,"id":"Q2055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$147B9C6A-A6A1-46FA-9FD5-8A49D0494211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e312a5d1ea32c708fffcbbd00635000db09cc90","datavalue":{"value":{"entity-type":"item","numeric-id":3233201,"id":"Q3233201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$B6236D53-3D2B-42C5-BF9E-F03D38C9DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902b85b23c0b14f007eb17bb9301d8d89cbfaa8f","datavalue":{"value":{"entity-type":"item","numeric-id":2908515,"id":"Q2908515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$BEC7E0B1-21C9-4D11-B522-3B852F2CA43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$39216F30-9D01-42F2-80CC-F5655EE60658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be986acc9e1b8514990926935f126389f1f796f9","datavalue":{"value":{"entity-type":"item","numeric-id":865650,"id":"Q865650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$288F9176-648B-4FEB-B435-361AB2EC09DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1bdd6abc4d3cf5dea2b7602404acd1281c9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$B2EFBC42-178D-4D38-8C3D-D7529AF50624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275ce0e594b0a917ccf2c013a4abd7ea72706470","datavalue":{"value":{"entity-type":"item","numeric-id":6139085,"id":"Q6139085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$30005816-19EC-4F48-8B29-E3CB2DB6C5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4e9b71792220f050b9daf27c1fd409ef1133a","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$554827A2-F5F5-4A91-ABA9-69DC68B8CB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$AEDC2C36-5D56-48B8-84AE-5DA08EDC7AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775c0fbb82731a41620bf40f868b011533300a54","datavalue":{"value":{"entity-type":"item","numeric-id":6200767,"id":"Q6200767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$BAA39DE4-EA70-461D-9CF5-5AED20038D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$FBB13667-72BA-413A-BB61-806AC9653B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ff52d384e7c01e04f5fa60b20109af6d6632e2","datavalue":{"value":{"entity-type":"item","numeric-id":7034879,"id":"Q7034879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$094ABC53-5E36-4D7A-87A2-317A978C21F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d649fae3ad2dd2e2d122998903e857417226ef6f","datavalue":{"value":{"entity-type":"item","numeric-id":4412865,"id":"Q4412865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$4CF57640-5F3C-41B9-A2F9-9BAC648D9C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae2b036924d203e4ac3951fcb8f1fe0ecfbe5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4578043,"id":"Q4578043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$1F79B42F-E86B-478B-A739-27347D10A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d69e7c781c6370212654a029921d34ee26dd92","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909867$8FC284A0-1DC4-44D6-898F-E4601ACD1DFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving quantified modal logic problems by translation to classical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_quantified_modal_logic_problems_by_translation_to_classical_logics"}}}}}