Prenex normalization and the hierarchical classification of formulas
Crossref DOI link: https://doi.org/10.1007/s00153-023-00899-x
Published Online: 2023-12-23
Published Print: 2024-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fujiwara, Makoto
Kurahashi, Taishi
Funding for this research was provided by:
Japan Society for the Promotion of Science (JP19J01239, JP19K14586)
Text and Data Mining valid from 2023-12-23
Version of Record valid from 2023-12-23
Article History
Received: 20 March 2023
Accepted: 21 November 2023
First Online: 23 December 2023