{"entities":{"Q1788333":{"pageid":1799075,"ns":120,"title":"Item:Q1788333","lastrevid":43329663,"modified":"2025-07-24T19:15:04Z","type":"item","id":"Q1788333","labels":{"en":{"language":"en","value":"Subintuitionistic logics and the implications they prove"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6948556"}},"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":"Q1788333$037FEC49-BDE9-4FB6-A24E-2FFBFBE4B52A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d3f6cff104305afe9771d02afebecc285f14ce0","datavalue":{"value":{"text":"Subintuitionistic logics and the implications they prove","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1788333$D553E38F-4AD0-4B96-9A54-AFE0FFC9B98F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fa971d88544d09212cfd9a57bc29975f8d15933","datavalue":{"value":"1437.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788333$23814170-09E5-4F90-BB1C-B2D29727A158","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a5f800bf12e5ad2879f68c597794d9e8cc586f","datavalue":{"value":{"entity-type":"item","numeric-id":1788332,"id":"Q1788332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$61E441B8-817A-4330-BF27-375766C15BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$35F19067-C3E5-4943-AB8A-980C8597057C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$D2BD7AE8-FEAC-446A-8DA6-B79E094FC32C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b482b6ba3fb35deb96d8a9f107a3b0da26ea6358","datavalue":{"value":{"time":"+2018-10-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":"Q1788333$1448D49A-3E2C-431E-867D-78391CE01A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788333$DC1236D3-A29F-47CC-AD5C-2AB054ECB1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788333$32EFCE91-D726-4A0E-96C6-F1610BC84B45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10661299561ed0bf3cc3511febca145c623628a3","datavalue":{"value":"6948556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788333$BC3ED782-E7F7-437D-AD39-A70A6161E324","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1788333$224B3669-2D42-43D6-89DD-81E9D3247AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b570e310dba060006ab129a7fb090b1b8371ebcb","datavalue":{"value":"subintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1788333$3811546D-E342-4AA3-B36D-33F034EAD697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1788333$96808AA5-0E35-4DD3-B84E-AB8CB542BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1788333$E27CF124-66D0-412A-8205-ED8F79C7406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e616653c4d17082ffb5c84b53755c2fb54e1b1e5","datavalue":{"value":"neighborhood models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1788333$AFD2D4DF-32DE-418E-8D8E-0054B4CF11F5","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":"Q1788333$77C06061-283B-4444-8021-56B83DE6025C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"788b2389c99cfcbee5a38a7319cee7c6418427ad","datavalue":{"value":"https://doi.org/10.1016/j.indag.2018.01.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1788333$CB31471C-1FAC-442D-9C66-231F9EEE1927","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d160ba1bc0f2bf08b57406659ade8fa955512249","datavalue":{"value":"W2810328916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788333$9B3FF389-D2C6-429E-B318-0085ADC72440","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4014c49296c42b6742ff0cf22e5d825ad13145","datavalue":{"value":{"entity-type":"item","numeric-id":1782236,"id":"Q1782236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$BD4B8842-F41D-42E9-A5C3-7CED323F7AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$E4232BD8-4978-4B9D-9708-C83906D73BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$A6283023-7E49-4366-A6D6-0572C7261A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389ecf4fd560ef72fd0217b09ee04765d70bace","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$8F80E772-3929-4A20-93A9-05535F3EB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b048122d2766cbe912f0cc28c51c9a869f1767","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$560C35DD-05E2-46EC-9313-B3EA4752A16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0df9c2a9512d9affedae87940e446dc6e1df4","datavalue":{"value":{"entity-type":"item","numeric-id":2284502,"id":"Q2284502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$DDE9C2C7-A495-4AD1-966F-3A4E6ADD2AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2bfe72e8d3cb7f439a24d8b4eff81d7a1c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$61AE6122-F2E2-43FA-B942-78F31D22D45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$DB29E596-A363-4B35-93E5-4E1F0B31CE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$5F478005-D50A-455B-92D1-7E75439287C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63db2fa61671299b80cc8a761251cb7500c5fbf9","datavalue":{"value":{"entity-type":"item","numeric-id":4644479,"id":"Q4644479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$A3A98A20-7A8F-4200-B0A8-D684FCB5CD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788333$1F9648C9-8C90-4DD0-8E91-B248124624C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7d5a8b4bc9ad76e68bdcf1f26e832bd5bc3df11","datavalue":{"value":"10.1016/J.INDAG.2018.01.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788333$FC7C88AE-008B-4833-ADF2-E3CABDB9D63E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a824f51322394bfbd9ee1e51fc67d0e6ec90f24e","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ada8c602215cfd8e39945402743b5c36294d5fe","datavalue":{"value":{"amount":"+0.9669529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$DF5C1EC1-94E3-41A2-A7B3-E77B5CC4A53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447f279a9e86c2746d6687d4f05b77ce71b1f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0627e73bfd365ed99467932d77b9e7ca56fd4d97","datavalue":{"value":{"amount":"+0.9507173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$2504D6F0-D8AB-4CF5-B4A4-2EAD521CDF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d98d8677127290968b7609e9e94b31c989583d","datavalue":{"value":{"entity-type":"item","numeric-id":4415083,"id":"Q4415083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a31d6111e7926b7f975c5a4460d630ce5d7f12","datavalue":{"value":{"amount":"+0.94707423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$216F7B99-35D6-4C60-A160-F6522C658E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b8d5a0640063b03dc477007c739fe41f3b37b9","datavalue":{"value":{"entity-type":"item","numeric-id":2284502,"id":"Q2284502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebec805386e4fcc0efac3e558df6d137900597b","datavalue":{"value":{"amount":"+0.93479514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$C333DDD3-A2FB-4459-85FC-2847B491AC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59300a1708ac7bb55411c49f1b207bafbddd64b5","datavalue":{"value":{"entity-type":"item","numeric-id":4644479,"id":"Q4644479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab67749e5a784c14d31d795cae1538c4bb2424ca","datavalue":{"value":{"amount":"+0.9300466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$72F0FCB3-1A14-491C-84A3-830C8F126603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0242cd761dd3f1d8ae62a2b6dc60737b303f25","datavalue":{"value":{"entity-type":"item","numeric-id":1005979,"id":"Q1005979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f11100c96a4151cc6ff061e2952bc6115c5ee0","datavalue":{"value":{"amount":"+0.91515595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$749DAEE5-25E7-4913-B4A1-6BD7F660C1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9f50ca9cf66817876c5766a3d8577dc9f388e4","datavalue":{"value":{"entity-type":"item","numeric-id":5381041,"id":"Q5381041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38afba98554c1e1aacfa5763bc1d0f2c7d739e6","datavalue":{"value":{"amount":"+0.9074621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$F7F41D29-4127-4729-96C0-FC149DA73F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059c8c7934e7ba5a4a9df952fb3706e08ea9c2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4793029,"id":"Q4793029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477a76f59a071b638e954159766350052eed2340","datavalue":{"value":{"amount":"+0.9072387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$BC91471F-6519-4267-9F45-33E554717AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aae82fcebda5be801edda87e6a18e42d70e312a","datavalue":{"value":{"entity-type":"item","numeric-id":4586145,"id":"Q4586145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22ea2429b4eea160a18521c9402ffba1a895439","datavalue":{"value":{"amount":"+0.90606594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$287DF282-2563-414F-9338-0052815E7F16","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":"dd5845f3d479a612fd740edc46e87c5b68adb1e7","datavalue":{"value":{"amount":"+0.9053793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788333$E92A2F32-E7FD-4151-9DBD-D64D8ED15ECF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1788333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1788333"}}}}}