{"entities":{"Q2376368":{"pageid":2387111,"ns":120,"title":"Item:Q2376368","lastrevid":51754100,"modified":"2026-01-19T20:47:52Z","type":"item","id":"Q2376368","labels":{"en":{"language":"en","value":"Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6179673"}},"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":"Q2376368$29D6C9E2-CB5A-4D5D-B635-1AE5791473E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf51bce3fc420fcc08a9e5a29c2f6bac46b646ad","datavalue":{"value":{"text":"Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2376368$AB4752C9-56DF-4C04-98A7-5CE92B8ED10E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"851132e910ed2508c22e0f031cee111397d1fa28","datavalue":{"value":"1266.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376368$65A8F266-C8E0-473D-97AE-F320D5DDCE01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$32A2717F-0957-4CB7-B4A2-D7BEB270D710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73d54c068024a6691e3eddf5e7c06aaa450df9e3","datavalue":{"value":{"time":"+2013-06-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":"Q2376368$5D1FA496-4FF8-4722-A024-4F23D97BCCF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376368$045DC6AC-669B-4958-9117-E533454AE859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376368$32670F2B-6C20-41C8-BDC0-B458AD0D1640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57af64627e5f462364e1ee674aa1ab20d76c9ad","datavalue":{"value":"6179673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376368$EEE6C6FF-1D0D-474D-B492-19B18C4ADBB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30b0b6f2e1cac8077b7d1b0102cfc80b755e1ed5","datavalue":{"value":"temporal logics of knowlwdge and belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376368$ECB9178D-233A-4DC8-A15F-7721A97F396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376368$9E901887-64E9-41E1-90B1-594AF24B1846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376368$D6E01999-15C7-4BA6-9E7B-D11347E805F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06a0530d6e656770d4e3cbba7617d6c7a5072c5","datavalue":{"value":"awareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376368$DF8DA5F6-0296-4FB9-9348-CEA70BE5DD1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$6373F875-59D1-4F36-A7BC-FCF365EA56DF","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":"Q2376368$740881D2-437B-4550-921F-B3D06B8549CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be663ddd52503b69514ac8289599c355ddbc8b99","datavalue":{"value":"https://doi.org/10.1007/s10986-007-0019-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2376368$5F2FDCC8-3A61-449E-BDAC-04D129D24666","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"430bae051c78f2291f7aef983277b035239af894","datavalue":{"value":"W2157031388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376368$9EB52059-CD6F-4B1E-9015-AFA2EC611198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2ed56b92ab146c7120d7146ca58937602301ee","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$0E91F20D-2E8D-42B1-B012-AFAC588AC32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1708cfc46a389f6b2616c3dfd0c367a4c0790e","datavalue":{"value":{"entity-type":"item","numeric-id":4209289,"id":"Q4209289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$A2F048A7-CE0F-4456-9387-5CE1DA215C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$DBE70583-B929-4DB4-9CAD-40D4B76EE685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$BE4F0A0C-7940-4AB4-8A7D-00BEBF5FE463","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":"Q2376368$B2AA466C-301B-4337-8099-B12121E7D8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$09923B57-A471-440D-8F6D-E70A0AC972E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$68022896-0B75-4D50-8BA0-02CB481448D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$5BCDC5BE-E1D4-4037-A3E0-657E0923D18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5a227c99258bb23e99104c126e984c2a288cec","datavalue":{"value":{"entity-type":"item","numeric-id":1420806,"id":"Q1420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$EDD46A66-F5DE-422B-9583-AD052EB9D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e339c00769f6b7be72641c6dfeb5c88a02e1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1881781,"id":"Q1881781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$74CAEA2A-1917-497C-ADC5-7FBFB214C790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c270d49c12f3dace8c356f533fddde37c5cc1358","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$8ACA0040-B1F0-4B2D-8F12-BD3DAE0481EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6c67e7bda222a2139c29a9e08bcb47405226aa","datavalue":{"value":{"entity-type":"item","numeric-id":3594284,"id":"Q3594284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$CE29101D-C86B-4717-96D9-8A4DC5677AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f798c194049e34a49151688832b091a5e32416b6","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$D58C0F13-BB7A-45EC-BF5C-B309F05539FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1da351cb9d50ccc5d1eec4c705e9e2d749f2da","datavalue":{"value":{"entity-type":"item","numeric-id":5706835,"id":"Q5706835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376368$9C0EDBAE-ED0D-4C0A-A90C-AA0C5DCA5270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f57aec56582b2bf9a8e17194999f14b5396f348c","datavalue":{"value":"10.1007/S10986-007-0019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376368$30A08150-2709-4CA0-BD01-31DAC39D18D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce94b04416310dfcdeb97defbc34c5ac34de2fb","datavalue":{"value":{"entity-type":"item","numeric-id":3594284,"id":"Q3594284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223087d70bedc14b1c85a8b3b851b358146d3c95","datavalue":{"value":{"amount":"+0.8949570059776306","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":"Q2376368$3C48C38C-C43F-452D-951E-7E9994FF2C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8cdedbd66f2748bd3257c5217169538cf6af587","datavalue":{"value":{"entity-type":"item","numeric-id":3417384,"id":"Q3417384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ded1860e60521a3b054b005fe4070585f2ecc6","datavalue":{"value":{"amount":"+0.8757335543632507","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":"Q2376368$91A7AE84-1555-4377-822D-79541742ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0e054755274cfa2db1a8271b96566f81e97c94","datavalue":{"value":{"entity-type":"item","numeric-id":1881777,"id":"Q1881777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d879a158679026cfc5dc22f217f929ed32fd2fa4","datavalue":{"value":{"amount":"+0.8500416278839111","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":"Q2376368$717DE5C4-57BF-4DEB-A6E3-45272DADF03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da80e95477f3254b90fec839634072a6a441597","datavalue":{"value":{"entity-type":"item","numeric-id":2471643,"id":"Q2471643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8111c418a7570c51e81e0126c43550b711294c07","datavalue":{"value":{"amount":"+0.8479200005531311","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":"Q2376368$0CCBF720-2E7F-47E7-8EEC-45C19F2FBAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c83f26b31df3ffae642a2f1a31d26b1db3268","datavalue":{"value":{"entity-type":"item","numeric-id":4632296,"id":"Q4632296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52130ba048f7e260223d242b5245b89329e8614e","datavalue":{"value":{"amount":"+0.7943205237388611","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":"Q2376368$176C4B1C-172E-410F-AC93-20F7F21460D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2376368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2376368"}}}}}