{"entities":{"Q2825404":{"pageid":2836142,"ns":120,"title":"Item:Q2825404","lastrevid":42223768,"modified":"2025-06-02T15:21:41Z","type":"item","id":"Q2825404","labels":{"en":{"language":"en","value":"Tableau method and NEXPTIME-completeness of DEL-sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635957"}},"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":"Q2825404$EA630DE7-87F1-4A44-9D06-4E1DDD5550BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20b52df2a24866c34f9ac3aecc3a397531a55c25","datavalue":{"value":"1347.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$2F4C179A-ADE1-44B3-B390-24ED80A69615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$C687A852-C613-4734-961F-1F36CC089DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb2ee3b8c029ad0cc84aa38006cc76c309c3315","datavalue":{"value":{"entity-type":"item","numeric-id":2346406,"id":"Q2346406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$1B78DF01-56E3-4E62-A775-EE32C84CEACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$2D038D77-F460-4C68-BA32-08F2ECF0AF4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$362E5B5A-C8F4-4450-B1A1-8DFB7E14763B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825404$E4BC1E03-D9AC-4647-BAA6-341CB3CF1596","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$4FAEA95F-4A84-4AC8-AD20-8BB5CE32F813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$0D785422-AC66-45AD-BCBF-5FB840514EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$F7191818-F44D-4AF7-A421-1D4435816D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$4DB2BDE1-D67B-47FC-A4D0-D6E8BACF91A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$1CE566C7-5C9D-4722-8959-A4E27112ADCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"208e722bdd02c742cb23e2c95fd6ebf81c1dc497","datavalue":{"value":"6635957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$F2D132E3-C43F-4F03-BC70-7CFA977C094D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825404$9790D051-852D-411A-9377-942679A1A6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825404$1C46EA43-E3D5-45BC-A652-61CC94A12690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825404$A622AB52-F3BE-406F-8DFE-4941CB2AFEF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$A63F69C9-0DCF-4D29-B116-14E027F47E74","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":"Q2825404$0F43A9AF-22FC-4ED3-AAF4-522441377DC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7084e0fd5700460e4faaa33641f210d21e3aac68","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825404$AAA4A0B6-E775-472F-ADC3-E3EDA67320D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c4fb33378705b06608c4b21d7bdf666700806b2","datavalue":{"value":"W2161395093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$2CF1C11A-3EAC-4D47-8ED5-FA1FC3F35E1C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a6081450192ac42ce884b1024be69d70e0ecea5","datavalue":{"value":"Q113318205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$9173539A-0814-4202-8C1F-230F568A659A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bd2ed02e926f25d97705d4609f5ab02fd8358e","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$DFE84646-B68F-4060-847F-74BCCF4B751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86662c318c14ff8359b6290573d385138728bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2848068,"id":"Q2848068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$8B7C005C-BCDB-43CF-9C47-1B001AE6F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$3D3A62BD-DC2B-4673-9F5F-4F9A8ECB8C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$D2A4BE9A-6B25-492A-98B0-73B3662F6B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$C235B0E7-299B-4399-AC8D-57C1A8DCF974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e6e9433abf7467709656a37ac7bcf8290b9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5479288,"id":"Q5479288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$BA26215E-CC05-4F03-9005-E95E2ECCAE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a283511a496ef706c002ce14b91d97abbe7704c","datavalue":{"value":{"entity-type":"item","numeric-id":3185765,"id":"Q3185765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$C95CB8E2-0604-490A-9C71-9C4BCAE0331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b873a02ddf1768ea5beaf2d30994f1fa09fdff6","datavalue":{"value":{"entity-type":"item","numeric-id":4661972,"id":"Q4661972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825404$F743C840-C6AE-43B4-A8F3-E0A234F3D722","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"211aba2ecce80abf1fc5d5848320c2fa79fd9b28","datavalue":{"value":"10.1016/J.ENTCS.2011.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825404$20B779DC-8EF1-4092-ACA1-56A23214CB99","rank":"normal"}],"P1643":[{"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":"8253f7166b8ead93a8d113aa40fc680533cba7f4","datavalue":{"value":{"amount":"+0.8641492","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":"Q2825404$6F579AD1-848C-4B7B-9E74-DEE657EFD610","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":"3847a83492546530e1e9defd524a368d39053498","datavalue":{"value":{"amount":"+0.8635984","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":"Q2825404$6C3E5AD7-5213-42E7-894E-2A1AAC787A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598b93fedfab5914b4f006e71e819687fed1d842","datavalue":{"value":{"entity-type":"item","numeric-id":2669249,"id":"Q2669249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97211025b064f3fafaac1b9c6a462b2e09a6a60b","datavalue":{"value":{"amount":"+0.8623693","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":"Q2825404$A5C30DB5-FCC2-4E83-A1A4-173FA3D89F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fbfbcb4407b68549caf6c0aaa04d60d3060b597","datavalue":{"value":{"entity-type":"item","numeric-id":2142060,"id":"Q2142060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9960882c50fa8accf553e040ee668a8f1db6655d","datavalue":{"value":{"amount":"+0.8593196","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":"Q2825404$6E2E1AA5-7C1F-4F7A-A0D9-3C55DC071E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33b6682b5e9081a197f3d038d4b731e316faf21","datavalue":{"value":{"entity-type":"item","numeric-id":2180507,"id":"Q2180507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74e7e78c36388633d8368ffbbd932c476c8a57f","datavalue":{"value":{"amount":"+0.85735774","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":"Q2825404$8CEDCAB8-0EBC-48A2-B3A0-996D413BDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23a911cb36449fb7a77fbad1a80a54bba6b3435","datavalue":{"value":{"entity-type":"item","numeric-id":1357163,"id":"Q1357163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5564b40c0fbcd0dd1a59025ba777bcc54e0e61de","datavalue":{"value":{"amount":"+0.85577047","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":"Q2825404$86BE95BF-DDC5-4B8A-9F18-6C047AC731FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bfe80320261a0e3f9aee6e411e981a82aa2319","datavalue":{"value":{"entity-type":"item","numeric-id":4636041,"id":"Q4636041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dcd1d6bc48b58e25dbcd2d09dda56061ffce4d","datavalue":{"value":{"amount":"+0.8556595","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":"Q2825404$F6AF4E89-FADC-4CC0-BF12-C7A9297C8ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4113caf13e00b77fbf2e94f4c7eec67f08dee6d6","datavalue":{"value":{"amount":"+0.8551273","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":"Q2825404$9898548E-C1E2-4A6A-B683-3CDBD087C2F6","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":"032f6d13c6ff7c4830673cc52bc12baef21e667c","datavalue":{"value":{"amount":"+0.85341495","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":"Q2825404$9954DCD5-9942-42B1-BE6D-C8DAA35779D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4844c9291ec325b3887ebcaa557b31b9f8a4a76d","datavalue":{"value":{"entity-type":"item","numeric-id":2987043,"id":"Q2987043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f413ff78d41f532cf20c6a17581c89738b55903d","datavalue":{"value":{"amount":"+0.8530282","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":"Q2825404$7448F4CA-6DD8-461E-A5C9-57215D61C1A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c2f1b72696ecdd08d67aa3087fbaab600f38402","datavalue":{"value":{"text":"Tableau method and NEXPTIME-completeness of DEL-sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825404$D31218D1-CF3D-4952-9C4F-910942BF91DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825404"}}}}}