{"entities":{"Q2330501":{"pageid":2341244,"ns":120,"title":"Item:Q2330501","lastrevid":71861145,"modified":"2026-04-14T01:01:41Z","type":"item","id":"Q2330501","labels":{"en":{"language":"en","value":"An analytic calculus for the intuitionistic logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120746"}},"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":"Q2330501$0C88A787-46DF-48AE-BFC4-E622AFFFFF2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd25ccc03869f6576f9be9b098d9bb7ff5b88a8f","datavalue":{"value":{"text":"An analytic calculus for the intuitionistic logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2330501$7867E65A-FFBA-4B79-B6DE-702C0DC4EC0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c64e1ffda9b23ddf665e94a603459c426d9d3f3c","datavalue":{"value":"10.1215/00294527-2019-0008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330501$28CBEBF3-2BAB-49F6-AFEA-5B1BC4660392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb59f6d9185e91aaaf08e5392ef43a57e77566e","datavalue":{"value":{"entity-type":"item","numeric-id":306746,"id":"Q306746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$7E6967AC-BBDE-4F04-9918-65902B1DE286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54f3f146d4c950a3a5ffcc19e82123e94fd4cf97","datavalue":{"value":{"entity-type":"item","numeric-id":332081,"id":"Q332081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$45069751-4C3F-4179-B161-2EFEE6DC983C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$7CF597D8-F082-4B5E-A85C-546D42799417","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2330501$F8139EA8-1DCC-450A-B837-EA0451EE69B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7a0d6dabab9d9d073e697146a41bab3c5959fa1","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1562810593","type":"string"},"datatype":"url"},"type":"statement","id":"Q2330501$9A47A544-A743-46C9-8574-F9FE93C40C82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330501$75D9C59B-BE9F-4C45-90A8-E14F31E0CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330501$00D97E5D-9B54-430B-98E7-BE4CA096AFB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd8a2d90180e09f3622d208e213f7b6ddbd62d60","datavalue":{"value":"7120746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330501$B7373D95-8CCB-4A4F-BA31-9959EE49D6F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330501$7DF50F0E-1E91-44D2-AE15-ABD9349CEAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330501$5E1A4075-C436-4FCC-B202-ABDCE9E9B4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330501$9966B502-022D-4401-A533-667DF51493E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35eeac1370a3dd2112a2cbec112c8218de1220fe","datavalue":{"value":"proof sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330501$150258DA-F8DC-4D71-B450-E4085164FF40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$220B0A80-4452-435D-9A05-52A2FC224A8F","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":"Q2330501$CE7F696C-5AD5-4A55-AA32-798A22AC0207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc4bf75d26bd1990887588cd186a385f46c1e5ca","datavalue":{"value":"W2961141088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330501$644A46F4-B0BA-49A2-B72F-DEF143CE375A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fb4db777d970bce29866ab6b1c4aace5bd313a6a","datavalue":{"value":"Q113751504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330501$A9C14902-EC36-4E7B-B2CE-1F3472F35CE4","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":"Q2330501$3234155C-9103-4B7B-89A7-24DD81EAB0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f182e8d068c4ffda3ffda36b3ed008e8979c149a","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$BE6A317C-DA70-4755-82F2-64BF6E3A9114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$ECAA95EE-0E7E-417A-A6DD-84ABE00CB6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$7BD002DA-B29E-457D-8928-5632E3AD8810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc99757941282064ba0a5d5a2730a185cd94c27","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$73F31DC0-13D9-4C1A-9026-339024190C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$86F299F9-E2A5-487E-8C62-51ACDB6C4220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9693da7203e82efb9d439f34024a30f1b1f51106","datavalue":{"value":{"entity-type":"item","numeric-id":4925886,"id":"Q4925886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$B742B935-3523-4E0C-A57A-6E347FC0FC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bf698f7091ef221753c06491acec372662aed2","datavalue":{"value":{"entity-type":"item","numeric-id":392294,"id":"Q392294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$4F7AEBD7-0409-46D1-A531-42D905FFB385","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":"Q2330501$B2585F03-778F-4515-AD2D-4038BF28E67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$8752701C-07C2-41C7-B505-A3AB64ED0168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$B07C5FA4-DCA6-497B-8105-7E0AD5F408CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330501$A8F70BEE-6C91-49A5-BF94-11FB2D0588BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef04f056e51294c419184562d21db6a39d12d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4925886,"id":"Q4925886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b39d22ced32e386d334e1d19d977cad6c5972fa","datavalue":{"value":{"amount":"+0.8380846381187439","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":"Q2330501$1DC96C2F-482E-40F5-BFF5-8378FE6A9A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83338fcff372af0e08e40f67746110c62517e17f","datavalue":{"value":{"amount":"+0.819959819316864","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":"Q2330501$9084C09E-59CB-44A2-81F2-F5C374182ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afb2fe09eb85ca93a8ecde51c771c3b261485e7","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b418cd0d89f7530e3d526a46944851e32f9867a1","datavalue":{"value":{"amount":"+0.807526171207428","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":"Q2330501$4937D05D-4BDA-4085-8EA8-7C5893E3075F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044291259c567a861f70b4edb59a603305874c53","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bcc7edf1c1419820d72bca4f7ea1d6fc6e22040","datavalue":{"value":{"amount":"+0.8074197769165039","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":"Q2330501$90EC8E13-2957-4CCB-A2F6-787174BCE321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5e2ad3605b5201ab8da0f99fc14f7bfe483453","datavalue":{"value":{"amount":"+0.7850332856178284","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":"Q2330501$7DBFCF4B-13FB-4C33-8914-8ABE7E5B7FC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An analytic calculus for the intuitionistic logic of proofs","badges":[]}}}}}