First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment
scientific article; zbMATH DE number 484778