{"entities":{"Q276039":{"pageid":277806,"ns":120,"title":"Item:Q276039","lastrevid":57345804,"modified":"2026-03-30T14:17:42Z","type":"item","id":"Q276039","labels":{"en":{"language":"en","value":"Intuitionistic hypothetical logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574072"}},"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":"Q276039$4BC546A2-DDBE-4B64-8058-6EF0550E2821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80586670fdb1754c80c7c96dcb017d65a938f547","datavalue":{"value":{"text":"Intuitionistic hypothetical logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276039$5DFA502D-DADC-4AC1-AA1F-0843210699C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60a101983d12eadda2a8b36db26441254f7f2c38","datavalue":{"value":"1337.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$2FDBD288-6D6D-4F09-9748-AC6442AEA919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9b6c09ebaa9e229680388ccd31b48e53d49a1a2","datavalue":{"value":{"entity-type":"item","numeric-id":276038,"id":"Q276038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$421A3E5F-9A19-4EE0-952A-00C611EB8222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276039$905B8486-DE86-4F3A-B370-7B11DBFB9738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$26930BCF-2F90-47E8-8674-30E1300638E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$1B7B1E88-F238-44C3-98E1-CD663E10109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$710619EB-6255-4007-A20A-92A9A1BCE937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$A006525C-91EF-4BE6-8A94-D3CC340F8CF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f9a425e866797b9924ad905c3924d3adff45382","datavalue":{"value":"6574072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$ACA7CEEC-349F-4712-86E0-FC8BDA06E1D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q276039$1F8F1FD3-2F75-41D2-80D9-4713E3D62218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q276039$53BFBD4E-D834-4143-9C7B-ACDBFA8ADD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q276039$C70146BA-AA0A-40B0-AE17-D709E001A75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q276039$69779305-6304-4CDF-8277-9B79E2E92F27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$2D764AF2-E5EB-48F7-929B-EE536F2B14C5","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":"Q276039$E28DF142-18FA-4FA2-B954-86B5B1FFD147","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b75b3a96ecd014052dd0c4e5d21c4e87e85343c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.12.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q276039$C9CE80DB-D4EF-43AB-9853-91C1DEB4BD19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3363f736d34329fa04cfa6658a39b5fe30021e01","datavalue":{"value":"W2015385255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$A0880C4C-A07F-4DBA-B5B2-BC33092DDD8B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b6080a441420eb1333e6d92cfc51c9dcad44abe9","datavalue":{"value":"Q113317924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$3108D3C1-3F92-4D23-8060-AA1D08966516","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":"Q276039$29B6862D-2109-4C15-941A-9E8AF8814137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c86e4b6d0df0925007d11afe2b2afa54d192","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$5E4A38D4-F83A-4D28-A4D6-57144B59CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6455fbb5afa35439549e9692611b09b390c69d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$9D6AC6D1-9E31-467F-8670-527D6C6E89EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8194921897d74a0be3c0f11ec56cfed1890aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4534366,"id":"Q4534366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$437F2127-1E3B-40EA-8D2E-303A9404EFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4187ec3ea62727137c93df33a1a765212354fa36","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$F690D8DB-464A-401D-891F-4B85E9985684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b55c33e3f29c6ff937578edfe680e9e1bdcd52","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$5FCA35F1-01DB-4F5F-8DC8-6B1C5760CF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c432b3a8443ac3dad31e1654e01a0bf43e1fac","datavalue":{"value":{"entity-type":"item","numeric-id":4315015,"id":"Q4315015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$7F4C2CE4-464C-45B4-AC5A-6A820717641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619f2a12be79f23e2780e2b608e11467196a4132","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$612477C6-B7F8-41F1-8ACB-8262DB284052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$A29B1640-153C-4867-AEDC-3718135C81D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191e9aa8283541e6a8e1a9c064cd250820506f48","datavalue":{"value":{"entity-type":"item","numeric-id":4219051,"id":"Q4219051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$312057E9-B3FF-4DC3-9D85-9425E745230F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$196F5B33-C60F-4227-8655-F6C939E9722F","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":"Q276039$2F1EEA2D-EDDA-4A8F-B527-39634A10059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e02cfc41cdaadea99da08430a7a1b743b5cd99","datavalue":{"value":{"entity-type":"item","numeric-id":1406443,"id":"Q1406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$608F924C-C881-4C24-81D2-4472C915950A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf9bffe0d094791e2d600d4864beb5d7e9e4d06","datavalue":{"value":"10.1016/J.ENTCS.2013.12.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276039$DD6A1956-72DF-4FF3-AC6A-9D82A7C32A05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1b093f715ddc2492cfc9fa7718c154ee4b8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2254560,"id":"Q2254560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6663540a1c77553d099d1260623d1cd68b443e","datavalue":{"value":{"amount":"+0.8570993542671204","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":"Q276039$906565B6-B9A2-42FE-8315-E2C83E431239","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":"c1d14f1184b518c8653704c38b7f7fa5bebc26ab","datavalue":{"value":{"amount":"+0.8467576503753662","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":"Q276039$6E6854A9-FA52-4E9D-ABF4-67C1E6794942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6d293412ec27137e9c499546b1328aad012c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3133155,"id":"Q3133155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1129728aa8790351e15f2790efced6e8d83a4f","datavalue":{"value":{"amount":"+0.838790774345398","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":"Q276039$DED11B35-57AA-4A50-84F2-0F3F0E909928","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":"5e05b0170625f27a3d00d1106baa1910697c3abc","datavalue":{"value":{"amount":"+0.8372325897216797","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":"Q276039$C4EFE226-B1F3-4B94-9A17-D347D9948045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe58bb043b51e5c2faba44d3dc2047f39e76d360","datavalue":{"value":{"amount":"+0.7981367707252502","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":"Q276039$DECA47E1-EFC2-4936-993E-4D1F1C943F19","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276039$E04E69F8-560F-40DD-8608-D2AC4CFEAE67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:276039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:276039"}}}}}