{"entities":{"Q360052":{"pageid":361819,"ns":120,"title":"Item:Q360052","lastrevid":51806735,"modified":"2026-01-20T03:42:35Z","type":"item","id":"Q360052","labels":{"en":{"language":"en","value":"On the succinctness of some modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201297"}},"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":"Q360052$FE14D750-FA56-46FF-BD85-96ECEBD8AD15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29f9b6d1b6f7ae8695f78c9ccb63e7d74cd60789","datavalue":{"value":{"text":"On the succinctness of some modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q360052$A704D73F-A65D-4142-B212-9CA1256C1938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b04a1476ac26b909e545e4ae90625204ab886ac4","datavalue":{"value":"1270.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$78371759-3F18-4AAA-BF71-738B56604ECB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$D14372D1-B877-42A8-BEE4-58B9B869D562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7857abe81e7661e1a785d3a69b9cde83e42312","datavalue":{"value":{"entity-type":"item","numeric-id":360051,"id":"Q360051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$99E6DE77-AC69-4B91-A522-2E3A0C341C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$2E747248-B399-44FE-86A0-D82C3AE8E99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8a4a4842ce7e9395fec03d07820d80de9ff9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1403402,"id":"Q1403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$F15467DB-A551-4814-907D-ADC1EC4657C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$D3926E80-3911-4C11-BD3F-196AC399A498","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a565cc81fb7567e9566348616c108775dbcfb5a","datavalue":{"value":{"time":"+2013-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q360052$720DFD87-C32B-443A-8056-AFCF786C31CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1c3c5726c2dfcfd3d7c94da87728bea3ddc7418","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0004370213000222","type":"string"},"datatype":"url"},"type":"statement","id":"Q360052$C1F1B1B3-40A0-40BC-A504-79F58BC3DAC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$B716AED2-1CAF-4FE2-B7B9-B4C2647C8067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$23B4B34A-8967-40F6-81C3-D2515CFCA058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$C4D7B70B-28BE-41BC-8B75-C7A42CD03CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$5E6E7467-17B8-4859-B87D-8ED1DD6609C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$C9330C8D-D720-48AC-9D1D-7D3DA6BB14F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f8b09349734dfbbeb08a5ec976a08cb567de37d","datavalue":{"value":"6201297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$32184EC8-8B87-4FC5-9F33-9A6548982355","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$FB4E021B-46DC-4F55-8986-0FB2CB0079ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$1158E38A-3204-4531-91D0-1658509E88AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$35156030-5D84-4509-A38A-CE203234B142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$16C3C3B7-DD8F-481C-B8A7-0AD352A82428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6214a3eeb04170d890cb8ef63bd7af0672995e","datavalue":{"value":"finite model theory of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$84C2C4EA-9260-4B61-A24E-A9C3218CE16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$325FFFC2-3A54-4434-8015-E19E34E17928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27cf408f646a8788f6fb4f6850c9b332b3c3e92","datavalue":{"value":"Boolean modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q360052$BF8DD755-F168-410A-8AAE-E80513D1248B","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":"Q360052$CBC49645-9004-4F9F-A105-CE9D1006EA46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db7d82127bc729e9c795c314eb9d2c20337e0cc8","datavalue":{"value":"W2094001511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$05DBDB6D-833F-4493-BDBC-C9539E2E2494","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca61a521a091fbdb028c0e1a8fa2de5ae934419","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$6BF6AE3B-BFB9-4358-9B1B-5162F88A1CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$C5BB0E09-2364-402F-A510-68ED68A249E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$25F53585-FE13-44C2-8184-66BAC0B4EE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb10921ba059dc9bfd0156ebf043213aadebc89","datavalue":{"value":{"entity-type":"item","numeric-id":1978467,"id":"Q1978467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$9A4981CF-FD27-4016-AA86-EBE1E4345A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$2F350F45-0C4B-4E17-97E3-93A498E32F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$C904AE8B-C29F-4BFF-9C64-AB857AE572CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$D85B13D7-C461-4915-8B06-9A9D4CD978A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$208395E4-F91C-4BB5-9DD8-EE218D31AC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79d627d45f64805abd56e474ce6874950b09abf","datavalue":{"value":{"entity-type":"item","numeric-id":4659888,"id":"Q4659888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$CB9910D9-7D41-4170-9249-1B18D54BA827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e7aefff09ec710390f02f7dbf4963123b68f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5310637,"id":"Q5310637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$6466A3A1-3C06-4D66-8C92-3444F5889737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e8394e4b9685fcdbe819e19be7a3da091cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$A5512D45-BEDD-46EF-A58E-F9647D8C5A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a96555b809963679089a6b71df681974c2afb7","datavalue":{"value":{"entity-type":"item","numeric-id":420809,"id":"Q420809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$8914D176-D74E-46CC-B820-40B57EB6F6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2a7747461b8df0433e719ae9e2a5e1d8ae3441","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$875C7A4E-8375-4BC9-B410-D07DF66A885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ca73d26231a1b566af43f5c10bfdf71dc5b13","datavalue":{"value":{"entity-type":"item","numeric-id":3395959,"id":"Q3395959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$76A04921-062E-43B0-9889-E47CD748A2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed22e38d4d119ce0a1092738c76d347c441ca3f1","datavalue":{"value":{"entity-type":"item","numeric-id":4500374,"id":"Q4500374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$DC1FEE35-386C-4882-A3FD-B41068795D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ca4227b12917f21ab635e42e13cae3720fe4cb","datavalue":{"value":{"entity-type":"item","numeric-id":2904422,"id":"Q2904422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$B4DDB7DC-40C6-4071-8716-65DBDA74BE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q360052$FDF15AE1-AAD9-44DD-9633-98A4CC0029DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a934201e59ab8631775f3db9e7167b92445018b0","datavalue":{"value":"10.1016/J.ARTINT.2013.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q360052$56144CB4-D47C-43ED-AF34-0224D45696EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1873ba2ce013ba483f0ee6e02c6a775ebf64d5","datavalue":{"value":{"entity-type":"item","numeric-id":2904422,"id":"Q2904422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1920d1c063acd2dbd8ad484b0c4789600fd94982","datavalue":{"value":{"amount":"+0.8489720225334167","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":"Q360052$7233FA35-5EC3-4002-AE2C-E39FFDF2D8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5167e47acebea4212047e18d57c90d02d31f47","datavalue":{"value":{"entity-type":"item","numeric-id":4636290,"id":"Q4636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ef0c85ee69412e2f6203d87d63ca35532ffde9","datavalue":{"value":{"amount":"+0.8479860424995422","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":"Q360052$B00FC9F1-A1D1-47C3-90AA-A5F2A13DEA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a04143a852ad5dc3b0be9da00dfe083e29a8d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4586149,"id":"Q4586149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1981da274633392510261f913020d7033ccedbf","datavalue":{"value":{"amount":"+0.8205379843711853","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":"Q360052$25FDEAA0-D0C3-40F4-805F-E96F808C5A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdf7e07185eee9a08a6f2a52eb3fc52d82a5c34","datavalue":{"value":{"entity-type":"item","numeric-id":4636046,"id":"Q4636046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a535481348f3b77ca50a7896a4ab52aef87f8cbf","datavalue":{"value":{"amount":"+0.811111330986023","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":"Q360052$FD5D53CB-9CEF-4049-B9CF-0B6619D566BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615451251a0c5b6d8ed2012007ab890eee6d6902","datavalue":{"value":{"entity-type":"item","numeric-id":5216339,"id":"Q5216339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39088bd6ec41ba8f5723331072089f924acff60","datavalue":{"value":{"amount":"+0.7918661832809448","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":"Q360052$BC0DEACE-765B-4CDF-8E20-7A55A16CAFA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:360052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:360052"}}}}}