TY  - RPRT
TI  - Generalized effective completeness for continuous logic
AU  - Caleb Camrud
PY  - 2022
UR  - https://arxiv.org/abs/2202.11151
ID  - 2202.11151
ER  -