{"entities":{"Q2820702":{"pageid":2831440,"ns":120,"title":"Item:Q2820702","lastrevid":52619759,"modified":"2026-01-23T03:08:55Z","type":"item","id":"Q2820702","labels":{"en":{"language":"en","value":"A Curry-Howard view of basic justification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625895"}},"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":"Q2820702$083C9C6B-786C-4509-9B94-3C789AC692BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f49bd9d85bd705ffe547d79ed709d1e6c973e0","datavalue":{"value":{"text":"A Curry\u2013Howard View of Basic Justification Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2820702$ACD324C7-E980-47CB-8917-4CD91CD9C807","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b546069b811a54bb32957af426f77a3e4382534","datavalue":{"value":"1478.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$CA117E05-AF98-4BB4-958C-DAC8ECB02457","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9de3974b35d4533fd42b09e748eadcc11df3ba67","datavalue":{"value":"10.1007/978-3-662-52921-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$82818216-C34E-489A-B726-54B4F317EF6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d48e6fd3d7785bd0d633d944df7d7d04604de3e","datavalue":{"value":{"entity-type":"item","numeric-id":276035,"id":"Q276035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$B643A916-4547-494E-8542-2E16DE932ED9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$28D48D2F-DC44-44D9-A801-335DC5A2C07F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2820702$18FF4A35-6E78-48EE-9335-275BFE2BBF2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$0164D5C7-EC4A-4489-AD1D-574A30C69486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$7947898A-D813-42F4-9B9E-19F2B7F246CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$E5F90A60-7E8B-4C5B-A02E-D990FE5B23F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$AB75DA54-F640-4FD7-98D3-1B3523A8A62E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b960e17f2a538d2652db9fb149bcca429c57b9","datavalue":{"value":"6625895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$EA8F5F8C-29F2-4F57-BC22-E01874E7567B","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":"Q2820702$CE60F61A-8622-443C-A195-23C08DCCF45B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aadb3e7555360e71fce31899a42026b944958dd","datavalue":{"value":"https://doi.org/10.1007/978-3-662-52921-8_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2820702$21A636D8-C9B1-4C5E-B7A2-9ECA963BF659","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"977d3be9aabf9b3f3fc51d9d2093c140e78a1db0","datavalue":{"value":"W2501040502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2820702$45226528-CF71-433E-882D-4244D1DB80A9","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":"Q2820702$87366F7E-E972-45FE-BF1A-959B6C34CCCA","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":"Q2820702$2F9C688C-9DC2-4494-AFB8-639EBA94EE07","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":"Q2820702$ADB6722C-FBCE-41C2-825A-664F395B0DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$DD82BFA1-F662-4EB5-B870-1731BD22A58C","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":"Q2820702$C147E1A8-01B3-469F-B725-B7143FE07712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$DDC47A89-4972-4CF3-B2EE-8BA46F32FE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$BCB4E47B-E83E-49A0-A954-E2FDFA6987CB","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":"Q2820702$BCE01F54-B232-4F53-847D-2E362FEA7D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88345aead25b262786a986063040ce945eb2b98","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$0A987312-4F28-4BBC-A989-3039FB2380FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$8FABFF44-E3AA-479D-AD6B-B010A7B4F062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$6F011B66-1926-4EEC-A302-74BE751A3AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2820702$9F539295-EECA-4677-A598-CBFA07069D52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe426ac3289233ddb1f1c83610c8b4291fe80d","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556c0fa9c344b392b22ad559973a5d85e4fc53c6","datavalue":{"value":{"amount":"+0.8097109794616699","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":"Q2820702$4F59E0E5-1359-47DB-B38C-194583B16254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3669276cdd944464f4db9d1d6b46e5240e15764d","datavalue":{"value":{"entity-type":"item","numeric-id":4612429,"id":"Q4612429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00790ca82bddf0af3bd2ca5ee91eef902a9fcef","datavalue":{"value":{"amount":"+0.7984341979026794","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":"Q2820702$15B09D03-DACF-4318-85FB-B1D6C9DF51FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b3ae1a57e8f534489566e4ee89295ea15e9d0","datavalue":{"value":{"entity-type":"item","numeric-id":5039162,"id":"Q5039162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a89af925e1a91fba37b2ec3f48db5c079f2e7b0","datavalue":{"value":{"amount":"+0.7753661274909973","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":"Q2820702$719AE4CE-0C2D-44AB-949D-38FC79FEAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bee7d35a4f979b2dedd12e3ca311e79a91c086c","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22569c0c517c1a5db482428bafcfb50cc3d14c2","datavalue":{"value":{"amount":"+0.762338399887085","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":"Q2820702$E382E7D7-95CB-4284-8871-3DBA71E3F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44165d1dfa33be0b99a3f2bc9194b5b3b9a5413","datavalue":{"value":{"entity-type":"item","numeric-id":3386915,"id":"Q3386915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ab464854fc18a213e1f732f3340b30158d2650","datavalue":{"value":{"amount":"+0.7615581154823303","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":"Q2820702$60B76AC7-42DE-4CAE-839B-28E644B9E9D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2820702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2820702"}}}}}