{"entities":{"Q4236067":{"pageid":6265668,"ns":120,"title":"Item:Q4236067","lastrevid":41702978,"modified":"2025-05-07T09:22:09Z","type":"item","id":"Q4236067","labels":{"en":{"language":"en","value":"A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268518"}},"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":"Q4236067$B82E05C1-02C4-485F-B7D4-7DC0A16FC819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332c4caec93d3fb70d7e239aae75d9d668e28e7d","datavalue":{"value":{"text":"A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236067$C0EE641B-2934-44C7-A507-16FB7758B613","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88400d4f64ddb18efc3413d3a339c4f7fe8e31ea","datavalue":{"value":"0926.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$F5A83E3E-9936-4BED-A262-CE0CEDD6D227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2d89a40e62f2b1d81d873fb020e2cbc34d97491","datavalue":{"value":"10.1080/11663081.1998.10510944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$60A927A7-BA2F-47C8-8010-6FCF7EE69B78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236067$DD6426A3-9917-4B03-BA7B-CFBAC1DB4C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236067$120C5EF8-3836-475A-9B4D-6982637AF850","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$06B55CD8-7598-4AA0-BC6B-AB7DBA9FB812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$0F362246-2135-47FF-9C84-C02982666363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$24ADEF87-941B-4D34-A40C-CB01E12C70D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$BF8303DC-8094-4CE3-A336-909677BE661F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$893E44B9-B406-4434-BD82-9C26220DDAA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff7d54b2847420c64ed40a4d2b2524a81ffb6a5","datavalue":{"value":"1268518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$9CC17D42-5A83-475D-AAA9-62608235605E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236067$060CE667-3FDD-4C7F-B956-7C238E3E2AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236067$64111A09-22D0-4DDE-8BA4-10B56DDA8C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d860e566180c00191fd19aeaca5b25469904157","datavalue":{"value":"tableaux proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236067$27B93EF4-7609-421F-87A2-0C6F47288640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e3897b6c80275d8a1fea3f0a7c343ff302ba05","datavalue":{"value":"logic of belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236067$1A67D3D8-A9C5-4A9E-98D1-A367123D41D7","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":"Q4236067$7D9F08C4-D831-4DEE-B0C7-C5A305D54215","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cc9b270bd88c2982a06879de01e14088a6a4e0c","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510944","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236067$1872E6E6-39F4-4B1E-9DBD-B45D4DB2716B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ca066c8e74f927fc64dd3002d5cf7800b41dcb2","datavalue":{"value":"W2000567285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236067$DCB0F46E-29BF-424E-A8B7-50748CF9CCE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236067$A58B1C4A-23A8-4159-9834-ACA132DDAF77","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":"Q4236067$4C4B70D0-390F-4024-A6A1-3A90CC875841","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":"Q4236067$DE1590B4-91B1-45DE-935B-14CD0807D8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236067$9AF9D97B-1AFE-4A31-AD0D-5E60208872AA","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":"Q4236067$37C90BF5-9D59-475F-9D7F-56F5A4BABB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236067$2065F54F-0705-4D95-AA70-A7C1B37FADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e6abd9e79d53efb9ec4ac8b70af69a7aec8fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1104923,"id":"Q1104923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236067$68A71EC1-66E7-4E28-B4AB-6CE4833FAA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236067$CBA68091-38A7-4925-95C4-D74DFF5F4EAB","rank":"normal"}],"P1643":[{"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":"d680c07ef158695929592573d9fdbdaa3f413dc8","datavalue":{"value":{"amount":"+0.9350792","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":"Q4236067$B9CE3B6D-4E5B-49B4-AE81-1B4D6CF86C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c343dd6ae88daa7a0fbb561afbc44922ecab5bf1","datavalue":{"value":{"entity-type":"item","numeric-id":456722,"id":"Q456722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1aa15c2418222d98e47e7bc28467ec83e423bd7","datavalue":{"value":{"amount":"+0.9278364","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":"Q4236067$0C015584-A688-40CA-933D-E60A96A64A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a5482ac880ea5d0c42fb9e8118c60ddc8171a","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0481bbc9e04e8d7771a36a38c410a0daad3ccd8a","datavalue":{"value":{"amount":"+0.9242866","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":"Q4236067$80CB75E8-DAF5-4E22-BC8C-E0E1A818EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b018392c0ce66d828239079ceefc669b9e00bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0c2f86781208c90bba7c795d3cfd6db7ca6aad","datavalue":{"value":{"amount":"+0.9171534","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":"Q4236067$5C7B2AD8-C766-4BA5-A46C-B25A6B8031E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c96d87d94ed357dbccd0a8a80efae3a426949e","datavalue":{"value":{"amount":"+0.91673714","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":"Q4236067$7B6CFC13-C97E-4091-8C49-DBB21C857D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0ccf8aed1c673137633994f8b3d3c07e6e633","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163a333cd0c85d678b6de17cf7a3d3b319367ad9","datavalue":{"value":{"amount":"+0.9132701","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":"Q4236067$2DB8B5DC-27D5-477C-8855-5996EC4B302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6991220f9a304d1415e1354100c0d7e6943cf916","datavalue":{"value":{"entity-type":"item","numeric-id":4610337,"id":"Q4610337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5633c018312f52b73e3f2f3f0bd6f63b78f9ed04","datavalue":{"value":{"amount":"+0.90233326","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":"Q4236067$D0275045-0C50-454A-A4D0-433FC7848ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4402f3587097ffc09598103d8c4edfe2ec3580d","datavalue":{"value":{"entity-type":"item","numeric-id":3838807,"id":"Q3838807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc248c4f09f40ab43a5e68839456205bea77fe7e","datavalue":{"value":{"amount":"+0.89774406","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":"Q4236067$D37EABD9-3838-45C9-9AF0-40CCD741A500","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":"a2244041074234ebb2b0a7136b75b9d346b9e988","datavalue":{"value":{"amount":"+0.89511836","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":"Q4236067$E7F828D7-565F-4426-AB34-30E749A43B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eba7f8829ad878e8c6d6ceff784d98978050dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4263018,"id":"Q4263018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b88cfbca0c4d8fe9156d57c549c15754e44888","datavalue":{"value":{"amount":"+0.8938892","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":"Q4236067$1B8EF8FA-A684-41B6-99C2-E55DB61696B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236067"}}}}}