{"entities":{"Q5283437":{"pageid":7313011,"ns":120,"title":"Item:Q5283437","lastrevid":58520820,"modified":"2026-04-05T14:09:14Z","type":"item","id":"Q5283437","labels":{"en":{"language":"en","value":"An arithmetical interpretation of verification and intuitionistic knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751247"}},"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":"Q5283437$F2FFBD8C-8472-4375-A99E-C40E83DCC9BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f50bda95dcd6875a9d34d3a4b1143f8a659ae2b","datavalue":{"value":{"text":"An Arithmetical Interpretation of Verification and Intuitionistic Knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283437$748AC905-F3A6-46C5-BA1F-2C8617C5CDF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c67cc498e94c8d0739c8301d06712db70d26d61","datavalue":{"value":"1476.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283437$F0F88063-C2C7-4489-A0BD-56A62A7576B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"238a06e3d0ad852476c80842cfa8056dab0bb2d8","datavalue":{"value":"10.1007/978-3-319-27683-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283437$199D0F28-FAE8-42C4-8F07-544297905D0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e945fdd4b5a3ec5a31891285c4f0bc809c7190c","datavalue":{"value":{"entity-type":"item","numeric-id":2443345,"id":"Q2443345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$9AA8CFBF-4BC5-4F04-9883-6D4F37250BA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$5FD6ABE2-AAFA-42D5-AC73-9D090379DBCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-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":"Q5283437$5DEDFB1E-5118-4F22-9F83-6D74FE49CDB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb71196866872fd73f8eb2a9888b09e9aa812ca8","datavalue":{"value":"https://arxiv.org/abs/1601.03059","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283437$5002D19F-9025-413B-96A0-153BF18D1757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283437$96B39281-0247-430D-8F0E-0BCFCCD66B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283437$9EAE1232-0321-4BDA-8032-4E9130F20F78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b68250054f7f3fd06b03b33da62a3784cda32a6","datavalue":{"value":"6751247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283437$2F37FD56-8F90-48EF-88A4-42853DEFF0C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803263dce689ca80e4507cacaa16faf87cbedd05","datavalue":{"value":"intuitionistic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283437$A0AC1651-5123-4A49-8981-DF862E06900D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283437$C8A250A1-23CC-4CD8-BE2D-4440DEF3DB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d68bd2cc1cbb367511684fac333a80573e4a91c","datavalue":{"value":"arithmetic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283437$0912ED1B-0DD6-4E6F-AB13-77CDAC54B334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a394fcd9600865af08c38aeeb81f56df6a28ccce","datavalue":{"value":"intuitionistic knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283437$DA736CEB-6C78-4661-97C9-8A9F4305D987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c95d6371d47e86c84e2b2a5b875b171f4c6886","datavalue":{"value":"BHK semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283437$6F95A6E0-D9FC-4D3D-AABC-56388729F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283437$06A358D4-74EE-4BBF-A7A7-26CEE0602652","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":"Q5283437$E957AAC6-7C96-462B-A708-0CD256367ED3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"847ba5acf7b014a26eb0fd07553079707c787223","datavalue":{"value":"W2238084375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283437$2D02C762-2EFB-43E3-809E-2F488017391F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$87D0C508-94F0-492F-91B2-388D0F85B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f082372987ccabc92cbd0d14c450ff1b25ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":2500478,"id":"Q2500478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$2BB9B040-C320-46E2-B98D-C397019BE760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$AFD5D656-BBBA-4CCA-8BE9-E5C763616405","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":"Q5283437$4FBF9005-07E5-474E-A277-FF38876FD7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$DB2AEB22-4278-4555-A8F3-76AA2515E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd4bc953f527eefb1cc8a55dc47f07985f7ef44","datavalue":{"value":{"entity-type":"item","numeric-id":2500480,"id":"Q2500480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$DFB4226F-7C68-4347-8A0A-E290DB92192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$979C2854-F22E-4A3C-9DA6-E89AD1C29EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$A740066B-7BEC-4DDD-BBAD-C9794FDE647E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$06F9E483-AF5F-411A-A939-26083D2CA086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$6E7FAFD2-A74C-4727-9C6F-C63C00742A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffbdb336c8a58fa93bf32ec4b46e775f2123ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3457712,"id":"Q3457712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$0DEBC90A-C2D2-4F90-8DAC-2E25C231AD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283437$E5F6395F-290C-4FE3-8892-9A51DF0A98FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba5e2dcc44965bf730a7b641892b0f206ac96bb","datavalue":{"value":{"entity-type":"item","numeric-id":5108030,"id":"Q5108030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b51bca3a825bf1da1a34767251a3f5772d3860","datavalue":{"value":{"amount":"+0.9820966720581056","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":"Q5283437$6BFF4DBE-A7BD-4E7A-A801-1C9799A740E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7907095c48225d90e8f5fe7de394828f4c2b8afe","datavalue":{"value":{"entity-type":"item","numeric-id":3457712,"id":"Q3457712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2c14ecb637524a0b6d25ec744f5ce5e1ee392a","datavalue":{"value":{"amount":"+0.8435637950897217","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":"Q5283437$A4439343-CFD9-4A2D-A8CC-A03BE7971959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09988a222abae9cdc9b6d23223877f09c66dc240","datavalue":{"value":{"entity-type":"item","numeric-id":4001984,"id":"Q4001984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5514b6eb8b8fa6eb44eac959cb7fc1cc36f9ea41","datavalue":{"value":{"amount":"+0.8026817440986633","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":"Q5283437$EC544482-D1DF-4BED-9F16-8B759F4E9395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe5eba631a8ca018558b9523e2fbf6fdcbc084f","datavalue":{"value":{"entity-type":"item","numeric-id":1625594,"id":"Q1625594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca09dabb43113d8fd5dabba7aa2939f351f05b10","datavalue":{"value":{"amount":"+0.7956084609031677","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":"Q5283437$8C65AF37-1144-45C1-8610-72010B65C681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fad505674d204a25e10d4984699a1282160f761","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828fa9dbcd8be512ff78ca332f98d0b5b3deb9c9","datavalue":{"value":{"amount":"+0.7890527248382568","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":"Q5283437$FDF8137A-05B1-4369-AAB2-917F6F21AD70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283437"}}}}}