{"entities":{"Q2062203":{"pageid":2072945,"ns":120,"title":"Item:Q2062203","lastrevid":82536356,"modified":"2026-05-06T21:08:11Z","type":"item","id":"Q2062203","labels":{"en":{"language":"en","value":"Curry-Howard-Lambek correspondence for intuitionistic belief"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450678"}},"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":"Q2062203$9B9A2D00-8235-46D1-9232-FFE2433D5E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9e195b6de34a3dbe5f47ca5f61300e9006a0eaa","datavalue":{"value":{"text":"Curry-Howard-Lambek correspondence for intuitionistic belief","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2062203$1EE135E3-EBD2-4B91-B538-F5C5A29E311A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e7d692191b67bbb24ac678c3610c7474581e82c","datavalue":{"value":{"entity-type":"item","numeric-id":2062202,"id":"Q2062202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$DE7DB854-0D91-4E27-936F-094BD4EE93F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$92DFF9D1-79D1-4766-B29A-2FE5A057EA76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e280b55b5616e58d755c5121c3b03bd5f8690da1","datavalue":{"value":{"time":"+2021-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2062203$D0A0D343-ADAD-4F3B-AAF4-F2441080B4A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e82a5d0ba2410312bf599fa1f3a50fd4dc2d133","datavalue":{"value":"https://arxiv.org/abs/2006.02417","type":"string"},"datatype":"url"},"type":"statement","id":"Q2062203$77F65E95-5EC1-4315-9AF9-EE49ECACECE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062203$172FA173-6C1F-468D-982B-3256510544D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf6738098f7c65fb8e278b16c07e7f26e6ea950f","datavalue":{"value":"7450678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062203$16C3EAD7-A647-4DD0-BD6D-37AF49FF05E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062203$3B4A89FE-944C-4364-9CFC-903803DA3BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062203$1DC565F0-9FC9-4FDA-BD2C-97F72766FD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e41da6e9532d18d4b0fc3098833cffdeff51969","datavalue":{"value":"categorical proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062203$70167877-B6BF-4CF5-B9CE-93EAE4BD1307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a278ca41aeffd803235a81f8fccb632735b2a2b","datavalue":{"value":"modal type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062203$5525711C-DDBA-458B-8D0C-52976CD122D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bae4da4287c52c0508281f327918fe4528dec69","datavalue":{"value":"proofs-as-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062203$2DCDF229-C495-4E93-A4F6-273D784EBB92","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":"Q2062203$EF120A3C-A775-42B3-87FF-B6CF2403B174","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac2e959ddd88e4747e63f7faebdbcedf7de99a7b","datavalue":{"value":"W3172691083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062203$933B5FC0-241D-497A-A6ED-63030D39F22C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$FB6F5930-1418-4ECE-8E0B-2575D330D319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87dd90803fbdd1d68a6a0b0bde26c985815e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$4B665F76-6CEF-401B-A547-EA17BFEA7367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$4931C2A5-047C-4B0C-A16B-2C921346AC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c43b5305804b9a8d81c8c472c25b8921246913","datavalue":{"value":{"entity-type":"item","numeric-id":1400711,"id":"Q1400711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$DCD4A67A-4A9A-4E9A-9A89-65CED13200D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4d1ca7f25b92ca454cfb71f5476ea102551f92","datavalue":{"value":{"entity-type":"item","numeric-id":4918421,"id":"Q4918421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$611F488A-89F6-472C-841F-ADD16490C87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$7032081A-F3F3-4EAD-8878-EAD94B56A6B5","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":"Q2062203$25F05C0E-217C-4461-A2C5-71B4C0F73C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$61C5FD6B-826F-4813-AEEB-F8367B9BAFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$6495D35D-EF47-435C-B288-3CEBC04C14FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$ADA78243-EA4F-468C-8C1A-563E78E65519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf3312235afe72a99b4e3f5db3d2955497177b8","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$32C57768-5172-4410-8610-BC5F757373B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$693185B5-5F28-4DE0-9E8F-22B2BF120491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$3FB61E45-4C48-4F7B-B09E-0650D36C1102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae99f13f02e4409a0a1f87f0ae24b3d0e3c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2534695,"id":"Q2534695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$E0A0AF64-5338-4238-BC4B-B89494673362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d306fe5453e13dac5aace6f82668ff9863de3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5904363,"id":"Q5904363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$08C6BAF2-9C08-490F-A4E6-7E02711C0496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$A6B97AD3-9E1E-4E1E-BAE0-BE241D65546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b6b8d9820e31ab0cf366384bc632171d6fb194","datavalue":{"value":{"entity-type":"item","numeric-id":1185042,"id":"Q1185042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$FAFF5932-49D5-416B-BF5C-98680604A477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5f38dc760df333c8e335d305c902206d60e7939","datavalue":{"value":"10.1007/S11225-021-09952-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062203$818E4AA6-2680-4F73-BCE7-6D3FF68A96BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2db47f0d2a26e26e325a5e6b1cb1335505c1ff","datavalue":{"value":{"entity-type":"item","numeric-id":2177591,"id":"Q2177591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa861d16760f6369bfd88684bf072820743c63fc","datavalue":{"value":{"amount":"+0.8055660128593445","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":"Q2062203$B5FF22BA-B8E7-4CBF-9289-D46D7E547F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46d541e9766da545841d2fb0b5052e7a3b474c","datavalue":{"value":{"entity-type":"item","numeric-id":5028321,"id":"Q5028321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff69bfcafb1ed0db918b64aa1e1a11d2acb7612","datavalue":{"value":{"amount":"+0.7913304567337036","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":"Q2062203$C3FCE685-9BDD-4F7C-A1B0-4310158C0104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48dbbaf88df094c4c610a5fe7124bb1ed6ba2899","datavalue":{"value":{"entity-type":"item","numeric-id":4918421,"id":"Q4918421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f20047d21ba7945dabf80a6d573908d5ca101f","datavalue":{"value":{"amount":"+0.7736386656761169","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":"Q2062203$3D10B1D4-3397-45BC-B817-B547012BF77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfc6b43e47274d9a75678a1846f55eb7d600fa1","datavalue":{"value":{"amount":"+0.7533984184265137","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":"Q2062203$CFB1D9E4-5270-4F86-AD34-BC9B267E57D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf14bfe82e6ebee046aa9b09efe2ff06a4d6c57b","datavalue":{"value":{"amount":"+0.7462545037269592","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":"Q2062203$0F51310B-362F-45ED-8FD0-05DFBE47B01B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062203$7B871C78-EC7A-4E0E-9148-DA9EA5AA9920","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Curry-Howard-Lambek correspondence for intuitionistic belief","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Curry-Howard-Lambek_correspondence_for_intuitionistic_belief"}}}}}