Assertion: abstraction | /r/CapableOf | prove useful
Facets:
Source sentences:
text: Abstractions can prove useful when dealing with computer programs, because non-trivial properties of computer programs are essentially undecidable (see Rice's theorem).