On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$ (Q6492761)
From MaRDI portal
scientific article; zbMATH DE number 7838500
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$ |
scientific article; zbMATH DE number 7838500 |
Statements
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$ (English)
0 references
26 April 2024
0 references
0 references
