{"entities":{"Q3745828":{"pageid":5775734,"ns":120,"title":"Item:Q3745828","lastrevid":50992892,"modified":"2026-01-16T03:06:34Z","type":"item","id":"Q3745828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981153"}},"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":"Q3745828$A404CA7C-B88B-41DB-99F6-237868815C45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"809f432500f18f102fcbdd755cb3080f3b59a56c","datavalue":{"value":"0607.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745828$D6C8A1F4-49F4-47BB-B802-4D63987FE9B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745828$7A61B6D6-A87C-4125-BD44-2F5ED3E4D112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3745828$B6AD3919-0AEE-49B9-AEC3-4A7FE8AC5418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745828$227BE99B-628F-40EE-9E05-776F40BC40D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745828$D9FBFB0A-BF4B-440B-BC4C-0D60E33D9E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745828$A3FA4826-5B87-4122-81AC-B38911B5089C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d26813fb66006caa3251acf05ba97055e8d3703","datavalue":{"value":"3981153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745828$2003BF5F-87F0-45A8-AB78-F9C62577029C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c78bf9905bd99dbe67e02ba80ec4cc7a835506e","datavalue":{"value":"modal translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$2D9365BD-6869-4086-A94D-534E3B94531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043ec735b54182280768d67100cbe488bbbb9961","datavalue":{"value":"double-negation translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$9D7AF553-4462-48DC-9FBB-8AB34985E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$597FC34F-90BC-4D13-B376-95DCE4995351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cdb8324b53f0885abbd750756cdca0bdc7af79b","datavalue":{"value":"embedding of Heyting's logic in S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$3F43C090-A668-4D25-814C-2CC6F6A017B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab3f43c7ba3996fb9dd6fd646d43309abce9e33","datavalue":{"value":"necessity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$11C6845F-CBCF-4EC5-BD23-1C84981BC108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84312490300ffccfac777c652e94530e3be32af6","datavalue":{"value":"embedding of classical logic in Heyting's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$7C85127F-94BF-4083-81CF-7839462BAC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$66EF4EEF-E495-46E3-903F-652E66FB72F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77e7c36421cf09bcfe8b1b4f152720c41f98970","datavalue":{"value":"Heyting's first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$4CADFA0B-44EE-411A-94BE-A65C1518F844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$49E97E41-398F-4C0C-867D-77DFE8724301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22359b4c8030692701b97b8f18b4f40cb6cb7d0b","datavalue":{"value":"Kripke-style models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$ACBF4FB6-1862-4441-9172-F4A71B8833C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097d6e89bfa4166ac039f0b7da62203670467618","datavalue":{"value":"propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$575A476E-13F0-47DF-A7B0-BEB8FBABE009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745828$963DB329-7853-4E69-BD0D-CA7248D405AF","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":"Q3745828$B3B7A6F7-7D85-4E9F-8CCF-AEF7A4C7DE76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2670fba71f0b788a66d7b3517c95bff3abb2c88","datavalue":{"value":{"entity-type":"item","numeric-id":5741613,"id":"Q5741613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728560bf26b87b36f6cc6d94a67222153389a47c","datavalue":{"value":{"amount":"+0.94037354","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":"Q3745828$D61C7A0D-E810-4B9D-B9D5-65105B307393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55d7b0adc0585216f8058fc4471c589f1597024","datavalue":{"value":{"amount":"+0.8967475","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":"Q3745828$2B4AE377-3605-46F0-AECE-3AD5516B6DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c8c486e632947e23b5dc89e61adfb073708d98","datavalue":{"value":{"entity-type":"item","numeric-id":2958215,"id":"Q2958215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f672ab7711f39775ebbab15cd081466f834a0c5","datavalue":{"value":{"amount":"+0.8913021","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":"Q3745828$F1F54566-0950-4B3B-A6CD-4890AB10DCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21319596713599630288e9a37aee41780d72e2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedf65f44a73ec5cebd2220e41bb9ad9e946dfe0","datavalue":{"value":{"amount":"+0.8905709","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":"Q3745828$75A1A9F4-34E9-4146-82B4-1DE43EF95229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9842608722b8451723c149bbf7224fd908eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ea5b91b1d600077babbd61d465fae1194dbd1b","datavalue":{"value":{"amount":"+0.8865722","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":"Q3745828$D4CBC775-E473-496D-80AA-B1B5BF379DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf2838e336e05664c70e8f18b3280ef4e8cc0e5","datavalue":{"value":{"entity-type":"item","numeric-id":2236504,"id":"Q2236504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3b092bcf6a6020d6f189fa038cbe3fb1ab17af","datavalue":{"value":{"amount":"+0.88639796","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":"Q3745828$FAD6D4B9-E146-4B1B-BC62-4927EB9B6137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa3e52fba1a9078ffd97183f542871dd8723343","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a09c70a7a9621c69dd494bbb7302b47a8819d4e","datavalue":{"value":{"amount":"+0.88631207","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":"Q3745828$C9ADCBC8-98D4-4F6A-A367-417C68F3E4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0c5863bdea3422297b4e6c907c798304dea81e","datavalue":{"value":{"entity-type":"item","numeric-id":5119390,"id":"Q5119390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4227372c181f6e6d43bf5d7eae81713d6f26c85","datavalue":{"value":{"amount":"+0.88631195","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":"Q3745828$FF0C47D1-9195-40F6-84A3-320A2C7E59E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947cf2b3827c32a9e7914d08a3cc48346aea130d","datavalue":{"value":{"entity-type":"item","numeric-id":2528923,"id":"Q2528923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d59f936a72f5ad0296c390eeaeb8ab4d1109282","datavalue":{"value":{"amount":"+0.88602316","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":"Q3745828$44ADA68B-7858-4B70-A929-7AB9E2F1445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a425545a6165a7e05ea8b587fd6c93bc66bf51","datavalue":{"value":{"entity-type":"item","numeric-id":1099162,"id":"Q1099162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46621b88e5700770a5209a9a31fc7d6c1d44973","datavalue":{"value":{"amount":"+0.885624","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":"Q3745828$BF2DCFEE-D3BA-488F-A9C2-505F93581BFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745828"}}}}}