{"entities":{"Q6545174":{"pageid":14156328,"ns":120,"title":"Item:Q6545174","lastrevid":42335412,"modified":"2025-06-11T15:41:25Z","type":"item","id":"Q6545174","labels":{"en":{"language":"en","value":"Topological product of modal logics with the McKinsey axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7854739"}},"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":"Q6545174$73ED9ADF-265B-4190-9AD6-D5E4880F7697","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a9c43dee6449cdca3635136cdb0524733033823","datavalue":{"value":{"text":"Topological product of modal logics with the McKinsey axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545174$CC11A617-E748-4273-B187-3459CE2C4B6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1d9e2a988820cfee4cdba9b0957471a6fa1ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2815678,"id":"Q2815678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$E41BDF67-DFE1-44B5-8154-45A18065949E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$2454B3B9-9396-42BE-A6DD-C407C602B341","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545174$073728E0-23FB-4B41-9E4B-F9E2EFD70D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545174$87807FB4-15FF-4473-881F-65BF41BC9C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545174$D34BE80F-DF3A-482C-8700-317544C2BF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545174$5E7C636D-9144-46F6-8D9E-111FD581334C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fdb8d67dd6dfec8f01d2642496d72491e11f920","datavalue":{"value":"7854739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545174$F6FFABD5-3613-47BA-8DE3-3BD63D7595C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545174$33442B07-0761-4F91-98BD-2A2DEF2A60BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545174$9B5637C3-69C4-4BE6-B643-F1E9134B156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8bdff5064b2bf2d8c06bd18d53c4b86496c07","datavalue":{"value":"product of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545174$7F296E44-FBF6-4F7F-996F-9721050F7FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ac10a911a6c61d7f2249835073ee1eb673f8fb","datavalue":{"value":"McKinsey axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545174$F76872AA-2DED-4E48-99FC-0E3FE7A33EE3","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":"Q6545174$2C01FE41-0913-4D16-B97B-5ADCDCBE1103","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edacbe019f846afd505c23a3ffef4e7c73c08c4d","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$54674D6D-E63F-446D-8A20-C43E3D8D4316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa5e4e5909cde14b8aa248459b1c6b170060877","datavalue":{"value":{"entity-type":"item","numeric-id":5247348,"id":"Q5247348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$32287296-3AB4-4F0B-8CD5-99F21AAFBC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e94fd57d73f6fa70b18ded9d726fa443720b76f","datavalue":{"value":{"entity-type":"item","numeric-id":438813,"id":"Q438813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$35E0A707-F6F5-42EE-9628-2CD0949EDDA5","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":"Q6545174$DFAD4378-844B-4A01-A870-80655BB5D4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$5F683F85-FC49-43B7-A4E1-B60F38E4D2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4d20630b0bd7dc58b969242e7c24eca5d6be14","datavalue":{"value":{"entity-type":"item","numeric-id":3984429,"id":"Q3984429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$C84ED3F1-9F5F-4786-88CE-67DA67ADB341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa94e6feb0ea855116d22b0ad3653df7b97951a6","datavalue":{"value":{"entity-type":"item","numeric-id":5419890,"id":"Q5419890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$E2CAEFAE-3341-4B58-8783-38CA3B4F7835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a953262019bb6e0ac9153d0590f70e39d5a47502","datavalue":{"value":{"entity-type":"item","numeric-id":5095641,"id":"Q5095641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$5D8D0272-D8D0-4796-BBF2-C86498704E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$A76EDF8D-2BCD-44E4-A988-B7FC1153065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8cea4691b9b954da7029114b5d6db19326280","datavalue":{"value":{"entity-type":"item","numeric-id":861569,"id":"Q861569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545174$08D56B39-040C-4E8F-AFE0-E34C9E54E83D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c8ff118622a617f63b6c4fe26f49ac7aedea80c","datavalue":{"value":"10.1134/S1064562424701825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545174$81C53163-212E-48CB-ACFE-6FA3CFCB8755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545174"}}}}}