{"entities":{"Q2720401":{"pageid":2731140,"ns":120,"title":"Item:Q2720401","lastrevid":82898165,"modified":"2026-05-06T22:22:25Z","type":"item","id":"Q2720401","labels":{"en":{"language":"en","value":"PSpace reasoning for graded modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611143"}},"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":"Q2720401$EC85DD34-5C6F-4656-AFA4-D3870ABC63E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4a58e344999e250309714b8bc4cd8a24368d14a","datavalue":{"value":"0992.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$E0F65D57-E421-4C4E-9C01-9C2D47B13A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3632edebc8157d626bdfdbb4245837ef03429c","datavalue":{"value":{"entity-type":"item","numeric-id":2720400,"id":"Q2720400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720401$86E9FA7F-8395-4317-882A-6E722C2A107C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2720401$DAC46D90-4D0D-4E03-B0CB-1DCAB998E5C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6a04a97a1b3471d6c4109690a489398721015d9","datavalue":{"value":"https://arxiv.org/abs/cs/0005009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2720401$DEBDAA34-20BA-46E4-B93C-80402F5498EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$6A6541B9-04AD-4BEB-9A1F-9978260A58B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$C9A61AB6-9FED-457E-8FD0-6B96C1B699D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$67507D58-3FDF-4FCF-85C0-2466E89A6F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$3413CB1B-FB93-4372-9BC0-BDA99FC8FFB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5849931d88c5535ec09ffec0db38806dbe0651a5","datavalue":{"value":"1611143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$3600198B-92D9-4F79-9859-B556F6470789","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45aae95e90632dfcd6ab7e0144d94e4b3ca37bd","datavalue":{"value":"graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$B3A117CC-FDCA-4D18-8305-F9C8F78A151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$F7293C50-8EDC-4F6D-8A54-764BD1DD43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$1F20D453-74FA-4A77-B1C8-0A71C6B4FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e4cb1d52bdd3f472110f3b6643956bc78e2723","datavalue":{"value":"PSpace algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$D570EA0B-807F-4C5F-B539-C3CBE95F7FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$D79CFC5B-5FAF-43FC-A6E2-F44E33D1C05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$B883BFF0-0A09-40CC-B75E-B6063D050586","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":"Q2720401$4C182F77-D72C-41AA-A11A-F39119FF96B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"488424e63bbbebf27f9e09ae2c78e1ee7c8ddf31","datavalue":{"value":"W1636976386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$E2779966-99FD-43DF-B068-7085418F9F94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d322225e4acf97e22f27b352b6f184b4371181","datavalue":{"value":"10.1093/LOGCOM/11.1.85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720401$665BA953-55F8-42BE-8B06-8200956A9583","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ffe2c674fe1dbba7350aea553a7914d1745f791","datavalue":{"value":{"text":"PSpace reasoning for graded modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2720401$F9A92D20-249E-4368-AFEC-F812AE0FE042","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720401$00F2F885-F5CC-4DDA-B273-1555B36F92E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d895acffcc65cc49d8785f67c3dfcd708a3b12ac","datavalue":{"value":"The paper presents a PSpace algorithm that decides satisfiability of graded modal logic \\(\\text{Gr(K}_R)\\) -- a natural extension of the propositional modal logic \\(\\text{K}_R\\) by counting expressions. The algorithm is based on the tableaux algorithms for \\(\\text{K}_R\\) and tries to prove satisfiability of a given formula by explicitly constructing a model for it. Using an extension of the proposed techniques, the author obtains a PSpace algorithm for the logic which extends \\(\\text{Gr(K}_R)\\) by the inverse relation and the intersection of relations. This solves an open problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720401$7CDE0A04-1638-4CE9-88CE-E17A25FBF99E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720401$8C6628E7-F461-41B4-8405-6306AD32F0A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fb2fb23fa287af5310dbe427fe8889ac5b0c32","datavalue":{"value":{"entity-type":"item","numeric-id":4263156,"id":"Q4263156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9d0e909b28e86b52e53a7aace72ed0305efb87","datavalue":{"value":{"amount":"+0.9322829842567444","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":"Q2720401$A53ACFBE-B82B-4B86-B221-B7DA450C16E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d70cdf3b30682ecb96981f028c2d601095f47f7","datavalue":{"value":{"entity-type":"item","numeric-id":3613433,"id":"Q3613433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92271593adceb56eafdec55be2dd27a03c663cc2","datavalue":{"value":{"amount":"+0.7765262722969055","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":"Q2720401$96BDDDFF-9362-493D-A3E9-29F41034E61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8589db00900c12b722b71489c703e5e212cdaf30","datavalue":{"value":{"amount":"+0.7746257185935974","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":"Q2720401$0B547233-CFEF-4393-876A-489844C10A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4555e171e66f0e34d6fe011338511ebdd2c7fd80","datavalue":{"value":{"entity-type":"item","numeric-id":4275688,"id":"Q4275688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7cd442b2b5cb2499ec30984ffe551621d25ce2","datavalue":{"value":{"amount":"+0.7619292736053467","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":"Q2720401$5B8EC389-1CF3-45DF-B868-A777E74A1058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efa108ea3da8645cf5b616aa9b97c33d1610555","datavalue":{"value":{"entity-type":"item","numeric-id":5960008,"id":"Q5960008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f648b4e41769b7f9652880bc4fb3dba85cd0f353","datavalue":{"value":{"amount":"+0.7617016434669495","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":"Q2720401$C3E45A3A-4598-4741-BA4B-C9E563B57FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PSpace reasoning for graded modal logics","badges":[]}}}}}