Assertion: algebra's form | /r/HasProperty | developed by his students
Facets:
Source sentences:
text: The equational form of relation algebra treated here was developed by Alfred Tarski and his students, starting in the 1940s.