Pages that link to "Item:Q2354622"
From MaRDI portal
The following pages link to On the decidability of axiomatized mereotopological theories (Q2354622):
Displaying 4 items.
- A comprehensive picture of the decidability of mereological theories (Q383563) (← links)
- Decidability of general extensional mereology (Q2377058) (← links)
- Notes on models of first-order mereological theories (Q2987750) (← links)
- Finitely inseparable first-order axiomatized mereotopological theories (Q4982517) (← links)