Assertion: expression | /r/HasProperty | equal
Facets:
value: semantically
type: DEGREE
value: to 25#
type: OTHER
value: to zero
type: OTHER
Source sentences:
text: A "root" (or "zero") is where the expression is equal to zero:
text: It is known from Richardson's theorem that there may not exist an algorithm that decides if two expressions representing numbers are semantically equal, if exponentials and logarithms are allowed in the expressions.
text: A canonical form is such that two expressions in canonical form are semantically equal if and only if they are syntactically equal, while a normal form is such that an expression in normal form is semantically zero only if it is syntactically zero.
text: Also, this expression is equal to #25# .
text: An equation is a statement which shows that two expressions or values are equal.