{"entities":{"Q688720":{"pageid":690569,"ns":120,"title":"Item:Q688720","lastrevid":47200609,"modified":"2025-12-31T23:57:20Z","type":"item","id":"Q688720","labels":{"en":{"language":"en","value":"Gentzen-type axiomatization for PAL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438343"}},"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":"Q688720$4E38E3F8-4F07-4374-9A6E-03BD82C1BB02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8cea592b2e43105102bae07ec4818110beb9195","datavalue":{"value":{"text":"Gentzen-type axiomatization for PAL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688720$B059492C-FA5E-4637-A05C-0E924638C8F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c43b68b6773e2812a53b0c1d70f766ab0171b868","datavalue":{"value":"0783.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688720$664ACA30-5521-475C-AF7D-D210A54216FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d162f344380d79e444768a5111bf19f5241d24b7","datavalue":{"value":"10.1016/0304-3975(93)90363-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688720$88DC587F-278B-4230-B50A-F840EEBE4410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$D88CC9C9-9F75-4D62-86AD-CCAF94D51E5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$432ECC20-3383-4EE9-9446-6B8FBD9C3E8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22686110a0b022bcb532bcbf192b2bc2d3de178b","datavalue":{"value":{"time":"+1993-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688720$42EDA8BF-E59E-4A7B-9D53-4A06969C31D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c35c82c83999cefeecd0ecb58a35f83547b03fef","datavalue":{"value":"For propositional algorithmic logic (PAL) as introduced by \\textit{G. Mirkowska} [Fund. Inform. 4, 675-760 (1981; Zbl 0494.68030)] the author gives a finite, cut-free Gentzen-type axiomatization, proves the completeness of this axiomatization, and gets as corollaries a small- model theorem as well as a decision procedure for PAL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688720$69BDFFAD-7593-4C48-9D9C-664838079625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688720$31951176-253A-45E7-A152-CCB30DF19CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688720$B17448EE-BDFD-407F-818C-A6331A33D926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6eb0874e75cc69fbf486fe88cf1558d1d9fe7d0","datavalue":{"value":"438343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688720$26B2495E-1A1C-4A7A-90B2-8AD410F9F260","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q688720$FBA66BC1-CCD5-4967-933B-3FED4F1C1FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q688720$346D58DE-3210-4CD8-887E-183A480E3A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q688720$DBF4ABE3-17BA-4BA2-A43A-673C9F367DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f33be0ff1c733b125590eea16e7df30eeb261b7","datavalue":{"value":"propositional algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q688720$E9C02DB5-360C-4811-A371-25119190D4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q688720$842AB43D-79EF-4097-ABF9-2F1598CAF57C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$35556556-877D-4B10-922B-5B691A6839F1","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":"Q688720$B6E39B61-4E97-46B2-B1E5-E51CD17879A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52faf745c5d09844fd2d5968c3552f6b237fee43","datavalue":{"value":{"entity-type":"item","numeric-id":3967516,"id":"Q3967516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$2FCC2493-9A6B-4A10-8E82-5772B46B1E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$67072D60-1DFA-4FB3-A333-1C90F5E25806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$A7570425-9F37-41CE-83EE-DE73D49A05DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be7c2d0e757c9f54d53d52bcfc35c2df4a42adc","datavalue":{"value":{"entity-type":"item","numeric-id":3947646,"id":"Q3947646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$5B3DD9BC-948F-4A02-97DD-703BCFD02F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eccfbbbede2a21c5d645307bcefa275e190922","datavalue":{"value":{"entity-type":"item","numeric-id":1254991,"id":"Q1254991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$497F3F85-E7C6-4C00-B34D-B317B59332A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002bf775feb17ae6b3e8d3218d33a914d2ea456c","datavalue":{"value":{"entity-type":"item","numeric-id":1835666,"id":"Q1835666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$C27C1C2A-40E8-4607-9D80-DE752A562670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$01566F76-098D-4633-9449-8C01BA52146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688720$07909F71-AF1F-446B-8A4A-BA02F9571A88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f8fa35fd97f18091680fbbadbb07dc0a68ceda","datavalue":{"value":{"entity-type":"item","numeric-id":3976050,"id":"Q3976050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea66c5886fdf7638d0a7cd7cdb88890db6e26b5","datavalue":{"value":{"amount":"+0.953636884689331","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":"Q688720$89BC488A-45C6-403B-A3B4-0786BE5C1F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0182b1aa9e27adee9440151e6bbe8b1b936fb9","datavalue":{"value":{"entity-type":"item","numeric-id":1072540,"id":"Q1072540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701e8932fbe914c54bd289d07128a03f4b1ecb10","datavalue":{"value":{"amount":"+0.952166736125946","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":"Q688720$AEFF8A03-0856-4C67-AF04-C98ACB2F9288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e261f6151483f28ae2599b40e52b33ef808c207","datavalue":{"value":{"entity-type":"item","numeric-id":3979283,"id":"Q3979283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b82f63c143f8ca8d3fc977ac8109be0995cc4a1","datavalue":{"value":{"amount":"+0.8206186890602112","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":"Q688720$003F72D6-CC41-4F00-8FF0-EC2C0B84A061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85bf8fa01ffd3ac0621fdf09963a19379b27827d","datavalue":{"value":{"entity-type":"item","numeric-id":4376075,"id":"Q4376075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b82f63c143f8ca8d3fc977ac8109be0995cc4a1","datavalue":{"value":{"amount":"+0.8206186890602112","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":"Q688720$54101910-D06E-4A5B-9E64-A8DEBE3C141E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773f173771cff65b513caaa95fcb8edd641ddefc","datavalue":{"value":{"entity-type":"item","numeric-id":3094017,"id":"Q3094017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbf9251d8854cc1a7461d863d30c366c1ed44d1","datavalue":{"value":{"amount":"+0.7531843781471252","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":"Q688720$69A994EF-D6DB-4BBA-94B0-A05A7EC7F88D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688720"}}}}}