{"entities":{"Q851196":{"pageid":853044,"ns":120,"title":"Item:Q851196","lastrevid":64863960,"modified":"2026-04-11T22:44:27Z","type":"item","id":"Q851196","labels":{"en":{"language":"en","value":"Axioms for classical, intuitionistic, and paraconsistent hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073812"}},"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":"Q851196$9B8814B0-5711-4F77-8007-1051F8EB212F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1792d6a7eef7cf5cc377ac0bfa58ca3201ba6f2","datavalue":{"value":{"text":"Axioms for classical, intuitionistic, and paraconsistent hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851196$F86CBFCD-99F0-4741-BD99-8FE27D7D6332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ded62d5be4f6e64c7d1991480c0eabc2fecfd0e","datavalue":{"value":"1108.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851196$9D23EDED-8037-4239-9F9D-BFBD5BC78D72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$7543E00D-B0AD-4346-AB1D-1A090EB1EE5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$72D4F151-0352-4B5D-967E-1CACC2184E04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q851196$4FF7250A-84D4-4CBB-BA77-1EE1CD9407AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851196$65634C55-E505-483F-91C8-3FF20B09BC0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc4b4a2a8a666822a063733518d9a1d47ad942b","datavalue":{"value":"5073812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851196$76AAFDAA-C1E3-4EF5-A2FA-8272E9A5C06B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$CC969801-539F-4EF3-821E-7F56E7536CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$3D5277DF-BACC-48F3-97BA-C95BBF4DCF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$6D9878F8-EB33-4ED9-B9F3-253DD287B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$81C77761-B8A6-47C8-BA39-EC71E3DD9E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$556AAB44-7CC4-47CB-8F77-A6F794F5A608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$CFB7B690-9082-47DE-8B1F-50D775564FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ae11a83a19ddf38473e4541b755ad354d7f3f","datavalue":{"value":"axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$946B0B7F-184E-41EA-9132-1F51E1F534CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36b7415bfbcc11483a33bbd401381c27d08bdd4","datavalue":{"value":"accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$146C3B45-4FBA-4D8B-BE6C-47F11C2BD05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q851196$625F08D2-BEE5-4B3B-9703-97FD96278D9C","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":"Q851196$0A091C1F-F790-4CF2-8690-88DD98E7BA24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"829cdd4888bd5329611d84c4f2adfdb82279477e","datavalue":{"value":"https://doi.org/10.1007/s10849-006-9013-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q851196$60971974-630B-4EDB-9BD4-0BD42AAA6E96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a998026554cd9203c4424d782f7129469e00352","datavalue":{"value":"W2008363667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851196$83106F28-05E6-4729-BF14-5FB3DCB70E64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$B5C393CF-1E8D-47C8-A56E-444D3AB3833B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27171c45081d17a491640c9d376b6b836e297fe","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$A8FDF8A1-B5F4-4A78-B451-05E7EB7F7329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$98CDBEFB-C96C-4E1E-AA61-4B972F8EE263","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":"Q851196$77E218F0-67A8-43B8-87FD-583AC1289CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$169413D4-DA3F-4B75-B7C9-FEF69DADE655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a04d2f8c0acdd20834c288cbcb74f1ac8f272c","datavalue":{"value":{"entity-type":"item","numeric-id":4238499,"id":"Q4238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$3E5F0A26-BAFA-4A43-AE47-65099EB969CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b696b21e9499f989300a49908e9fc7a459a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$449E78D9-20FE-4AFB-8476-649E86BA30E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044bf00925be11db1d400fa08e7bf4de0d452f67","datavalue":{"value":{"entity-type":"item","numeric-id":1424966,"id":"Q1424966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$C3E809AD-B4B5-44F3-B9F1-E9F2C1C85EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81197bcd468bcac12d7ca64f6e8d9c1b4a403ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$8EFC51E1-4C59-40A6-8C40-8DA2D7C150D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$3EF31C98-FA5C-4873-BDBD-168702DF2ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$0BA99B98-7879-48BC-8F02-E0F08167B3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399fb721cf3282f89efb64e756344649295a060","datavalue":{"value":{"entity-type":"item","numeric-id":4394920,"id":"Q4394920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$F62F6521-7FF0-4889-8021-79324B8E6E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$EDD81D44-6325-42EA-82C0-93AE934DD684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91008a0f6911f9bf2f953bb0f9bacec6f7c6a225","datavalue":{"value":{"entity-type":"item","numeric-id":4463936,"id":"Q4463936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851196$2F8EE6E9-FCBC-47B8-B2E6-8423541CD4E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcd57d8af98bf11d39126dec5e0f9712f319067f","datavalue":{"value":"10.1007/S10849-006-9013-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851196$055A06AE-559E-413D-96F6-865252AC4B99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e94afce1f61cd758fca6361d45a6aeb572858902","datavalue":{"value":{"entity-type":"item","numeric-id":2301322,"id":"Q2301322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8076328d8a184247475295a18a10cbb7a0b3168","datavalue":{"value":{"amount":"+0.92218554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$4FE68AAE-D0CF-41A0-B330-2DC0FB0648F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9189da144acaeda7dee843f03de24bc3a4a9fab4","datavalue":{"value":{"entity-type":"item","numeric-id":4639914,"id":"Q4639914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0748425acc03874ffacdbf52e2256e78f914c6b5","datavalue":{"value":{"amount":"+0.92041147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$FCEBB742-CE2C-4FDC-A0AE-A5412E55D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45359ae6083f3706fd89c44f27c724ff75f0f39a","datavalue":{"value":{"entity-type":"item","numeric-id":5488610,"id":"Q5488610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494ffeee67d895ae9aa54ba16682563db6463c98","datavalue":{"value":{"amount":"+0.916413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$296A1C42-2789-4D3B-8E93-87A6C4FF9610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5103f9f4a766bd0fb0a80cc74fafe7d36929a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1729cc0bfe15c0b4c4837c1f2751f8cb1c3cad","datavalue":{"value":{"amount":"+0.9134424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$D5E32ED2-C8C0-4E0F-A6A3-F89592ED70E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78d3d273bdba9421c754506a615d186110c97c7","datavalue":{"value":{"entity-type":"item","numeric-id":1047799,"id":"Q1047799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a49be21dbcc81315ba4e94d14234290408cfd0","datavalue":{"value":{"amount":"+0.9124466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$42FD48A4-AFA7-4A14-8A0F-D9BFCA4BB140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0021b2ff60ff403e4eda1b7249d748643de6a770","datavalue":{"value":{"entity-type":"item","numeric-id":631084,"id":"Q631084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02bc11b5d0129bedae2b87eaddaa0ccd23d2020","datavalue":{"value":{"amount":"+0.91239667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$A2BCFAC4-3FBC-4249-B805-6A0380F33875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1fcd6bad6aaba75537cc4344da565de340cd69","datavalue":{"value":{"entity-type":"item","numeric-id":5855501,"id":"Q5855501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50dfa630d551ebff091aa56de52e12f0a41465a","datavalue":{"value":{"amount":"+0.90970767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$554032E8-524D-4EEB-9892-0A9E7026730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae0ce4fe78c09913d431bbf88e272565f3b5e11","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee35f9a0f86a88e6e22486775ccd2717c6328d98","datavalue":{"value":{"amount":"+0.90867865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$F7606988-3F78-40DF-9798-A3B760E32294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611a3fe61559cd88fd2f42b1b96d69ae4ffa5ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1006454,"id":"Q1006454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cae4606dd0c1292d67a71f8885035f7eee9b8f","datavalue":{"value":{"amount":"+0.9085963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$E9D14715-6C4A-4025-81D5-CE94FDCF294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48696323682ff196817e18c56766e5b084477d7","datavalue":{"value":{"amount":"+0.90519994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851196$C168546D-1CC8-4C35-9B7D-95ADB9D20F14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms for classical, intuitionistic, and paraconsistent hybrid logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axioms_for_classical,_intuitionistic,_and_paraconsistent_hybrid_logic"}}}}}