\textsf{lazyCoP}: lazy paramodulation meets neurally guided search
From MaRDI portal
Publication:2142075
DOI10.1007/978-3-030-86059-2_11MaRDI QIDQ2142075
Publication date: 25 May 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_11
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software