| Theorem (Sternfeld, 1985) | X3204ECN6F | statement | open | Wikipedia Kolmogorov–Arnold representation theorem#H2SM |
| Theorem (Stokes' theorem for chains) | KBSC9PATS6 | statement | open | Wikipedia Generalized Stokes theorem#3KLT |
| Theorem (Stokes–Cartan) | SKF4B7FGXJ | statement | open | Wikipedia Generalized Stokes theorem#SEV1 |
| Theorem (stronger lower bound) | B3AAXS3625 | statement | open | Wikipedia Sunflower (mathematics)#4YJM |
| Theorem (subgaussian random vectors) | XY08RKAXTN | statement | open | Wikipedia Sub-Gaussian distribution#XHZC |
| Theorem (Sylvester-Gallai) | 9KFN3MRSRK | statement | open | Wikipedia Incidence geometry#SDHB |
| Theorem (Szemerédi–Trotter) | F28E42KX2G | statement | open | Wikipedia Incidence geometry#YIV0 |
| Theorem (Tao 2012, page 251) | G47VSC2PV2 | statement | open | Wikipedia Vandermonde matrix#VMIC |
| Theorem (The functional problem) | N5FHWCTPXP | statement | open | Wikipedia Hahn–Banach theorem#4BRH |
| Theorem (Tits) | PKQ3VDW3AT | statement | open | Wikipedia Schwarz triangle#8PZO |
| Theorem (Topology induced by strings) | RZ7R36GKJ5 | statement | open | Wikipedia Topological vector space#DH7I |
| Theorem (Topology of a completion) | ZJSER4FKK1 | statement | open | Wikipedia Complete topological vector space#2D0J |
| Theorem (transmissibility of parallelism) | 9W92908TX7 | statement | open | Wikipedia Ordered geometry#SKM3 |
| Theorem (Tůma and Wehrung 2006) | 30QQ9D9YSJ | statement | open | Wikipedia Congruence lattice problem#CYBT |
| Theorem (Uniform Boundedness Principle) | HEK7CHFKWE | statement | open | Wikipedia Functional analysis#R1U4 |
| Theorem (Uniqueness of burst descriptions) | ZV97FGNRKN | statement | open | Wikipedia Burst error-correcting code#CA3P |
| Theorem (Ursescu) | 4RR193SNZJ | statement | open | Wikipedia Ursescu theorem#LWTF |
| Theorem (Uspensky) | BP1M80G6YA | statement | open | Wikipedia Real-root isolation#QJ7J |
| Theorem (van der Waerden, 1927) | 799V158J3D | statement | open | Wikipedia Van der Waerden's theorem#ON7V |
| Theorem (VC Inequality) | ESZZPFE7EJ | statement | open | Wikipedia Vapnik–Chervonenkis theory#CHOM |
| Theorem (Wehrung 1998) | 9W2Y414Z7J | statement | open | Wikipedia Congruence lattice problem#FZ64 |
| Theorem (Wehrung 1999) | PDH0KQTX3D | statement | open | Wikipedia Congruence lattice problem#KAE7 |
| Theorem (Wehrung 2003) | 1TYPMBD2JW | statement | open | Wikipedia Congruence lattice problem#S49P |
| Theorem (Wehrung 2004) | JMH6MS0MDE | statement | open | Wikipedia Congruence lattice problem#9MV9 |
| Theorem (Wehrung 2007) | K5S1W5MMAH | statement | open | Wikipedia Congruence lattice problem#OZ5F |
| Theorem (Wehrung 2008) | QC9P6119TG | statement | open | Wikipedia Congruence lattice problem#BCJN |
| Theorem (Weierstrass M-test) | X7H3VEBXRF | statement | open | Wikipedia Uniform convergence#EJ4R |
| Theorem (Wood, 1971) | YA30JH00C5 | statement | open | Wikipedia Milnor–Wood inequality#5WYX |
| Theorem 1 | 10ZG0XEND7 | statement | open | Wikipedia Strictly singular operator#2RSS |
| Theorem 1 | 18WQ4RPR01 | statement | open | Wikipedia Schwartz–Zippel lemma#6JUW |
| Theorem 1 | 5BW7V6W936 | statement | open | Wikipedia Melnikov distance#0EC9 |
| Theorem 1 | 60VKRHKPJ6 | statement | open | Wikipedia Mean value theorem#2O2T |
| Theorem 1 | 71EAJ41G9Y | statement | open | Wikipedia Maximum theorem#6QC7 |
| Theorem 1 | 79X7G1GREG | statement | open | Wikipedia MMH-Badger MAC#GTSM |
| Theorem 1 | 8929RXMMHC | statement | open | Wikipedia Permutation code#TFEG |
| Theorem 1 | ARTRK0WDGS | statement | open | Wikipedia Godunov's theorem#UEXE |
| Theorem 1 | BFFRB7N0D3 | statement | open | Wikipedia Orlicz sequence space#BUQA |
| Theorem 1 | GY45KNJ158 | statement | open | Wikipedia Linear temporal logic to Büchi automaton#MY7K |
| Theorem 1 | GZ7YQFDSF5 | statement | open | Wikipedia Envelope theorem#FWPK |
| Theorem 1 | H9EJPW5V4G | statement | open | Wikipedia Gaussian process#559M |
| Theorem 1 | HKCPTQE6RX | statement | open | Wikipedia Büchi automaton#M3JQ |
| Theorem 1 | JQ4MS5A51N | statement | open | Wikipedia Heavy traffic approximation#I3SX |
| Theorem 1 | KCCFTNN2BS | statement | open | Wikipedia Monotone comparative statics#JLZN |
| Theorem 1 | MT4E1STJ9K | statement | open | Wikipedia Dual norm#BQEZ |
| Theorem 1 | PAH4N7K405 | statement | open | Wikipedia Minimax estimator#6GAS |
| Theorem 1 | R3KFM54STJ | statement | open | Wikipedia Approximate max-flow min-cut theorem#SDKQ |
| Theorem 1 | R696M0801P | statement | open | Wikipedia Locally compact quantum group#GH4T |
| Theorem 1 | RA4JKZBW2F | statement | open | Wikipedia Near sets#SKLH |
| Theorem 1 | REF7RZBX1Q | statement | open | Wikipedia Hadamard code#QGRE |
| Theorem 1 | T4W9RSH4WV | statement | open | Wikipedia Generic-case complexity#HFEP |
| Theorem 1 | TC0H2MVVG3 | statement | open | Wikipedia Generalized inversive congruential pseudorandom numbers#HID6 |
| Theorem 1 | VWGKEHXF7M | statement | open | Wikipedia Density functional theory#9JI2 |
| Theorem 1 | WV3CPZC5M8 | statement | open | Wikipedia BRS-inequality#7DYP |
| Theorem 1 | XC5792HKMN | statement | open | Wikipedia Coiflet#ELLM |
| Theorem 1 | Y57Q02YYQD | statement | open | Wikipedia Compact operator on Hilbert space#M35N |
| Theorem 1 | YEYWJ83VGD | statement | open | Wikipedia Sinai–Ruelle–Bowen measure#1M5B |
| Theorem 1 | Z4BG8HGGZ6 | statement | open | Wikipedia Carmichael function#849Q |
| Theorem 1 (Hoffman) | THY5HX4BBF | statement | open | Wikipedia Multiple zeta function#25DM |
| Theorem 1 (Johnson bound for A_q(n,d)) | P2C86VNXPN | statement | open | Wikipedia Johnson bound#GBOR |
| Theorem 1 (Loewy 1906) | 9E497MMQK6 | statement | open | Wikipedia Loewy decomposition#6DGQ |
| Theorem 1 (on the absolute integrability of the McShane integral) | NMFEA3MSD2 | statement | open | Wikipedia McShane integral#H6AH |
| Theorem 1 \normalfont | QQKTSNJ85T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.05875#FEMA |
| Theorem 1 in , or | 8QC88Z51GY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21921#IIRM |
| Theorem 1 of 1960 | VV9RHFEGQQ | statement | open | Wikipedia Debreu's representation theorems#L03I |
| Theorem 1(iii | J22TADY1T7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39845#81GB |
| Theorem 1, Corollary 5.2 | XEWBCD0YZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25656#7Q71 |
| Theorem 1. Every valid formula (true in all structures) is provable. | KSMRHCS14M | statement | open | Wikipedia Original proof of Gödel's completeness theorem#5MX3 |
| Theorem 1.1. | 5GJKD3E1BY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39675#9X1B |
| Theorem 1.3 in , informal | EQ3RZQRVCN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.02468#RCW8 |
| Theorem 1.5.5 and Lemma 12.1.13 | WWSTY339HC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14839#2HE1 |
| Theorem 149 and Theorem 155 | T2F63QZ2VG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.23128#P5GK |
| Theorem 1: Existence of sliding mode | VEHS673V7X | statement | open | Wikipedia Sliding mode control#A22F |
| Theorem 2 | 525W72J44D | statement | open | Wikipedia Locally compact quantum group#B4ZO |
| Theorem 2 | 5CAAFQG52D | statement | open | Wikipedia Mean value theorem#KEZQ |
| Theorem 2 | 6S9VTH6HZC | statement | open | Wikipedia Heavy traffic approximation#MF4X |
| Theorem 2 | 8AP43WN8BA | statement | open | Wikipedia Permutation code#Z8AQ |
| Theorem 2 | 8DDCPDNFVJ | statement | open | Wikipedia Büchi automaton#FPKA |
| Theorem 2 | 90113MNWM1 | statement | open | Wikipedia Generic-case complexity#MB4P |
| Theorem 2 | A0Z3QYRPS3 | statement | open | Wikipedia Orlicz sequence space#UKHY |
| Theorem 2 | APKE9DWM77 | statement | open | Wikipedia Geiringer–Laman theorem#89WH |
| Theorem 2 | BK1HY66JX8 | statement | open | Wikipedia Compact operator on Hilbert space#TX53 |
| Theorem 2 | CMC79AV5T8 | statement | open | Wikipedia Carmichael function#CBI6 |
| Theorem 2 | DVNDN56JNT | statement | open | Wikipedia Envelope theorem#NDMW |
| Theorem 2 | J29DDA7R1E | statement | open | Wikipedia Strictly singular operator#9WWW |
| Theorem 2 | MDQNH2EYWE | statement | open | Wikipedia Melnikov distance#BOV5 |
| Theorem 2 | NAE53ZKEJB | statement | open | Wikipedia Schwartz–Zippel lemma#G9EF |
| Theorem 2 | NVBQJMQE3H | statement | open | Wikipedia Minimax estimator#YVJV |
| Theorem 2 | PXD9PQZ96V | statement | open | Wikipedia Coiflet#TMGC |
| Theorem 2 | Q1BB1HRTQ2 | statement | open | Wikipedia Godunov's theorem#HA5B |
| Theorem 2 | Q7EDNKS832 | statement | open | Wikipedia Dual norm#YEQL |
| Theorem 2 | QRSNXFJ7PE | statement | open | Wikipedia Near sets#KPXV |
| Theorem 2 | S2RJ7B3Z8T | statement | open | Wikipedia Monotone comparative statics#LDNJ |
| Theorem 2 | SA598P10MZ | statement | open | Wikipedia Robinson–Schensted–Knuth correspondence#QLW5 |
| Theorem 2 | SXJ51Y3VNT | statement | open | Wikipedia MMH-Badger MAC#VGWN |
| Theorem 2 | V3NYDMYVDX | statement | open | Wikipedia Loewy decomposition#43CD |
| Theorem 2 | W6XPJ14YSH | statement | open | Wikipedia BRS-inequality#D9LL |
| Theorem 2 | WD5JFVQEH5 | statement | open | Wikipedia Maximum theorem#PWTN |
| Theorem 2 | XZJNMA7P85 | statement | open | Wikipedia Approximate max-flow min-cut theorem#ZPGQ |
| Theorem 2 | YMEXE8QBWZ | statement | open | Wikipedia Density functional theory#66SK |
| Theorem 2 (fundamental theorem of Henstock-Kurzweil integral) | 7R0KTQJ5YM | statement | open | Wikipedia McShane integral#I7PL |