TY  - RPRT
TI  - Automated Theorem Generation in First-Order Logic by Construction from Triangular Standard Contradictions
AU  - Yang Xu
AU  - Shuwei Chen
AU  - Hailin Guo
AU  - Jun Liu
PY  - 2026
UR  - https://arxiv.org/abs/2611.00269
ID  - 2611.00269
ER  -