{"entities":{"Q2534156":{"pageid":2544899,"ns":120,"title":"Item:Q2534156","lastrevid":44287989,"modified":"2025-11-21T18:01:00Z","type":"item","id":"Q2534156","labels":{"en":{"language":"en","value":"Gentzen-like systems for partial propositional calculi. I. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3282578"}},"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":"Q2534156$9A869CDE-9074-4B23-8C14-9807C89AFEE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c7f065c6b9d5a07670d8684b0b981849c2b7cf","datavalue":{"value":{"text":"Gentzen-like systems for partial propositional calculi. I. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2534156$93DC82BC-5FE5-477B-8674-CFB78E0DD5B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04afa972d2555bbb9d2c102283d74390b740a233","datavalue":{"value":"0177.00704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534156$6A88DAFC-0F6D-4510-BE6B-BD52E457F687","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534156$0C55E64F-F8C8-4DDB-B451-954D74B2D017","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2534156$EA52B9F5-29C5-4A43-977C-AB9A57C9C193","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"654c9021e4e8e4040f3010bc85ef93b9b161595c","datavalue":{"value":"These papers present a generalized definition of a Gentzen system (with provable cut-elimination theorem) and then apply this definition to specific classical one-axiom propositional calculi to obtain Gentzen-like systems for these calculi. In one case the method involves replacing the cut-rule with other, simpler rules. In the other cases, Gentzen-like systems are constructed directly without a cut-rule and a method of proving these systems equivalent to the classical ones is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534156$B0F58CEA-05C0-4D66-8C39-6F7DC8F5E062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534156$ABD32490-C4B4-4105-AB09-E2ACDD317AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534156$03B921D0-57AF-4161-B876-2AE145D7ABFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"903edcdb53a3117756edb3bca97c23c52ad387d9","datavalue":{"value":"3282578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534156$17FC18FB-5E33-4EF2-8FA5-71BE74077346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534156$2C3FE2C8-AB67-4D82-B56C-3141B76362A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8f662030bbf0728e1f0fd9338d320ff5a55994","datavalue":{"value":{"entity-type":"item","numeric-id":1211979,"id":"Q1211979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534156$C119F5A1-A174-43A8-ABEF-3830584E666E","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":"Q2534156$A4D81FF2-EB0F-4C9A-88C3-69E28AC29295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0274f58a98ad9e4f9287838fc3f1e13fe6bb7c14","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093894153","type":"string"},"datatype":"url"},"type":"statement","id":"Q2534156$6C77AC0B-AF4C-4433-B801-1C45DCC81199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52b9a8e61e38e5daee2b11b6bc86c73011d26c52","datavalue":{"value":"W2095034254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534156$DC0E6AD4-2057-4DBC-B0B6-4CF1E938722A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86b181671e59bab9c1d9ca3b9614f53ba0434dc2","datavalue":{"value":"10.1305/NDJFL/1093894153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534156$52558073-6EC3-4D02-B451-8D8A2551219B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54821d0c308119635f722a0f5763584c2b30e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb88cc93cd715f9c067004f0ef8a2d74c304325d","datavalue":{"value":{"amount":"+0.9106537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$3C0703C8-76CC-416B-99F1-315E0041A96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a3728eb6d6cea535db12f53a28c7233f093a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7059a89330b95bcda9ae5d31b0d35165ad28601b","datavalue":{"value":{"amount":"+0.90613675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$2D60B981-E1F8-4147-A8AF-7BFA40187051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e3059e599191e68b2e770d85b735b9715328c4","datavalue":{"value":{"amount":"+0.890983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$26B30188-FAC7-46B9-BC71-DAB6D47722C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db957db2630db9c00c109a386240cfa3b76cb022","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a7e0441cb7496386046903cbb9c9e79253f91b","datavalue":{"value":{"amount":"+0.8909128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$C794619D-418F-496F-9F6A-71071100E987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcd9978da62d564145ea83436b767602f44e853","datavalue":{"value":{"entity-type":"item","numeric-id":2824401,"id":"Q2824401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8a8c19574f86cfde101a4c675f4bd6c430ad06","datavalue":{"value":{"amount":"+0.8901377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$9E3275D8-6419-403E-B51A-8FBB0E147897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1e75235b60f70752b935f23f3db2cb57767ba6","datavalue":{"value":{"amount":"+0.8892603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$46F0331E-37EF-401D-A849-70570C7087A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3a8f1d481118bf34f164d7d041c4c6204e25c","datavalue":{"value":{"entity-type":"item","numeric-id":3752367,"id":"Q3752367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8aba665d409850eefd50406d6fe700d8f1180e","datavalue":{"value":{"amount":"+0.88059866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$F26AD632-B31F-4090-A247-93A9AAE0760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82206f4c3572e764a9f5ffa9f89d8639df6f61b5","datavalue":{"value":{"amount":"+0.8796745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$638198D1-5AD1-4AFE-9BC1-90919AF0B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375922fb6938db43ace79e4f73d9a3037c47482e","datavalue":{"value":{"entity-type":"item","numeric-id":1327484,"id":"Q1327484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d6e8393014b7ce78711f68dbb24d772140dcde","datavalue":{"value":{"amount":"+0.8777379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$45B54CC4-F1C4-4D34-96CF-AD9C59003523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592bcabf1bcf18ba1da0f9fa4dd921bbc92b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3762280,"id":"Q3762280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e401a47691169b6e1bae8f7a2ac12558f3c12a","datavalue":{"value":{"amount":"+0.8771967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2534156$302BC3E4-3D02-45C6-9914-C63059E5FA6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2534156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2534156"}}}}}