{"entities":{"Q5955625":{"pageid":8132427,"ns":120,"title":"Item:Q5955625","lastrevid":102113777,"modified":"2026-06-06T03:30:40Z","type":"item","id":"Q5955625","labels":{"en":{"language":"en","value":"A sound and complete tableau calculus for reasoning about only knowing and knowing at most"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1705615"}},"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":"Q5955625$C782E65F-E0A4-485A-B453-0E890B48917F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11114cd24ef794878096e8271ddcc6dde203aa8e","datavalue":{"value":{"text":"A sound and complete tableau calculus for reasoning about only knowing and knowing at most","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955625$29E75267-0A8A-4BD7-81F7-AA770D55BE87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1495e996eae9be0d446152612b4f39c4c6e6db42","datavalue":{"value":"0991.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$201DC609-4235-45EC-A5BA-DE7A9481EF80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9de4cd7de1c3f0f28fc95dc88e5bdc6d871fd98a","datavalue":{"value":"10.1023/A:1013894629540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$B4158CB1-20A9-4117-94B5-D6FC1081F59B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdb7cd95138e74bffc5a994a8a5837a3e1d96115","datavalue":{"value":{"entity-type":"item","numeric-id":229756,"id":"Q229756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955625$BE3A65A0-029A-423E-B2D0-A0083D844344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955625$737D60A8-B3E2-46C1-B85D-730BF3D00577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb4c4a2981339b0b169c6786696f6c6bd16e21b9","datavalue":{"value":{"time":"+2002-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955625$5C8D155D-E472-44D0-BC91-20F1D28F92E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$B8A9DF40-ED3D-40DA-8E14-2C0A12615942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$705685B2-05B2-4B48-A079-1BA01868CDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$EE92E5AF-DFF6-477D-851A-4010D0012806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$91B97A3E-F286-4EA6-9FCC-3A1C3179884C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$07FA70E5-8853-4548-A4C9-26252AC1C453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2200183dc90e7f8ffb2b9565b3792d0317a78db4","datavalue":{"value":"1705615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$50E566EB-74B5-4B6E-BE1C-88D7B36DF100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$9652C40C-FA16-49ED-BD18-5295834B2B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5eaf902aa7bfdb4995ef75334cdd3996a74860c","datavalue":{"value":"autoepistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$513907E1-84E2-4A60-9F17-9BAF4923E1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfdb816dadacf750427ea6b09f8da1ad8602a92","datavalue":{"value":"commonsense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$DDCA7465-E043-45E9-9953-B877C1A8CF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$A35569C7-FCD5-46C6-B638-5EC00E280712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b9e24c676f14f9ddc935815a7f45beee478d27","datavalue":{"value":"logic of only knowing and knowing at most","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$AC3FAAAF-F419-40ED-A036-3B9FE011C90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffd37766974e1f01d93c44b79848c86031fc34d","datavalue":{"value":"possible-worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$961586C9-036E-40B8-A59E-8645AC9075CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88e584278fb9be5eac02caf230804548d7dd1cb8","datavalue":{"value":"computational complexity of reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955625$61E003A8-CB93-4735-8293-88A3F9928D2B","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":"Q5955625$CFFF5CF7-60F7-4477-AF97-D7F895DC581C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a97aee31f84a88e34b4a3dee41aa27792e2d122","datavalue":{"value":"Q64360227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955625$72B2E73B-E594-4963-AE4B-7763E32F7E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd81826f9218a900435ad0bd6337bbe35ffb91dc","datavalue":{"value":{"entity-type":"item","numeric-id":2721209,"id":"Q2721209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb8f6c86311b38327f450e21bef6062348aff7b","datavalue":{"value":{"amount":"+0.9773381352424622","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":"Q5955625$85C4B3B4-78C4-418E-A06A-88E9EDD0EB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5afa6aa5cff69e8e703edaeec347689b5032b0e","datavalue":{"value":{"entity-type":"item","numeric-id":1978243,"id":"Q1978243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c068fc201dc29a181fc2e0ca000519e6c65138ef","datavalue":{"value":{"amount":"+0.7976727485656738","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":"Q5955625$A56A489A-BD63-4C21-B91E-3AA5E7893D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a46cbd4e38c92afe1245ab954f523058b8195b","datavalue":{"value":{"entity-type":"item","numeric-id":5692793,"id":"Q5692793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4375228bc29004e16b749c2b146d59c335bdd347","datavalue":{"value":{"amount":"+0.7655770778656006","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":"Q5955625$C59661A1-B28F-443A-A924-15A39F2F14C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0f48c972187a44b22728521b1daf52e0f069fb","datavalue":{"value":{"entity-type":"item","numeric-id":2720397,"id":"Q2720397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d58f8cdd3f1a301182359c9cb7d49dadfa5ab4","datavalue":{"value":{"amount":"+0.7509772777557373","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":"Q5955625$FABD52F2-8466-4C3D-8707-C40AF38FF540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f50f1018bff8cc65942b40d9df6266008449877","datavalue":{"value":{"entity-type":"item","numeric-id":4421274,"id":"Q4421274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10508d986abbf4fc7c79e5ae77196fcb35b58f4","datavalue":{"value":{"amount":"+0.7465563416481018","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":"Q5955625$63A5518E-BF3E-41A4-9BD6-49D2551B0681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound and complete tableau calculus for reasoning about only knowing and knowing at most","badges":[]}}}}}