Metadata
Author: ParaCrawl Corpus
Data
Bulgarian[bg]
Типичен метод за доказване на нерешимостта на даден проблем е редукцията му до вече познат нерешим проблем.
English[en]
The typical method of proving a problem to be undecidable is with the technique of reduction[clarification needed].