No parts found for “church rosser theorem”

“church rosser theorem” may be an abstract word or not in WordNet. Try a concrete noun like “car”, “tree”, or “house”.