Assertion: logic's power | /r/HasProperty | strong
Facets:
Source sentences:
text: —the expressive power of the algebra of logic for relations was so strong that by evaluating the term \(S(t, y, z, \ldots)\) one essentially carried out the steps to check if \(E(t, y, z, \ldots) = 0\); if the answer was yes then \(S(t, y, z, \ldots)\) returned the value \(t\), otherwise it would return the value \(x0\).