{"entities":{"Q3457707":{"pageid":5237107,"ns":120,"title":"Item:Q3457707","lastrevid":80498729,"modified":"2026-05-06T16:20:17Z","type":"item","id":"Q3457707","labels":{"en":{"language":"en","value":"Tableaux for single-agent epistemic PDL with perfect recall and no miracles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521581"}},"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":"Q3457707$73774F63-5F3B-447C-8F31-7FDAE4B92CAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83364b2c7236f7990fc7cd05ff6a0d416cb8efae","datavalue":{"value":{"text":"Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457707$394D6AF2-ADBB-4A2B-B642-DB04D9E4AA4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65445dcb031e22d40e1791939812d49f69664d35","datavalue":{"value":"1471.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457707$6EEB1461-2823-4D3E-B6E3-04B5A8CC1DCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"336bbb4f2d12a7d0cb937e4c59b52617a822a4ec","datavalue":{"value":"10.1007/978-3-662-48561-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457707$CF66F994-2179-49A3-97F0-A6CF311E934E","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":"Q3457707$318B321A-6FB8-4201-A135-C328E5090392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0efa7a10c57655b63387a94a7a3559817cfe126b","datavalue":{"value":{"entity-type":"item","numeric-id":2859088,"id":"Q2859088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$6E94B4C7-930B-44B6-A1C5-D349CF33CEA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457707$029D4F8F-6692-4F9A-8416-463A5F98A95A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457707$7BE47C78-4EAF-4747-B287-76747F092FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457707$365E8F60-220C-481C-8607-CB28411DEB90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf912eb5c6e94e456a07f6bc4506a78558b85461","datavalue":{"value":"6521581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457707$C8AA9D0B-E0EC-4FF4-823B-07041F67879E","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":"Q3457707$1101B6FF-FB90-432E-97E7-33423A3A4083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a676142a42bebf5bc354707a0ee90271ba3029f3","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48561-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457707$7FA0D30B-1ECA-4036-AD71-EE246FD32D64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7f9c6d6760f0776155e3807ef2164722312743c","datavalue":{"value":"W2294564579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457707$47824CCD-28B2-46B2-ADE9-D8AB3AC00984","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e7618d35570cd71ae36fca5b6451a024604036","datavalue":{"value":{"entity-type":"item","numeric-id":2936232,"id":"Q2936232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$EBD02DCA-65EB-42CA-80EA-8E2F480A1B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$2BA18630-158E-4C0B-B02F-68CC05B31E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b959e0e164481495ecae4d2cba2355cbea08a0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3192199,"id":"Q3192199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$73FAB331-465C-48DE-B855-E0DC04C0978E","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":"Q3457707$C3F30936-411F-4224-A2F2-236AD86432D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$E24AA50B-B487-47E3-9687-35A0527AB7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd593069bc464dc8023f74f8ac24aac42504d8","datavalue":{"value":{"entity-type":"item","numeric-id":2946589,"id":"Q2946589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$7C66806E-8546-48F6-9A77-3724AE66E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daab4582302a3aa21137ab948e63f2ee9395096d","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$D8ECB2CA-04E0-4CBD-81F8-CF26CD64132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c448169401b2aabe251045d57dd89c77157e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1403408,"id":"Q1403408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$5E7CD438-EB72-4A21-9F64-986764A422CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$F720B644-CAFA-4B80-B693-E9E2B4F6AE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c7addac8fab8af6e7a02d8da08b02875f7af78","datavalue":{"value":{"entity-type":"item","numeric-id":1006486,"id":"Q1006486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$73FF28BC-5FE1-4B08-A8D7-E2D9916FF577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2af68434b117ad9dbc81b13bb80747736ac8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1770620,"id":"Q1770620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$701E7302-67E1-4654-869E-8E2C2218BD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5323be5ec0ea7ed7d279c26a250277ff544aed73","datavalue":{"value":{"entity-type":"item","numeric-id":1037376,"id":"Q1037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$2ED0DA8F-9D4E-4D04-B044-8B7F40A02259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457707$E2BEF951-EA4D-4A2C-A58F-59B48F2E49EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7af2a5c006e23e0c4ea7a8d4e9014c2e0b95449","datavalue":{"value":{"entity-type":"item","numeric-id":4612412,"id":"Q4612412"},"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":"Q3457707$C53CE637-8039-42AA-AE27-659759BD9600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5eecd8149555cd54a1fc777f99ee0e475ea0f95","datavalue":{"value":{"entity-type":"item","numeric-id":2825404,"id":"Q2825404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4084bb8504ff497d1e2b4f59a07aacd4f18b6c5f","datavalue":{"value":{"amount":"+0.7279187440872192","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":"Q3457707$E79E2822-371F-4D54-B6CA-1D807987D48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c349f83b75bc6305c0feafaf39efa456762d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2936232,"id":"Q2936232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7592bb7483f767c2d0e8aa963c62ecbccd5d3c6c","datavalue":{"value":{"amount":"+0.7275528311729431","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":"Q3457707$B722BB10-9394-48DA-8F7A-FBA2C0564F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb47d4a654f9f159bdcb87141c1e23ab9ecda10","datavalue":{"value":{"entity-type":"item","numeric-id":3185765,"id":"Q3185765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2663a3ec9ae4eeaaf6585ea2097b61665b692bd0","datavalue":{"value":{"amount":"+0.722117006778717","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":"Q3457707$9A26772D-7422-496C-BD64-B7998AA38385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079684752b1943f1aee76a1343d5eb0e709eae7a","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf9bb5ecca0e264e69108fb399ac994cd69389a","datavalue":{"value":{"amount":"+0.7214943766593933","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":"Q3457707$32D2C041-59FD-476F-B66E-0C75F9688882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableaux for single-agent epistemic PDL with perfect recall and no miracles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableaux_for_single-agent_epistemic_PDL_with_perfect_recall_and_no_miracles"}}}}}