Crossmark

Axiom selection over large theory based on new first-order formula metrics

Crossref DOI link: https://doi.org/10.1007/s10489-021-02469-1

Published Online: 2021-05-28

Published Print: 2022-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Liu, Qinghua https://orcid.org/0000-0003-2271-2669
Xu, Yang
License Information

Text and Data Mining valid from 2021-05-28

Version of Record valid from 2021-05-28
More Information

Article History

Accepted: 21 April 2021

First Online: 28 May 2021

Declarations

:

: The authors declare no conflict of interest.