Assertion: definition | /r/ObjectUse | used in mathematic
Facets:
Source sentences:
text: Authors have used different terms to classify definitions used in formal languages like mathematics.