{"entities":{"Q2825411":{"pageid":2836149,"ns":120,"title":"Item:Q2825411","lastrevid":52641047,"modified":"2026-01-23T04:21:31Z","type":"item","id":"Q2825411","labels":{"en":{"language":"en","value":"Clausal tableaux for hybrid PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635963"}},"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":"Q2825411$D57A6EDF-9628-48F6-8FF6-054F7788BA60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b68571a81f25ce44be94d3b835316c6811ddad7","datavalue":{"value":"1347.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$E8E60A05-8E99-43B9-AA39-EA23B14E5128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b6965f702c25ca4aa2bb1fe3823f82e953c560","datavalue":{"value":{"entity-type":"item","numeric-id":286084,"id":"Q286084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$C0FE80F5-A482-46AD-BBC5-1479AA4314DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$DE79D6D7-5934-4ECA-95CE-C9FC726FE4AB","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":"Q2825411$462D7F30-CA26-416B-950E-A64842697A52","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":"Q2825411$F29A8029-D495-4996-ABBC-749F2CB3D51D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$C14DA1F8-AB30-49AC-A0DB-78C3D08A8417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$3D65A876-9B03-4A61-9539-8AB7D0ED8932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$1B0891E7-0022-4B8D-954D-679508AC63A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a110c6de327b0da419bb2e850639370c56baf425","datavalue":{"value":"6635963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$7FCDD7CE-E8EE-4537-B12C-B8F4EAB847E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825411$EEB8B102-D706-4C06-BA72-2F3BC51E1B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825411$45D1E0B3-6541-4219-90BB-9AF45278770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825411$47D3AA31-02F9-4A85-9E53-8D966F4CE1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825411$5F4E31AB-2FD9-4E8D-A141-AE0B4E946D71","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":"Q2825411$A3B03AF9-CF0B-433B-B201-CA22666A8D6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0be4150e02457f8eb37806b17b4a2b57461d94a9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825411$72A2109C-A35F-4C64-94FD-3184F9A27173","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eab8faeebc2b687c8ead0c37043e7a20d9e3a0c5","datavalue":{"value":"W2015560379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$FBAB5292-FBA4-423A-A253-1BE3FF03BA7E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"180bb88b4db12243aa665bf274ddc71b270a238a","datavalue":{"value":"Q113318197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$453BA259-E031-4CD2-8C1A-F6EE651DAD03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e53da32486790a095eef7f63d85c2068ec9b28","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$0E982DC8-C151-4065-A23A-F11BB5EA4352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$FF99BB7E-EB50-409B-8FB1-FC953464BA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cb8288f4bd70c7a0e1a5334ff31c1e7f21b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4012241,"id":"Q4012241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$7EDECF6C-9834-4FB3-B01C-596581B88828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$BECD464D-775C-4B69-9388-3302273DC607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dbf5771994548b20fda96ec562836af82729f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$C291BA1D-1AC1-4AC4-A164-4BE47425D028","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":"Q2825411$9FE3C2A0-2978-4CE2-A320-3FCE7C96045D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b69a52d70fff5a2cc8b737e571d9ff57ab726","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$41E88572-F749-4B6E-80E4-A64D7BB84A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5595e66b8729293652ffa35d013832b424ee2a","datavalue":{"value":{"entity-type":"item","numeric-id":5747763,"id":"Q5747763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$51EF5E2A-87D9-4115-B75E-828764B9580D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$D24118EC-862E-47E9-BB4A-8A3FBC0BF806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1dd211c182dcc6f17ff4c9f496b9e4de9d61ee","datavalue":{"value":{"entity-type":"item","numeric-id":5747764,"id":"Q5747764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$B39C0F80-0054-48AA-9F06-B4ABAE112453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8088ab620e3389e98c5f8f9b15e2ba3102358f5","datavalue":{"value":{"entity-type":"item","numeric-id":2825411,"id":"Q2825411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$A01B83C4-C766-4D27-9117-D7D48D932D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$BD64E9E5-4A89-468A-91BB-FD0B51A138D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$EB691D2B-1BBC-4D7E-9274-70C991C67D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"922a0386399841ad7448ccf9b09f9cd437e79a7a","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$ED22F697-385A-4B03-9EA0-BC2A44F250F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$434FC0F2-F714-43FC-BA4B-815F280D5E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983c6d361b39a1c2df39031e508b7ae6b374912a","datavalue":{"value":{"entity-type":"item","numeric-id":4385527,"id":"Q4385527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$F30F551F-0E9A-49AD-A4E5-950D2C8C5F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$F05A54D0-BA3C-46AD-B898-9002648EC432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825411$DD5CEAB3-ED45-46EB-A1A7-5FAAE0BFCD36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"190bb2f8bd7ab971eecbc17e63e7dc9d3977b0cb","datavalue":{"value":"10.1016/J.ENTCS.2011.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825411$AA675B01-3904-4B5A-854B-3E8BFFF4615D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b5bca6a2c363a2cd7122171029e7e18c0e7ecdb","datavalue":{"value":{"text":"Clausal tableaux for hybrid PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825411$65B0FF4B-3AA3-4920-B112-ACC5339F3611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3404477fa4a67601e561a14d17c6c39eb0d456b8","datavalue":{"value":{"entity-type":"item","numeric-id":631086,"id":"Q631086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d384cf369209b5b9faaa58ceef6162150bb52b","datavalue":{"value":{"amount":"+0.812270998954773","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":"Q2825411$25F082AE-7B27-45E9-A283-6606D65022E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74739fae47f42f992af94753f7cf2887f3674586","datavalue":{"value":{"entity-type":"item","numeric-id":2303231,"id":"Q2303231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988097d1d6fea5da5a7f0b50a479d65491e57112","datavalue":{"value":{"amount":"+0.8121013641357422","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":"Q2825411$4382C745-A44F-4D6F-BB0B-FB7D10C1B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bc4a201afafc61f22986ae227671db0d2d8754","datavalue":{"value":{"entity-type":"item","numeric-id":2351150,"id":"Q2351150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473ea6b53c0df0baf58417deeb71f7e0d9803d7d","datavalue":{"value":{"amount":"+0.8111085891723633","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":"Q2825411$5EC7E30B-1FB0-46BF-80D8-E788BD74965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f780ab8c793f675d6f00ff364232f4f47d8e12","datavalue":{"value":{"entity-type":"item","numeric-id":4589204,"id":"Q4589204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb19ed63b009e43498ebc0fbf2c7adf73a25ee7f","datavalue":{"value":{"amount":"+0.796151340007782","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":"Q2825411$05A131E4-800D-46BB-AA82-41A29A2DAACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c209f9b5188eefe01c20256ac617269ab6ae3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4933321,"id":"Q4933321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30af0534d0612b95f26df0043fe917c9f9d55b2","datavalue":{"value":{"amount":"+0.7959174513816833","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":"Q2825411$8B9B1D40-E0D5-4E91-A29B-CA411076BFBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825411"}}}}}