{"entities":{"Q2296757":{"pageid":2307500,"ns":120,"title":"Item:Q2296757","lastrevid":55373128,"modified":"2026-02-17T14:43:40Z","type":"item","id":"Q2296757","labels":{"en":{"language":"en","value":"Computational complexity of core fragments of modal logics \\(\\mathrm{t}\\), \\(\\mathrm{K4}\\), and \\(\\mathrm{S4}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7169142"}},"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":"Q2296757$FD395185-308E-45A3-909B-A18CEBBA7FF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33a825eaa215b391738d37f0d776d5cda97929a6","datavalue":{"value":{"text":"Computational complexity of core fragments of modal logics \\(\\mathrm{t}\\), \\(\\mathrm{K4}\\), and \\(\\mathrm{S4}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296757$A93CE4B3-4C9D-471B-B5D3-8CCD75CDB7A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32f916a38b03881b011b633548c5c309f0c33aba","datavalue":{"value":"10.1007/978-3-030-19570-0_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296757$16E5F2EC-2A7E-4BCC-A236-B925198CE220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62be5a32c0c8abc650c470c31ddeb43937fe8106","datavalue":{"value":{"entity-type":"item","numeric-id":821567,"id":"Q821567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296757$D8294B07-CACD-4FC1-9A49-A5D2F6D3BE21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2296757$A25C2C83-EFD5-4BEE-A3E7-D6A1670F6823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296757$8A08EC85-DDC9-4BF6-869F-E9F7CDFB43AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b07404a71a89b7ee7d2c02182ef63bbd99b25334","datavalue":{"value":"7169142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296757$862D05FE-44B4-46DB-AB7C-774391AA14DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296757$E643FB65-FBED-4D24-B5D9-7139CAEC81F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd207eb5630fcedb7dc865e298e3074b46c9ac2d","datavalue":{"value":"sub-propositional fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296757$104DB97E-071E-40AD-A9E3-081BB1F13ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296757$8B51AC75-3574-4719-904C-AC920C35C456","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":"Q2296757$33838CD5-F34E-4C34-A57B-14796495E82D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5404c789c41b28239dc84ae5a8b086ee2047ec21","datavalue":{"value":"https://doi.org/10.1007/978-3-030-19570-0_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296757$41F40419-6CE2-43C1-8CA5-2DD8B13C4268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"394a8ed9794199d7d31fe3ffdf97e70b4d0f110c","datavalue":{"value":"W2944361028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296757$937EF7C5-8692-4FD7-8AEE-CB447D7EC873","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb38d0a048955a961ac0cc2a16e1ff26d300c8b","datavalue":{"value":{"amount":"+0.8348514437675476","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":"Q2296757$CB2BCD7D-D96F-41E6-880B-A3C2D6D28303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9feaf5a26db187259b052cdc23a6f67419a653","datavalue":{"value":{"entity-type":"item","numeric-id":4580320,"id":"Q4580320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff68ebb7ac0e0f1b841f88052af61b54120a4e8","datavalue":{"value":{"amount":"+0.832974374294281","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":"Q2296757$EB59ACE0-DA34-43A0-8CEF-A247E27D3D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99075a29069e8b9ccf7b53999493389a3a9d6061","datavalue":{"value":{"entity-type":"item","numeric-id":4584892,"id":"Q4584892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b29b096359be6dbb0e3d41621df9528b093a22c","datavalue":{"value":{"amount":"+0.8080165982246399","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":"Q2296757$87D3709E-F06F-4FC3-A454-8A233BC5FB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6deb89b36f08d3ea27dd8b53850391a1648df6d","datavalue":{"value":{"amount":"+0.8006799221038818","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":"Q2296757$E048245C-B629-4B30-A143-A7C059F8D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9c826245b4fd91f2192be4f569961dc2af1f4a","datavalue":{"value":{"amount":"+0.8004783987998962","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":"Q2296757$FDD4A5B4-D354-4E01-B88F-D25A81E19BF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296757","badges":[]}}}}}