| Title |
Integrating a simplified formula graph representation into a graph neural network model for premise selection
|
|
International Journal
|
|
| Year of publication |
2025
|
| Author | |
| Pagination |
113318
|
| Keywords | |
| DOI |
https://doi.org/10.1016/j.asoc.2025.113318
|
| Journal |
Applied Soft Computing
|
| ISSN Number |
1568-4946
|
| URL |
https://www.sciencedirect.com/science/article/pii/S1568494625006295
|
| Documento | |
| Altamente citado |
Off
|
| Hot paper |
Off
|
| Número especial |
Off
|