First-order logic as a constraint satisfaction problem
Crossref DOI link: https://doi.org/10.1007/s13748-021-00240-8
Published Online: 2021-05-04
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kushida, Hirohiko http://orcid.org/0000-0001-6081-301X
Haralick, Robert
Text and Data Mining valid from 2021-05-04
Version of Record valid from 2021-05-04
Article History
Received: 13 September 2020
Accepted: 6 March 2021
First Online: 4 May 2021