{"entities":{"Q2392014":{"pageid":2402757,"ns":120,"title":"Item:Q2392014","lastrevid":51791609,"modified":"2026-01-20T01:39:36Z","type":"item","id":"Q2392014","labels":{"en":{"language":"en","value":"A general Lindstr\u00f6m theorem for some normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195402"}},"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":"Q2392014$101B3106-6A04-4E69-8DE5-32FB898D6ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a187060a7f3883633d2fafd407abb227396e13a","datavalue":{"value":{"text":"A general Lindstr\u00f6m theorem for some normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392014$709949FA-4604-49BD-9905-A6B665896380","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1d32a210d3d40721671322d5128f9024a7704d6","datavalue":{"value":"1345.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$D1CD8B5F-8AAB-48E7-ABDA-984FE2CB3C11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$8A9EFE5F-790C-4FF0-ADDE-3BB0191537D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$71E0DD01-8F3B-4E3C-9D26-870F63186A60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b9371a1396b5660d5734cb5e0075d011d357893","datavalue":{"value":{"time":"+2013-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392014$4CDDD701-23D2-42B6-9F54-2AA517BBEFAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$68C48981-7A52-400C-ADDA-8EDAA3BEB3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$7880CF6B-DFA9-4AF1-89DE-6FE5FE0764E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bfd111c3812d1818c10252b44a7d30abf9795b","datavalue":{"value":"6195402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$9F5500EC-A8A4-4339-BB07-864021BFCF84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392014$E4F7C272-F496-4F63-8942-3BB5F76B467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c850a4f5bead28a806a6fde0408f6e700570fd74","datavalue":{"value":"Lindstr\u00f6m's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392014$A491F933-E82B-4FBC-87E0-70E9911FFEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392014$2FABDE89-8DBE-40CC-95F7-5E132784D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2392014$D903D039-9B60-4143-8259-AAA196A9DF02","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":"Q2392014$93CC5DDC-ACC7-4136-AC6F-208DE8544E3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb3ff6fea4b612d30a252975a8428016338f52b8","datavalue":{"value":"https://doi.org/10.1007/s11787-013-0078-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392014$F5BF9051-FE74-4B74-AE73-3ACC99AD7014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cff37cf2fc6e524344404993662de07d57f3bcc3","datavalue":{"value":"W2026448710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$4F6FD7C6-0D9F-4DD3-9976-A91F1C96E66C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9eabdde4d442e5a4558032679570a0ab0a3719ed","datavalue":{"value":"Q29013753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$8C9B2B88-972D-4CFA-9D22-7E73FDFFDD67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$A18591A3-E0E1-4F81-A590-6AC137A300D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$58F2D54B-7E07-4933-87E3-7874C4A8AF5E","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":"Q2392014$DBD4B0EB-77DC-44E7-B277-7C7D22B681C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$D0B04C82-C018-4642-8E6F-FAE880B47094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd6c969231e6f49e9de8df2bebdcacfffac1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3956433,"id":"Q3956433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$539B7AE1-0530-480B-8FB2-E50B0E6660C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$C6856EAE-220C-419E-8BF9-45FEA0A9F560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec9ba6e99d0b988d6ab1227e6bdd591bb955386","datavalue":{"value":{"entity-type":"item","numeric-id":1577354,"id":"Q1577354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$5B85863B-5247-4D03-B266-BB6EC9B9A3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00240b5e666a0626b170c76bd764e59f641ea239","datavalue":{"value":{"entity-type":"item","numeric-id":2904060,"id":"Q2904060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$FED676B9-734D-4E2B-9B96-94670E6DFAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$2B94A613-9CB7-40A1-8997-D50F7D626904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619a3de31c1d938b7ca2da4ff61a105186899c","datavalue":{"value":{"entity-type":"item","numeric-id":3677149,"id":"Q3677149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$9D7AA854-51C5-4B54-82C3-9ADFE872555B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2ff5dadfce4fed6e539da5c8d2970417c93391","datavalue":{"value":{"entity-type":"item","numeric-id":3085171,"id":"Q3085171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$8FBD577A-B7D3-4CEB-BF35-51E657BC673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$93443628-C8E4-4C5C-B109-6887B5D9588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605f622f3a12725668bf044b690b4b1ff40ed061","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$564BB2F5-2E0D-4064-BD55-3151DC08AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fed45d96e353f14986a709127cf0dab18ea597","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392014$3C38F8D6-3639-4585-B3D0-BCDF8507A623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a06e8d95c432f42727522c5f63d3b851b0689486","datavalue":{"value":"10.1007/S11787-013-0078-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$5C88D886-A1D0-498C-8216-B794DDFD82D4","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5b4a3be26066daba5de80b1a6940a8a241466d61","datavalue":{"value":"journals/lu/Enqvist13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392014$917F19F5-E734-499E-B8E2-946F2DDE7C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e947bc4f6efd1c0bc3f1ef70a8ca3af135df9098","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c189e8a364103846f6a581b712dd5dc3db8778e8","datavalue":{"value":{"amount":"+0.8208115696907043","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":"Q2392014$40094EDD-03AF-4977-B532-FF88CB17C36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010a0dcddca1f018f117454ae27b50fb5b3c4286","datavalue":{"value":{"entity-type":"item","numeric-id":1790599,"id":"Q1790599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ac2df49f0cb71664067dc3aa4b6a1ab80d2a86","datavalue":{"value":{"amount":"+0.8148940801620483","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":"Q2392014$8355A987-CA5E-4E4C-AB55-496B2A97B68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f10f4d426dcafe92e8e465c95d8eaca9354245","datavalue":{"value":{"entity-type":"item","numeric-id":3085171,"id":"Q3085171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80b9eada87de98bdaa562c47debdfa4a1ffae46","datavalue":{"value":{"amount":"+0.7952190637588501","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":"Q2392014$A4B039D5-F465-467D-BDA7-284838D91776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51364195bde17eccc5a5a81a56c3a8b8514939c","datavalue":{"value":{"entity-type":"item","numeric-id":3395097,"id":"Q3395097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f1d167bf277fb9e88fa6cbb68986bb812c346c","datavalue":{"value":{"amount":"+0.7883898615837097","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":"Q2392014$8584BE9B-06DD-4558-9DAA-0180239F5BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0e9cc3b3b4b2948eddef05edc7e8430090be46","datavalue":{"value":{"entity-type":"item","numeric-id":2904060,"id":"Q2904060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c172cfec996ea69e8c34fa4936e653da1a2996","datavalue":{"value":{"amount":"+0.7814750075340271","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":"Q2392014$037ACC02-FD56-4CD4-8C2D-BD92A8FF123F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2392014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2392014"}}}}}