en
presburger arithmetic
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
peano arithmetic
(
n
)
➜
en
axiom
➜
en
first order logic
➜
en
natural number
➜
en
peano arithmetic
➜
Context of this term
en
logic
➜
Links to other resources
en.wiktionary.org
Presburger arithmetic