{"entities":{"Q3165756":{"pageid":3176472,"ns":120,"title":"Item:Q3165756","lastrevid":58133523,"modified":"2026-04-03T22:55:21Z","type":"item","id":"Q3165756","labels":{"en":{"language":"en","value":"Cut elimination and realization for epistemic logics with justification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6095697"}},"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":"Q3165756$D855E3C5-432D-4D10-B2C1-435AA53FBB47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebae565b5d7e4fffa846a4ec4291e29cf55e9328","datavalue":{"value":{"text":"Cut Elimination and Realization for Epistemic Logics with Justification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3165756$F37A8502-68C5-4AE3-A99A-EC66A4643BF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc83e996d2354db84ffd7e8b319fb1870ebeb822","datavalue":{"value":"1282.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165756$17BFECB1-F45E-4C45-A9B6-290405044493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720929bc0e9c7898e5e15d3c8d2a09ecc071ce","datavalue":{"value":{"entity-type":"item","numeric-id":331047,"id":"Q331047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165756$AB221ED5-43E4-49FE-A3B6-2BD09CB4E176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab32e99fedf2a409351a0b6b4a08c5ad35e44985","datavalue":{"value":{"time":"+2012-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3165756$2AC026B3-65F6-42ED-9B4C-21330669CAC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc135d5a294e2a919c3155fb39ffd88fb50e5204","datavalue":{"value":"https://arxiv.org/abs/1401.1065","type":"string"},"datatype":"url"},"type":"statement","id":"Q3165756$93143AFD-DDDE-42D7-8054-845A60AF7FC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165756$2836FC81-EFBD-453F-90FC-972C03AE451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165756$B4E113A6-E4E4-4FEF-949B-7A5CBED643C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d54ec0def60f0203b2dbdf3dd5ff4b0f0a69efb7","datavalue":{"value":"6095697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165756$CEA39F86-1717-442B-B27C-1B5811C30B9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5545abc8b18618f515aebfe0a0f2c81cc8fe80e4","datavalue":{"value":"logic of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$0AEFFFC4-5FD4-4253-A2EF-A552E499451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c571033ff16c215e1f7abc9954ffeda487dac7f5","datavalue":{"value":"logic of justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$4EB7C137-C372-4144-BE9E-BE03A236BC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce6f205e054717a47cde8036b26de53507d1b33","datavalue":{"value":"realization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$5ADEDCD5-F7D6-4334-8CD5-80A8CA55C5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3b1ed16c695b31cfd46c98919ebed5d0566487","datavalue":{"value":"epistemic logic with justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$20236CE4-F35B-43A1-91B7-3AB6DF8DAAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$E6A6B0D7-B2C8-4B46-BA11-5DFC90EE6F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$658CC12C-EA93-42C5-B3D9-2EECB6E76F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$30780000-F46B-4601-9428-4F59E05CC435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae419e619a6fae2974e0914695732d330b8ba10","datavalue":{"value":"weak subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165756$0A9F4425-058A-4BD1-A93D-FCC42CD6F02C","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":"Q3165756$95C4FA0F-9D0E-4AD7-AF4F-8CBB883BF90F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b773ea822e361a3a5957ffa5e53e5be9e6d1036","datavalue":{"value":"W1970962608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165756$444A023A-7BB4-48D0-94BC-D385B7F86CBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6101cd1296ee4c9385ab05918bbf8ea62518b1f7","datavalue":{"value":"10.1093/LOGCOM/EXR017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165756$69281EEC-A394-4230-81F0-BC4D524CFEE0","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":"Q3165756$BE0CA1B4-2AFB-4CA3-908A-BC2AE00CC2FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea2b2178e2f4f1758d3d0a0dad379a2d88377f1","datavalue":{"value":{"entity-type":"item","numeric-id":4898096,"id":"Q4898096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8bf51c4ba13d640be1ce4ed189a78fa3524805","datavalue":{"value":{"amount":"+0.9086276292800904","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":"Q3165756$50A0783C-3CAB-4BD4-892B-D68A7D6B34E4","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":"a6eff22b6335029207fcedd798828502a21cc263","datavalue":{"value":{"amount":"+0.8545647263526917","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":"Q3165756$32383384-4B4F-46BB-86F3-C54B2B6DBE27","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":"0790fbef3c6aa750d64eceb580d62c7e712f07ce","datavalue":{"value":{"amount":"+0.8511633276939392","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":"Q3165756$BAAB2D34-F948-4220-96B1-E0D70A359030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1e97173db305564213a200ec48a7aa5ca858bc","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c66c293207261238729f9caf5c49d5684935487","datavalue":{"value":{"amount":"+0.8486773371696472","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":"Q3165756$C83932FD-F78D-4290-A821-630B2BD92BE1","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":"8e3574e26bcc7b88afba2b9025d008d7684af658","datavalue":{"value":{"amount":"+0.8468926548957825","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":"Q3165756$DABF1B7E-444D-480C-A7BB-C4E556389059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3165756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3165756"}}}}}