{"entities":{"Q1357375":{"pageid":1368114,"ns":120,"title":"Item:Q1357375","lastrevid":67225821,"modified":"2026-04-12T16:12:05Z","type":"item","id":"Q1357375","labels":{"en":{"language":"en","value":"Superintuitionistic companions of classical modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019352"}},"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":"Q1357375$18456518-80E5-49BA-A7A6-9DBC945243D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a22ba75e4d61f6786361b634e1d6efb3dcdf090d","datavalue":{"value":{"text":"Superintuitionistic companions of classical modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1357375$3C8EAAE4-0021-43BB-B994-99F0D9BEE2EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09a38c09821aa1cc5a968066e8a8dcbfc489b6f1","datavalue":{"value":"0952.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357375$9AA2FC88-8B27-485A-904F-1AC5D94C86BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139ae75ee215e79bfb113ce84d3a179682b42728","datavalue":{"value":"10.1023/A:1004916107078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357375$ECB76465-1FFC-4607-AC32-9CD727A14A89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357375$97ECE1B6-9841-4C79-A2FE-36D522AD720C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357375$73FDB1E7-A99E-484C-BD86-90E4B083D4A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"751594203bc637c9523539b1699de34093fb9590","datavalue":{"value":{"time":"+2001-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1357375$211D15E6-F6EB-45B6-BB23-F344A4F3837C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357375$2573DB4F-9317-4D32-A75D-5C2186E63303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357375$31CEF4D3-8D1F-46AB-8BB3-0E2208E8855E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9fb6f2585d10a4f67c7606cafa955eaceb6122","datavalue":{"value":"1019352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357375$D1C05450-90EB-4704-A3FC-64F7C9BD47B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357375$42AF3432-4B1F-4F71-85FC-EBF6523FCA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09940acfbc4a18d11c7296ae6fadad2b8b2abfb8","datavalue":{"value":"lower covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357375$E91A2BE1-9503-454B-889C-4AE6789AF644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfb3fb396125a809db441154810c82ed1fdf300","datavalue":{"value":"partitions of lattices of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357375$4BDF1CCB-B842-4E55-9E42-50588ED84FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357375$36225398-8C10-4C62-9960-7A78F9CFDB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fab1d7dadc9c096095fb8f4f755156daf4bb08","datavalue":{"value":"splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357375$86D8741E-F1E5-4E07-8B81-FC1E1FBFF620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357375$ACD2387F-20BB-48C6-9D31-642CCFCD1D1A","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":"Q1357375$E5F81804-4C41-491E-891F-8E43EEE98D4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd1aec5feb53a4d253a69e578377417b88104a9","datavalue":{"value":{"entity-type":"item","numeric-id":3491522,"id":"Q3491522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5da15265f2ff663f1ff0888a5f8bb5683568852","datavalue":{"value":{"amount":"+0.94606423","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":"Q1357375$38A700C3-6941-4236-95BA-87024CE347CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e889ce7d2824bca47601b9178450c5dd4562391","datavalue":{"value":{"entity-type":"item","numeric-id":4204133,"id":"Q4204133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eae0f3a51b4adc68ca513352526433dd3a62563","datavalue":{"value":{"amount":"+0.9457015","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":"Q1357375$6BBD34EC-439F-4CB8-9B4C-AF9027B4950D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bf78987d21b7a2317b9d94c1c19ec5680de703","datavalue":{"value":{"entity-type":"item","numeric-id":3783273,"id":"Q3783273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fa972ff718ffdb5f237e8251d258d6c294cfa7","datavalue":{"value":{"amount":"+0.91495943","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":"Q1357375$FBC9AF00-0029-4185-83A0-9D8982EA31BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd0eb1fe2ba9322e58e0dcb65e5c82edac930e8","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2967d862c7352cf47217792e4d64ff06012085c","datavalue":{"value":{"amount":"+0.9101441","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":"Q1357375$99D88E09-7D78-4D04-94CD-C6ED6F3A3408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3545df8912f15006d9c05ff2d38f858072effeb4","datavalue":{"value":{"entity-type":"item","numeric-id":4215605,"id":"Q4215605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7def8faeff481e6902e05fde72728d4530ff337b","datavalue":{"value":{"amount":"+0.9093125","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":"Q1357375$6D9CDDBF-3A85-4974-BCD4-812AD0CCE119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cafec7cc814e0c07c76920cb809e615c3ad3a0","datavalue":{"value":{"entity-type":"item","numeric-id":2319894,"id":"Q2319894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41777133546f1acc5dbd8d9b4736b92f37d31c1","datavalue":{"value":{"amount":"+0.90909696","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":"Q1357375$077786C9-6AB9-4E79-926C-1E78870F365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad12c18a2944c1e9a8db41a9991e52139aa6c26","datavalue":{"value":{"entity-type":"item","numeric-id":4268406,"id":"Q4268406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7cffc27b4a3f36b13c3cbf720564c26f0a584d","datavalue":{"value":{"amount":"+0.90856457","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":"Q1357375$5F7CF1DF-B7D4-4F74-8269-F3F0E322FF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a206c40c3197d8da5d5908d040744885a343e681","datavalue":{"value":{"entity-type":"item","numeric-id":3768879,"id":"Q3768879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c319ca8034c8290f3579089cef148e97ad74ec1","datavalue":{"value":{"amount":"+0.908332","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":"Q1357375$6093C584-1BD5-4CAF-9C30-22E5A7DA9627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d362901b4a5e7f2d21aca6ff20802f58e34067a8","datavalue":{"value":{"entity-type":"item","numeric-id":1059064,"id":"Q1059064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7186caab2948cebfb43e83f6d86e5337becd1d2","datavalue":{"value":{"amount":"+0.90361893","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":"Q1357375$A0397FEB-F09B-47E1-93DE-F0166628548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb80e8cf1de71e7ed73657d1d8ae3ed27c6fe104","datavalue":{"value":{"entity-type":"item","numeric-id":3783274,"id":"Q3783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10caecc2c5675931979a8dc511d1316ab10cdee7","datavalue":{"value":{"amount":"+0.9016441","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":"Q1357375$6F0D78BA-875E-4209-B94F-8CBEBF51F41B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superintuitionistic companions of classical modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Superintuitionistic_companions_of_classical_modal_logics"}}}}}