Crossmark

Variable Domain First-Order First-Degree Entailment and Some of Its Children

Published Online: 2024-10-24

Authors

Antunes, Henrique

Rodrigues, Abilio
Funding

Funding for this research was provided by:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (310037/2021-2)

Fundação de Amparo à Pesquisa do Estado de Minas Gerais (408040/2021-1)
License Information

Text and Data Mining valid from 2024-10-24

Version of Record valid from 2024-10-24
More Information

Article History

First Online: 24 October 2024

Document is current