{"entities":{"Q4242586":{"pageid":6272187,"ns":120,"title":"Item:Q4242586","lastrevid":41129511,"modified":"2025-04-18T10:14:26Z","type":"item","id":"Q4242586","labels":{"en":{"language":"en","value":"Complexity of products of modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286045"}},"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":"Q4242586$F3692D31-D215-4E2D-9566-9A27AC40D883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f636256eb5da11e93326f07f32ade457e36641c","datavalue":{"value":{"text":"Complexity of products of modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4242586$1BA5C830-E551-4372-8639-1EE559CA4CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab9d147acd2c90e60a7da944f054076af1a8d945","datavalue":{"value":"0945.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242586$21A292EF-EA17-43EA-A460-8D8C17196ACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242586$8EB5C43D-6CD6-4C72-9E93-2B2142FAB1DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a21e07de487f67db9a06dfe5a09ead0ebef66850","datavalue":{"value":{"time":"+2000-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4242586$D2EDB910-C961-4733-9278-78FB78F2F66A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fff484f0f85ad643cd9732d41c3a0a1fed60668","datavalue":{"value":"https://semanticscholar.org/paper/b3893b1a699620bea3cf61ff2648ca4d10fddcc7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4242586$04DC70F5-FF8E-4624-88D6-56ED85B32D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242586$068937B2-1DB5-44CC-A939-8A9AD9245FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242586$417E53C3-DEBF-428E-8D3C-B5A31D0BAD64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d723638adc4a32c5e049f27c9e9cf42a00010ed","datavalue":{"value":"1286045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242586$44609767-B25B-4C89-9809-3D39B0392D83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$121A5B13-2F60-4CB2-B80B-90DEC36D67C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8bdff5064b2bf2d8c06bd18d53c4b86496c07","datavalue":{"value":"product of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$3FC6CEAE-2FEB-4278-A54A-749B10678D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$06A2AF62-2149-46DA-92B3-E62561B00EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0470d7a9698e5ceba3367e54959ca52af6c7553","datavalue":{"value":"tiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$F32BF952-27EE-477F-B7CB-4B69EB628518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a913db4ff264f018e221f070b1134e91676db1","datavalue":{"value":"satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$26939D47-A002-4898-A87E-D750722EC1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c297c49dc5f5ca92008f900c976923128debeac0","datavalue":{"value":"global satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$A20B78DB-7152-4589-A915-9921AE68AF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18fc610962b54b54d03de4c8a1d83e64095a1021","datavalue":{"value":"product of Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$354A6071-8201-4132-BDD6-2E62BA6D4A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$7345E42E-65B1-4AD8-BA4B-7EFEDAF3D666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242586$B0A245F1-E9AB-4BEA-96E4-B8602041DBCB","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":"Q4242586$FCDC0DF5-E7A7-442D-94AA-7F7B5FEB8CC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3060d5e7bbb994d3d08d480f556a8c161c1a4d86","datavalue":{"value":"W1978169673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242586$1BCA94EC-2372-4D5B-AFF6-6FDAEE6ACC55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94aa9e32276c5ee20ce17600e521a9e92f334042","datavalue":{"value":"10.1093/LOGCOM/9.2.197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242586$9B78B5C2-9F1D-4C9E-BB65-CDA00665AE28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0068902deb964e89d078ec49662d9841507b3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2708309,"id":"Q2708309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9a3e133cd400e39517e0191663ae30525e6032","datavalue":{"value":{"amount":"+0.7927146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$13137A3E-3696-4C78-8EE4-82657BD327DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e8a688e407b719c245ad8bfaf0b92243d2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f547ebf703345ef4f7f9cc06637755838ccb4d","datavalue":{"value":{"amount":"+0.7856082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$7B8BA80D-ACD3-49D3-8A71-84E96B2F00E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aef101205f7677e5740815f0deab014924b1eee","datavalue":{"value":{"entity-type":"item","numeric-id":5419892,"id":"Q5419892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c2a8eb2d8ce0231a41195c856ef123c9893bae","datavalue":{"value":{"amount":"+0.785106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$66947C0F-12BD-4084-98B9-A953FE21F938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95534a014d834799deac2107f757923e02f2f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47754db8e9103085e002ab018939aec63ccd118e","datavalue":{"value":{"amount":"+0.7778203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$BF389051-A885-4555-86FE-635EDF0A475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7ae6e9dec47858e9c1ceb6119b4027e7b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df796eb046ffcc04522c6696a9fd4fb03fcaeaa9","datavalue":{"value":{"amount":"+0.7728126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$8483D84F-3EBF-46F8-8A5E-C96C43757472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa9a8d4e9135b56dc789670d1271aa0eb782cfa","datavalue":{"value":{"entity-type":"item","numeric-id":472808,"id":"Q472808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1e2d4de888c44d9b67e0840a9eeea2015e8e98","datavalue":{"value":{"amount":"+0.76887083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$4E12B900-979F-47C0-9E0B-64B7F700B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cfeb7f4a4545ec627e03db460309f739b96433","datavalue":{"value":{"entity-type":"item","numeric-id":1863831,"id":"Q1863831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed23d278a7d7b922848ff8da3c82e02a0860d644","datavalue":{"value":{"amount":"+0.7677883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$FF5E38FB-D198-47D8-9863-1252677949EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c41a9d42c5a68d348f643666968eba0f08cb49a","datavalue":{"value":{"entity-type":"item","numeric-id":5718700,"id":"Q5718700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acc164d56858017b57c61d844e1d6f980717e9d","datavalue":{"value":{"amount":"+0.7674542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$703F293A-729B-4755-BD4F-703282EB5150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b328fe785c3dfbce1f857c0ed71687f55b91e54","datavalue":{"value":{"entity-type":"item","numeric-id":295921,"id":"Q295921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12fcdd2051e2d9f962dfed54425159968d5f79a","datavalue":{"value":{"amount":"+0.7543163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$D73489FA-5020-4384-94C3-7CB2B76E0A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4805e4223ec5ae661cefa39b3f7f5dcc349b602a","datavalue":{"value":{"entity-type":"item","numeric-id":4487258,"id":"Q4487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37de36fe984dc4965dc14289b5ff324073732375","datavalue":{"value":{"amount":"+0.7416103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4242586$105B7E93-82CC-4CEF-8CCC-5417AD4AC683","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242586$A4C9F41B-2496-4722-A8F2-6D1F725001B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4242586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4242586"}}}}}