The following pages link to (Q4636561):
Displayed 5 items.
- 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)
- (Q5154970) (← links)
- (Q5207051) (← links)