@misc{indiciae5444add2f07d,
  title = {The Dependently Typed Higher-Order Form for the TPTP World},
  author = {Daniel Ranalter and Cezary Kaliszyk and Florian Rabe and Geoff Sutcliffe},
  year = {2025},
  url = {https://arxiv.org/abs/2507.03208},
  note = {Source identifier: 2507.03208}
}