Presburger arithmetic (Q956059)
Jump to navigation
Jump to search
the first-order theory of the natural numbers with addition
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Presburger arithmetic |
the first-order theory of the natural numbers with addition |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(11 entries)
- cswiki Presburgerova aritmetika
- dewiki Presburger-Arithmetik
- enwiki Presburger arithmetic
- frwiki Arithmétique de Presburger
- itwiki Aritmetica di Presburger
- jawiki プレスバーガー算術
- mwlwiki Aritmética de Presburger
- plwiki Arytmetyka Presburgera
- ptwiki Aritmética de Presburger
- ruwiki Арифметика Пресбургера
- ukwiki Арифметика Пресбургера