| Theorem | YHTJ31CFA9 | statement | open | Wikipedia Parthasarathy's theorem#1WB9 |
| Theorem | YJHM5KPA06 | statement | open | Wikipedia Convex cap#PJOH |
| Theorem | YJN4X7Q3RX | statement | open | Wikipedia Laguerre plane#LC1L |
| Theorem | YKB5XMTC8N | statement | open | Wikipedia Self-adjoint operator#5JIG |
| Theorem | YMX8DQS5CB | statement | open | Wikipedia Jacobi's four-square theorem#C296 |
| Theorem | YPABQ7KTGP | statement | open | Wikipedia Extensions of symmetric operators#GIQ6 |
| Theorem | YQA2J9KSK1 | statement | open | Wikipedia Location testing for Gaussian scale mixture distributions#WFJQ |
| Theorem | YR0Z94S7V5 | statement | open | Wikipedia Golden–Thompson inequality#JVQI |
| Theorem | YRCSZTQJPK | statement | open | Wikipedia Dual system#E9D4 |
| Theorem | YRZ0TN9ANV | statement | open | Wikipedia Differentiable vector-valued functions from Euclidean space#B1OT |
| Theorem | YSMF51PAFJ | statement | open | Wikipedia Riemannian manifold#RZWI |
| Theorem | YTEWZKBHHN | statement | open | Wikipedia Generic-case complexity#F9IM |
| Theorem | YVFTCADBM0 | statement | open | Wikipedia Vitali covering lemma#HM5G |
| Theorem | YVGXVQXECV | statement | open | Wikipedia Bolzano–Weierstrass theorem#7ZMT |
| Theorem | YW9X85WCNK | statement | open | Wikipedia Kolmogorov complexity#4VXP |
| Theorem | YXC6K3WD0R | statement | open | Wikipedia Arrow–Debreu model#BTVP |
| Theorem | YZM61ZF7FH | statement | open | Wikipedia Direct integral#3B33 |
| Theorem | Z0BTY8KPQ0 | statement | open | Wikipedia Erdős–Szemerédi theorem#9OZN |
| Theorem | Z0ZK8Y5KH1 | statement | open | Wikipedia Self-adjoint operator#HCEV |
| Theorem | Z3QZKFAQ0F | statement | open | Wikipedia Marchenko–Pastur distribution#S3L6 |
| Theorem | Z5QMGJ5T2Y | statement | open | Wikipedia Representer theorem#WOA4 |
| Theorem | Z75PJQKHSK | statement | open | Wikipedia Pontryagin duality#2BUM |
| Theorem | Z8VHMT316V | statement | open | Wikipedia Friedrichs extension#JU6Q |
| Theorem | Z96N78ZGKB | statement | open | Wikipedia Projection-valued measure#FGGX |
| Theorem | ZA7HEG2VWM | statement | open | Wikipedia Mean value theorem#KM03 |
| Theorem | ZC42Y2CFSJ | statement | open | Wikipedia Sobol sequence#K1EZ |
| Theorem | ZCFC5T25SB | statement | open | Wikipedia Semi-differentiability#41CN |
| Theorem | ZCY84X0A7K | statement | open | Wikipedia Palm–Khintchine theorem#HN2H |
| Theorem | ZFPFA89CJQ | statement | open | Wikipedia Koecher–Vinberg theorem#VDAL |
| Theorem | ZGGWPPS795 | statement | open | Wikipedia Stein-Rosenberg theorem#Z65D |
| Theorem | ZJAHWFRRDZ | statement | open | Wikipedia Jacobi's formula#4ADO |
| Theorem | ZKDQAJ4VN9 | statement | open | Wikipedia Poisson limit theorem#VPSP |
| Theorem | ZM4666TP9G | statement | open | Wikipedia Tensor product of Hilbert spaces#ZPQ8 |
| Theorem | ZMDRD3FMZD | statement | open | Wikipedia Price of anarchy#L5AK |
| theorem | ZPA7K3HAR8 | definition | open | Wikidata Q65943, MathWorld Theorem, ProofWiki Definition:Theorem, Wikipedia Theorem |
| Theorem | ZT4VF3G5JR | statement | open | Wikipedia Arrow–Debreu model#D924 |
| Theorem | ZTDS3EAV81 | statement | open | Wikipedia Geometrical optics#67XE |
| Theorem | ZTRCV9NSZ7 | statement | open | Wikipedia Leavitt path algebra#WBV9 |
| Theorem | ZV1N7356RX | statement | open | Wikipedia Matrix sign function#A7UJ |
| Theorem | ZVCMS0BWCX | statement | open | Wikipedia Square root of a matrix#H1VE |
| Theorem | ZVE4D2RK22 | statement | open | Wikipedia Spectral radius#ZFDY |
| Theorem | ZWQFHGVACV | statement | open | Wikipedia Countable set#U3DC |
| Theorem | ZX0J46HC69 | statement | open | Wikipedia Sparsity matroid#NW6N |
| Theorem | ZYMRQ2BFRV | statement | open | Wikipedia Block design#XNJF |
| Theorem | ZZ0ZS25RPZ | statement | open | Wikipedia Relative interior#JXNF |
| Theorem | ZZVY598KXW | statement | open | Wikipedia Euclidean distance matrix#9WQ6 |
| Theorem $1$ | CS8B8V4S6W | 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.11107#0W59 |
| Theorem $3.31$ | YTZV9YZHQ0 | 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.21034#KHQY |
| Theorem $3.39$ | Y61YB843TZ | 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.21034#EFHZ |
| Theorem $4.17$ | 5X46G3JKM6 | 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.21034#960M |
| Theorem $4.4.9$ | 6NJGSFQ15E | 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.22847#EZ2D |
| Theorem (1) | 50D0TCVTAP | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Sylow theorems#VM14 |
| Theorem (1) | KYGW7DAEHY | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Sylow theorems#UPLH |
| Theorem (2) | 6RYXH6W95D | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Sylow theorems#8PTM |
| Theorem (2) | YEM6JMGSDS | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Sylow theorems#7V6B |
| Theorem (3) | BCMEVXH0HD | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Sylow theorems#X602 |
| Theorem (3) | RV3FHG309M | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Sylow theorems#FH1L |
| Theorem (\R-valued function induced by a string) | TGEJMYHR51 | statement | open | Wikipedia Topological vector space#0OJC |
| Theorem (Abramson's bounds) | M36VA4W9TY | statement | open | Wikipedia Burst error-correcting code#ANH2 |
| Theorem (Accuracy) | RFJ76ZAS8C | statement | open | Wikipedia Exponential mechanism#KXZ0 |
| Theorem (Achlioptas, 2003, Theorem 1.1) | 2X1ZZMGG98 | statement | open | Wikipedia Johnson–Lindenstrauss lemma#YJ5M |
| Theorem (Amplification) | 5JE0GY092W | statement | open | Wikipedia Conditional disclosure of secrets#MAWH |
| Theorem (Andenaes, 1970) | 71EH0CWYPM | statement | open | Wikipedia Hahn–Banach theorem#HPLJ |
| Theorem (Banach) | 4HC67ANKP6 | statement | open | Wikipedia Surjection of Fréchet spaces#98PF |
| Theorem (Banaszczyk) | 52Z4MDPVMA | statement | open | Wikipedia Dual lattice#7F9E |
| Theorem (Bargmann) | DGRJYMYBMH | statement | open | Wikipedia Wigner's theorem#MGQO |
| Theorem (Bieberbach) | CQW5R66H4Q | statement | open | Wikipedia Topological rigidity#BV8B |
| Theorem (Birkhoff and Frink 1948) | E3JAQGPEKH | statement | open | Wikipedia Congruence lattice problem#PI40 |
| Theorem (Bound on the number of codewords) | 39AV2E7GFM | statement | open | Wikipedia Burst error-correcting code#G6Y9 |
| Theorem (Boyd) | 7Y3TPM5PZM | statement | open | Wikipedia Mahler measure#YPNG |
| Theorem (Brahmagupta) | 69Y9TNX3X2 | statement | open | Wikipedia Indian mathematics#C5U0 |
| Theorem (Brezis-Mironescu) | WTREKVS1WZ | statement | open | Wikipedia Gagliardo–Nirenberg interpolation inequality#P6AY |
| Theorem (Bulman-Fleming and McDowell 1978) | EANKG91TP9 | statement | open | Wikipedia Congruence lattice problem#F6IU |
| Theorem (Burnside) | MYB385TWQB | statement | open | Wikipedia Invariant subspace#FS9L |
| Theorem (Burst error codeword classification) | 3WS82GHW1E | statement | open | Wikipedia Burst error-correcting code#5XSI |
| Theorem (Burst error correction ability) | TE7KD5Z93F | statement | open | Wikipedia Burst error-correcting code#VPHO |
| Theorem (Burst error detection ability) | N47JQ90F9R | statement | open | Wikipedia Burst error-correcting code#EKAK |
| Theorem (C. Ursescu) | A0GPDTW2H3 | statement | open | Wikipedia Interior (topology)#7DCQ |
| Theorem (C. Ursescu) | C64DHA3F9S | statement | open | Wikipedia Complete metric space#U72K |
| Theorem (C. Ursescu) | QG8C7ZZRNP | statement | open | Wikipedia Closure (topology)#512G |
| Theorem (Calvin Richard Putnam) | GFQ2HBE8TR | statement | open | Wikipedia Fuglede's theorem#F2CR |
| Theorem (Cantor) | FCPN3PN2FD | statement | open | Wikipedia Cantor's theorem#8ZIP |
| Theorem (Carey Caginalp and Xinfu Chen Closed Formula) | 9GXHY8D1BW | statement | open | Wikipedia Narrow escape problem#94BO |
| Theorem (Carey Caginalp and Xinfu Chen Probability Density) | 5DTF2R7GVM | statement | open | Wikipedia Narrow escape problem#B5FQ |
| Theorem (Cauchy) | BMBW5Y02JN | statement | open | Wikipedia Green's theorem#A1Q2 |
| Theorem (CDS is closed under complement) | 2GHVZZ69C3 | statement | open | Wikipedia Conditional disclosure of secrets#TXUC |
| Theorem (Cheeger bound) | CSM1EP2EHY | statement | open | Wikipedia Cheeger bound#XIEF |
| Theorem (Chen) | B3WMJJ039E | statement | open | Wikipedia Möbius plane#XJ8L |
| Theorem (Chen) | VZH383M1MY | statement | open | Wikipedia Minkowski plane#6R97 |
| Theorem (CLT under reversibility) | AJ7SD4ZQKR | statement | open | Wikipedia Markov chain Monte Carlo#8EVL |
| Theorem (Cobham 1969) | GH0GJSQ3N3 | statement | open | Wikipedia Cobham's theorem#SAC3 |
| Theorem (Coburn) | RN37QBHHNM | statement | open | Wikipedia Wold's decomposition#PT22 |
| Theorem (Completions of quotients) | 49SNJ9KPT7 | statement | open | Wikipedia Complete topological vector space#MB5P |
| Theorem (Cyclic burst correction capability) | AYAE8NQA46 | statement | open | Wikipedia Burst error-correcting code#FQLP |
| Theorem (d is given) | V6R5TKN34F | statement | open | Wikipedia Cayley–Menger determinant#UFIC |
| Theorem (d not given) | HD4JNER1GA | statement | open | Wikipedia Cayley–Menger determinant#1S3E |
| Theorem (de Wilde 1978) | BP2Y8254XQ | statement | open | Wikipedia Fréchet space#RGNZ, Wikipedia Webbed space#VI7K |
| Theorem (decay of error) | 7G6TZJ6HHB | statement | open | Wikipedia Kosambi–Karhunen–Loève theorem#LOKK |
| Theorem (depth-sensitivity) | 89GTGGNNHR | statement | open | Wikipedia Koszul complex#3R11 |
| Theorem (Deuring; 1933) | NCKSP60JVD | statement | open | Wikipedia Riemann hypothesis#BSQT |