{"entities":{"Q5283428":{"pageid":7313002,"ns":120,"title":"Item:Q5283428","lastrevid":58520817,"modified":"2026-04-05T14:09:11Z","type":"item","id":"Q5283428","labels":{"en":{"language":"en","value":"Sequent Calculus for Intuitionistic Epistemic Logic IEL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751239"}},"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":"Q5283428$23ACBC37-9BA7-4D83-9E08-19EB33AB5FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a1b87c62acb14975635c9eb360be7cbc794479","datavalue":{"value":{"text":"Sequent Calculus for Intuitionistic Epistemic Logic IEL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283428$A6448DBE-2223-45E1-9A40-479A458F0CFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9976ad6f0a11d976c9a8c7af5667a33ba05f7f01","datavalue":{"value":"1476.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$3CA4E8E0-C35F-4DD2-A8AC-942EBD05C977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f6f053b0c61502b2d04dcdff356dc26ed9718e8","datavalue":{"value":"10.1007/978-3-319-27683-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$6291C50E-6A9F-4C83-BA96-4F5588C0CD8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01545dd420196ba14e7be9d91b9289fbd6d7cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":5283427,"id":"Q5283427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$540CDD59-8B43-4D77-9FB5-D3A55331DDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$C84AE4F9-CF04-4DCC-BDA1-0263A4056F26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$46EE67AA-3A54-401D-902C-22E19F91110A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283428$E8EEB711-1072-45FF-99F3-594D681968EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"022f94893988cf339cd5835f60a194e6efbfd0e1","datavalue":{"value":"https://arxiv.org/abs/1508.07851","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283428$6282C0F8-6BB1-4E12-BC75-D5EC27549D5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$94F977B3-7DA2-4494-836A-587A8403251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$6B0A7A8F-C26B-4DFF-A63D-01D939D2E22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$DC8DA9D3-DE80-4733-AFC5-75BE527D24FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$D78716F9-1C40-4636-B1AA-43630F1F94AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca4a736afc493430c9edeebaa3f5530f7b352ac6","datavalue":{"value":"6751239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$7ADCC443-97CA-41DE-AB0B-708C444386FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283428$07F6D083-DAE3-4F7C-9461-45E39BFEDA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803263dce689ca80e4507cacaa16faf87cbedd05","datavalue":{"value":"intuitionistic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283428$B92F57D6-D84F-4D11-B4B6-9B66CD75F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283428$EB7875F8-FF61-4F91-B6F6-9875515E058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283428$D2F2B1F1-0F78-4A15-BCE7-8456875AC6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283428$234C1F2B-D304-438C-BFC2-A2666045ABA1","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":"Q5283428$76F0B012-7D05-4962-A30C-46CD30E88610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"962d49b6c41b6eb0e56de5de0d502e793833e7b2","datavalue":{"value":"W2201994833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283428$7EA6C3EF-6C6D-4420-873C-02255520E457","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":"Q5283428$B42CBE1A-D03D-4357-9F42-DD1E06C9C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b6b8d9820e31ab0cf366384bc632171d6fb194","datavalue":{"value":{"entity-type":"item","numeric-id":1185042,"id":"Q1185042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$38621256-1E32-473E-914A-9B4861B13502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$30498AD3-FE69-4A06-B6C4-B0B072FF1EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a5e37cfa8fe119d133cf38f120bfd07e3c3368","datavalue":{"value":{"entity-type":"item","numeric-id":2443327,"id":"Q2443327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$D187F9E1-DCDF-47F4-89EE-7D14DF2F3B09","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":"Q5283428$CBCFA812-3C60-4952-846C-511C82B12011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$F6CBBFF2-D97F-42CB-B954-59831A44BA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$7F72BA65-3CB0-414C-97E7-78BBFD87B6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$3CC79166-9F5B-4EF1-B8F4-13EB81F11860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163cdceacf742ef85655b629542f8c50e5d6dcab","datavalue":{"value":{"entity-type":"item","numeric-id":2498910,"id":"Q2498910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283428$9EB89F29-7A35-4C7F-9B60-30FCFBA3E0CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22836fbc3fd55e9d636a33201e3c9e47096fe2d8","datavalue":{"value":{"amount":"+0.9424777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$2EB01D1E-464D-421E-B785-285886499897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afb2fe09eb85ca93a8ecde51c771c3b261485e7","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e1ca4f3c6caca903d539fae4235904a449b275","datavalue":{"value":{"amount":"+0.9374487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$BD2A8B49-2E3A-452A-B7A9-AC800DF17946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac110c0e50382251469e3d37bbf2fe302dc335e","datavalue":{"value":{"entity-type":"item","numeric-id":4645232,"id":"Q4645232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010f4cc59c8a9816c1f3627e79d326e4aa411f53","datavalue":{"value":{"amount":"+0.9227766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$76C94176-C9BA-4269-A0A9-FE2BE7A15E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc67fc089b9a820b5c7631f023b4093e9978d15","datavalue":{"value":{"amount":"+0.9203074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$4EC3F4DD-411B-4A4E-A067-78FAA13312CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d28c86a920167957a04c40173fd3d56eea7a49","datavalue":{"value":{"entity-type":"item","numeric-id":1982008,"id":"Q1982008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c1ca5a11058be6ed0be97539f6b8dbf7a384aa","datavalue":{"value":{"amount":"+0.9175766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$7796B0CD-3708-46FE-B561-0990C751DBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf805375fc23bb3dbde2c60618c8b3228c1ef88b","datavalue":{"value":{"amount":"+0.9171469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$B75809F5-C7F0-4D2B-AD1B-CD6FDC704789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c710db4eaf5ba52fc5fdcdea032f1f85e2cef","datavalue":{"value":{"entity-type":"item","numeric-id":1679793,"id":"Q1679793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1ed807f8b5ba565fd939415298dca178bc9988","datavalue":{"value":{"amount":"+0.9154396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$EA22B6DC-9B6F-4FDA-8BEA-FC8740DD4421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476f9cbf5d62a5aa1445ed4848605821c3cc3d6e","datavalue":{"value":{"amount":"+0.9152508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$BAAFEA68-941F-42A4-9976-A4DC9AC0A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d124e54e956632ca256a254d92a31ffa7f319a","datavalue":{"value":{"amount":"+0.9150686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$2D454260-DC3A-4638-886E-BD14E6E3A7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb302c9c0410950822a1933c91a70c7b3d6e6ce","datavalue":{"value":{"amount":"+0.9138086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283428$14BB738D-7929-476F-B78A-D3E06F838208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283428"}}}}}