| Proposition | 5THWDN6Y3Y | statement | open | Wikipedia Bounded set (topological vector space)#KWV8 |
| Proposition | 5TXQAQ4QX5 | statement | open | Wikipedia Rokhlin lemma#WR3T |
| Proposition | 5VAEG6735Q | statement | open | Wikipedia Split-biquaternion#GBMN |
| Proposition | 697MR4H8XE | statement | open | Wikipedia Fiber-homotopy equivalence#ODWE |
| Proposition | 6AJ19WHBPV | statement | open | Wikipedia Uniform boundedness principle#RDX5 |
| Proposition | 6ATCG6MJ31 | statement | open | Wikipedia Gauss's lemma (polynomials)#VT84 |
| Proposition | 78BV626V3Y | statement | open | Wikipedia Infinite-dimensional vector function#V1UM |
| Proposition | 7RJ4SFZX1H | statement | open | Wikipedia Ingleton's inequality#3RAF |
| Proposition | 86773Z854K | statement | open | Wikipedia Dimension theory (algebra)#8Q44 |
| Proposition | 8Q67W5E87P | statement | open | Wikipedia Linear relation#LN32 |
| Proposition | 8W00F7MXG8 | statement | open | Wikipedia Image (category theory)#9SR5 |
| Proposition | 8XHSYTE2PN | statement | open | Wikipedia Presheaf (category theory)#683O |
| Proposition | 8YTDB0ES4X | statement | open | Wikipedia Dolbeault cohomology#4HQP |
| Proposition | 90YVNAJWQH | statement | open | Wikipedia Electronic mail game#82TF |
| Proposition | 9M431FAGD0 | statement | open | Wikipedia Biquaternion#W10F |
| Proposition | 9QT03CZXGK | statement | open | Wikipedia Dimension theory (algebra)#937N |
| Proposition | 9SB241YX5G | statement | open | Wikipedia Inverse function theorem#QEB4 |
| Proposition | 9VBASPS8WP | statement | open | Wikipedia Normal matrix#KIKG |
| Proposition | A17VC93J09 | statement | open | Wikipedia Arrow–Debreu model#68ET |
| Proposition | A2D935ZG8X | statement | open | Wikipedia Zorn's lemma#NCQY |
| Proposition | AFSHNJVD96 | statement | open | Wikipedia Mathematical induction#RSWX |
| Proposition | AJ33ESQDGZ | statement | open | Wikipedia Nilradical of a ring#TPNY |
| Proposition | AN9M1TBFYK | statement | open | Wikipedia Markov chain Monte Carlo#NLHG |
| Proposition | ANGAEEMS2W | statement | open | Wikipedia Complete homogeneous symmetric polynomial#CG7R |
| Proposition | AYS4YTKKVF | statement | open | Wikipedia Nucleus (order theory)#9P8F |
| Proposition | BR1ND5BJXS | statement | open | Wikipedia Banach–Alaoglu theorem#9OEM |
| Proposition | C8WSB2CQNW | statement | open | Wikipedia Filters in topology#88IO |
| Proposition | CSTG9YN8J2 | statement | open | Wikipedia Upper half-plane#THUU |
| Proposition | D300TN2Z5C | statement | open | Wikipedia Minkowski functional#KD6D |
| Proposition | DAGV1G3VP0 | statement | open | Wikipedia Multiclass classification#ZQDC |
| Proposition | DWP2B9DDA1 | statement | open | Wikipedia Average order of an arithmetic function#6ZW7 |
| Proposition | DZR8J50MP3 | statement | open | Wikipedia Ultrafilter on a set#IWDN |
| Proposition | E2X1ZD60WN | statement | open | Wikipedia Manin matrix#D7L9 |
| Proposition | E5WW63XVAH | statement | open | Wikipedia Fuzzy subalgebra#Z7MT |
| proposition | EMK4PTE64M | statement | node (a node has the same Wikidata item as the row) | Wikidata Q108163, EoM Proposition, MathWorld Proposition, Wikipedia Proposition |
| Proposition | ENPZABG1HZ | statement | open | Wikipedia Normal matrix#71UA |
| Proposition | EXNGRHWFG1 | statement | open | Wikipedia Biquaternion#88J3 |
| Proposition | F148R2RB5R | statement | open | Wikipedia Normal matrix#GDHN |
| Proposition | F9FC5N0B7Q | statement | open | Wikipedia Phragmén–Lindelöf principle#7C8W |
| Proposition | FJX288FX9E | statement | open | Wikipedia Vitali–Hahn–Saks theorem#U7I5 |
| Proposition | G0WJNZYM97 | statement | open | Wikipedia Michael's theorem on paracompact spaces#X864 |
| Proposition | GWADG94VVY | statement | open | Wikipedia Dual system#Q66D |
| Proposition | HCT1T18M3V | statement | open | Wikipedia Spaces of test functions and distributions#ZW5Y |
| Proposition | HHYHYQB1P6 | statement | open | Wikipedia Integration along fibers#MT10 |
| Proposition | HNX296V496 | statement | open | Wikipedia Central carrier#WACF |
| Proposition | HTKYQAN1B3 | statement | open | Wikipedia Hilbert projection theorem#KGC8 |
| Proposition | HTZE5MNENM | statement | open | Wikipedia Countable set#MVYT |
| Proposition | K48BHK036N | statement | open | Wikipedia Parallelization (mathematics)#35HG |
| Proposition | KYJF4X931B | statement | open | Wikipedia Upper half-plane#HJT5 |
| Proposition | MBF0N4WVEF | statement | open | Wikipedia Calculus on Euclidean space#WPX7 |
| Proposition | MQ54PY7WMM | statement | open | Wikipedia Markov chain Monte Carlo#JL2E |
| Proposition | N32ZY8BJPN | statement | open | Wikipedia Riesz–Thorin theorem#STPD |
| Proposition | N6MSX64Z8N | statement | open | Wikipedia Manin matrix#TK6M |
| Proposition | NBZ352433B | statement | open | Wikipedia Total ring of fractions#QWSQ |
| Proposition | NCVGSPPS67 | statement | open | Wikipedia Productive matrix#NVGP |
| Proposition | NEEB2NBPGT | statement | open | Wikipedia Vitali–Hahn–Saks theorem#JR7G |
| proposition | NEVF52G5XM | concept | open | levin_dmoi index/4.1/proposition |
| Proposition | NJ6JFD9FXY | statement | open | Wikipedia Normal matrix#SV5N |
| Proposition | NMXZMSMMYB | statement | open | Wikipedia Phragmén–Lindelöf principle#Y4WH |
| Proposition | NYFB57W6GX | statement | open | Wikipedia Local criterion for flatness#PFF6 |
| Proposition | P5KWH9Q4PZ | statement | open | Wikipedia Transitive relation#B01D |
| Proposition | P9092P342S | statement | open | Wikipedia Probability distribution of extreme points of a Wiener stochastic process#QTWY |
| Proposition | PJ5A8B9YF4 | statement | open | Wikipedia Triple product rule#TI1R |
| Proposition | PX5B45BT12 | statement | open | Wikipedia Spaces of test functions and distributions#BQVX |
| Proposition | Q751G8H7GB | statement | open | Wikipedia Normal matrix#0GB5 |
| Proposition | QN0J6PWCWA | statement | open | Wikipedia Mathematical induction#IQEO |
| Proposition | QWW24R4JBA | statement | open | Wikipedia Term logic#CC50 |
| Proposition | R442TKY9R2 | statement | open | Wikipedia Artin transfer (group theory)#SMUQ |
| Proposition | RPE6W64XN8 | statement | open | Wikipedia Positive linear operator#DNZN |
| Proposition | RQEF8QQ4VW | statement | open | Wikipedia Weyl's theorem on complete reducibility#99MP |
| Proposition | RVZX4ARTD1 | statement | open | Wikipedia Normal polytope#XWGH |
| Proposition | RZ1E045PYZ | statement | open | Wikipedia Cyclic and separating vector#16RP |
| Proposition | S0PF24DJC5 | statement | open | Wikipedia Positive linear operator#IQ23 |
| Proposition | S2N1RBQ8SS | statement | open | Wikipedia Classifying space for U(n)#UJW5 |
| Proposition | S4R543JCGP | statement | open | Wikipedia Hadamard factorization theorem#TP0O |
| Proposition | SCEFJ18VWC | statement | open | Wikipedia Greedoid#OGU8 |
| Proposition | SQ00H52125 | statement | open | Wikipedia Artin transfer (group theory)#EKLR |
| Proposition | T3B0Z90SBV | statement | open | Wikipedia Manin matrix#A8SX |
| Proposition | T3KC0QTD0W | statement | open | Wikipedia Connected space#5O21 |
| Proposition | TEH84AGT13 | statement | open | Wikipedia Free presentation#PJ1V |
| Proposition | V7Z04TY7C5 | statement | open | Wikipedia Signed area#TXKW |
| Proposition | VZAK9RQFGT | statement | open | Wikipedia Rokhlin lemma#4SUY |
| Proposition | W0YH75XQKD | statement | open | Wikipedia Spectral radius#5MGC |
| Proposition | W9NCB4X9XE | statement | open | Wikipedia Hyperbolic sector#WXIU |
| Proposition | WEEJKJ5P58 | statement | open | Wikipedia Filters in topology#AY35 |
| Proposition | WPT7FAHM1M | statement | open | Wikipedia Schwarz triangle#OO4H |
| Proposition | WQF91KR3W7 | statement | open | Wikipedia Biquaternion#GSV4 |
| Proposition | WV3XT09DHJ | statement | open | Wikipedia Vertex model#NXQK |
| Proposition | WVRFYG34KE | statement | open | Wikipedia Orlicz space#5N67 |
| Proposition | XDPXE4P9Q9 | statement | open | Wikipedia Heine–Borel theorem#EZIU |
| Proposition | XZH9WTBTGP | statement | open | Wikipedia Hessian form of an elliptic curve#HQMS |
| Proposition | Y0AQ7MQF88 | statement | open | Wikipedia Fiber-homotopy equivalence#CSM5 |
| Proposition | Y3J3CRQS1Y | statement | open | Wikipedia Arrow–Debreu model#8XG0 |
| Proposition | YAQASVCGM1 | statement | open | Wikipedia Elliptic curve primality#55J2 |
| Proposition | YFDPDNN0M1 | statement | open | Wikipedia Cyclic and separating vector#X70A |
| Proposition | YGERY5GZ5K | statement | open | Wikipedia Vitali–Hahn–Saks theorem#OEU0 |
| Proposition | YP2Y8HDD4V | statement | open | Wikipedia Tensor product of modules#WLR4 |
| Proposition | ZFM5XC363B | statement | open | Wikipedia Artin transfer (group theory)#038G |
| Proposition $4.18$ | QDYP6PMGMD | 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#AH3Y |
| Proposition (Comparability) | NV4PSMKAY7 | statement | open | Wikipedia Central carrier#NR1K |