TY - RPRT TI - Triadic First-Order Logic Queries in Temporal Networks AU - Omkar Bhalerao AU - Yunjie Pan AU - C. Seshadhri AU - Nishil Talati PY - 2025 UR - https://arxiv.org/abs/2507.17215 ID - 2507.17215 ER -