The following pages link to (Q4636561):
Displaying 8 items.
- Relativised homomorphism preservation at the finite level (Q1680516) (← links)
- Permutation groups with small orbit growth (Q2037519) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
- First-order Definable Retraction Problems for Posets and Reflexive Graphs (Q3437257) (← links)
- (Q5154970) (← links)
- (Q5207051) (← links)
- Decidability of Definability (Q5407040) (← links)