{"entities":{"Q5937849":{"pageid":8114651,"ns":120,"title":"Item:Q5937849","lastrevid":97645274,"modified":"2026-06-05T15:09:44Z","type":"item","id":"Q5937849","labels":{"en":{"language":"en","value":"Modal logics that need very large frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620844"}},"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":"Q5937849$D54C30B5-CDA5-4AAB-97A1-D256B4DBE68D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"054dc4491665392e40c7b6726ed9b8bd2257e761","datavalue":{"value":{"text":"Modal logics that need very large frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937849$B83DF1DA-D174-4F31-81CE-1B79A934C8CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8980435e711317c352069e0b74084da0ee79998a","datavalue":{"value":"0967.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937849$8A2FC7AF-0B9E-40CB-9FE4-A0F068BB8B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$4534CFAF-3ADE-4B8B-BBD3-144E1CE12FB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$C8EA4989-2BEE-463A-8636-507BCA0DE9F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937849$945FAE37-4B3E-4859-92E5-95E43BAB1BA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937849$A9770119-1B36-41DE-9E35-ABC5B8F3D03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937849$BDB06D9B-D397-4B58-9BAE-C79F88A026B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93ca645626e285b1cb6a399a70e0e9edf565c26a","datavalue":{"value":"1620844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937849$530540F3-A1A5-4CE5-898C-6E0D2C9377E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937849$F04C4CBC-09F5-4D90-9117-950D09DCBAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937849$3DC4D3EA-86C5-49E3-8620-4AEDC923D8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2376ef328b1e1c44929f41b78df2ea4f442e09ab","datavalue":{"value":"Kuznetsov-index","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937849$6B3AB26E-F7C4-47B7-B988-05DB96849745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e363197fa1f313cd4c9e204cbf9c91d895e167","datavalue":{"value":"Kuznetsov-spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937849$90FFBD14-9C5E-49E5-8CF2-6F6203CE26C2","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":"Q5937849$9DB8B762-9925-4A2B-A1CA-89ADF9879D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89704df49018c57e36dead637b81b4a2178aaa09","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1038949533","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937849$2E309785-70D5-47E7-B0BA-14C7D27CA2C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2aa9f3ff671c2cf0ac08b3742b3cb4169804e6d","datavalue":{"value":"W2023163448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937849$385ADE63-BC81-4031-8B9C-26D0BCD77624","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de05db23343398d035e6d96c7c94d7fda01b4584","datavalue":{"value":{"entity-type":"item","numeric-id":5537602,"id":"Q5537602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$13418B79-4B5B-4901-BA02-827766FEB341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$E9A517C8-6186-46C2-AA6D-83466BE1D182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$DA8D00F6-367A-4587-8CF4-1F133FD79AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$71AD9302-CD33-4A78-963B-2A865D2B8036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$CB45BB9E-049B-4B85-8186-916FC25FAD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$6586D2E9-57A6-4B43-AF69-6EF29E4CA3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3c2b41605812d14998e72c06f555658dfb17c6","datavalue":{"value":{"entity-type":"item","numeric-id":1208111,"id":"Q1208111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$28D11934-0FBC-4F1D-8B5D-06A977C5D28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$134B3677-A2C5-4B38-BC45-8A26463E677B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a69263e956d5a3245f52cbb037308e56320ccdc","datavalue":{"value":{"entity-type":"item","numeric-id":3999881,"id":"Q3999881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$3C55938E-5FB1-4538-9B0D-5D426C8A6C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$A4B8B00F-5D44-4D01-844D-BF8A879A0CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$557C6642-C8BA-4851-B39D-F6500C33457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d4852e470c8c2ecd1b7eb68342cd53f052d985","datavalue":{"value":{"entity-type":"item","numeric-id":1372357,"id":"Q1372357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$01B505AD-1544-4164-9ACD-D621E7570886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d2ce866aade83c23f27f73c552342f56a1be2b","datavalue":{"value":{"entity-type":"item","numeric-id":1368753,"id":"Q1368753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$31762E62-A963-4864-8A83-80465503EB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731742f01359ac7e84bcc80e92e7feea7820ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":4087146,"id":"Q4087146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$1BF84F43-5C18-43F3-B2E3-5BBCB7324AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$9CB596D4-B03F-4E6D-B41F-BE6D40800449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e7e1dcbf368305b0805eed3df01bf4e94561f3","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$058A80CF-AEB3-44EE-93DF-DBC387E91E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73d6c27ee2d92e0a6ba9a337e40eba45e340765","datavalue":{"value":{"entity-type":"item","numeric-id":4879194,"id":"Q4879194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$A8E1CA50-6C0B-4866-AE1F-32D652D2C1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0797389d565417b6d1c13ed5454a90ef6d1a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937849$94992495-9C8C-4034-A23C-E744258B49BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"417e85e33bc152c871f08b16470909670bd23950","datavalue":{"value":"10.1305/NDJFL/1038949533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937849$F554B72D-7ACF-4F3B-8E58-FFB1CAFB3FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73de6618ff0ea8033efdfdcd97da9f1c658ee07e","datavalue":{"value":{"entity-type":"item","numeric-id":1823924,"id":"Q1823924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d792667f7926f0d92f3264b1411e024598e6156","datavalue":{"value":{"amount":"+0.7138161659240723","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":"Q5937849$FEA7051A-0D6C-4B59-BA78-A58D4D6C201A","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":"c0e2562fe3fb6d718a0dfb8e3bb78292fedeece8","datavalue":{"value":{"amount":"+0.7117975950241089","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":"Q5937849$131251D4-A05B-4C06-A015-618A3AF78967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602176a39ad1ad5829183620756797b3a8732975","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c140be83ec2c8b7f2a1424e35ac06fec06b97bf8","datavalue":{"value":{"amount":"+0.71156907081604","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":"Q5937849$09FDE515-8C19-4205-88C5-ECBA2F3D40E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a007750dc527e0cbb7e0bc2b2c346bebfce94685","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b46133d4295a6a5274c6ca6137dadcc775ee692","datavalue":{"value":{"amount":"+0.7098444700241089","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":"Q5937849$4EE530F8-B2BE-41AD-A333-64CE842B9C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f3a5461a3d0d6dfa0e753f0a11f7ef3f3ed22c","datavalue":{"value":{"entity-type":"item","numeric-id":4532612,"id":"Q4532612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7af38ce7e7732d5b27aab013b59f3b5c6db227","datavalue":{"value":{"amount":"+0.7078830599784851","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":"Q5937849$B0651099-A80A-499A-903B-5763EE02109E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics that need very large frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_that_need_very_large_frames"}}}}}