{"entities":{"Q4612412":{"pageid":6641995,"ns":120,"title":"Item:Q4612412","lastrevid":82309133,"modified":"2026-05-06T20:35:47Z","type":"item","id":"Q4612412","labels":{"en":{"language":"en","value":"Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009526"}},"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":"Q4612412$72A7B1B2-8F19-48F5-B8AB-BC45F3CD79E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2dce21064a34666b2d6e94e9736f34a82ccaa34","datavalue":{"value":{"text":"Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612412$0C3CB460-F9B5-46DC-8406-F9187275C918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fe25d304bb41973b5c6cb27063137d6691a6ab9","datavalue":{"value":"1444.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612412$AA893148-1112-4DB5-A91F-D2A8BDEBFF15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6142b9e713ad64767392c697fabf8de0da39b266","datavalue":{"value":{"entity-type":"item","numeric-id":189538,"id":"Q189538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612412$2AB250A3-CE26-4A8E-907F-B3620D97AC72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612412$42AB6AA4-1EC4-47FB-96F1-0F4123F1F772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612412$0A385CE6-D231-4057-AB92-55FB23DEB202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612412$3C7FFA73-C371-4D36-AB5C-46A30F66E663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"435fa18ac6a7bdd8554cd39ef3fa2713cb8e9b2a","datavalue":{"value":"7009526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612412$0AF5B189-F0BB-42AC-9CE5-9FA1E354CB55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612412$86B0667C-7549-46A7-94F7-F169A8E5A397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1631dec4f73456571d2c47ae7e43e83913d9b6b4","datavalue":{"value":"perfect recall","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612412$EBBAB456-3E1E-4C6A-A8E1-6EE9B081F4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c7d021e27e63774a15de11b2ae7e5d0fa77659","datavalue":{"value":"no miracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612412$423D265F-11E7-4E0D-B1D8-51245FCA3EC5","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":"Q4612412$D51EA62D-7695-495D-BB0F-4AD70DF19827","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb7b31359332daa435617e1b2781ed045252db36","datavalue":{"value":"https://doi.org/10.1093/logcom/exx040","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612412$73CF4067-C066-4091-B215-61B2450FA62D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"269ff97307a639f144d36252b5541a34e7efe90b","datavalue":{"value":"W2770301465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612412$BF6142CF-A10E-4588-AF05-40AC020A0D13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47e28bda5d13fe7a3f0473ee0f07d0b06b6ffa64","datavalue":{"value":"10.1093/LOGCOM/EXX040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612412$BC8BBCD9-6BC1-49AD-8174-AA89B8C32553","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612412$C2BF77D4-8C82-47D5-81F0-B1478CDC1AA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4f5564188211a2a4f82ef1b6efbd107d276168","datavalue":{"value":{"entity-type":"item","numeric-id":3457707,"id":"Q3457707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1029e195b51ee0505f810d21d9f072ab441d9d1","datavalue":{"value":{"amount":"+0.914635181427002","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":"Q4612412$AEF2EA2E-3E7E-48BC-864F-471F479774BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959bb1531cbcced4b6982857b8607b22a36bd270","datavalue":{"value":{"entity-type":"item","numeric-id":1006486,"id":"Q1006486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c497b9ea5e55b19db5346756968ba9fd98b480","datavalue":{"value":{"amount":"+0.7913759350776672","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":"Q4612412$ECD6D70F-0D2A-4F89-8E2E-87C2513478C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8b0d0383c79431497177fe560a2953b859ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020ed66b71b7b255aa5cbd79afcaf15ba608747e","datavalue":{"value":{"amount":"+0.7776154279708862","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":"Q4612412$0A42291E-E7B9-4773-8503-BC90B19A6A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c1fdc3d5271cc31405bb8b0a5170f3ab9c97e6","datavalue":{"value":{"entity-type":"item","numeric-id":5311047,"id":"Q5311047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f138014402bc7f4206fcd564c76f8c0b0224b3","datavalue":{"value":{"amount":"+0.7768669724464417","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":"Q4612412$E210F32D-B855-4844-BE4F-648120659C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e30266027908c7675857a58f2c4b8087593422e","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968217578737192666b3759d364783d38b4b2b21","datavalue":{"value":{"amount":"+0.7687116265296936","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":"Q4612412$4FE81958-14D7-4D36-90AB-3F0777DE9FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableaux_for_a_combination_of_propositional_dynamic_logic_and_epistemic_logic_with_interactions"}}}}}