Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/MathematicalTheoremsInTheoreticalComputerScience> . }
  Showing items 1 to 6 of
  6
  with 100 items per page.
  
- Cheung%E2%80%93Marks_theorem type MathematicalTheoremsInTheoreticalComputerScience.
 - Immerman%E2%80%93Szelepcs%C3%A9nyi_theorem type MathematicalTheoremsInTheoreticalComputerScience.
 - Nyquist%E2%80%93Shannon_sampling_theorem type MathematicalTheoremsInTheoreticalComputerScience.
 - Schwartz%E2%80%93Zippel_lemma type MathematicalTheoremsInTheoreticalComputerScience.
 - Shannon%E2%80%93Hartley_theorem type MathematicalTheoremsInTheoreticalComputerScience.
 - Shannon's_source_coding_theorem type MathematicalTheoremsInTheoreticalComputerScience.