Assertion: algorithm | /r/CapableOf | work for semiring
Facets:
Source sentences:
text: Strassen's algorithm works for any ring, such as plus/multiply, but not all semirings, such as min-plus or boolean algebra, where the naive algorithm still works, and so called combinatorial matrix multiplication.