Pages that link to "Item:Q782563"
From MaRDI portal
The following pages link to \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\) (Q782563):
Displaying 3 items.
The following pages link to \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\) (Q782563):
Displaying 3 items.