Pages that link to "Item:Q1840069"
From MaRDI portal
The following pages link to Untersuchungen über das Eliminationsproblem der mathematischen Logik (Q1840069):
Displayed 19 items.
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- 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)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← 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)
- General domain circumscription and its first-order reduction (Q4632291) (← links)
- SCAN—Elimination of predicate quantifiers (Q4647510) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)