@misc{indiciae576c2721eb90,
  title = {The Craig Interpolation Property in First-order Gödel Logic},
  author = {Seyed Mohammad Amin Khatami and Massoud Pourmahdian and Nazanin R. Tavana},
  year = {2023},
  url = {https://arxiv.org/abs/2309.10860},
  note = {Source identifier: 2309.10860}
}