Pages that link to "Item:Q4332986"
From MaRDI portal
The following pages link to Witnessing differences without redundancies (Q4332986):
Displaying 6 items.
- The decidability of the \(\forall ^*\exists\) class and the axiom of foundation (Q1409304) (← links)
- Decidability and completeness for open formulas of membership theories (Q1903592) (← links)
- Automata theory on sliding windows (Q3304130) (← links)
- Truth In V for ∃*∀∀-Sentences is Decidable (Q3416111) (← links)
- The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158) (← links)
- Decidability of ∀*∀‐Sentences in Membership Theories (Q4868240) (← links)