{"entities":{"Q2983397":{"pageid":2994122,"ns":120,"title":"Item:Q2983397","lastrevid":58087356,"modified":"2026-04-03T18:19:27Z","type":"item","id":"Q2983397","labels":{"en":{"language":"en","value":"Sahlqvist theory for impossible worlds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718438"}},"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":"Q2983397$0182AEA6-06B2-4836-B8E1-829732F6A641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a9f4ee0491585bae4fdda75f1dc43f0c3308af0","datavalue":{"value":{"text":"Sahlqvist theory for impossible worlds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983397$ECE40881-ED13-4684-90D7-DC462039C24B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b23585818d534d2e0710eb0077e27664aa306c9","datavalue":{"value":"1444.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983397$08973CEC-CF56-4A18-B114-B46CD46E969F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983397$DA1D6DC7-9427-4F81-95ED-37B997AEA052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"196b96d0a1f78a5597a7e200185a81ea4defb080","datavalue":{"value":{"entity-type":"item","numeric-id":483294,"id":"Q483294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983397$C489CC28-4CF5-4506-83F4-45AB24A5968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b629150dc8389cc517dc534e1d95ac83fa4185","datavalue":{"value":{"entity-type":"item","numeric-id":1685914,"id":"Q1685914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983397$91495975-BA79-43EA-9474-E87E229A1B1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-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":"Q2983397$AEFF07FA-E848-429F-991A-F57129283DF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4547eaea62f228709707cc944368dec8ae58cb5","datavalue":{"value":"https://arxiv.org/abs/1603.08202","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983397$8E00027B-B626-46C6-B752-C90507C33A93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983397$0D85D373-B56C-4F1D-BEA4-EC55BE4A81E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"126fe3d7f785ca6a9edb66826809a7e5d2335b30","datavalue":{"value":"6718438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983397$BE1CD5F1-8DB2-43C5-AA70-B58C561785FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0b88e5eefbe862ece7712802c02ac86c29f841","datavalue":{"value":"regular modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983397$48A04854-ED91-490A-9B63-07A6C72E802F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983397$E63575AE-6D3F-4768-9483-38157AC4FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad4d339d3bab746b79bef1338b0c8f42a721cfb3","datavalue":{"value":"algebraic Sahlqvist canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983397$CC7667FF-97F1-44C2-B70B-7E029D7197CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b0fe164e7b6aaa4b8092736d9e026ebae08e","datavalue":{"value":"algorithmic correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983397$F034CDD5-3ADF-4971-AE20-A16E580B4674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba71c31e98ca41131e67a52e5c3176a4dca448c","datavalue":{"value":"regular inductive formulas and inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983397$7DC75A89-D951-41BB-AF6C-D75C4B6D7101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdde72ed6f97a1ca715b750690215095d7b1aea","datavalue":{"value":"Lemmon's logics E2-E5","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983397$9FF92DF2-EE64-4CCD-81A0-22FF7D8D5B06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983397$1B437B65-0474-4CAC-970F-60A8AD83D388","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":"Q2983397$C69E36B9-B847-462F-A997-FBFC6958E8F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e371442e2fecabcd155ec4746269f8720baa857","datavalue":{"value":"W2334111423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983397$E1A0DC28-D29A-4120-BB4A-324BB7211BAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96ad295e14c3972543e0a123a7964c0c2bcb6478","datavalue":{"value":"10.1093/LOGCOM/EXW014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983397$896E2263-1627-41E3-85E5-869268F8ACAD","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":"Q2983397$DC069645-6164-4E11-8E9C-6868E3176D18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2a2f5c505164bd6836dfd7e2d113fbbaa28ace","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5cb5387d03e099acbe92a0f876b086e606e893","datavalue":{"value":{"amount":"+0.7675918936729431","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":"Q2983397$6D9BFD9E-3611-4C04-A7AE-C70973E5791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2946ed693a4de12e24483b8079b992d210bfce4e","datavalue":{"value":{"entity-type":"item","numeric-id":4833774,"id":"Q4833774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3051a158c76d9624fa5978472e57b8f68e4b783","datavalue":{"value":{"amount":"+0.7548448443412781","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":"Q2983397$494FAD6F-7266-4D6D-8233-CAD632463557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06a7b178a49417da8020c48217909cd235b0569","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f853c5d659c8aaa42bdc40e0d4e161c0853f08a8","datavalue":{"value":{"amount":"+0.7546907663345337","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":"Q2983397$608C715F-B990-44B1-8EC7-2A86AA9D70F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14c5ec0ec72603a5bc70c81a1862339a5b6a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc39e667ccefe70ed55f411e99de26f4bd73ce69","datavalue":{"value":{"amount":"+0.7463928461074829","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":"Q2983397$0D10F9A3-3535-4D29-9DEB-10A7F0EA9549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011b137bee5b3b8bf6e38e5df65419f1d788bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d4b0b712079a76c4b9afd48ae6a179f0ee0557","datavalue":{"value":{"amount":"+0.7435505986213684","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":"Q2983397$8616F80B-06A8-411C-BA39-EDC72108764F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2983397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2983397"}}}}}