{"entities":{"Q5872865":{"pageid":7902416,"ns":120,"title":"Item:Q5872865","lastrevid":55429249,"modified":"2026-02-17T16:11:53Z","type":"item","id":"Q5872865","labels":{"en":{"language":"en","value":"Justification logic and type theory as formalizations of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638200"}},"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":"Q5872865$D687E961-05DB-4178-913F-3097518F4340","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4810f49bad0f225c90290d2ca57c2e2556d617c","datavalue":{"value":{"text":"Justification logic and type theory as formalizations of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5872865$E596946F-672F-4F86-AF49-681AE80765E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05dbb098bb1a60b648453961023ad958ea749d8e","datavalue":{"value":{"entity-type":"item","numeric-id":2151393,"id":"Q2151393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872865$6C1A694C-A694-4F32-91BF-9CBF4A069EB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5872865$0A302F33-3847-4BDE-8324-7BD7BE3CCFAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872865$C347F064-A3AA-4EBD-98CB-5D420B2FA571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872865$F8C1B36D-8381-4845-BA1C-1E4392FC5ABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c88340e2f3ac2caf48c1a4658a62572a8c0971be","datavalue":{"value":"7638200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872865$320CEC36-D904-4110-BB56-767AC147AF13","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":"Q5872865$82737E69-9CBD-479E-B8A0-45BE9E6A5E19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abc4323d129f898ed240335be55461d3675769a2","datavalue":{"value":"https://doi.org/10.1093/logcom/exac066","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872865$B225593A-4A17-482A-9FB3-429E0E9CC814","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93c6787f5aac2d64157ea6352acbe766615996ea","datavalue":{"value":"W4306874677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872865$F88AD1F1-2DA1-49D3-A562-1E91D4AD692B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"048fc6574a8ab1da99d7225ed4630f5ec4a67c0d","datavalue":{"value":"10.1093/LOGCOM/EXAC066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872865$1FA8E430-53AC-4EAE-9706-82E2AC7A44C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872865$EB2A06B3-5820-4944-9648-44BD718B7C2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a775f242a7efad6b283cce1c5e10d5f26f8755","datavalue":{"value":{"entity-type":"item","numeric-id":2151394,"id":"Q2151394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a823ebd6ef8911c37df0c11d71d649c8635e6fe","datavalue":{"value":{"amount":"+0.989117443561554","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":"Q5872865$EA44E4AF-7975-460D-9358-D645111999DA","rank":"normal"},{"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":"5882d49fb7cbb9427f9ab9da4d1d53dd97cb4b8d","datavalue":{"value":{"amount":"+0.8247482180595398","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":"Q5872865$6697A159-CBE2-4741-AD54-BE0565E9DC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f43234066c2ad9229abb500ae98f7bb3194051","datavalue":{"value":{"entity-type":"item","numeric-id":2820702,"id":"Q2820702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6d7641ae95770d1c97c3ab8d0895b48b8d5d11","datavalue":{"value":{"amount":"+0.8000384569168091","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":"Q5872865$85760FBD-5D91-4F89-BF91-F12698248F7A","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":"d1f1e4d5d514711511b01360a81abb8c526348ee","datavalue":{"value":{"amount":"+0.7796830534934998","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":"Q5872865$D5D1FCB8-CCA8-416B-B783-5D6E3ACE39A6","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":"28ac72c3857894504f621bdf62d90d3762f609cd","datavalue":{"value":{"amount":"+0.7700759172439575","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":"Q5872865$85401EA6-FD1C-4A6B-A9A5-666A31774EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5872865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5872865"}}}}}