The following pages link to E-Matching with Free Variables (Q2891467):
Displayed 5 items.
- Adding decision procedures to SMT solvers using axioms with triggers (Q287384) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Fault-Tolerant Aggregate Signatures (Q2798782) (← links)
- Congruence Closure with Free Variables (Q3303931) (← links)
- Theorem Proving with Bounded Rigid E-Unification (Q3454123) (← links)