{"entities":{"Q1904467":{"pageid":1915209,"ns":120,"title":"Item:Q1904467","lastrevid":74254989,"modified":"2026-04-14T19:12:34Z","type":"item","id":"Q1904467","labels":{"en":{"language":"en","value":"A normalization-procedure for the first order classical natural deduction with full logical symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828343"}},"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":"Q1904467$FF138EA4-9546-44C0-9005-AAB2999D334F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33964e109106b68d95a0bbec7d8ba5a999026f78","datavalue":{"value":{"text":"A normalization-procedure for the first order classical natural deduction with full logical symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904467$BA09AF44-F85D-4424-9A7D-411933EAC7EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6311646509b7e47789c7191d2127a38231d8550","datavalue":{"value":"0835.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904467$4730FE63-9961-439F-8CAE-480CB2766237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5de2afe976d443cbcde68566579cc176f67d339b","datavalue":{"value":{"entity-type":"item","numeric-id":1904466,"id":"Q1904466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904467$CB7E5DB3-1796-4634-80CB-E9C309763129","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904467$DB357AB7-1411-4523-B466-708317CB36A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23538f1860075d0767b907c88ed715c00085d18b","datavalue":{"value":{"time":"+1996-04-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":"Q1904467$95F93F89-51B0-4A34-9EAD-F07F1792AC6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"382ff6e1beb5c9962555a417a5bd4b72346dd500","datavalue":{"value":"The author describes a normalization procedure for a natural deduction formulation of classical first-order logic [see \\textit{D. Prawitz}: Natural deduction -- A proof theoretical study (1965; Zbl 0173.00205), and Proc. Second Scandinav. Logic Symp. 1970, Stud. Logic Found. Math. 63, 235-307 (1971; Zbl 0226.02031); \\textit{B. R. Bori\u010di\u0107}, J. Philos. Logic 14, 359-377 (1985; Zbl 0572.03033); \\textit{J. P. Seldin}, Stud. Logica 48, 193- 217 (1989; Zbl 0692.03007); \\textit{G. St\u00e5lmarck}, J. Symb. Logic 56, 129-149 (1991; Zbl 0735.03028)]. The reduction procedure presented here can be considered as a natural extension of Prawitz's reduction procedure, but on the full set of logical symbols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904467$7C6F18D8-C02A-4D21-BE8C-FFC5AB00F12C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904467$85998B1C-2F1D-48EC-BB66-67C9D8686130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904467$1ECDF67E-5B85-44EB-BDB4-A34E837627F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e49770d82057362d51b2bcee6fcfaa13a03017dd","datavalue":{"value":"828343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904467$287452A6-BC7D-4006-857D-C455A4F6812F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df8dac5853e138e9e33bb0eba654170ab538f2c","datavalue":{"value":"normalization procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904467$AC24B32C-4BD2-4A28-90F5-C6DCE2D5C7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904467$D6207A24-B4B3-4B51-97FB-456581FF38C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6efcbfbe86b85ffd4ced23972771b8438ff975","datavalue":{"value":"classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904467$BFE0C325-738F-42B7-B49B-C8BF86A0A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904467$2401D443-8FCC-496E-B1E7-658EB6DF32B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904467$94EEC7F9-D8BB-4906-BFB3-38CC7D35C859","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":"Q1904467$42868102-AADF-4F6D-AADD-F75056EB908D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88d5901ef4b52144742b9c88374c65d36400a71d","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496162804","type":"string"},"datatype":"url"},"type":"statement","id":"Q1904467$77F34869-4C19-4ACF-BF64-9333025CD345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2110a00dc203b93a9a34e02405cf7836f591c697","datavalue":{"value":"W1584940602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904467$2FF5B5CA-C21C-48CD-8792-725EF05FAD66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"852fd742fc05f6abedb0c1ffe9eab02ac3f30c10","datavalue":{"value":"10.21099/TKBJM/1496162804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904467$26024322-FECF-4E60-A4C6-6ECBB88451A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3b61f072dc00e8f0bf0c4ab312bf70cad216a8","datavalue":{"value":{"amount":"+0.8382329344749451","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":"Q1904467$2BFDC7F9-B5B0-4163-A7FB-6D9AF7652E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77811e87323c8470bc5bfff43ac8fe7e00431c58","datavalue":{"value":{"amount":"+0.8240516781806946","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":"Q1904467$A8296522-7A67-412B-B9AE-91380C546403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3536e891c0da1063903d79d5e27c6f020d83740d","datavalue":{"value":{"amount":"+0.8240422010421753","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":"Q1904467$DF1DEB29-2CE4-4A0C-9588-98F77BC1027A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45c7dff42ba9946e9a8acd3e138332c15ef18e2","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dbe3c3f6d73422f5abdcac3417161ef3446244","datavalue":{"value":{"amount":"+0.811355710029602","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":"Q1904467$4EC02891-1D52-4AE0-A256-9E2701CD6BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18e079b6e997468bbda64a0f43329bed24d7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2478553,"id":"Q2478553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09eaac6851a5f4b22c548dd2d066b8d13c73c04c","datavalue":{"value":{"amount":"+0.7777954339981079","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":"Q1904467$4C034556-3199-4347-98AE-0893C6ACF38C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A normalization-procedure for the first order classical natural deduction with full logical symbols","badges":[]}}}}}