{"entities":{"Q6054107":{"pageid":13188262,"ns":120,"title":"Item:Q6054107","lastrevid":39672259,"modified":"2024-12-30T17:00:21Z","type":"item","id":"Q6054107","labels":{"en":{"language":"en","value":"Epistemic logics with quantification over epistemic operators: decidability and expressiveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753870"}},"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":"Q6054107$65F8A35C-BFAF-4B4D-995D-D6A1DBFCDA7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d26b52caeeb0601da752abd3276e013d4699b5e7","datavalue":{"value":{"text":"Epistemic logics with quantification over epistemic operators: decidability and expressiveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6054107$725D3D8D-DE28-4792-83B8-7EBFE5E91EDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00f1e121e689781c413b7010cf12f986534d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":1743998,"id":"Q1743998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$F5481022-CAC6-4887-BC7A-D8ECB4531571","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$01333B9B-9DEC-46D4-9B37-F89710A01C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc38c107bfbe3d21f38c865385857570a4bd451a","datavalue":{"value":{"time":"+2023-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6054107$C42319CF-DC82-4AF5-BCAE-DFEB1B581AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054107$8BD5F16B-8BFB-4DE5-8D36-B06ECC37367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054107$938F9E73-A6B4-45B1-8935-640F29BED1D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee05d04022ad2a56304a18d0b1dc6b4d0d868966","datavalue":{"value":"7753870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054107$5D18C85C-DBEB-46D0-BCD5-E79033331E39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9dc47799541248b651c518523c96e4ef0661fdc","datavalue":{"value":"quantification over modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054107$AFF796B9-BD64-4251-966D-110BAD1C36CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054107$E6C536DD-54F3-42DF-9F64-6EF8D47F50D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054107$95E33FEB-22D1-4ED4-A24F-654069C16C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29fa0b7b618c102f422f480fc265f09074913605","datavalue":{"value":"term-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054107$BCEE76E1-D1D0-483E-B11B-97C78F8A7319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"064506866ac74ceb58140d762d69dde700517fc8","datavalue":{"value":"two variable and guarded fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054107$E663F6D6-C5EF-45F9-AD02-187DC9AB8895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deda0e9b214188efa9a58393d49aacc3f4ac8575","datavalue":{"value":"outer-scope and inner-scope references","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054107$0240A790-D049-47B9-9ED8-566735D2BE11","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":"Q6054107$1198DA1D-6E2C-4318-B0A6-C01163E727BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4992ec0e7639856936245c64ac0265c4393ff748","datavalue":{"value":"https://doi.org/10.1007/s11787-023-00330-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6054107$8F9F224F-0974-4EFE-8161-B7E11E0793DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55f3eed650e8798e03cddd101d77cc763435ec44","datavalue":{"value":"W4383764068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054107$98AEE8B0-5240-4EED-8C48-F7CF4DE45269","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52075e78040512a8d0bb2c5654000599b6c2d852","datavalue":{"value":{"entity-type":"item","numeric-id":815013,"id":"Q815013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$60C30F45-B3FF-4E37-A423-80A2B43D8949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e75fb9da1f171862c151f5cf26b40780720021f","datavalue":{"value":{"entity-type":"item","numeric-id":3299573,"id":"Q3299573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$C0973A10-229E-4CBD-AE08-5E466114F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$EDE79FA2-C923-4EEB-9DC2-2502B99D662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cea6210234011431cccc309e04a7e9ba221e19","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$BFC49B0D-1A4B-4F0F-AE77-C792B8609064","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":"Q6054107$B1C5C64C-9DC0-4422-AA19-668D348E535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$39F4EE50-90AA-409B-9622-8236A2B1363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$5C5A4EE0-2845-441A-B3F4-A818DD95F80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$660CDAFB-D7F4-4EC7-835A-47B90F0B6054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807f40b98e6f9faa4b0ff6bf6fa2f8d012e065c3","datavalue":{"value":{"entity-type":"item","numeric-id":4276167,"id":"Q4276167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$EEFE4127-2C6E-4B9D-8EC0-574CDD79CFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a845c86f385c251e0f81bb55bb436c7353ece0","datavalue":{"value":{"entity-type":"item","numeric-id":1855214,"id":"Q1855214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$ABA75661-02F1-46A1-A7ED-36C33F1A24B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$F32DDA4A-A65E-41F6-A4CC-38CBAC160057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$72A5C81E-8673-4D50-B569-8F8E46CF47A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$9819B260-1611-4DD7-872F-F684BDDD0048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$90BFA8C7-2479-43B9-AADF-63A7093E6E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d477c5820e6475ef50a16eb49dcd0c78013eba93","datavalue":{"value":{"entity-type":"item","numeric-id":2211848,"id":"Q2211848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$133896BF-8F07-4594-805E-0D0BBEA3705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9cdf4f86d45d12cb2e1daaba9a3b7b5dd884a1","datavalue":{"value":{"entity-type":"item","numeric-id":5381039,"id":"Q5381039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$A9AB6FB3-B1C8-4903-8F54-DA310EB0928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0aecbf1cc5eeabfde90d5846c8a207aeaf7e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2284173,"id":"Q2284173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$C9608202-751E-4304-A2D8-9BE0CB5D024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7e706f8e9249519066e3c269d42d0dd78173d","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$643CE492-7E12-4633-8CD2-9DAD390F7F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a69981cf43ed675703d3effdf9f61992771ab77","datavalue":{"value":{"entity-type":"item","numeric-id":5092390,"id":"Q5092390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$7336759B-ECEA-43F4-8E7F-6622E0189AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100a126d7c466fe0a017d0707931f118b5816564","datavalue":{"value":{"entity-type":"item","numeric-id":2291242,"id":"Q2291242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$AFAA25EE-F5B7-444F-8D6F-5CC1E1750B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$9C564356-F599-4732-BB7E-53D0B70E3FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68ae1748b8bfe9ae3e2d98918536504049351d1","datavalue":{"value":{"entity-type":"item","numeric-id":1743999,"id":"Q1743999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$E2DF1193-55CF-4848-9CF1-928792961947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc96d7269ec61fc005197ab851b63d5b6b1e64c","datavalue":{"value":{"entity-type":"item","numeric-id":2323640,"id":"Q2323640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$8C86D0C9-2F36-47C1-A090-A96835C9377A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9209d55904450089fdb8680417f28472989cdd76","datavalue":{"value":{"entity-type":"item","numeric-id":6169327,"id":"Q6169327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$44EA95E0-E629-473C-A087-7CEFB155F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ccd5170df423af08659f04776e5ac4920b89a5","datavalue":{"value":{"entity-type":"item","numeric-id":2067514,"id":"Q2067514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$88DA7CD0-97EE-4EA6-BEC2-5231C68898B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054107$B499C826-A4C2-43A7-BA66-291746136053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecd496aeea0a3f77e4f8a86d8438f8c63b0baf20","datavalue":{"value":"10.1007/S11787-023-00330-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054107$C2B7A8CC-B42B-4BE9-8376-A984E716C371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6054107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6054107"}}}}}