@misc{indiciaee7ea80859e90,
  title = {Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity},
  author = {Yoshiki Nakamura},
  year = {2025},
  doi = {10.46298/fi.12365},
  url = {https://arxiv.org/abs/2310.02845},
  note = {Source identifier: 2310.02845}
}