Assertion: theoretical computer science | /r/CapableOf | form formal skeleton
Facets:
Source sentences:
text: Thus, [theoretical computer science] forms a formal skeleton that informs [computer science] with accurate knowledge and methods.