Give me {theorem} that starts with {'t'}
What theories start with "t"?
what are thetheorem which start with the letter t
SELECT DISTINCT ?w WHERE { FILTER ( STRSTARTS ( LCASE ( ?w ) , 't' ) ) . ?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(STRSTARTS(lcase(?sbj_label), 't')) . FILTER (lang(?sbj_label) = 'en') } LIMIT 25
SELECT DISTINCT ?sbj ?sbj_label WHERE { ?sbj wdt:P31 wd:Q65943 . ?sbj rdfs:label ?sbj_label . FILTER(STRSTARTS(lcase(?sbj_label), 't')) . FILTER (lang(?sbj_label) = 'en') } LIMIT 25 
Tietze extension theorem Tietze extension theorem Tychonoff's theorem Tychonoff's theorem Taylor's theorem Taylor's theorem Thales' theorem Thales' theorem transversality theorem transversality theorem triangle inequality triangle inequality Teichmüller–Tukey lemma Teichmüller–Tukey lemma Thévenin's theorem Thévenin's theorem tennis racket theorem tennis racket theorem Theorema Egregium Theorema Egregium Turán's theorem Turán's theorem Toda's theorem Toda's theorem Tarski's undefinability theorem Tarski's undefinability theorem Tutte theorem Tutte theorem Tijdeman's theorem Tijdeman's theorem Torricelli's law Torricelli's law the inscribed angle theorem the inscribed angle theorem Thue–Siegel–Roth theorem Thue–Siegel–Roth theorem Theorem on friends and strangers Theorem on friends and strangers theorem of the highest weight theorem of the highest weight theorem about nine points on cubic curve theorem about nine points on cubic curve Tait–Kneser theorem Tait–Kneser theorem Teichmüller's Theorem Teichmüller's Theorem Thales' theorems Thales' theorems Tennenbaum's theorem Tennenbaum's theorem