{"entities":{"Q2946571":{"pageid":2957291,"ns":120,"title":"Item:Q2946571","lastrevid":58062651,"modified":"2026-04-03T16:02:03Z","type":"item","id":"Q2946571","labels":{"en":{"language":"en","value":"PSPACE bounds for rank-1 modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483080"}},"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":"Q2946571$0B1C9FD0-487C-4387-871D-0A4F5DA00EE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf776582f21fab396958d8ce1ffbfe4e309a7608","datavalue":{"value":{"text":"PSPACE bounds for rank-1 modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946571$76BA6FCB-A3FF-4B27-8EA8-2E0BDCE52530","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52d7883c66c6b5dec78366bce6197f9daab2760d","datavalue":{"value":"1351.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$CA02D2B0-C758-4204-A4F9-CF79E1118189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64d686afb05b30a061826910994bbd8ed5a33c8c","datavalue":{"value":"10.1145/1462179.1462185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$B1D1F91E-F635-4DD8-B321-4ACEE2F15C34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946571$8FFC3279-748C-45D4-A7F3-EF24B387B0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946571$A6C15572-A121-4710-9B76-D0EEDA0B7AD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946571$FE01394C-E515-4ABB-9AD1-BF05B236DA71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946571$F0C00395-097E-4638-8181-BE2207265A14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5af46b42ddd6ce832211b7073f8cfac7b4c5d4ea","datavalue":{"value":"https://arxiv.org/abs/0706.4044","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946571$3EA745A3-415D-46DC-A458-7130542F6049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$C3B77C8F-2972-4022-A006-6163BB69BA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$1B5BB62D-A29C-47F9-AD80-8C0C2CD8FA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$53BB517D-9C15-4F10-A1ED-90BA2E5D32DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683a3a0b3b2cecdd1a417900d651f04255fcae57","datavalue":{"value":"6483080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$9D5840B4-E3A4-48A4-B186-5F81E7E94788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20becfcdd4c2f1de6dc0355b6442cf777477d7b","datavalue":{"value":"shallow models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946571$AE38FD6C-D44D-4D56-A0DA-222EFACC849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946571$2056FCD6-AF8B-430D-BA10-D043D3B70635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946571$2444813D-642B-4E63-A637-B01B9B8E5806","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":"Q2946571$905CB838-3C37-4B5E-8D4C-7F0866B1B830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37cfc1a9449dca3cd71b793e814b0665d30f45cd","datavalue":{"value":"W2250074872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946571$89BE1A7D-94D3-4308-9166-0ECF3396C5FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8541a04e0b1eaf1cbbd26664f9562a8be9787b","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d44149bc5c360e6cfad7533b0878cbe08776965","datavalue":{"value":{"amount":"+0.90499437","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":"Q2946571$FDDA0AEB-F084-4950-8C6A-DA98CD1C463A","rank":"normal"},{"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":"0245127938b23007d379c859e0a2dbb412f72026","datavalue":{"value":{"amount":"+0.9023424","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":"Q2946571$4C0D4154-432B-4CE5-A5D8-C828CCB0E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00d05cc8b50aa495ec16b3b07809c760cbf9e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5483013,"id":"Q5483013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e799f57130faab6a14cffe38ef8f341212e83278","datavalue":{"value":{"amount":"+0.90223265","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":"Q2946571$CADF0FC3-1951-4879-9225-A98E1DC5F868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35464d71951e45be763956f480e2c20953eb1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273f8cf5acba43dcb8a5658d59b0610590ce8e3d","datavalue":{"value":{"amount":"+0.8847675","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":"Q2946571$C1AA4A7E-AE70-4A9E-90EF-581EBC2A708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8df7859aa66f6515cb6d47393e7d8d21b7abcc","datavalue":{"value":{"entity-type":"item","numeric-id":5427258,"id":"Q5427258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a996d54daf0d65bc6625144ab8564c2165b6d086","datavalue":{"value":{"amount":"+0.88157654","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":"Q2946571$34768552-64B5-4DD5-A32B-15013F82D8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5892a9560b46512313a4b9bb581b8206488f506","datavalue":{"value":{"entity-type":"item","numeric-id":5465444,"id":"Q5465444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54a83ae74005ab783fd9d0a8fd623912b702e8f","datavalue":{"value":{"amount":"+0.8776081","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":"Q2946571$8EBFA38C-C6A9-4D2F-92FC-B94ADBFCCBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f689c83704e49e62803cb94e676cf2d9254dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4430396,"id":"Q4430396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4146339aff64b8bd4c74a545b172c7a270943ff","datavalue":{"value":{"amount":"+0.87620896","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":"Q2946571$43C149C8-1122-4F23-AD37-7277AE20D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4b7ceef9e5ff2113f203b50f7b4436628f05","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df95e56b055fc6ffac9db53b3f568990335a2c8","datavalue":{"value":{"amount":"+0.8757674","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":"Q2946571$51557337-403F-43F4-9447-36924B368291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebf05996b83aa44eaf616717a41f0e257edddac","datavalue":{"value":{"entity-type":"item","numeric-id":2157601,"id":"Q2157601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97a92b007a950b0ecbe72630dd34d546dfead07","datavalue":{"value":{"amount":"+0.8749068","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":"Q2946571$BBF710C5-7DF6-43EF-BD94-EF0B5F535974","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":"0990d25a40c3686ed853fff3e53254af9bb272b9","datavalue":{"value":{"amount":"+0.8730027","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":"Q2946571$7248A934-EB7C-4E71-A273-19A83446B474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946571"}}}}}