Assertion: based reasoning | /r/HasProperty | formalized for purposes of computer reasoning
Facets:
Source sentences:
text: Case-based reasoning has been formalized for purposes of computer reasoning as a four-step process: