{"entities":{"Q4529490":{"pageid":6559082,"ns":120,"title":"Item:Q4529490","lastrevid":47915959,"modified":"2026-01-03T02:03:22Z","type":"item","id":"Q4529490","labels":{"en":{"language":"en","value":"On the Products of Linear Modal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1744050"}},"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":"Q4529490$7A829CF6-6A17-48CA-A597-AF89DCBE8C39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"824d91d9da698e1a17b9e915a47d0d616b0a9ca9","datavalue":{"value":{"text":"On the Products of Linear Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4529490$33F7D56C-02DE-4D38-8F84-094B2CA8D8F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c30f8a5d1397891116801cda2298ca14713302da","datavalue":{"value":"1002.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529490$AD95552A-D867-46F2-8DF2-83D12C44AA26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ba0e16ec554a6a916fa7a31c1f3db10e36701a3","datavalue":{"value":{"time":"+2003-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4529490$6FA0F20B-B14B-47E6-98DC-77F10FA6C72B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529490$EA877CAE-8FCA-4587-B4FF-AFAB700FB9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529490$E94F4A87-641E-4B82-8D42-BA68763947D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2abd84661e255439b1589954d5eac46f9931b1e7","datavalue":{"value":"1744050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529490$78C65939-C077-4625-9D3F-241F2172C824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529490$8FB13F44-779D-48E8-89C7-CAFC30D72022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529490$40049175-9E97-4FCC-A847-C595314DEB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7642d8b032ac6ec79fcbf380f24fdc21e9f421e","datavalue":{"value":"Cartesian product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529490$5175A5B2-08AB-4291-A4EC-D965CAC9977B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529490$22DE3E9E-CB74-4E71-8C7C-CD0AA561C305","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529490$86FED809-F42D-4BDB-8A38-9A67608A1355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529490$CB806A2A-32E8-484C-BE15-BFDEF1909500","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":"Q4529490$0D6412FC-FBA3-4350-A625-89EE119B1D41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95199f850f88cc78fde78c51b1f0787c400dee78","datavalue":{"value":"https://doi.org/10.1093/logcom/11.6.909","type":"string"},"datatype":"url"},"type":"statement","id":"Q4529490$70A4FD2F-A3D9-44EC-8248-AF78C0849F00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"490fec2c126f92d59cb1c228612aacba730ccb75","datavalue":{"value":"W2040575807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529490$94E9C217-AEF8-476B-8430-395C852C21F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"012600c5e3bbb8e6697bff6f1195601614930b9e","datavalue":{"value":"10.1093/LOGCOM/11.6.909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529490$4DA59272-B3AE-4579-87C3-6FA2E93152BE","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":"Q4529490$37D781C5-7F57-42EC-BDFB-AE4BB57E4E4B","rank":"normal"}],"P1643":[{"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":"3ff25c986f4114f4f2286bb943a3c9a3a44f008c","datavalue":{"value":{"amount":"+0.8473591208457947","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":"Q4529490$DC8E5D79-BF4B-4642-95B8-E6D153C1A240","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":"57c287c359084d096ad3a0ce4df84c26d778f557","datavalue":{"value":{"amount":"+0.8339305520057678","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":"Q4529490$61C16111-3832-4FF9-B227-E395528C7E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e4095fd2f8671743c45ba21a1f16d5aeda902","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0bfaf81a0a4ed4d8cacb229c4a5acfd1a57b49","datavalue":{"value":{"amount":"+0.8320488929748535","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":"Q4529490$1514EAE0-5731-4C0B-8D80-D49E5756EE26","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":"571da534c6889c4e5444cc02fef0984e81168020","datavalue":{"value":{"amount":"+0.8306924104690552","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":"Q4529490$0A0D5DA2-9EC9-4CBF-9609-642553D3800B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62eaf5523f47f6f0def723592bbc90d35fe481f1","datavalue":{"value":{"entity-type":"item","numeric-id":4443212,"id":"Q4443212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6438076671968a35ebde8261ae4d2a43fc2b062","datavalue":{"value":{"amount":"+0.8255446553230286","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":"Q4529490$B85CB0E2-304E-48C1-A990-1FDC6E3C3C1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4529490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4529490"}}}}}