{"entities":{"Q3605530":{"pageid":5635436,"ns":120,"title":"Item:Q3605530","lastrevid":80808446,"modified":"2026-05-06T17:02:50Z","type":"item","id":"Q3605530","labels":{"en":{"language":"en","value":"Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510292"}},"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":"Q3605530$A3281227-64E7-4FB7-9F63-043F96621645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8848794049e689edfe565c81e15a7a5f1e583656","datavalue":{"value":{"text":"Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605530$A90127B0-C718-4C3D-A98F-547593C7B206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c88e54fce923bc878030c30128f7b3ee05e9cb8","datavalue":{"value":"1211.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$43F1038E-EBA3-4B32-9BB5-0EBF1A719984","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83cc7fc15d932010363b68f872b84c3bc5f2feb1","datavalue":{"value":"10.1007/978-3-540-92687-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$B973A710-07C4-460D-8129-BC77C00D823E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$EFD674BB-44BC-4993-9747-2DAE2826F292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$0E37FB52-9C05-4D2D-9592-E064EE9EE9D0","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":"Q3605530$AEDEDCE3-B3B3-4443-A85B-BCE2D8CE8DF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-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":"Q3605530$64576487-F951-4F4D-B584-616B0DC89995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d88c8af61669d78b59b09b614433c3aec5edd73c","datavalue":{"value":"https://arxiv.org/abs/0902.2125","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605530$55F69CDB-B03E-4C1A-9617-112B9DE7CCE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$031DA038-3228-4852-AF73-5A3D59C664D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$507D8441-C323-46CF-B5E5-A5B9D8CD2D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$B3B0745B-8C96-4A46-941A-1397188984BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d42b1bd3cd3bce16ef83e1fca22092e9c5e894d2","datavalue":{"value":"5510292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$559517DA-EE3A-47E8-A52B-C07151F107D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab9d91a949e316f8b2003bd6315e399064ba44e0","datavalue":{"value":{"entity-type":"item","numeric-id":19549,"id":"Q19549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$CE96A559-82A9-4498-9D53-9793CFDC0F47","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":"Q3605530$D5871826-1EBA-4C88-8AE7-875192822C8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97e39448d4e1c8e5b7e139bdacf41131a57601a5","datavalue":{"value":"W1667861512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605530$1D1C253F-B620-4BC8-92C1-50CCA4046463","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05264b7195ff81425600a256bf6525dc8e126035","datavalue":{"value":{"entity-type":"item","numeric-id":3425580,"id":"Q3425580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$25280E38-D0EA-4EB3-8193-A51782D0B5E9","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":"Q3605530$73BCDF25-6B6E-414A-8C22-8258F9A69ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ff97c48cb2e0abcfaa5a609e52f4533db7b02","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$6C0E3491-430C-492C-A518-A9748C07788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd593069bc464dc8023f74f8ac24aac42504d8","datavalue":{"value":{"entity-type":"item","numeric-id":2946589,"id":"Q2946589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$D191196A-81D9-4A81-9174-CCF6902131AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b92a0bda6fea8688a05fab453a4f3a5b10ab76","datavalue":{"value":{"entity-type":"item","numeric-id":4925179,"id":"Q4925179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$3B1E0394-AA2C-4E37-B6B2-BD0C630E03B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$7F526ED2-7E63-4FCD-9E04-CC486FCE5D43","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":"Q3605530$2DB0F803-FCFE-45A1-A1FC-FDA9044F9BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15e03b1bd4f5de239a8f993324ec6e140ba8c88","datavalue":{"value":{"entity-type":"item","numeric-id":4020488,"id":"Q4020488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$F728B7C5-A8A5-4871-AEEF-7BC095FA95C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$B33B7672-C7E4-4337-A571-C7A0E596984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89bce789191d036d41d34a775165a7de8f505c1","datavalue":{"value":{"entity-type":"item","numeric-id":4955425,"id":"Q4955425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$CAF681B7-05A6-4A33-B963-FCDF212A38A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605530$1F0FCFAF-CCEB-41B0-A0E1-F90B72F05C99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b3e3c734ffdb5b4d05b77bbee0733d9691d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4925179,"id":"Q4925179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84f79bba7354ecbc5c23d93180bac9c31227ba1","datavalue":{"value":{"amount":"+0.960217535495758","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":"Q3605530$F7D5421C-634C-4379-BF5D-31AEE6404BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd55b52fca7aaf0fc30a5e94377454ff6da43fd","datavalue":{"value":{"entity-type":"item","numeric-id":2946589,"id":"Q2946589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef7a411d0b55808121273383bccd061135b7082","datavalue":{"value":{"amount":"+0.7952055931091309","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":"Q3605530$3C347784-24A0-41E8-80BB-EA35A4F05F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce516fb2f9a075935480db849ce33eb9d60c85b7","datavalue":{"value":{"entity-type":"item","numeric-id":5215820,"id":"Q5215820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfa6c6eb2a6178a115d00efd6f9913d52a9e9d5","datavalue":{"value":{"amount":"+0.7731869220733643","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":"Q3605530$A7E4814D-52C0-46AB-8AA2-AE78867B6A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c349f83b75bc6305c0feafaf39efa456762d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2936232,"id":"Q2936232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc77cb43d033d9604d4ad5704dee0268fb0176ff","datavalue":{"value":{"amount":"+0.7620359659194946","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":"Q3605530$39EE17FA-25C4-434F-8755-EC83B79AF5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f78fb4f440634d042477fd3adb0e50d1e151f2","datavalue":{"value":{"amount":"+0.7505818605422974","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":"Q3605530$7412135D-32C0-4081-849C-2C5DB1E0B1A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableau-Based_Procedure_for_Deciding_Satisfiability_in_the_Full_Coalitional_Multiagent_Epistemic_Logic"}}}}}