{"entities":{"Q2937799":{"pageid":2948519,"ns":120,"title":"Item:Q2937799","lastrevid":52170197,"modified":"2026-01-21T02:18:50Z","type":"item","id":"Q2937799","labels":{"en":{"language":"en","value":"Proofs, upside down. A functional correspondence between natural deduction and the sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385663"}},"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":"Q2937799$61DF3E69-76AD-42D2-A0CA-CB669B722CCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"053cfcb1d9ddc96dfea7fd7c0d4acef89de44547","datavalue":{"value":{"text":"Proofs, Upside Down","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937799$D2B1ABD1-8AA6-41A8-8D86-7B85E7A273E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"005e5aacfbf4a1cbcfa8abf38efafef0795ffb64","datavalue":{"value":"1427.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$61F730EA-D525-4B25-94BF-02AE02855194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76b2331ad118cf331141dbab6f6a13eb234bdcfd","datavalue":{"value":"10.1007/978-3-319-03542-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$8B4D9759-7BB4-489D-9AEE-A538ECA8EFE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0190c9ee683f889ba8b3597e0f04fedba0d80dae","datavalue":{"value":{"entity-type":"item","numeric-id":2937798,"id":"Q2937798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$42B123E5-0D9E-4E7B-AD9B-E76FA87EDC0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$B0D082DB-AC7E-4B31-A0E0-C532F7C6D845","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-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":"Q2937799$90755D78-4AAF-4E39-AAE7-A49C23B864CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$770529DC-5134-4A28-9F51-64AB7A3E6B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$38BDAD6D-1B9A-46CC-94F6-CE1FC887D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$5C693197-EB1E-4D87-8D6D-C2B214BC4926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$CCC36F99-7C75-46D0-BF79-5051D4B11A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$A18CDE6A-2E4D-4F7F-BB77-FB34463CE163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d47ca7e10feff81bfe2e0dc0eeadb0d4014d048e","datavalue":{"value":"6385663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$6AC831B2-7AB9-4DA9-AA45-696152942B72","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":"Q2937799$8E8DBECB-A87E-4144-9B19-AD8F5DDE7009","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"729dad50a18388b0ed94b408b61534f5f83e442c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03542-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937799$0D8BE15C-82A4-4B74-B52B-A3CF2B3FED13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5c7715dfa90b1b6e0add6373e69ba4a57f14278","datavalue":{"value":"W2270243227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937799$5A1CFD23-1D5B-4B99-BA31-4225761CE53F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2dceb0945904c43f199d35b1b3cc849bc44877","datavalue":{"value":{"entity-type":"item","numeric-id":2390256,"id":"Q2390256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$ADC93A03-F2E1-4FB7-AAC7-B989E9CF8268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785c46a0f1f22e75e02f3e7359d0bd2b4663936f","datavalue":{"value":{"entity-type":"item","numeric-id":5714452,"id":"Q5714452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$1D1B109A-57FC-4EA3-B278-96DAA3A90D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$5FDE4992-4C68-452B-B5EF-08EB331FFEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ebef1a8cead56989ed544ee3c516c448d6373c","datavalue":{"value":{"entity-type":"item","numeric-id":963342,"id":"Q963342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$A6217288-9343-4BF4-8EA8-94E7654626A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f7e07bfb614267ea873ec9a3b1b850b5ff37fb","datavalue":{"value":{"entity-type":"item","numeric-id":4428311,"id":"Q4428311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$EF4951BE-B119-4842-8D8C-B688FDB57FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1af344aaa64537d1e2473bf97f3d1054bcd467","datavalue":{"value":{"entity-type":"item","numeric-id":3612626,"id":"Q3612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$7BA4B54E-9F22-4499-81FC-AD8BF3C77C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3362d55352695afba98bc041b783edb9ce23d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":3586047,"id":"Q3586047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$B272DEA7-84B2-454B-9726-9B468AFAC616","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":"Q2937799$0AA918DB-D944-431F-AA22-CBE0BCFD8440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$8225EB2E-287B-427F-8CC4-B6A422BBBAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$D1347883-1728-47A6-92AD-065FABE58DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$04D0BBFD-C13A-411E-B4D3-89358E45D02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f881888043ac0e9ecc9e40d0e4e4f2c5675c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$B7A138DB-E402-46AB-A00F-AFE725DA986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$D1C2F1BD-A321-4610-8C29-91FFBB4E85BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$B5597998-3606-4D81-9513-A380A7581F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccb6124df4e949ad0d9924d28c83e5445b4d3a9","datavalue":{"value":{"entity-type":"item","numeric-id":763480,"id":"Q763480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$A09D7B32-1CC4-44B0-B375-FB2D0A48A54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc5bc94b1e23a5cf2156ab50f5121b1ef748895","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937799$EEC2A14A-7259-4CC8-AC13-001EB0760B94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab26edf1fc181f17d051519482c54b44ff1e475","datavalue":{"value":{"entity-type":"item","numeric-id":5053007,"id":"Q5053007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a1b95b333a4fa6741320c7c8dd0254707e2174","datavalue":{"value":{"amount":"+0.7990493178367615","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":"Q2937799$250A1070-0F1F-475C-BD8D-282FC190B36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8086fce4db2f660f1696abcf2a31ce4c9a872e62","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb6a94a970a4be00850d608a828f8b58fd40a4e","datavalue":{"value":{"amount":"+0.7525535821914673","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":"Q2937799$151E650C-017E-4A7E-B0E2-253ED0AC4A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837a0801ed66388af16600543a0e21a577751d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3612626,"id":"Q3612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb6a94a970a4be00850d608a828f8b58fd40a4e","datavalue":{"value":{"amount":"+0.7525535821914673","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":"Q2937799$2CB5BDDE-4E61-4639-BB7E-80F941F16A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6448074e4b3dbbcc45d55632bdaa4bfcd3ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bff2b8d651945a88eabe24b661d417e963e5602","datavalue":{"value":{"amount":"+0.7516219019889832","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":"Q2937799$43521F6B-0D9E-49C2-A45E-B25366CFA475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e457941d3e82eb3cfb92ea5d5846f31931ff0b4a","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1a4f10ac612f9cb5c7a2b2e7b1c3376ca4a6d8","datavalue":{"value":{"amount":"+0.7480771541595459","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":"Q2937799$C1B26077-4C02-4A7B-9289-54B375EAAC29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937799"}}}}}