TY - RPRT TI - From Quantifier Depth to Quantifier Number: Separating Structures with k Variables AU - Harry Vinall-Smeeth PY - 2024 UR - https://arxiv.org/abs/2311.15885 ID - 2311.15885 ER -