Give me {theorem} that contains the word {theorem} in their name
Which is the theorem whose name has the word theorem in it?
Tell me theorem whose name has the word theorem in it.
SELECT DISTINCT ?w WHERE { FILTER ( CONTAINS ( LCASE ( ?w ) , 'theorem' ) ) . ?w rdf:type ontology:theorem }
SELECT DISTINCT ?sbj ?sbj_label { ?statement1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> ?sbj . ?statement1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.wikidata.org/entity/P31> . ?statement1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://wikidata.dbpedia.org/resource/Q65943>. ?sbj rdfs:label ?sbj_label . FILTER(CONTAINS(lcase(?sbj_label), 'theorem')) . FILTER (lang(?sbj_label) = 'en') } LIMIT 25
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 
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