{"entities":{"Q1577346":{"pageid":1588086,"ns":120,"title":"Item:Q1577346","lastrevid":70745742,"modified":"2026-04-13T16:28:23Z","type":"item","id":"Q1577346","labels":{"en":{"language":"en","value":"Natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501373"}},"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":"Q1577346$77087600-4882-422B-8A5B-29BE636062A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aad2cf6c1b0979629d6d6f3cb81500365e55b6e3","datavalue":{"value":{"text":"Natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577346$8D378125-E771-4666-BF1A-EF45C2003595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92353178737c09574594cc1d8270b23c67394fac","datavalue":{"value":"0953.00008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577346$E6B4FA92-BAD9-4D8E-A97A-4D933B8542D2","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":"Q1577346$B53F3C7C-A202-4465-8F16-63287815F9DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3abe621a923b17ee184338c341c16c0556252b9e","datavalue":{"value":{"time":"+2001-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577346$91BF6E5C-6C41-42F6-B02A-B974B82F0E1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"315c537712eb1de61e6ffb4546431bffd0f50b71","datavalue":{"value":"The articles of this volume will be reviewed individually. This special issue is devoted to papers concerned with proof search, transformation, and presentation using systems of natural deduction. The topics include:    Systems of natural deduction for classical, intuitionistic, modal, linear and other logics and their properties; Automated proof search procedures based on natural deduction; Presentation and transformations of proofs in natural deduction and related formats; Educational applications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577346$41B09A16-8DE8-4490-9BD4-A3FEB9857F4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577346$7044C5B5-5FB5-49DE-9906-9146FF6067B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577346$36E22309-BEC4-4E9F-89F4-967A79C6EEE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a17a48df33085d277480168a01c8c408f534e3b","datavalue":{"value":"1501373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577346$F3627C4B-EDCB-4362-9F36-025FE437DE9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f074bd83511dee54dfc96bccd42603b95eda218b","datavalue":{"value":"Natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577346$86E767F4-393A-4447-8352-5D4AF9F3183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577346$4CFD3D3C-1F1D-4793-BC37-257D15BA91B8","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":"Q1577346$5DF524F5-9158-427C-B0A4-C78904B36BF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdaa58bdea7d7cd28f07eb6745cf85d7660aeec9","datavalue":{"value":{"amount":"+0.7800959348678589","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":"Q1577346$35DEB54D-2C0A-4346-A431-91C667E1289C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d8a29a04d28a8a225fb7035835dac867ae07a6","datavalue":{"value":{"amount":"+0.7641065716743469","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":"Q1577346$77506D08-621A-4904-99CA-91FF35E6C693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0ac82092d2bf17f84988aa3a1269d58f3b9338","datavalue":{"value":{"amount":"+0.7626762986183167","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":"Q1577346$3E5ADBA2-72DE-4C07-A501-72300B15F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa9a280a59234c3772c246c374841ed0dd8f6cb","datavalue":{"value":{"amount":"+0.7560952305793762","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":"Q1577346$DDE98117-3665-43AC-B71E-7D0D15051E71","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":"7a3151d68e62fc61fedceac35e7b5b98a944518c","datavalue":{"value":{"amount":"+0.7557621598243713","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":"Q1577346$72F569EB-F19B-417B-A24C-C032E4F59771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction"}}}}}