Herbrand schemes for first-order logic
Crossref DOI link: https://doi.org/10.1007/s00153-024-00959-w
Published Online: 2025-05-14
Published Print: 2025-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Afshari, Bahareh
Enqvist, Sebastian
Leigh, Graham E.
Funding for this research was provided by:
University of Gothenburg
Text and Data Mining valid from 2025-05-14
Version of Record valid from 2025-05-14
Article History
Received: 14 October 2023
Accepted: 17 December 2024
First Online: 14 May 2025