Question: Tell me theorem whose name has the word theorem in it.
Paraphrase: Which is the theorem whose name has the word theorem in it?
SPARQL (Wikidata): SELECT DISTINCT ?sbj ?sbj_label WHERE { ?sbj wdt:P31 wd:Q65943 . ?sbj rdfs:label ?sbj_label . FILTER(CONTAINS(lcase(?sbj_label), 'theorem')) . FILTER (lang(?sbj_label) = 'en') } LIMIT 25 
Answer: Nyquist–Shannon sampling theorem, Nyquist–Shannon sampling theorem, Chevalley–Warning theorem, Chevalley–Warning theorem, Szemerédi–Trotter theorem, Szemerédi–Trotter theorem, Fermat's theorem, Fermat's theorem, Euler's rotation theorem, Euler's rotation theorem, Erdős–Ko–Rado theorem, Erdős–Ko–Rado theorem, Toda's theorem, Toda's theorem, Ramsey's theorem, Ramsey's theorem, Lions–Lax–Milgram theorem, Lions–Lax–Milgram theorem, Minkowski's theorem, Minkowski's theorem, Krylov–Bogolyubov theorem, Krylov–Bogolyubov theorem, factor theorem, factor theorem, Paley–Wiener theorem, Paley–Wiener theorem, Arrival theorem, Arrival theorem, Thales' theorem, Thales' theorem, butterfly theorem, butterfly theorem, adiabatic theorem, adiabatic theorem, Seifert–van Kampen theorem, Seifert–van Kampen theorem, pentagonal number theorem, pentagonal number theorem, addition theorem, addition theorem, Mordell–Weil theorem, Mordell–Weil theorem, Gradient theorem, Gradient theorem, rank–nullity theorem, rank–nullity theorem, Holland's schema theorem, Holland's schema theorem, Odd number theorem, Odd number theorem