{"entities":{"Q2936232":{"pageid":2946952,"ns":120,"title":"Item:Q2936232","lastrevid":52166066,"modified":"2026-01-21T02:03:02Z","type":"item","id":"Q2936232","labels":{"en":{"language":"en","value":"Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6383697"}},"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":"Q2936232$34A7A276-A740-4869-88E1-B54545174A15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f69edb4a27db351c1d3e8bece40be0a71ec53354","datavalue":{"value":{"text":"Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2936232$1976B075-D483-4D96-939A-D995272F8E5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f51f44496df02fd878fc711571b95b954779d59","datavalue":{"value":"1303.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$6385F2B8-C249-43CF-86B7-36B04EBD1877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771afa84a3760eae27d2a8388d4e4fdb39aa8109","datavalue":{"value":"10.1007/978-3-642-36039-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$9B7B98DF-B94F-4881-AB89-51A41EC8D34B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d67549cecd698ebd846cef952218fc29eb849f","datavalue":{"value":{"entity-type":"item","numeric-id":2936231,"id":"Q2936231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936232$C6F5F578-5A3B-42FA-B8F9-9442107BF66E","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":"Q2936232$434CDAFF-A16F-41E2-AE8F-1C2C6C01BA56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2936232$7670D049-B962-4397-A413-DEE372D5DD61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39d11daed231ddc9c09fdaf1d1bb16c5de77d47a","datavalue":{"value":{"time":"+2015-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2936232$B80B26F4-939E-4DF6-A1A6-F63B016EB474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$D8B97DFE-337B-442F-849A-6225270B3969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$06910D1F-E141-4DDA-BC71-512AA38F6B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$A3A5622D-1134-4330-A38B-57867B6A7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$7477739B-C2F4-4337-BA1F-66FFD4980010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$081F8D22-B6CF-48F9-BC8A-17595A9E3F0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9557cc41d0da0447110a59e2352648af75a983a3","datavalue":{"value":"6383697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$469A7D80-FEA9-4FF2-A21B-4A166F44CBCD","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":"Q2936232$01623B14-A445-442F-967F-AD62A84458AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9b4f138bc3715b70d0ed7d79eafcec6f3cc12e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36039-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2936232$F919F503-B058-4DF0-B0EA-A119BA491A83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a464534fb935006b7510b628a781b5199fa0efc","datavalue":{"value":"W202583614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2936232$FCF88AD8-9879-447A-9B16-9B141DB50F55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674be9d23b13d63e8b896f0a5a90797cfa51da05","datavalue":{"value":{"entity-type":"item","numeric-id":4373589,"id":"Q4373589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7513f434150a3f572cbaf19a81fefd558938f875","datavalue":{"value":{"amount":"+0.8593886494636536","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":"Q2936232$3CF79987-B7D6-4373-A26F-FB1DE0893A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacba2712339c2b4a25f26918bf242db042428f2","datavalue":{"value":{"entity-type":"item","numeric-id":3647215,"id":"Q3647215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768de7c292eb2d5b0bd780e5bed39d93616721f1","datavalue":{"value":{"amount":"+0.8353063464164734","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":"Q2936232$2FDCDFF6-F3B5-4E64-8076-99DF0A1A6352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55400300a4200ea2ef755c71c47748c8f4843f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb32c74c93a45e96ed851f6a488be9c51bea7b4f","datavalue":{"value":{"amount":"+0.7955287098884583","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":"Q2936232$1C4888C9-8558-4142-8BDE-83ADA7479C4E","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":"21524645210423e71f4f0fb30753d8fe67a2b7c0","datavalue":{"value":{"amount":"+0.774367094039917","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":"Q2936232$B047748C-9FB4-4A4F-9977-7598E42F23C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fa9a2a98f7e8073fbb235077ed757cb4a0aa8e","datavalue":{"value":{"entity-type":"item","numeric-id":3655200,"id":"Q3655200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9ccd4c9b2a29799fc302b104a09c429775bc9c","datavalue":{"value":{"amount":"+0.7725431323051453","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":"Q2936232$E9EAB7F6-30C4-4733-88A0-CC069949C2A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2936232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2936232"}}}}}