Assertion: function's result | /r/HasProperty | established for multiplication
Facets:
value: by reduction from the parity function
type: OTHER
Source sentences:
text: Similar results were also established for the majority, multiplication and transitive closure functions, by reduction from the parity function.