{"entities":{"Q2983399":{"pageid":2994124,"ns":120,"title":"Item:Q2983399","lastrevid":85296173,"modified":"2026-06-03T06:47:35Z","type":"item","id":"Q2983399","labels":{"en":{"language":"en","value":"On Sahlqvist theory for hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718440"}},"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":"Q2983399$57F04AFD-C05E-4E60-BB02-DA50C4C4A6E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5d8903d858ac764e4f6569c3686e592579fd424","datavalue":{"value":{"text":"On Sahlqvist theory for hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983399$4D2D7E0A-7501-40DC-8A75-D6FEBA1725B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bb702f295a2153d027c6718ff74a31ae73379b8","datavalue":{"value":"1444.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983399$5BF14C0D-8190-4864-912F-7B8A1AAA088C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983399$FA38E106-B4E1-4641-AAAB-A3EF52548999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e17daef230e44883c97d3dc6b801fb9fd24a5702","datavalue":{"value":{"entity-type":"item","numeric-id":2035341,"id":"Q2035341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983399$8E150924-61C1-42AC-82BA-9FD999584509","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":"Q2983399$4FA99161-207D-4F36-8AAC-04F688EA4292","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983399$73570E1F-BCAD-479A-8AD3-7231EE688C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983399$2309DDD4-5274-4459-8D00-E363505CCB99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba0931580b40c2c355918836387aa23750d39d37","datavalue":{"value":"6718440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983399$21A2EC1E-68A6-40D1-96F6-6A544FB9F8F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ed2864c47dd67d05780767842dd97a03ea4d01","datavalue":{"value":"Sahlqvist theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983399$F9864D73-8481-4CFA-BB3C-BBB51D8818E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983399$9160B99E-0C28-4951-9C4F-5A55C6D1E0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983399$233A9555-2820-49EE-9ECB-72F75966DF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca33ff75e7e2cd792571979ef7f952d076325376","datavalue":{"value":"ALBA algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983399$72DB96A2-04A1-4E6D-A159-30E46E0FF05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983399$F93A879D-20D2-4DA0-ADB9-0201248CBC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983399$8675AC5E-A155-483F-ABDE-C39E7F25F41F","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":"Q2983399$F5EC0BD1-A9A9-49B5-9855-80F1DE4DDDE2","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":"Q2983399$A2AEF946-321B-483E-A2F0-E541D493DEBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed9f9e98947df3dad6336b58ab3e5b23a3724daa","datavalue":{"value":"https://doi.org/10.1093/logcom/exv045","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983399$E16A1BEB-52FB-4778-9894-4721D2FF29B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9bf2b330b035d30b39163474e3fbe866210415b","datavalue":{"value":"W2589791210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983399$1204312D-7B10-4E48-8BF0-5EE79C464840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f150a4ca54419ae27cb0aba0d5e43ed1e3a201","datavalue":{"value":"10.1093/LOGCOM/EXV045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983399$11F8916A-F09B-4870-A5B0-7B6EA6529297","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":"Q2983399$EADA5349-5B89-4A5C-BDCF-1172A49EC58B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ea8d8165302dc2ce23bf39f392b37c4a3acac3","datavalue":{"value":{"entity-type":"item","numeric-id":4982120,"id":"Q4982120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336a33cbfa3dc27d33b0590dd0f803cfa34dfbef","datavalue":{"value":{"amount":"+0.842860221862793","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":"Q2983399$AA5D33A0-3AE5-493F-9D97-A45871034D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae0ce4fe78c09913d431bbf88e272565f3b5e11","datavalue":{"value":{"entity-type":"item","numeric-id":5697717,"id":"Q5697717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54981721d3903912e17838892ddea11ff33d2245","datavalue":{"value":{"amount":"+0.8317902684211731","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":"Q2983399$99917D95-F2B1-451B-8EEA-31D44CB072B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad927c46910b90e8f7ca1cf97418f462a31125de","datavalue":{"value":{"entity-type":"item","numeric-id":5877706,"id":"Q5877706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a893d7a27625359fc7472e39d472fb44b54b459","datavalue":{"value":{"amount":"+0.8115173578262329","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":"Q2983399$F200261E-8E08-460F-A7A7-8E30C79CA097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aceb18afdf4b35376108f423b5383e063c87b2","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df788b4f5ad465613618e6227a1058c6f12523d5","datavalue":{"value":{"amount":"+0.7944700121879578","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":"Q2983399$380BC40A-5722-444A-8FC7-0B726682574A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d990ba2f3311bd28ff181a325e0382e363e8d27","datavalue":{"value":{"entity-type":"item","numeric-id":3298278,"id":"Q3298278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c49d4f720a11834eb91deb9d66a6c1733727dc1","datavalue":{"value":{"amount":"+0.793658435344696","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":"Q2983399$F0D3E646-8901-4F59-8342-DBBA86B9BD76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Sahlqvist theory for hybrid logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Sahlqvist_theory_for_hybrid_logics"}}}}}