Assertion: allan deviation | /r/HasProperty | adev
Facets:
Source sentences:
text: The Allan deviation (ADEV), also known as sigma-tau, is the square root of the Allan variance, σ