{"entities":{"Q6967401":{"pageid":21307470,"ns":120,"title":"Item:Q6967401","lastrevid":76157880,"modified":"2026-04-23T01:24:55Z","type":"item","id":"Q6967401","labels":{"en":{"language":"en","value":"Some general completeness results for propositionally quantified modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056541"}},"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":"Q6967401$8FABDC27-EA42-404D-B624-F5A018A69A44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c823f59f994eb171d4fbfae8c64d51a0940392c","datavalue":{"value":{"text":"Some general completeness results for propositionally quantified modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967401$B4EE4C6D-CC40-4379-9275-7A738AAD29C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c6d15ed0a8072ec469a16ddc2b3c482296c2cae","datavalue":{"value":"1573.03169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967401$881D1A8B-BEDE-40BB-833B-4CC4BC803B9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7271f28ec9b2607763e508263d5dabca1b066c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2148814,"id":"Q2148814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967401$19C7557E-79B1-4D84-AE2C-14F4A1E72772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7602744141b01d211de6baa8648f7a35e4b05a90","datavalue":{"value":{"entity-type":"item","numeric-id":6118725,"id":"Q6118725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967401$1193C92A-EF7C-4C1F-9387-2310D84F7C96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967401$96F2C034-06F7-472D-B2ED-7C37C0BA97DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967401$61FECEE5-66F1-485B-9616-5E73D7775DF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f87c6431bc2fb8f14224453cca64cfa370ad2534","datavalue":{"value":"8056541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967401$E4E877C7-B5C0-42A3-8DB5-FD488EE8E636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c007035d6bc8f4c2c1131b54bbd6e8034d275a46","datavalue":{"value":"propositional quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967401$8C0021AE-8406-425B-9541-003D9501B5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bc784fa2a0fac98549606e6d22b349215e22ef","datavalue":{"value":"Sahlqvist formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967401$4C1A9B79-183D-47C6-85E0-EC7FBEF03242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a2ac8e40c91f72d8fe13b5b9cb8f104bea5e0d","datavalue":{"value":"canonical frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967401$12CD59F8-A9FC-45FA-A1C2-B5019EC9F92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f5bafef011b6b34de8447eaeed4f649a466aca","datavalue":{"value":"diversity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967401$EB1AB1EC-1868-452A-AE53-0C35048895A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967401$798BF1C3-110C-4872-9956-AAE1CB8D3C46","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":"Q6967401$248FC98A-0E3C-40E0-9477-B5CC15B8E7CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some general completeness results for propositionally quantified modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_general_completeness_results_for_propositionally_quantified_modal_logics"}}}}}