Assertion: algorithm | /r/HasProperty | formal objects
Facets:
value: in some important sense
type: OTHER
Source sentences:
text: A formal system is a thing of beauty, and algorithms are formal objects in some important sense, just as the number 2 is {∅,{∅}} in some important sense.