Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:complexity |
doubly exponential
|
| gptkbp:decidability |
decidable
|
| gptkbp:describes |
natural numbers with addition
|
| gptkbp:excludes |
multiplication
|
| gptkbp:expressiveness |
less expressive than Peano arithmetic
|
| gptkbp:field |
gptkb:logic
arithmetic |
| https://www.w3.org/2000/01/rdf-schema#label |
Presburger arithmetic
|
| gptkbp:introducedIn |
1929
|
| gptkbp:namedAfter |
gptkb:Mojżesz_Presburger
|
| gptkbp:publishedIn |
"Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt"
|
| gptkbp:relatedTo |
gptkb:Peano_arithmetic
gptkb:first-order_logic |
| gptkbp:usedIn |
automated theorem proving
formal verification |
| gptkbp:bfsParent |
gptkb:Peano_arithmetic
gptkb:Mojżesz_Presburger |
| gptkbp:bfsLayer |
6
|