The following pages link to (Q4362725):
Displayed 6 items.
- The many faces of interpolation (Q1024113) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- (Q4638077) (← links)
- (Q5091133) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)