{"entities":{"Q5376691":{"pageid":7406265,"ns":120,"title":"Item:Q5376691","lastrevid":53427617,"modified":"2026-01-24T22:52:24Z","type":"item","id":"Q5376691","labels":{"en":{"language":"en","value":"Justification logic. Reasoning with reasons"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056607"}},"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":"Q5376691$112AA1AE-2655-4A14-BA8F-780A6B720553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5d5bf465cc9e0e07b90b650090edb3a0993dd07","datavalue":{"value":{"text":"Justification Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5376691$3825295A-0E07-4626-9568-4F7E6E5E765B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c3733d09bf2242b9b1e48f0ef493b8feba9f7ef","datavalue":{"value":"1479.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$E9AFB834-38AD-4419-BDF0-F18FAD36DFBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b0c9ee5010c3a66e679ce2768999f42462c0afa","datavalue":{"value":"10.1017/9781108348034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$5C5F7BE8-59F8-4860-B820-97D18EE303FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376691$5092C862-EB4A-4351-9406-0DA960C10DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376691$ABC7AC67-0750-4EA6-B748-C9B0F54188FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff447296bef390af9bbc2815788c2e74961068e5","datavalue":{"value":{"time":"+2019-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376691$4408AA5D-AAD1-4CC2-A745-F5A7A38ED86D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$7078E22C-F194-44D7-B242-A165F3D71744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$9349FA64-443A-4DDE-BB8A-78EDCA07BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$7153C00E-08EA-498F-921E-20D11A5D752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$AF459112-84F9-4BCB-8A42-4C66279A4AFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56635b1ea54446fca0d213bb655ecda8d4ca25fc","datavalue":{"value":"7056607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$BE4D723F-EE7E-4ABA-9D59-11BFE3E20308","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$FDFDB49B-3EB6-4080-A016-6D706A4C51E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26704c057432c4db41d62463d45564f3c8de82bb","datavalue":{"value":"Brower-Heyting-Kolmogorov semantics of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$0E37475E-7B2B-4904-9755-9D0F3B6ACF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f443606b0596c5e26d973de6d43963523a5897","datavalue":{"value":"basic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$58084939-724D-4E18-8F55-00BBDDA1EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26b382228bc90c411989bb5329842e6fa26d119","datavalue":{"value":"Mkrtychev models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$81471477-8C71-40D4-986A-058318ED8683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd3dc94930f76adbd30a6c6b3f7ae95b32466a2","datavalue":{"value":"Fitting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$8D1DC78F-CFE6-46B6-9B4C-6E5AD5BF843F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$45017C08-15B5-4CDF-A042-C35D6E61C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb99e7684cd203a34089facf4cf1f71d95f4ab07","datavalue":{"value":"Geach logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$409441B2-A8E0-4808-8D02-31247C88F6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$5B0F51A2-7B17-482C-A2A4-C9302722C8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$5F128EC4-BE60-4E73-942D-78FB2920493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ccb1f51beb2ae41b44a3eb93b762984d0a057d","datavalue":{"value":"arithmetic interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$A52C751B-AA87-475A-950E-6C116646000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36dc2e82a7f9bcd1fd35f2693628630307cb3df2","datavalue":{"value":"Russel prime minister example","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$87115320-4C44-453C-972A-092C4DF658E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df07e47f2f3a84b49cd13eeb4b7e832082993a7a","datavalue":{"value":"justification awareness models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376691$A0DF8DE4-9DD3-4C4F-B5E9-7F535A51DEDE","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":"Q5376691$08DEC249-649D-486F-A9F9-EC31B98A22AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f53e873715e3dc4439bfa74e3d72fcdd3f9886b","datavalue":{"value":"https://doi.org/10.1017/9781108348034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376691$FDE7AC12-814A-42B9-BFAC-13D990518B61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6219a6d0b635e4881b398e986c997110a06be37e","datavalue":{"value":"W4211092209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376691$6114FE09-7B78-4247-833E-AB0F61E6C617","rank":"normal"}],"P1643":[{"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":"09dbafdbe8424ce33c9bb810b896a646c5329025","datavalue":{"value":{"amount":"+0.8812074661254883","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":"Q5376691$E783D184-C543-4810-B9CE-556544BE0C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860145fb1be25352512e40873127c83cad396619","datavalue":{"value":{"entity-type":"item","numeric-id":636276,"id":"Q636276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be8ec4f12e0934ae2f8f1742e30a8d5cb8c5a1c","datavalue":{"value":{"amount":"+0.8737261891365051","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":"Q5376691$C2F60911-7276-44CB-804C-05C9A5195D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb4caab70cd2e3fef993672f7136f4078fabbd5","datavalue":{"value":{"entity-type":"item","numeric-id":5434508,"id":"Q5434508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c605789961f1b79c8b37d4adc38a61a686fc3f","datavalue":{"value":{"amount":"+0.863510012626648","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":"Q5376691$CFD7D62A-644E-4AB6-8835-DAC401F8D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ff6608b7da2e212e876bf74689dbe24421c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2284501,"id":"Q2284501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c2abf50407f6c4e5a57c2660c87f3fb8ef3474","datavalue":{"value":{"amount":"+0.8541855216026306","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":"Q5376691$C505AFBA-103A-4B31-BC6D-1D3A5D653EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5646299774de4ddc4302c0fd8a64fd9710fe67d","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89481dd20e86371aaf3abd028e1a6d6dc9f8c5b","datavalue":{"value":{"amount":"+0.8506893515586853","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":"Q5376691$0B3DEFC4-7077-49BB-BD26-86998C8587C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5376691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5376691"}}}}}