{"entities":{"Q5095641":{"pageid":7125217,"ns":120,"title":"Item:Q5095641","lastrevid":58433931,"modified":"2026-04-05T05:08:20Z","type":"item","id":"Q5095641","labels":{"en":{"language":"en","value":"On neighbourhood product of some Horn axiomatizable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570093"}},"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":"Q5095641$A292B4B0-9B17-4085-84DD-CE6718D5E890","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12fb014fa7c3a97ad0dac21d4d844bd8382117b2","datavalue":{"value":{"text":"On neighbourhood product of some Horn axiomatizable logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095641$6FA352A6-0D02-4248-BA92-784CC084BD39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9857357aeb319b03fac970246d74e0d89e558b12","datavalue":{"value":"1492.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095641$2E100AE8-7520-4231-82D3-3FDC2E1779F9","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":"Q5095641$6EFE63A6-37A6-4325-8CCA-1FA8C5C45310","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095641$2AC87E4A-1572-48D8-A4CA-FE76336A1CB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5095641$2BD3A4BE-35DB-4A38-9B03-408A1919A245","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82a6c68255ff0b85346eb99ea7a62a35175073c7","datavalue":{"value":"https://arxiv.org/abs/1609.03232","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095641$370430F6-8EEE-403A-9F80-3FCAE29AB156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095641$C7CF5D8A-710B-4E2A-8860-FB9521CB8601","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2b7d40858deb76d98ac762645239658743cf512","datavalue":{"value":"7570093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095641$AD3AD0DB-AA1D-4822-8664-CF6D2BCDD29D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095641$3BEB2252-6EF3-429B-AA26-FEBE00414856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c8bdff5064b2bf2d8c06bd18d53c4b86496c07","datavalue":{"value":"product of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095641$C2626A10-21A6-4E07-9A34-4783E976B4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb1eab08408710abe553062777e22e027ce4880","datavalue":{"value":"Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095641$500825DF-0961-42F0-AF18-6F2307A50594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095641$71220D93-C791-48C9-A8AD-56D3D02AD4BD","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":"Q5095641$17A15A13-A27F-43BE-9DDE-3C7201F9C9E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e02a3d009358d47cd2a60e95450084addaa97b6d","datavalue":{"value":"W2962909016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095641$F628408A-A014-4F15-8ACA-EE3AE77A500A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"759fe5a2adfa334236f12f280675eb54850efd6d","datavalue":{"value":"10.1093/JIGPAL/JZY004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095641$090C8241-13BC-4E36-A64B-3EC52A22FB49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2522217374dd2ca6a0593a96e09be587a8eb3e42","datavalue":{"value":{"entity-type":"item","numeric-id":5419890,"id":"Q5419890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7a20e0bf83397c9ca12e04fea142bcd8bb5d94","datavalue":{"value":{"amount":"+0.8506529331207275","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":"Q5095641$53E78F44-8F16-4BF9-8746-3C8769B6994B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2f46534689cf0e866115138005db0015b93960","datavalue":{"value":{"entity-type":"item","numeric-id":1756592,"id":"Q1756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ff456b81965adfc9a05cc5bbcee9f1ca57f98b","datavalue":{"value":{"amount":"+0.8121829032897949","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":"Q5095641$624A768C-A342-4737-8084-C5EA1F485F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35a87563212173ba2295c72490b2a3fa92dc3b1c","datavalue":{"value":{"entity-type":"item","numeric-id":861569,"id":"Q861569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2fdf1d15ac099592fc5c50e237639513026e6e","datavalue":{"value":{"amount":"+0.7949258685112","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":"Q5095641$E74B7B31-6AA1-40DF-8167-B1DEDA12251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e8a688e407b719c245ad8bfaf0b92243d2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e400014e304798e87eee0263b199880e649d10fc","datavalue":{"value":{"amount":"+0.7925218343734741","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":"Q5095641$47044787-1175-4B02-9CAD-193FA40BF3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab363b7c791b644d398fd1902a1b6cd9f6fcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7401d99e9584efe09771a6b69cc253a42d5dbf","datavalue":{"value":{"amount":"+0.7884277701377869","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":"Q5095641$D5ECBEE2-CB78-47AF-96CA-EBA7AF73090B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5095641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5095641"}}}}}