{"entities":{"Q1679799":{"pageid":1690540,"ns":120,"title":"Item:Q1679799","lastrevid":81617360,"modified":"2026-05-06T18:56:42Z","type":"item","id":"Q1679799","labels":{"en":{"language":"en","value":"A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810806"}},"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":"Q1679799$278E4FF0-9541-4115-AE42-CC58C09B33C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9014845ba943f2bd652973e506289dbba3f0e922","datavalue":{"value":{"text":"A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679799$89157C20-630B-493F-B4B5-DF653385EE74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bf723ebfa6f5e15f8db01406f3f0affbbec21fd","datavalue":{"value":"1496.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679799$FC56ECE5-6515-4608-91CF-903752365AEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d74df17a7ac6b2a5e19f9ab711f8a1c5175972","datavalue":{"value":"10.1007/978-3-662-55665-8_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679799$2E35253E-4805-450D-A62F-E9E6803E7C7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e79cf3e28be35a39cb3a7fc8a500e31ac3d4ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1679797,"id":"Q1679797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679799$9D01A195-3A28-48EF-A57D-1693BFB35CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d701eae285ad7835b62697268daa2ae5c0394b4","datavalue":{"value":{"entity-type":"item","numeric-id":1679798,"id":"Q1679798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1679799$AEF16322-6E02-42B9-88CB-F65AF3B85F54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679799$2023A9A7-C83C-430D-8906-D002416C956C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679799$D20C60A9-0A10-4885-BDE5-5DB75141ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679799$CB7100B5-AF5B-40FA-83BC-8B1493C87906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99e0fe88004bed20b99a69dc886466cb9e83c3fe","datavalue":{"value":"6810806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679799$0EF4D7CE-34B7-4DCA-8E67-1F2D238F96A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffab8a8b04f0c9efe1694890539f1194d7d4a7a4","datavalue":{"value":"ex falso quodlibet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679799$757E6A84-22EE-4DC1-B493-8B49E39211FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679799$E0E84A4E-5F55-414C-BC64-62ABAD1BA390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679799$3068626E-D320-4B4D-A639-C59D75AEF40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679799$4A53061A-47B3-4DE4-A0EB-C97D1C0AC5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3321aa49b8fc2eab90ee8639f07ba71d52ce449c","datavalue":{"value":"catch/throw mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679799$8BB8D8AF-5C92-4436-83D9-C8A3BF99C878","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":"Q1679799$1E7CE53E-2004-427E-96C1-B6A4C2C97C3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8765d0178b79f34ae02e76090f5940cf77bdef55","datavalue":{"value":"https://doi.org/10.1007/978-3-662-55665-8_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679799$7528760D-3EBD-4033-92DA-F8CC09A9A6E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f78c8ed8d06ed45ee561c7e671954c2f98d41419","datavalue":{"value":"W2747167238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679799$CD3430DD-33AB-4574-A47F-280AA84682A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751813c5c6a0ebfffb026c8ed1a39a9b8b22de78","datavalue":{"value":{"amount":"+0.7350733876228333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1679799$8E887973-3E84-41D0-9969-037C00C0D521","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":"2f530ad3711a0ea1b4c009bfb50a66e01d35b30c","datavalue":{"value":{"amount":"+0.7040666937828064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1679799$92B30E8E-32B0-4B60-B79B-86020FE94A4A","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":"824ccdc984f2105bd8b48143904cc8210100544e","datavalue":{"value":{"amount":"+0.7012230753898621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1679799$144456DC-BA64-496A-A69E-1E26D4696976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1751c23be45486b0b1cec1596b176c67b96af","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714cd0443da2138f58fcd61e672105223c22e8b6","datavalue":{"value":{"amount":"+0.683489203453064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1679799$EA67BC8E-040C-4F46-8463-908F29ADE156","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":"1d1570f438453fc2ec58eb0ff6b350f1e6b9f3e8","datavalue":{"value":{"amount":"+0.6832762956619263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1679799$1AF6DB17-D12F-42E2-8A61-53689A090555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A reconstruction of ex falso quodlibet via quasi-multiple-conclusion natural deduction","badges":[]}}}}}