{"entities":{"Q4608555":{"pageid":6638138,"ns":120,"title":"Item:Q4608555","lastrevid":56884551,"modified":"2026-03-24T10:44:49Z","type":"item","id":"Q4608555","labels":{"en":{"language":"en","value":"From Gentzen to Ja\u015bkowski and back: algorithmic translation of derivations between the two main systems of natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851649"}},"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":"Q4608555$BCD7E625-FB3F-40E7-854D-E4F804D67A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8631af5b59bf52be181b3534171c1c4a15e69516","datavalue":{"value":{"text":"From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608555$BE4BC92C-9B53-4AB9-9047-CD1EF26197D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a6edbf3903d7248c07f99e937dc53c7f8ccf01","datavalue":{"value":"1423.03241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$E0937013-7F30-43B5-B24B-868E4211814E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91326f1d05e24f78915c4a89edfa5cd0aa1b4c9e","datavalue":{"value":"10.18778/0138-0680.46.1.2.06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$01D220CF-B2B3-4573-BE5E-1D25128BEC6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$69300901-1514-45E8-9D02-1331087D4278","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$35CA66B4-5671-4021-8DC9-7BD7E07D78D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608555$C6FF529C-820F-4984-809D-0488C4B74998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$82882F97-8650-430B-9EA5-6B9AD6F3E5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$8E433C3B-026B-44AE-9C74-FA6EDF1AA47B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9835f25f32f57195817b4090559ca6b11e61736f","datavalue":{"value":"6851649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$8EB5D24B-5F8E-4956-9193-C1AC8F9D9BB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608555$B3F236A0-79C8-4A29-8752-7BC1D9E2093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"889b2e014be0dba495195b3c7ffb5ac985ad4a91","datavalue":{"value":"linear natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608555$589F0849-0F0E-47B2-B9A5-78F9C082AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608555$F9D38270-1F85-4869-B1F5-4853DC40F2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ea98027be8a5bee01cfa2aba3a59c2ddfcff1d","datavalue":{"value":"Ja\u015bkowski","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608555$CCF91615-09BA-4EE0-A37F-FC5A440EBB13","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":"Q4608555$E6EC1885-B616-4057-99A9-DE6CF442289B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bc55f1b61117522f32bd2486d905b6bf0d48d38","datavalue":{"value":"https://doi.org/10.18778/0138-0680.46.1.2.06","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608555$AE1050AE-C250-42CA-B829-E07267B43739","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a422bbe908c7d4d048ee476be80761cde3b9306","datavalue":{"value":"W2800506427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$A7194BA8-9DA2-48EE-A5D2-178A73D451EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faea38a8d43d1f3f5c5cab4883fc42391cc160e","datavalue":{"value":{"entity-type":"item","numeric-id":5586222,"id":"Q5586222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$32F4ACB0-FEEA-435F-8BB4-1256E76771E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$DCD8570F-98FD-4890-92AE-359CB581A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$0F5E380A-B5BD-4ACB-846D-1BFCE223C735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf8d33b8b327786a9a2b104ad143919c97e9e62","datavalue":{"value":{"entity-type":"item","numeric-id":5408687,"id":"Q5408687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$19040BDA-7D0D-4480-A52A-C806E4702DD6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee468b0a14a848835502b8017e95c9ac5041830d","datavalue":{"value":"Q129921424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608555$A2699858-264F-414F-8196-E010D364C6CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97cabf5f2c4a3e5f3456b0f010aa873907e2dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34d655ff67a7465bec82168c85ef007dad3db64","datavalue":{"value":{"amount":"+0.7995644211769104","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":"Q4608555$B245E1D3-026F-462E-A3D7-C80A845E4179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f4beff3b97d21e0343c6dba8e4987d19d6ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5feca5b4eea0eaafa178e41252f86a104ed72d20","datavalue":{"value":{"amount":"+0.7788097858428955","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":"Q4608555$5AB7C3D2-5385-44A3-A8DE-92C3AC8141EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93812256ed7e54713b69cd30c5e849e0c7a2058","datavalue":{"value":{"amount":"+0.7516376972198486","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":"Q4608555$46B17CAC-EFCB-4D1F-915B-DE3C5E7AD00D","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":"f93812256ed7e54713b69cd30c5e849e0c7a2058","datavalue":{"value":{"amount":"+0.7516376972198486","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":"Q4608555$1D854536-3B4E-4DC0-B547-AC2003B089B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0081b34b0601a991dffeabbe55d9c9ab58b6a45c","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab75273b0d920413bf320b1f6393295eb68cc7e1","datavalue":{"value":{"amount":"+0.7443481683731079","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":"Q4608555$1FF18137-0A7B-4299-9A4F-32E3BECAA7B4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608555$9D8AD5D4-3315-46B1-BD94-BE0317506F88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608555"}}}}}