Assertion: kernel | /r/HasProperty | solved by the algorithm
Facets:
Source sentences:
text: The kernel is then solved by the algorithm that proves that the problem is decidable.