{"entities":{"Q3397155":{"pageid":3407858,"ns":120,"title":"Item:Q3397155","lastrevid":50769227,"modified":"2026-01-15T02:48:24Z","type":"item","id":"Q3397155","labels":{"en":{"language":"en","value":"Clausal Tableaux for Multimodal Logics of Belief"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5605743"}},"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":"Q3397155$112CAEEF-091F-406C-BC5B-E0878A77C0A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3de8e4a5948999ecf83d4da1ac75ea21fb4e13ec","datavalue":{"value":{"text":"Clausal Tableaux for Multimodal Logics of Belief","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3397155$CB275E62-6C73-407B-8880-E2FEBC06090F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df8974acb0d1bea93b1d3f58482d20e707426bae","datavalue":{"value":"1181.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$6C2A428A-AEF8-46F2-AE11-10C80A7B3BF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82680cea701edbae70c4fc54dde50d30d359e9a0","datavalue":{"value":"10.3233/FI-2009-115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$6CCA88CE-D0D9-46E1-B8C4-7E899BD64C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3397155$F70089D5-D301-44BA-A4D4-2DF9D6C31296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3397155$4D0DB27F-9E44-4E6B-A5F4-DED07D880CC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3397155$50726440-55F8-4347-9337-4CCF8BF6D1A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0a9716fc50f09ce133e720357a3a9878d561a90","datavalue":{"value":{"time":"+2009-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3397155$8E0E3B39-85C7-41C3-8948-888ADE8DA7C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$35CA7AC7-BB64-4CEE-BE10-C05E870C7B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$D5882E33-1656-471E-8EEB-5CFE3C199687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$DEB0EE61-B192-4778-BDFD-A0C0B6F395E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$DE90E0F8-8611-4C31-891D-24463E9203C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$858A6CCE-7036-4820-9A07-2C54231E2A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04d7c4d7a0e99dc1586831fab76634e4b181d3a4","datavalue":{"value":"5605743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$86F64179-F37C-483B-B108-74ADAB7E0511","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a33a2a5b7db5254e36bfda27b238fd26ee0bc9d","datavalue":{"value":"clausal tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3397155$4C2EF3CA-EE6B-40E0-9263-869BFB330151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8139f090aeea88313305c725654b58aa9302c683","datavalue":{"value":"multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3397155$C960F851-2BA0-422A-BCF1-0C4FFD507A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3397155$ABBC9D52-94D9-4337-B1A2-A092D6DCC691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85be8405da476ce6b8a413793bdfbfe210cbdde1","datavalue":{"value":"model graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3397155$DA9DA054-5E2F-4B04-836A-585A5AB7D735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3397155$3AD2C1EE-B3D9-4023-9868-4F15EDE7B46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3397155$73CA746C-3690-4321-8110-25C626FA75E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d868491cda62dee387c728e9ed8bca9d6d1d47","datavalue":{"value":{"entity-type":"item","numeric-id":15648,"id":"Q15648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3397155$DA152277-993E-48DC-BF89-7F129468256E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7bbf194cb5e005458c6ed9275a4e9d42713ab8d","datavalue":{"value":{"entity-type":"item","numeric-id":15648,"id":"Q15648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3397155$388B20F9-5911-4DAD-A9C2-88829D15C3EE","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":"Q3397155$5FBF296B-DFD1-42F5-917C-E1463A28368A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55d2f41bac7b3ecdb41e972565e25972467b5c50","datavalue":{"value":"https://doi.org/10.3233/fi-2009-115","type":"string"},"datatype":"url"},"type":"statement","id":"Q3397155$8A058D9C-7F83-448F-A22B-D03645DBD137","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8e4de96486c17c0b920ceec876f6e20a27dfe1a","datavalue":{"value":"W1574863021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3397155$F59410E8-07E9-434D-9812-5922BE3BE1D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a128385bd2d1888263b1fa97a004557f06e99588","datavalue":{"value":{"entity-type":"item","numeric-id":3007260,"id":"Q3007260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c87ddceba33b1c5877f9330a76c32abcac183f","datavalue":{"value":{"amount":"+0.8031367063522339","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":"Q3397155$E0EDBFCA-6EF6-443A-912C-2FA1D8E6B6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393c2d14d929b3d48c8354c84704c85ee9c9a234","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae7d28232eb898a90beceb93f943b64eb93ee4a","datavalue":{"value":{"amount":"+0.7956762313842773","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":"Q3397155$BBF29F1C-099A-41EB-93BE-2E3FEAFDF59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c3f572b6f09dd7c84ca727916e627e3fe09680","datavalue":{"value":{"entity-type":"item","numeric-id":4295875,"id":"Q4295875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae7d28232eb898a90beceb93f943b64eb93ee4a","datavalue":{"value":{"amount":"+0.7956762313842773","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":"Q3397155$2A7D6E35-6F95-4C4F-AE7D-874518CBD1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30beed1410737f28ed5f3206bd8813ad3f426e53","datavalue":{"value":{"entity-type":"item","numeric-id":4941911,"id":"Q4941911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35f74c6ece3b2721166e8d1a4593672ee556ab2","datavalue":{"value":{"amount":"+0.7930344939231873","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":"Q3397155$47C53E6C-2196-4A34-8EA0-1B6E2FB0372C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d7508110ee6bf7f856e239ac0e4e930387ff74","datavalue":{"value":{"amount":"+0.7913141846656799","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":"Q3397155$D5CF4F72-2CD1-4611-8A4D-5681A35798B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3397155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3397155"}}}}}