{"entities":{"Q4236058":{"pageid":6265659,"ns":120,"title":"Item:Q4236058","lastrevid":41739021,"modified":"2025-05-07T18:40:35Z","type":"item","id":"Q4236058","labels":{"en":{"language":"en","value":"Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268511"}},"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":"Q4236058$26E37F1B-DFC4-43AF-BEFF-EAAEEC402B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f46b36a870ebc2e4d8562f5a0618b06f56f3b633","datavalue":{"value":{"text":"Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236058$73872E84-75FD-484E-A79D-9BB8F1937ED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bff504e9650195c35d96ad013cb6f07a6846b04c","datavalue":{"value":"0918.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$CC20654D-420E-4F7A-BABB-8CC0A0511388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c0b25a8decde95b26cbe54c035da9e2d402b382","datavalue":{"value":"10.1080/11663081.1998.10510933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$EAFDABE3-77D9-4858-AF46-C6A3F12CE71E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e050e82d7b75f5a470560eb320af72b5ea38cf9f","datavalue":{"value":{"entity-type":"item","numeric-id":382999,"id":"Q382999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$1FF0672F-57BD-441C-BAD4-74E12A5D5936","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$562FBE07-A519-4939-B0DF-34A9D0DB30DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d984021e434aeb026202aeb4375e73e79212a851","datavalue":{"value":{"time":"+1999-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236058$546FAC8C-7537-42BD-AF0B-9F22F7F08302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$BAD621AA-DB9C-428C-96BD-F0530267D648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$231A74A6-E928-4890-85DB-57D110DF75A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$60C61CB9-4BE0-4662-A93D-4733F458B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$54866302-F3BE-4E07-A9DF-F0404F53A9AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3028a2fb0f5045ed7e0ed865eb48a83c0ddd3cba","datavalue":{"value":"1268511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$36F25AC4-22BC-4BFF-B073-B95AB3ED7219","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236058$CC1B6F1D-FE43-4E33-A999-37D6A4F3E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236058$B2C8AE7F-966E-4880-882D-FC04CEFB800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867edb5f1fbdfc859e4a81b4fd3af4f5726fbfcd","datavalue":{"value":"multi-modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236058$55C66E92-5EDC-47E0-9B8C-09CD92DD5F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9945c4f9099acf0e910a599fc6e00b4fdf2067a8","datavalue":{"value":"Boolean algebra with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236058$9FE7CF91-65AD-406E-93AB-7AC751AED6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236058$DE68C521-24B6-4A55-9E83-E1991D956C19","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":"Q4236058$7969EF4B-500B-4FC7-9E98-59785A928B03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5928db4fd71b536ce964a5f968e8deb807f7f9e0","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510933","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236058$A1FFFA7C-B815-4A39-97E9-1C3245AB47D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e9915f6f84bf456ada04643504850137801e754","datavalue":{"value":"W2035121342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236058$5221554C-CD1C-4012-B503-FF3B5A4A23F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b6545c586166d1d061114c031dec4a043ae077","datavalue":{"value":{"entity-type":"item","numeric-id":4318163,"id":"Q4318163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$50BE120C-7F91-422E-A624-48B7E7E54DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6379547883a8015bbc38b24ce042bd0f88666b","datavalue":{"value":{"entity-type":"item","numeric-id":4698607,"id":"Q4698607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$8B67E2D7-2B28-4764-A9A0-6AF74DF66CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf56e11d5f59d93e727bfbdb4d60e5a8f4e896ff","datavalue":{"value":{"entity-type":"item","numeric-id":4511600,"id":"Q4511600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$F56E79B1-E0A8-409D-AA49-4FDF8592B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$34DF2021-F852-416E-9F34-FB5031344185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06980276f3fd5e9b1f21d4758c4056b742e1a338","datavalue":{"value":{"entity-type":"item","numeric-id":4236058,"id":"Q4236058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$4F2A6D49-E9A5-4E16-A90C-B1EDEF249BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b502f8896845cfc7c33ed733b8893381c7e34822","datavalue":{"value":{"entity-type":"item","numeric-id":2269508,"id":"Q2269508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$5D0CC057-194E-45AF-AE42-305061E01123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b20677f3904d8d35f6e14c991e5ae71d9e15d11","datavalue":{"value":{"entity-type":"item","numeric-id":4724630,"id":"Q4724630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$0BB39B6E-680A-4ED4-8C19-CDD7AF29B170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f268c7f19dfd1e11d3dc12812646031a74b87b0","datavalue":{"value":{"entity-type":"item","numeric-id":4698608,"id":"Q4698608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236058$9E808350-6526-49F3-9513-A8B5F8A86ECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6749999ffe8d23ae3ab977ab63170d4abe58e769","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61953f1cbb9e81603d99fcc42d660b7c614830ee","datavalue":{"value":{"amount":"+0.9412937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$8353C91E-17BD-4E28-AF56-2E3E89F833DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc70ce0a84f2f78529137a4e102630e245ab48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7166e658cc83124db2c303345baf734149f30574","datavalue":{"value":{"amount":"+0.9209577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$AAA01EE2-DFBC-4300-BB75-AA87EF7AB2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ebfcf7580c4700354d82d02e7e6c948b8f5a34","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbb9827e7287bbdf560bd449a9b2aefa78dc113","datavalue":{"value":{"amount":"+0.9118951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$02AAC52A-EEED-4C1A-8C68-F10333F0BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a324843149713fa13b2c7edd2429fc59a0b240a","datavalue":{"value":{"entity-type":"item","numeric-id":1913298,"id":"Q1913298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006ec07faacd195bbb78a13931a59848834ec202","datavalue":{"value":{"amount":"+0.90927756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$C2EE4480-5024-49A1-9DDD-C9F212A4EE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df7f192dad680c0045399cb9ca3b85d5e2c7823","datavalue":{"value":{"entity-type":"item","numeric-id":4250364,"id":"Q4250364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b049cb74b91a1eb1bfebba969758e426a180353","datavalue":{"value":{"amount":"+0.9080862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$5B2D99BE-44D4-4F2B-AB9C-C4E89767AE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f042b2e743bc4bd4b6c453a1cbc150968fa58dd1","datavalue":{"value":{"entity-type":"item","numeric-id":4593255,"id":"Q4593255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a484ff194aab5e7e8398d7d736e2374d259136","datavalue":{"value":{"amount":"+0.90779614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$EB49D907-1B0B-4AF9-B998-C14FE7D65A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a86590c342016ac81b66b24b35db16e51a13af","datavalue":{"value":{"entity-type":"item","numeric-id":694243,"id":"Q694243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea5a86400e7e93bd1feeb025d77d021dc84e5e5","datavalue":{"value":{"amount":"+0.90762365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$528B0224-0633-4848-813C-D0CC9730A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a68747d97978852730b02ef9bb37bf49095d51","datavalue":{"value":{"entity-type":"item","numeric-id":5013620,"id":"Q5013620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f201a6b471feedc9f265e16c68f114dcc8b2815","datavalue":{"value":{"amount":"+0.90749335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$E088FE5C-A0F6-43DC-8440-735090EE415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd63cfa22485697f0fb56020a7a44da097e6610","datavalue":{"value":{"entity-type":"item","numeric-id":4870568,"id":"Q4870568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57522a1cdd1ba7deec62690c1966f319ee10d8b9","datavalue":{"value":{"amount":"+0.9068527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$1F2DB555-882B-4306-99B5-4A0032C05123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb0ce4c2b7174a712313f576a395b1b15683d03","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101644c78cbc02df33c709760e7ef8e6c87f753c","datavalue":{"value":{"amount":"+0.90423584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4236058$090C356E-B0CC-483A-A84C-8AD12F058627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236058"}}}}}