{"entities":{"Q1577342":{"pageid":1588082,"ns":120,"title":"Item:Q1577342","lastrevid":70745706,"modified":"2026-04-13T16:28:23Z","type":"item","id":"Q1577342","labels":{"en":{"language":"en","value":"Natural deduction for non-classical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501370"}},"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":"Q1577342$F1F9E59C-CD02-4DD6-A8B6-792AE07C7736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a71cc8d047902c064c201c5b25a2631a5135981","datavalue":{"value":{"text":"Natural deduction for non-classical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577342$BB024F4E-0F15-481E-B29B-171597F22933","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b08dd18d6b664d5070d49f5779e5748cf759ffe","datavalue":{"value":"0954.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$69BC0776-122B-481A-AA8A-62B9DF8BEB1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d642eccbd25e8b74d17d911d9a5c3b92bdbb36ae","datavalue":{"value":"10.1023/A:1005003904639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$3DC07437-BC35-4942-AEFD-CA8D85C3961E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc7b5b12b893092752e25f19fff9284b5a1df19","datavalue":{"value":{"entity-type":"item","numeric-id":1289099,"id":"Q1289099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577342$ACA57229-E0FD-4E52-BA50-631E709A669F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577342$15061575-FF6A-4653-B68A-45BE0F20D0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577342$E912BFEA-81C3-42C4-B986-2157E5770386","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":"Q1577342$ED6D4608-EFFE-4E9B-BBF4-BDC53BEF6EA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6ee3df6eed3e87a230816a62b70508d73d827ec","datavalue":{"value":{"time":"+2001-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577342$9D82F64D-8D5E-4B5D-8C85-3875AD4EDF49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$E98F9B72-5DA5-492A-8090-83EA8B27FF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$FA1604C8-4F23-4994-B5DF-E6131FFB2002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$95A16D07-E2E4-4220-9004-FE357BB7837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$5B4B9582-4CFC-401A-B588-6476A4C6318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$A3E12B2A-1C45-49F9-9C54-D31EA1C1A183","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbb82de9080912100cae355d17d306a5576065e3","datavalue":{"value":"1501370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$D7E27068-E009-4852-99CC-3AAA080676B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d74d8354b37ff2fd815e873630a6617608b9a","datavalue":{"value":"Isabelle Logical Framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577342$951141FF-26A0-45D2-94C8-E491C0D32E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101fe915d4edefc95b9d578b7597ef76c26d98a4","datavalue":{"value":"framework for machine implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577342$2093805E-F2C3-4C2C-90F7-CEE7BD37977B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577342$73679DE6-2E6B-4581-A1AA-F7069C8267D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577342$105CDA70-C5E2-49F3-8F16-668D5257FA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577342$36DD8927-F5C7-4DB9-A973-0889C98C35CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577342$7CF11CFA-3B59-4F82-9546-CD7E0C6F7849","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577342$381D6607-126C-4534-8572-38F459CCC5C1","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":"Q1577342$AF590E51-B413-44AE-AE27-7CED9752FBEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"890c7f423fb8968503a9bca3a248208c88b00c0d","datavalue":{"value":"https://doi.org/10.1023/a:1005003904639","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577342$3FFDC3A2-132C-4C4B-BA34-7D568AEDDDA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d7e3e293c9c8f3674afd9abec8087dff810a1b3","datavalue":{"value":"W1489961769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577342$94D8DC60-67B7-4D87-B2F8-55FDA3754740","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14346b187616780b3f44ceae784891b6099aa17a","datavalue":{"value":{"amount":"+0.9548013","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":"Q1577342$9214B9F0-FC7F-4AA0-A28A-ED906A64271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96094b309dc39503e057679a26762867285c95ae","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50da5d6ad3b7ead3fc27b3739b2ac2421dbc801d","datavalue":{"value":{"amount":"+0.9509109","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":"Q1577342$99643988-95D9-4A60-86FE-A8A5ED948181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b994e8d0c268ef50f80de07a97940db98d609a","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28846160e6b626f898483141a559c4682d37dce1","datavalue":{"value":{"amount":"+0.94472986","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":"Q1577342$B6C1DFDE-9EFA-4C6D-B14A-4D0BE1AA8AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b144ec21be654d8c1e16be4e1dc8cc84368b2b","datavalue":{"value":{"amount":"+0.944063","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":"Q1577342$34C0DB6F-52A8-4CEE-A660-A4E9EFE04668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6682b5d1a51c7336fdf5ca87d5c8572a2f445df","datavalue":{"value":{"amount":"+0.9433212","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":"Q1577342$EC5A9A58-440B-4EF3-AC52-967BFD593D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c2f2f39a0c695dbffa7d725e1703c49ea94757","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66be0a20bd4fe1ebb650bbe19cd107b4ea8639b6","datavalue":{"value":{"amount":"+0.9431838","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":"Q1577342$C53B1B31-1B17-4C15-818C-C037B952FBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce977f3a3765cf3bb8d936ba5e8540434fd453fc","datavalue":{"value":{"entity-type":"item","numeric-id":5446313,"id":"Q5446313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576fdbb57fa5784b976b4f47ffc4b3893b81e1b5","datavalue":{"value":{"amount":"+0.9385817","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":"Q1577342$6FD6BC00-488D-40B6-8F23-8DA6E0657FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37d1f6200ef003f4059462a31ef5e56f148b4b0","datavalue":{"value":{"amount":"+0.93621826","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":"Q1577342$E114651F-6EDF-4895-AF56-F2442362E106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b91d02cdd75c9392dc64f5231c486f30847d8887","datavalue":{"value":{"amount":"+0.93504864","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":"Q1577342$09F05FFC-AA07-4A49-A021-F7F4276296DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6342501b9a14ff4f80743845a5908632fbf77b","datavalue":{"value":{"amount":"+0.93462414","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":"Q1577342$F5EE7CDE-C89A-4785-99C3-FB56F53BA716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for non-classical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_for_non-classical_logics"}}}}}