@misc{indiciae8b9a562d0f3b,
  title = {Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL},
  author = {Lukas Bartl and Jasmin Blanchette and Tobias Nipkow},
  year = {2025},
  doi = {10.1007/978-3-031-99984-0\_30},
  url = {https://arxiv.org/abs/2508.20738},
  note = {Source identifier: 2508.20738}
}