Search Results for "existential instantition"

Unification and Lifting

Inference rules for quantifiers, Unification and lifting, generalized modus ponens, unification.

Technology