Pages that link to "Item:Q3987627"
From MaRDI portal
The following pages link to Decidability of the Existential Theory of the Set of Natural Numbers with Order, Divisibility, Power Functions, Power Predicates, and Constants (Q3987627):
Displaying 2 items.
- The laws of integer divisibility, and solution sets of linear divisibility conditions (Q3160551) (← links)
- Décidabilité de la théorie existentielle de \(\mathbb{N}\) structuré par l'ordre naturel, la divisibilité, les prédicats puissances et les fonctions puissances. (The existential theory of the set of natural integers structured by natural order, divi (Q3971059) (← links)