Pages that link to "Item:Q1840069"
From MaRDI portal
The following pages link to Untersuchungen über das Eliminationsproblem der mathematischen Logik (Q1840069):
Displayed 13 items.
- Elimination problems in logic: a brief history (Q1024114) (← links)
- Voting by eliminating quantifiers (Q1037605) (← links)
- Zum Eliminationsproblem der mathematischen Logik (Q1840347) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- Zum Eliminationsproblem der mathematischen Logik. (Q2611337) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- IV. Semantic extensions of SQEMA (Q3643312) (← links)
- Towards incorporating background theories into quantifier elimination (Q3643319) (← links)
- On the strength and scope of DLS (Q3647241) (← links)
- Second-order reasoning in description logics (Q3647253) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)