Pages that link to "Item:Q2255233"
From MaRDI portal
The following pages link to On the identification of quantifiers' witness sets: a study of multi-quantifier sentences (Q2255233):
Displaying 4 items.
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality (Q548707) (← links)
- Independent set readings and generalized quantifiers (Q848211) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base (Q2228447) (← links)