{"entities":{"Q5056353":{"pageid":7085930,"ns":120,"title":"Item:Q5056353","lastrevid":47782408,"modified":"2026-01-02T16:33:13Z","type":"item","id":"Q5056353","labels":{"en":{"language":"en","value":"EXPSPACE-Completeness of the Logics K4 \u00d7 S5 and S4 \u00d7 S5 and the Logic of Subset Spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628966"}},"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":"Q5056353$F05EB0D6-1FF6-4A9C-8894-706C894E4297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5e76e306684769eb46859cd4951eacd04ee56a0","datavalue":{"value":{"text":"EXPSPACE-Completeness of the Logics K4 \u00d7 S5 and S4 \u00d7 S5 and the Logic of Subset Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056353$2C6C35D2-D789-48A8-B396-F7325336E8A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"636312e8655e4aeabbdd1a93d3ec728843b76bef","datavalue":{"value":"1505.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$A3289E65-F8BE-46E2-A0B7-8B86A261A08C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a55f93e4f4b979fcad3bb11313d40bca6d539da","datavalue":{"value":"10.1145/3465384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$62C49C57-DDBE-4114-BFEA-2E55D3AFB42B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14bb76361f08f4242565da4fbaaffc40bf9bd699","datavalue":{"value":{"entity-type":"item","numeric-id":5056352,"id":"Q5056352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056353$8FE7C72A-66C2-40EF-8CA7-A21144001026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f808d6ed2273e81fa02df15336b948d7d3d2f5","datavalue":{"value":{"entity-type":"item","numeric-id":1868529,"id":"Q1868529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056353$DB188EEC-A349-48CF-874D-B635322B96D2","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":"Q5056353$B42228C9-0DF2-4762-8C34-227FFE559093","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056353$9A61F3FB-9C5F-4728-AEB4-9DA7E2BFB8BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$CA281190-597B-4E19-A52D-03867A303F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$69B71050-51CD-4487-A6B7-1A4EE17A47C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$DACA5A09-A77C-454C-A00A-4C74F3E144D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e22bbbffcff692d6e2e599e29ed8d30b3f76cf91","datavalue":{"value":"7628966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$D2ADCE9B-72B4-48FE-9D67-EDA634CC3279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e3d6ddc581c4055d2ee917e138509533677d0b","datavalue":{"value":"bimodal product logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056353$E24B2F63-9AA2-42B3-AD0D-962137FAEA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f079d2f80c76bd6b053fb62a435981fd5cf32aa8","datavalue":{"value":"subset space logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056353$E07BB30C-5E55-4CF9-8BF2-51D563EC8033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056353$5137A851-C6B0-4DE8-9E1F-653A0DC9DA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056353$D18EDFA9-08AF-4206-9F7C-556EC71CB6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a864affe307339533b968a9f06c7ea026d9fa8de","datavalue":{"value":"EXPSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056353$4A02B084-70B6-4C1F-A1D6-5C99E4A2083A","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":"Q5056353$FF180DBA-45D5-4F98-AB09-48376775C0AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44633237178d6d7d15280deeb19767f41bccbedd","datavalue":{"value":"https://doi.org/10.1145/3465384","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056353$FB2B561F-5C8D-413A-87E4-6C475D05D7E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ced49eeebf06f1f11c248d10dd970b4daf82c33","datavalue":{"value":"W3198236183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$A275370E-27AA-45A8-8FA2-7EBE973D37F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"be16802fd8f7c47e5b250cfa20749638d9384e6d","datavalue":{"value":"Q130818449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056353$5CF74B2F-3863-4FE2-873B-8ACB2B711539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e980066946ce234e0278aba8aae874ef46900f","datavalue":{"value":{"entity-type":"item","numeric-id":2804296,"id":"Q2804296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9978687b7f428c59e2f3a91c0c837899c82b3b","datavalue":{"value":{"amount":"+0.7813313603401184","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":"Q5056353$E55377D7-B35B-43BF-AD0C-3A5C59F754D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c81063d856d3dc0edf6bfd3f46502ac3d8a5e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2773549,"id":"Q2773549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf95e0b7ebf665d549233c42be07ae52266ed22","datavalue":{"value":{"amount":"+0.7700820565223694","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":"Q5056353$AE045969-2CF0-414E-ABDA-698F093F0670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc946908c493dff0c292caf18d0cdce6568e1a","datavalue":{"value":{"entity-type":"item","numeric-id":631793,"id":"Q631793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf95e0b7ebf665d549233c42be07ae52266ed22","datavalue":{"value":{"amount":"+0.7700820565223694","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":"Q5056353$EDA397E1-B563-418E-BDF8-E66ABBAD5777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882b4a84f0b72131e85af82fa8d59f69379438c1","datavalue":{"value":{"entity-type":"item","numeric-id":5243291,"id":"Q5243291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7926a7d327ad9e702200eaf6039fe173695d9d0f","datavalue":{"value":{"amount":"+0.7637960314750671","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":"Q5056353$81E32859-01F6-4955-85D8-37AD18677E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783be7b38120ac65db99667fc8768b5d0b843806","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc941a45ed0f88b6f5786f93e5ea6f41679a815","datavalue":{"value":{"amount":"+0.7592901587486267","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":"Q5056353$E96DD05C-580F-4AD7-B096-C91E60797D1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5056353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5056353"}}}}}