{"entities":{"Q2974784":{"pageid":2985509,"ns":120,"title":"Item:Q2974784","lastrevid":58085403,"modified":"2026-04-03T18:07:11Z","type":"item","id":"Q2974784","labels":{"en":{"language":"en","value":"On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \\(\\mathsf {LC}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703919"}},"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":"Q2974784$E2505475-9098-4D9D-BB82-79DD15973AD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea04e50ac9741b2ad8eb0d9db4d6a1acf161790d","datavalue":{"value":{"text":"On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974784$5D2E27EE-2591-4497-B5A2-04919F75BEAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46466576f81b19e3ab959d15d8a5bad1a936f080","datavalue":{"value":"1445.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$115A3CB8-8BB6-410A-B0F2-5DB376217DD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ba2905b2c994b54d942425cdb85c63b33bf3d18","datavalue":{"value":"10.2168/LMCS-12(3:13)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$A4FB59A8-2FB3-4E87-973A-9ECC2D37BCE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$763D1B01-3D5D-432A-BEC6-CBF74513EEFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$F102AE6B-28C9-43A5-9E7A-CA877684A189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2974784$5BE4F707-4D81-4728-8138-B3ECB4D7B20C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0963b870a0fbf8ecee6743d385aafe46ef3c65d1","datavalue":{"value":"https://arxiv.org/abs/1609.03190","type":"string"},"datatype":"url"},"type":"statement","id":"Q2974784$8885B64D-859A-4180-98BB-681E42D5733D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$83096BD9-BACF-4802-A84C-BFF219F7F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$26524A69-E988-4306-B276-A633A6FEC81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$9A36A706-BD42-476C-9954-F0260F456301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edca03107d31992470206da0ef7c072c7327bc82","datavalue":{"value":"6703919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$C06BF66B-6E01-4ADF-B852-6B2EE1CFED35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974784$281287BB-4FA0-46F9-9ED1-3B0B3A6F4141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fd830a01df981907a0b08d38c458eb4d064faf","datavalue":{"value":"Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974784$DDBE6291-00E1-40DD-B185-336A1FC9FFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974784$BF8A7D5C-1E61-4079-90DC-42E92A7850DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974784$7CC83973-88F7-4DB8-8166-D69E99857DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974784$33874DF1-BE29-4D09-AC59-6324F58340C1","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":"Q2974784$8455D851-6E27-4FFD-BB5C-4A456E37CC2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cffef9e6c7e560efcb53762234fbf9268af461df","datavalue":{"value":{"entity-type":"item","numeric-id":4649536,"id":"Q4649536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$0A8E93C0-9873-4A40-B9A1-8C9B7A59E49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451e8764899cc52a0047ac8fb5b219b93ff255f7","datavalue":{"value":{"entity-type":"item","numeric-id":5300892,"id":"Q5300892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$58127629-DD52-455D-A453-FB6F643C2644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f636620dd85fbd6e49244a79e4b513248fd86d89","datavalue":{"value":{"entity-type":"item","numeric-id":2968408,"id":"Q2968408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$A9C02453-3ABE-4230-9B1B-8EE36E7FE5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322cb536d18d13274b87adcf8c32b9e9e2e2316b","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$D9551F3C-90F3-4C39-896D-E4D842EE80FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$7AB2E10E-382D-4629-97D8-3BBE6FE7F89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0cbc89235da567e2454663ccf3354b31f5e30b8","datavalue":{"value":{"entity-type":"item","numeric-id":2784584,"id":"Q2784584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$DD5F19D6-5C5C-426C-82C0-493BB6867D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$21F1B8C9-EB94-47FB-990A-69F93B64AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1683dad1d997120e0c40f2546a5e40b099a7d893","datavalue":{"value":{"entity-type":"item","numeric-id":5262474,"id":"Q5262474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$DFD52316-237A-4C06-AA06-7DCDE1DAA514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48e9b8e84cf9b3c532b9fc4eee79bd50b0243a2","datavalue":{"value":{"entity-type":"item","numeric-id":4068683,"id":"Q4068683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$ACE7CE56-4717-4D34-9B02-03FBEDE7C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e89d8d03393c956719e9f366cc5f7a6ed4752f6","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$3CAFFA55-9F0B-41F4-8999-3F3EED897C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70578058965d2cedd8dbe1f19fa5de0174951ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2753680,"id":"Q2753680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$9209B202-9B74-47B1-8B49-730BFFC36052","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":"Q2974784$AA18B95D-4D14-4C5E-9961-48FFD6169A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$38F442C8-CD07-4066-8A8C-96C8837A6853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$D3ECF3E0-D825-42CE-ADF6-570AFF7C8C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5495ef133241e108f27ddbde3097a8e890dc1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2900262,"id":"Q2900262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$F2CC9663-BD9C-4D60-84D9-823AFC31A4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$E4502AF3-A283-493B-8814-7ACAEBD7D6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$FEB41CFD-EE7C-4CB0-854A-E7C5141CBBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fbd3128af99f3b30056555f82f2c5f24660b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1677040,"id":"Q1677040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$7C017C5A-8C4E-42B7-9166-5534DCEBFCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$EFF6BAE0-5D62-4392-8BD8-FCCC28883B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$C3581588-0141-4BDA-9030-EBCA8B70124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974784$7738B8F7-EFE2-4381-AAC2-6540D3355970","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3386dfb31eb3c961e003da3575481193e74e258c","datavalue":{"value":"W2950132283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974784$6ECF0641-36B7-4D37-8EC3-AB48E1719438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad9f76053e2eec268eabfc3f030a1df49e12bb0","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a8d9c991348a053fffb5623950e7153750fa5f","datavalue":{"value":{"amount":"+0.8125872611999512","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":"Q2974784$8198ACF9-CD45-41F1-9AAE-1089A6B65B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664a0ee14635908bc683f255f912037569321d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41d22c9960069c0b32cda74917d733de03cd958","datavalue":{"value":{"amount":"+0.8099028468132019","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":"Q2974784$303EEDBF-5ED8-4077-AD7B-0533A7F7789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380e1c0c1aa452e0639db3d3d54d9a0a686da94","datavalue":{"value":{"entity-type":"item","numeric-id":5144622,"id":"Q5144622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ebe91edae694eba25cd600695203afcdac67e9","datavalue":{"value":{"amount":"+0.7793377041816711","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":"Q2974784$A5762A1E-18F6-49B3-B800-6F3D121C9957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee4b060e4cceccb096074df550ab798089690f0","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e708d086b55accc0f0fdb4de7299d14bb123e770","datavalue":{"value":{"amount":"+0.7676025032997131","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":"Q2974784$E42FC4DA-2F5F-4DD2-8393-5CFDAE75A423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32172d5b0fd562ee6c87aba9e59cf108f60e47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e0ab1897455e5963c589d15b445059658b456c","datavalue":{"value":{"amount":"+0.7646425366401672","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":"Q2974784$4665569C-08AB-4DC5-8079-044EEC46E055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2974784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2974784"}}}}}