Assertion: function's output | /r/HasProperty | hard to compute
Facets:
value: by definition
type: OTHER
value: by computing f
type: MANNER
Source sentences:
text: If f is a one-way function, then the inversion of f would be a problem whose output is hard to compute (by definition) but easy to check (just by computing f on it).