{"entities":{"Q708929":{"pageid":710778,"ns":120,"title":"Item:Q708929","lastrevid":63702894,"modified":"2026-04-11T14:58:02Z","type":"item","id":"Q708929","labels":{"en":{"language":"en","value":"A new normalization strategy for the implicational fragment of classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5800414"}},"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":"Q708929$8BD8FF39-69D8-4B12-8776-F8C28B245A27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be553ad4061e1eb9bf192edcac90db75305c682","datavalue":{"value":{"text":"A new normalization strategy for the implicational fragment of classical propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q708929$8EF0150B-FAB7-4098-BBC8-9AFEE6A65A4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0315876dbc426946a444a56328efe726d3a3dc9","datavalue":{"value":"1208.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708929$B37E9D03-E8B4-4675-96C6-F7C9CF35D635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$CB3F30D5-D468-4017-BEA0-F397E8B0DD71","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":"Q708929$2AF96D59-0073-45BE-840F-BC559C28C5D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d214923a38e7ffd38eef0923ebec08ba9fb27220","datavalue":{"value":{"time":"+2010-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q708929$D0769E3B-EF04-4C2B-BDF6-E2629B181F2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6116276620a345f17d635df3bef9cdf62b9b6c4","datavalue":{"value":"This paper gives a normalization theorem for the implicational fragment of classical logic in natural deduction, augmented by Pierce's Law \\(((A\\rightarrow B)\\rightarrow A)\\rightarrow A\\) (the addition of Pierce's law is needed, since the purely implicational fragment of natural deduction is not complete). The normalization strategy in this paper is based on the method used by Seldin.","type":"string"},"datatype":"string"},"type":"statement","id":"Q708929$E022083B-9A8B-4610-9A12-5BA7F5E29FB0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c5b616edce88dbba5c5af95b93f1151779529b2","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$5F3EC526-3E43-47AB-AE1E-756D3A60579D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708929$7ACDD57E-66F0-4488-A876-8B367A6F667D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708929$4526E66B-8AC3-4626-AD55-EC0DC766FA72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbbafa422476b1fae35336357f4b8f49b1f78ecb","datavalue":{"value":"5800414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708929$88D1D827-6313-46D1-A683-7AB4191DA243","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q708929$00CD3D9D-DBDA-4CEF-B9A1-55EF24FAEFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb1d212bccc08f36e999ca0be4621f58bc70885","datavalue":{"value":"Pierce's rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q708929$407864F4-429E-4AA9-85AB-0F4803D08716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q708929$44D5A269-33B9-434F-84B1-A5CDA8227D38","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":"Q708929$5772D3E0-5C98-43BC-A11C-2A0DE6382DD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd82528de1d5fb85940b069588d758b58ab499f3","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9275-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q708929$1FEDBEF8-4BBA-4837-90A4-2447C074B01C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91c50cd2ec4d755f7177abb7c539a20e7f7d031c","datavalue":{"value":"W2021037844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708929$329DE595-5DD4-4E38-B8FC-274492D860DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53674086d0b747bcbbd79e06734f8da013fe9ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$60E3D225-0A04-4D7A-8F1F-3877D85A84A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$6FFE9C0F-A40B-4750-8FCA-B73FC455F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75072c5bce5a3ad953643dfb9953f029de8fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3781073,"id":"Q3781073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$676CE5EB-7BEE-412E-9224-14DFADAE0D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb3cb718675c3fe3133c1db7ce063709950989","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$34024B7F-D4DA-4B85-AFBE-34E344BA0895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b2deb022bff66d798fc31c4ceea93ea53ea604","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708929$13B7093F-0AF6-4AD9-8B69-66DB21296A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e76bbcafbf0c06334f944be4ab0950bc96c72ea6","datavalue":{"value":"10.1007/S11225-010-9275-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708929$6283ADE5-9D2F-4D8F-9627-35150ABC8295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4309182b689116f70bd543c15c358931182e05","datavalue":{"value":{"entity-type":"item","numeric-id":2352461,"id":"Q2352461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1f6a388ff8a85855dd80d78b2b683eee7b4cee","datavalue":{"value":{"amount":"+0.8421433568000793","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":"Q708929$8F7E3A7D-A3C7-4D2B-AA23-B26BA9CE9E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fc1315f14c94f52dcd1eb05d2064a06c5d946b","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73cf29117c9b550d78bfb06aa0caa0dc495745b4","datavalue":{"value":{"amount":"+0.8209250569343567","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":"Q708929$9EF26B8B-3DD5-4C7F-B663-3CB9210228EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5bdd6c64f3d11dce0698d773543a060f36e14a","datavalue":{"value":{"entity-type":"item","numeric-id":5170286,"id":"Q5170286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96230cf82f8b68fcf2aa5ff197a0e468061e305d","datavalue":{"value":{"amount":"+0.8070765137672424","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":"Q708929$DBF81041-F175-4D90-A3C4-CD5DDE7C96A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f54d3b35be5c0a79ccb36d4f1679168b753543","datavalue":{"value":{"entity-type":"item","numeric-id":583185,"id":"Q583185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55e758c605d1cd3262e18c85627ad1890f88510","datavalue":{"value":{"amount":"+0.7894895076751709","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":"Q708929$CEEAEF11-5DDE-4828-B938-458B957ED9B3","rank":"normal"},{"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":"209123516b8c3a6e40bcf169545e69d0026d08f7","datavalue":{"value":{"amount":"+0.7840665578842163","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":"Q708929$4E0BFFB8-D5BB-42B9-8D27-62EC436D5AF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new normalization strategy for the implicational fragment of classical propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_normalization_strategy_for_the_implicational_fragment_of_classical_propositional_logic"}}}}}