{"entities":{"Q6156631":{"pageid":13291179,"ns":120,"title":"Item:Q6156631","lastrevid":58728189,"modified":"2026-04-06T12:08:01Z","type":"item","id":"Q6156631","labels":{"en":{"language":"en","value":"Linear depth deduction with subformula property for intuitionistic epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695706"}},"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":"Q6156631$892D588D-BE83-4C24-BFC1-80B24D6B4C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18525494cc98682f70b5826fe9aa4740d7334419","datavalue":{"value":{"text":"Linear depth deduction with subformula property for intuitionistic epistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156631$A5D64F34-4063-4960-A3CD-A8281CB703F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$6064AAB7-A1CB-4D1A-BBB8-D462C8F8DAC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$EE0BA62A-97F5-49B3-99D3-F093D9615FCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e078913baaf6e58e465be4601d94b7e1928c7c65","datavalue":{"value":{"time":"+2023-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156631$FA136607-2DD7-4D95-B9AF-882E5ED934B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"032c9d7056a38bd9b7f4845f052b60547f21dfc2","datavalue":{"value":"https://arxiv.org/abs/2103.03377","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156631$327FCE4C-CF24-458A-9EF1-78AB32496A1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156631$EB9B7A40-1EA3-426D-BA4B-22B3739F44D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e57cb5d0e8e46634cc3df7d8434e00ec0d4d4702","datavalue":{"value":"7695706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156631$AF4D6638-EF81-40D1-BDCB-7FDE22A75399","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803263dce689ca80e4507cacaa16faf87cbedd05","datavalue":{"value":"intuitionistic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156631$1525D147-2252-4F73-AC03-1B34D0B1D5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156631$30F08044-58D3-45DF-80EC-AD4521CE1834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156631$817D3728-2D3A-460E-BE15-D265CD1C4607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55c65eb3e54dbc34663ec27e2c2b1f3956a9d520","datavalue":{"value":"counter-models generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156631$67B13916-3561-4F6D-8F50-CBB211108A8A","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":"Q6156631$9D2E1714-EE2E-4AD6-A250-67FEB6E8EB09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"773263edf3ef37e269cbabc121977343b2711100","datavalue":{"value":"W3134776246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156631$825039A2-7C9F-4763-A623-24F1E964E23F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87dd90803fbdd1d68a6a0b0bde26c985815e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$F664FE9C-A4C4-414C-A4DE-5F79F3187CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663325c912fff6e3777ac3968c26038a2acc2c15","datavalue":{"value":{"entity-type":"item","numeric-id":2062203,"id":"Q2062203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$D86C899E-08D3-4E3B-A7E3-E739FE069244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$81C53E48-3B3B-4EF2-A480-A0E5F3E61556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfea43aded2479ac21730ff47e6c42135cdad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$ECA9D860-C125-41A1-A603-3586FB1BD4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e62e8dc8b88a2b83c54669e1bfa58da1647877","datavalue":{"value":{"entity-type":"item","numeric-id":2946756,"id":"Q2946756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$D92DA290-1075-4BEF-AFCD-3EA81F1998ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$B48A5987-1B41-413B-8FA0-93D31C765583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$E2366B60-7F62-4183-8D5C-E29E51F520D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$9188EE91-3CA7-4325-A0CD-AB186247D493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251e3bba0bd53f2cb2d29e5256bf8b10e26d82f6","datavalue":{"value":{"entity-type":"item","numeric-id":5283428,"id":"Q5283428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$C671B4CA-519D-45E3-A28C-B63A4DCD3056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbda51bf3e60615c40249349602dc3529dcdd19","datavalue":{"value":{"entity-type":"item","numeric-id":2177591,"id":"Q2177591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$428C750C-ECDE-443C-99FD-2B47F56B14EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b827267215f30424dfab181f34e5c4c2f3706780","datavalue":{"value":{"entity-type":"item","numeric-id":2291248,"id":"Q2291248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$9C2AE6E0-6CD1-4BAF-B8AC-F8356D1D35D8","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":"Q6156631$C0934F60-8E13-463E-A55C-1330BF607F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$066BC630-8530-47A4-AF5C-6D8A9023863F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156631$A2AF7C98-8139-4464-8696-FED7A1D42654","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5da8827a4ad8cab7d09e5d9b12e0ba132541db1f","datavalue":{"value":"10.1007/S10817-022-09653-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156631$008CE3A6-08F2-43DF-9D41-B3C73BBCB011","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156631"}}}}}