| Theorem 2 (Hoffman) | 2230HAJ0BC | statement | open | Wikipedia Multiple zeta function#WQ0Q |
| Theorem 2 (Johnson bound for A_q(n,d,w)) | HRK0VKDYX1 | statement | open | Wikipedia Johnson bound#7TOD |
| Theorem 2 of 1960 | VHYFPJHX1B | statement | open | Wikipedia Debreu's representation theorems#1TJ3 |
| Theorem 2-1 (Helmholtz's theorem in fluid dynamics) | SQK3GZB8QZ | statement | open | Wikipedia Stokes' theorem#0Z1R |
| Theorem 2-2 | X78Y7BY00T | statement | open | Wikipedia Stokes' theorem#7Q4W |
| Theorem 2. Every formula φ is either refutable or satisfiable in some structure. | TKYMY4ZKER | statement | open | Wikipedia Original proof of Gödel's completeness theorem#J33O |
| Theorem 2.1 ; Theorem 1 | 3W53S960DF | 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.32478#GOI2 |
| Theorem 2.2(i | FXQN7VP75T | 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.07114#T3FS |
| Theorem 2.4, Theorem 4.3 | ZNQSD25YC8 | 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 2503.22636#LZHO |
| Theorem 2: Region of attraction | A6HVM2XA88 | statement | open | Wikipedia Sliding mode control#666T |
| Theorem 3 | 22XC9J1128 | statement | open | Wikipedia Büchi automaton#9BRC |
| Theorem 3 | 2QSE3K1TCQ | statement | open | Wikipedia Loewy decomposition#KFJZ |
| Theorem 3 | 9TRXKRQ8YK | statement | open | Wikipedia Approximate max-flow min-cut theorem#WOCZ |
| Theorem 3 | EE0XGWD74K | statement | open | Wikipedia Geiringer–Laman theorem#PNVN |
| Theorem 3 | FK81GZBZJ4 | statement | open | Wikipedia Coiflet#I8PY |
| Theorem 3 | G49DJ1CMRS | statement | open | Wikipedia Mean value theorem#IBCR |
| Theorem 3 | G6CG4RDYDZ | statement | open | Wikipedia BRS-inequality#2T5B |
| Theorem 3 | GCR7E9QSSV | statement | open | Wikipedia Locally compact quantum group#TMDS |
| Theorem 3 | GW65BDXQ6H | statement | open | Wikipedia Compact operator on Hilbert space#Q834 |
| Theorem 3 | HEJJR0T96X | statement | open | Wikipedia Orlicz sequence space#ZZ9P |
| Theorem 3 | KRYGK1DNZY | statement | open | Wikipedia Permutation code#DKGG |
| Theorem 3 | Q9X4XD9GMP | statement | open | Wikipedia McShane integral#2NMX |
| Theorem 3 | RTD2ZW7DPP | statement | open | Wikipedia Generic-case complexity#KNOK |
| Theorem 3 | WQBBG4V5J9 | statement | open | Wikipedia Near sets#UBCW |
| Theorem 3 | Y0TR4NNP88 | statement | open | Wikipedia Monotone comparative statics#QPDC |
| Theorem 3 of 1960 | Y60J8RZKEN | statement | open | Wikipedia Debreu's representation theorems#ARQG |
| Theorem 3.1 , Theorem 1 | PTPGCM319Q | 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 2208.06310#N13V |
| Theorem 3.1 and Corollary 3.2 | KYXWVK2GSK | 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#EQCA |
| Theorem 3: Sliding motion | NMD3K7RQQZ | statement | open | Wikipedia Sliding mode control#LDFX |
| Theorem 4 | BK4F8GM11M | statement | open | Wikipedia Loewy decomposition#CJFA |
| Theorem 4 | CWQ8N6SKJS | statement | open | Wikipedia Approximate max-flow min-cut theorem#BCU6 |
| Theorem 4 | EHSWM28J0Q | statement | open | Wikipedia Orlicz sequence space#W7I9 |
| Theorem 4 | HG84JFMNK0 | statement | open | Wikipedia Monotone comparative statics#BVUW |
| Theorem 4 | JX4FNAHT2H | statement | open | Wikipedia Near sets#TS82 |
| Theorem 4 | YG0TSCWSMZ | statement | open | Wikipedia Permutation code#2CQC |
| Theorem 4 | ZFQ5ADKYJK | statement | open | Wikipedia Generic-case complexity#W40Z |
| Theorem 4 in GHR | YFC810G1SX | 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.16657#OM5V |
| Theorem 4.1 in and Theorem 4.8 | MH1THDPR5B | 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 2405.05684#2JVR |
| Theorem 4.5, Corollary 5.1 | MRXGDHEJD1 | 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.11189#IFHZ |
| Theorem 4.6 and Eq. (4.35) of , Theorem 10, p. 665 | MFGTEAQEM1 | 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#HKE5 |
| Theorem 5 | 3T5C04PB38 | statement | open | Wikipedia Permutation code#NG64 |
| Theorem 5 | 4241ZKQVHE | statement | open | Wikipedia Orlicz sequence space#Z1QH |
| Theorem 5 | BCDWPF3WM1 | statement | open | Wikipedia Near sets#QTNH |
| Theorem 5 | T3GT4EQDGT | statement | open | Wikipedia Approximate max-flow min-cut theorem#5CE8 |
| Theorem 5 | ZW64GS1D8W | statement | open | Wikipedia Monotone comparative statics#ZMF5 |
| Theorem 5 of ; Theorem 2.1 | QZ76CNK9Y4 | 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 2605.14343#RIIB |
| Theorem 5.8 in , Section 2.2 | 3GTGBVNGFV | 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 1904.09810#HDSF |
| Theorem 6 | 6X2QQ6WVGJ | statement | open | Wikipedia Near sets#NDU4 |
| Theorem 6 | X10VHT15G4 | statement | open | Wikipedia Monotone comparative statics#COMV |
| Theorem 6.1, page 181, Adapted to the Distributional Case | GB0VG15NXX | 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.22759#38RR |
| Theorem 6.1.3 of , Theorem 1.1 of and Theorem 3 | YPMBFY5TJM | 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.33442#SG3V |
| Theorem 7 | WEG3XC0ZSW | statement | open | Wikipedia Monotone comparative statics#PDV4 |
| Theorem 7 in . | WNVJB2HGT9 | 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.32478#TES5 |
| Theorem 7.2 of *{Chapter IV | 580HJ4QWVJ | 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.37739#1Q1J |
| Theorem 8 (Moore) | D0BHNXW3ZW | statement | open | Wikipedia Anatoly Karatsuba#GHW8 |
| Theorem 8 of the author's preprint | ZCYKA2HM4G | 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.18154#VRK7 |
| Theorem 8.3.C of Gromov , Theorem 60 of Mineyev | ZFEBM1A0BQ | 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 2009.11127#XZYY |
| Theorem [Gower & Richtarik 2015] | ARPVF92W4X | statement | open | Wikipedia Kaczmarz method#J422 |
| Theorem [Gower & Richtarik 2015] | CR67TK9BHN | statement | open | Wikipedia Kaczmarz method#9U5Z |
| Theorem \refthm:GAC | JNPQ7SEXSF | 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.24553#69PH |
| Theorem A | 6ES7NAD2HR | statement | open | Wikipedia Stein's method#VM4D |
| Theorem A | EC25H5714G | statement | open | Wikipedia Cartan's theorems A and B#RBV9 |
| Theorem A | Q612X7Z92S | statement | open | Wikipedia Möbius energy#F4GN |
| Theorem A (groups) | F5P315NBEM | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#44JV |
| Theorem A (Karatsuba) | FBYVHVSGX3 | statement | open | Wikipedia Anatoly Karatsuba#3NSA |
| Theorem A (modules) | FDTX1WS1AX | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#50I1 |
| Theorem A (rings) | CV199W983M | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#O726 |
| Theorem A (universal algebra) | 755B41ADAT | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#1WW4 |
| Theorem about eigenvalues of the matrix and time evolution | RA6GHTRG35 | statement | open | Wikipedia Master equation#Z67S |
| Theorem and its converse | E274AAJZQZ | statement | open | Wikipedia Geometric mean theorem#ETGW |
| Theorem and special cases | YKX5WZBRBM | statement | open | Wikipedia Euler's quadrilateral theorem#U1Q1 |
| Theorem B | 5NMAXXMZ46 | statement | open | Wikipedia Cartan's theorems A and B#6UDX |
| Theorem B (groups) | TKJVSR3Z6W | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#4VC1 |
| Theorem B (Karatsuba) | N5J28MEJ3H | statement | open | Wikipedia Anatoly Karatsuba#1CY1 |
| Theorem B (modules) | APRV90SCHP | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#CFWO |
| Theorem B (rings) | GSRM9HCCW1 | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#OSXD |
| Theorem B (Scheme theoretic analogue) | 7BX96SQTWW | statement | open | Wikipedia Cartan's theorems A and B#HI3L |
| Theorem B (universal algebra) | C1D67B6FVW | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#UQZ2 |
| Theorem B, parts \textup{(i)} and \textup{(iii | GZ0QN315XS | 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.30999#IX5I |
| Theorem B, parts \textup{(i)}--\textup{(ii | X0KYHJ5MQY | 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.30999#CIWV |
| Theorem by Chester–Friedman–Ursell | QG9FG327XP | statement | open | Wikipedia Method of Chester–Friedman–Ursell#3D89 |
| Theorem C (groups) | J7GFXF3F8N | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#0DQX |
| Theorem C (modules) | CD30N9BHD0 | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#JRVD |
| Theorem C (rings) | ZE6XEYJBD6 | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#DH1K |
| Theorem C (universal algebra) | MHTX5QE0KG | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#YJA2 |
| Theorem D (groups) | SVTBP9T6C9 | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#WHBC |
| Theorem D (modules) | CCAK2MYGAW | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#C6V7 |
| Theorem D (rings) | RWP74ARVNP | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#VMIA |
| Theorem D (universal algebra) | HMYW8XHQXE | statement | deferred (the item has no name of its own, and the write role names it) | Wikipedia Isomorphism theorems#1D9S |
| Theorem D, parts \textup{(i)}--\textup{(ii | EBF9A0QSET | 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.30999#A74Y |
| Theorem E1 | ZPYKAQ11HA | statement | open | Wikipedia Infinite compositions of analytic functions#56A4 |
| Theorem E2 | 45VYM5CFFB | statement | open | Wikipedia Infinite compositions of analytic functions#CQMS |
| Theorem for arrivals governed by a Poisson process | J85F71YZHC | statement | open | Wikipedia Arrival theorem#KJ6I |
| Theorem for Gordon–Newell networks | E8B0C6GPN6 | statement | open | Wikipedia Arrival theorem#XCAT |
| Theorem for Jackson networks | KX9KANMKGH | statement | open | Wikipedia Arrival theorem#CG04 |
| Theorem for one complex variable | BTBPM6QK1H | statement | open | Wikipedia Cauchy–Hadamard theorem#FP89 |
| Theorem for several complex variables | 2B95HMBMZT | statement | open | Wikipedia Cauchy–Hadamard theorem#G24Z |
| Theorem for vertex-weighted graphs | 6AJ2TGT9F2 | statement | open | Wikipedia Kőnig's theorem (graph theory)#HNN9 |
| Theorem FP2 | ZPVBJ9SBRC | statement | open | Wikipedia Infinite compositions of analytic functions#QKU6 |
| Theorem GF3 | TPKMMDXKB0 | statement | open | Wikipedia Infinite compositions of analytic functions#OPZV |