Pages that link to "Item:Q5109226"
From MaRDI portal
The following pages link to Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226):
Displayed 4 items.
The following pages link to Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226):
Displayed 4 items.