The following pages link to (Q2754149):
Displaying 6 items.
- On the orthographic dimension of definable sets (Q1603462) (← links)
- On simplification of formulas with unconstrained variables and quantifiers (Q1680265) (← links)
- The Monotonous Elimination of Predicate Variables (Q4286215) (← links)
- (Q4411161) (← links)
- (Q5091265) (← links)
- Variable, Structure, and Restricted Generality (Q5495522) (← links)