Assertion: regular numerical predicate | /r/HasProperty | a kind of relation
Facets:
value: in mathematics
type: OTHER
value: in computer science
type: OTHER
Source sentences:
text: In computer science and mathematics more precisely in automata theory, model theory and formal language a regular numerical predicate is a kind of relation over integers.