TY  - RPRT
TI  - Universal truth of operator statements via ideal membership
AU  - Clemens Hofstadler
AU  - Clemens G. Raab
AU  - Georg Regensburger
PY  - 2024
UR  - https://arxiv.org/abs/2212.11662
ID  - 2212.11662
ER  -