TY  - RPRT
TI  - Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
AU  - Lukas Bartl
AU  - Jasmin Blanchette
AU  - Tobias Nipkow
PY  - 2025
DO  - 10.1007/978-3-031-99984-0_30
UR  - https://arxiv.org/abs/2508.20738
ID  - 2508.20738
ER  -