It is not the case that Standard enumeration procedures over Herbrand models already capture sort-collapse effects through unification; the claimed gap may be notational rather than substantive.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.