Pages that link to "Item:Q4982118"
From MaRDI portal
The following pages link to Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118):
Displaying 4 items.
- Mining approximate interval-based temporal dependencies (Q329410) (← links)
- On begins, meets and before (Q2909218) (← links)
- Tableaux for Logics of Subinterval Structures over Dense Orderings (Q3406687) (← links)
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings (Q5434480) (← links)