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