| Extended Midy's theorem | H8AF9SPMF8 | statement | open | Wikipedia Midy's theorem#JP5P |
| Extended modal realism | K1ACF6GY93 | definition | open | Wikipedia Extended modal realism, Wikidata Q104870066 |
| Extended Mycielski of cycle graph | KZM1WKVW1F | definition | 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.20881#6O6L |
| Extended natural numbers | 26PQ5279FH | definition | open | Wikipedia Extended natural numbers, Wikidata Q105759800 |
| Extended negative binomial distribution | AA2H8EZR3J | definition | open | Wikipedia List of probability distributions#WBC5 |
| Extended negative binomial distribution | GQ0FKJNX4G | definition | open | Wikipedia List of statistics articles#N60A |
| Extended negative binomial distribution | YKFRJ7V0ZR | definition | open | Wikipedia Extended negative binomial distribution, Wikidata Q3258265 |
| Extended Norm-Trace Codes versus One-Point Hermitian Codes | QV15QP55D1 | 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.31484#FVOX |
| Extended phase graph | T0YJZGTFSP | definition | open | Wikipedia Extended phase graph, Wikidata Q138824249 |
| Extended Polymatroid | RNFQ14DSSS | definition | 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.33946#IXI4 |
| Extended principles | YKX0B37XTW | statement | open | Wikipedia Quantitative genetics#95WL |
| extended real number line | 86F5E9RCZ6 | definition | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Numbers > extended real number, Mathlib EReal, Wikidata Q2039387, MathWorld AffinelyExtendedRealNumbers, ProofWiki Definition:Extended_Real_Number_Line, Wikipedia Extended real number line |
| Extended real number line | YKJAXJSKVQ | definition | open | Wikipedia List of general topology topics#TI6G, Wikipedia List of topologies#CGCF, Wikipedia List of examples in general topology#9F9Y |
| Extended Riemann hypothesis | 7729MB8F9S | statement | open | Wikipedia Dedekind zeta function#TDVX |
| Extended Riemann hypothesis (ERH) | 7ZXAH0B3WS | statement | open | Wikipedia Generalized Riemann hypothesis#NSHC |
| Extended side | BBA44ZZRXE | definition | open | Wikipedia Extended side, Wikidata Q18206960 |
| Extended Sierpiński problem | NTF4DZHHVN | conjecture | open | Wikipedia List of things named after Wacław Sierpiński#X7W3 |
| extended supersymmetry | 4TMBGF22BY | unknown | open | Wikidata Q55643022, nLab extended supersymmetry |
| Extended supersymmetry | 5QQK30MYWQ | unknown | open | Wikipedia Supersymmetry#3WPO |
| Extended ternary Golay code | JYBN7ZNGH7 | unknown | open | Wikipedia Ternary Golay code#MJ07 |
| Extended Totally Positive (ETP | Q018A5ZDPN | definition | 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.19861#0C6T |
| Extended trajectory | PM63VED4XJ | definition | 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.14988#160E |
| Extended transition function | A0EMZJWTZS | unknown | open | Wikipedia Nondeterministic finite automaton#838V |
| Extended unoriented tangloid category | SBPXKKN1P5 | definition | 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.37524#RAWI |
| Extended) Teaching Dimension Growth Function | 18V7EMGY9Q | definition | 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.27241#JF0L |
| extender | 9RB6GEYC4T | definition | open | Wikipedia Glossary of set theory#AE1D |
| Extender | TXFJ1G6ZKT | definition | open | Wikipedia Extender (set theory), Wikidata Q5421908 |
| Extendible cardinal | 1YZ09KY08F | definition | open | Wikipedia List of mathematical logic topics#7EHW |
| extendible cardinal | MVR13JW659 | definition | open | Wikipedia Glossary of set theory#GRF9 |
| extendible cardinal | PFV7NC8RWE | definition | open | Wikidata Q5421910, nLab extendible cardinal, Wikipedia Extendible cardinal |
| Extendible coefficients on the plane-curve neighborhoods | Z8AHXHWYHE | 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.21093#LEG8 |
| Extending a representable lift | NWS2R9PQ30 | 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.28220#1IYP |
| Extending Bézout's theorem | EWED4QS722 | statement | open | Wikipedia Degree of an algebraic variety#R1KF |
| Extending the class existence theorem | 9RCC5QPV25 | statement | open | Wikipedia Von Neumann–Bernays–Gödel set theory#S89M |
| Extending the original law: the Ampère–Maxwell equation | 64BHMD8XQQ | statement | open | Wikipedia Ampère's circuital law#10JU |
| Extending the quotient embedding | 9GVEY0NC4X | 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.26984#K8U6 |
| Extending vectors to parallel vector fields | E1PZC9TCFQ | 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 2406.06762#MN3H |
| Extension | 31QN9MBPSG | statement | open | Wikipedia Interior extremum theorem#4NQG |
| Extension | 3XAEQPSY8N | statement | open | Wikipedia L'Huilier's theorem#8L8R |
| Extension | 67YS3PTHES | statement | open | Wikipedia Light's associativity test#ZBK4 |
| extension | 6QS5W5JEXS | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#5S7D |
| extension | 6Y8MAT09A7 | definition | open | Wikipedia Glossary of ring theory#7AFS |
| Extension | 933SJ11J1G | 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.21662#328Z |
| extension | 9FN1QBQ4Y9 | definition | open | Wikipedia Glossary of commutative algebra#7W4R |
| Extension | 9W78JX5W0M | statement | open | Wikipedia Kurosh subgroup theorem#YHU2 |
| Extension | A8A8QVA77N | statement | open | Wikipedia Harcourt's theorem#2G91 |
| Extension | B3CV293STK | definition | open | Wikipedia Extension (predicate logic), Wikidata Q5421931 |
| Extension | B9EEZ945VB | statement | open | Wikipedia Essential range#URDL |
| Extension | B9Z46ZRSFB | statement | open | Wikipedia Clairaut's equation#UB5U |
| Extension | C4V3YWRCJF | statement | open | Wikipedia Computation in the limit#HCG5 |
| Extension | DX02R33WYM | definition | open | Wikipedia Extension (semantics), Wikidata Q1384998 |
| extension | EBN4K8RCGX | definition | open | Wikipedia Glossary of logic#GF7L |
| Extension | ET924GA6SH | statement | open | Wikipedia Prokhorov's theorem#HB9Z |
| Extension | HZBAPWYSGY | statement | open | Wikipedia Buchholz psi functions#9KN0 |
| Extension | K93TRY88BK | statement | open | Wikipedia Danskin's theorem#ZWQ5 |
| Extension | KNFMP7SKFT | statement | open | Wikipedia Inner automorphism#J8PE |
| Extension | MAVBMD5J89 | statement | open | Wikipedia Spiral of Theodorus#CLI5 |
| Extension | MGFTRD68E1 | statement | open | Wikipedia Superabundant number#X3NF |
| Extension | MK9P9YGJ4H | statement | open | Wikipedia Time hierarchy theorem#OZUX |
| Extension | R5Q2V9DVVD | definition | open | Wikipedia Extension (simplicial set), Wikidata Q134017227 |
| extension | SP71EY5CDY | definition | open | Wikipedia Glossary of module theory#KZOU |
| Extension | TNWXEE0TX1 | statement | open | Wikipedia Power (statistics)#OEBS |
| Extension | WQVHQ5C2NF | statement | open | Wikipedia Transshipment problem#ZOB7 |
| Extension | Y4S4YYSTQH | statement | open | Wikipedia Rado graph#2HV3 |
| Extension | YC2Z070607 | statement | open | Wikipedia Dickman function#15I9 |
| Extension | YPCEE2MFGG | statement | open | Wikipedia Rule of three (statistics)#OX9X |
| extension | YTNX5T5P0X | definition | open | Wikipedia Glossary of set theory#UY54 |
| Extension | Z51WCB8XGD | statement | deferred (the cue heading names a section and not one item) | Wikipedia Lagrange's theorem (group theory)#QMSR |
| Extension | ZJ779S4AE1 | statement | open | Wikipedia Ergun equation#EGFH |
| Extension (algebra) | K8ZE1K00HC | definition | open | Wikipedia List of homological algebra topics#KGLW |
| Extension (theory) | 5P45Z7B5JD | unknown | open | Wikipedia Theory (mathematical logic)#P7IH |
| Extension across the chamber boundary | CFMPZ7GHF4 | 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.38228#3VSW |
| Extension and realization of the unit models | GC71RPNRFW | 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.30301#S2Q9 |
| Extension at the simplex boundary | Q1PJ5GD3B4 | 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.11619#5JQA |
| extension by continuity | EDPSDTKTFY | unknown | open | mathlib_overview Topology > General topology > extension by continuity, Mathlib IsDenseInducing.extend |
| Extension by definition | 1W9VJE9M4M | definition | open | Wikipedia Extension by definition, Wikidata Q5421941 |
| Extension by new constant and function names | RD0BD6EDHB | statement | open | mathlib_1000 Q5163116, Wikidata Q5163116, thousand_plus Q5163116, Wikipedia Conservativity theorem, Wikipedia Extension by new constant and function names |
| Extension by precomposed term | 810HQGV1XC | 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.21131#ECBK |
| Extension by zero | 7EYGDPDWDQ | unknown | open | Wikipedia Sheaf (mathematics)#P3QJ |
| Extension complexity | SKCWF0PPQP | definition | open | Wikipedia Extension complexity, Wikidata Q5421948 |
| Extension field | VM6FR8CX28 | definition | open | Wikipedia Glossary of field theory#N8J6 |
| Extension formula for every field quotient | 57066HT4XR | 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.15340#T8E4 |
| Extension from a subgroup | 9QMGVG9EWY | 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.26576#BBFK |
| Extension from a truncated weave | NDQNGGQ3D7 | 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.12531#7GDR |
| Extension is semantic | BEG55TVNJ1 | 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.21131#OEOT |
| Extension is Well-Typed | 70RR945NJF | 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.21131#67FJ |
| Extension lemma | 1ZGRHB7PN9 | 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.15340#T34B |
| Extension Lemma | J1CZWJZC61 | 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.03488#JB0V |
| Extension Lemma | KMTJKJ2PAQ | 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.15099#F76V |
| Extension lemma | S1ATHD0ERF | 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 2204.04317#2PL0 |
| Extension neglect | 3G9BFSVE2D | definition | open | Wikipedia Extension neglect, Wikidata Q5421944 |
| Extension neglect | KYBD32G3PZ | definition | open | Wikipedia List of cognitive biases#HWFY |
| Extension of $\Op L$ and uniqueness of the native space | 5676NV3GV9 | 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.14906#A96F |
| Extension of , Lemma 5.5 | NCAXVHQDER | 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.06372#0VGQ |
| Extension of a contraction morphism | XAP76T3E7Z | 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.17817#U7NA |
| Extension of a finite etale section | CATVJMV2S9 | 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.33808#S6QD |
| Extension of a topological group | H8QY3YJY4S | definition | open | Wikipedia Extension of a topological group, Wikidata Q18206963 |
| Extension of Borel-Heyting Measures | ZEA03ZFVZ2 | 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.10930#ZAEG |
| Extension of Lagrange's theorem | ZEB8CBSA85 | statement | node | Wikipedia Lagrange's theorem (group theory)#DCKK |
| extension of scalars | WBDK2QDZ0V | unknown | open | Wikidata Q5421950, nLab extension of scalars |