| uniqueness, principle, propositional, for functions on $\nat$ | QJWCGBBBBQ | concept | open | hott_book index/8.1/uniqueness-principle-propositional-for-functions-on-nat |
| uniqueness, principle, propositional, for functions on $\w$-types | QWPQF411QX | concept | open | hott_book index/8.3/uniqueness-principle-propositional-for-functions-on-w-types |
| uniqueness, principle, propositional, for functions on a pushout | V22HCXPHX4 | concept | open | hott_book index/5.8/uniqueness-principle-propositional-for-functions-on-a-pushout |
| uniqueness, principle, propositional, for functions on a truncation | K8M0RGKXRJ | concept | open | hott_book index/6.3/uniqueness-principle-propositional-for-functions-on-a-truncation |
| uniqueness, principle, propositional, for functions on the circle | 40FQYC7Z37 | concept | open | hott_book index/5.2/uniqueness-principle-propositional-for-functions-on-the-circle |
| uniqueness, principle, propositional, for homotopy $\w$-types | N82ETPTTVA | concept | open | hott_book index/8.5/uniqueness-principle-propositional-for-homotopy-w-types |
| uniqueness, principle, propositional, for identities between pairs | 7KA1J0NCDM | concept | open | hott_book index/1.6/uniqueness-principle-propositional-for-identities-between-pairs |
| uniqueness, principle, propositional, for product types | 2GRH1BFP17 | concept | open | hott_book index/A.5/uniqueness-principle-propositional-for-product-types |
| uniqueness, principle, propositional, for product types | WN4HJPQRB1 | concept | open | hott_book index/1.6/uniqueness-principle-propositional-for-product-types |
| uniqueness, principle, propositional, for univalence | R5RZ94YNYN | concept | open | hott_book index/1.10/uniqueness-principle-propositional-for-univalence |
| Uniqueness: Jordan–Hölder theorem | YWQV9THQWY | statement | open | Wikipedia Composition series#RNAD |
| unirational | ZTHSK33SRH | definition | open | Wikipedia Glossary of classical algebraic geometry#U051 |
| Unirational surfaces | 9PEY5DQMMV | definition | open | Wikipedia List of complex and algebraic surfaces#VNQT |
| Unirational variety | AWSTE572Q3 | unknown | open | Wikipedia Rational variety#BNSV |
| Unirationality conjecture | PJK6M4KPEE | statement | open | Wikipedia Moduli of algebraic curves#R87A |
| uniserial | HBVCW53WN4 | definition | open | Wikipedia Glossary of ring theory#SLII |
| Unisolvence Criterion for the Poisson Operator | C7EJG9MFVT | 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.13222#J3QF |
| Unisolvence for the Poisson Operator | T7SXVRS1DQ | 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.13222#S3MP |
| Unisolvence in the Trial Frame | MPF0MCFA8P | 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.13222#E932 |
| Unisolvent functions | 1TJ0ZGJS1G | definition | open | Wikipedia Unisolvent functions, Wikidata Q7887012 |
| Unisolvent functions | WX1TGCMXQC | definition | open | Wikipedia List of numerical analysis topics#37PF |
| Unisolvent point set | 30ZG4SH007 | definition | open | Wikipedia Unisolvent point set, Wikidata Q16956925 |
| Unisolvent point set | 3A30MNFR3G | definition | open | Wikipedia List of numerical analysis topics#DMN8 |
| Unistochastic matrix | 62BQTZKH4H | definition | open | Wikipedia Unistochastic matrix, Wikidata Q7887041 |
| Unistochastic matrix | 7ZVQBCDS2C | definition | open | Wikipedia List of named matrices#5Z0X |
| unit | 8JF2F9AYSJ | definition | open | Wikipedia Glossary of ring theory#8LR4 |
| unit | 8P5QQDZK6Z | concept | open | lebl_scv index/D/unit |
| unit | A1RWYB5XHC | concept | node (a node has the same Wikidata item as the row) | Wikidata Q118084, LMFDB knowl ring.unit, MathWorld RingUnit, MathWorld Unit, nLab unit, Wikipedia Unit (ring theory) |
| unit | BNGWC1KGWF | definition | open | Wikipedia Glossary of Principia Mathematica#0ROZ |
| Unit (ring theory) | XZS0A2J3NA | definition | open | Wikipedia List of abstract algebra topics#LSFH |
| Unit (statistics) | MWWQ8FJ3AG | definition | open | Wikipedia List of statistics articles#EZNU |
| unit ball | 2JF2SZY02Q | unknown | open | Wikidata Q105332556, MathWorld UnitBall, nLab unit ball |
| Unit ball and norm comparison | 4E7T37QPJB | 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.38453#VEZ5 |
| unit cell | WHY1DVR7YE | unknown | open | Wikidata Q11878049, MathWorld UnitCell |
| Unit cells | 6SJWE38VFJ | 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#L6HI |
| unit circle | J6WN0BY43N | definition | open | Wikidata Q203425, MathWorld UnitCircle, Wikipedia Unit circle |
| Unit circle | KQQQ8BD63V | definition | open | Wikipedia List of mathematical shapes#83MZ, Wikipedia List of Fourier analysis topics#MUAE |
| Unit cofactors | CHRR81PTA2 | 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.15262#XVSK |
| Unit commitment problem in electrical power production | EQD0GWSN2A | problem | open | Wikipedia Unit commitment problem in electrical power production, Wikidata Q25303992 |
| unit cube | 8BBSYCA7AY | definition | open | Wikidata Q2072112, MathWorld UnitCube, Wikipedia Unit cube |
| Unit disc | V4VSK4X063 | definition | open | Wikipedia List of Fourier analysis topics#6TKG |
| unit disk | 8ZBM3Y3NH5 | definition | open | Wikidata Q2390323, MathWorld UnitDisk, Wikipedia Unit disk |
| Unit disk graph | EC928NREE4 | definition | open | Wikipedia Unit disk graph, Wikidata Q3115549 |
| unit distance graph | F6NY4NW54G | definition | open | Wikidata Q745378, MathWorld Unit-DistanceGraph, Wikipedia Unit distance graph |
| unit distance problem | T77BTP6KZ2 | definition | open | Wikipedia List of mathematical discoveries by artificial intelligence#O8KX |
| Unit doublet | F0F407VHBV | definition | open | Wikipedia Unit doublet, Wikidata Q7887120 |
| unit fraction | 7Y0VPG60TV | definition | open | Wikidata Q255388, EoM Aliquot_ratio, MathWorld UnitFraction, ProofWiki Definition:Unit_Fraction, Wikipedia Unit fraction |
| Unit fraction | 963AX6XMTK | definition | open | Wikipedia List of number theory topics#7RL4 |
| Unit function | J6TTQBRDVQ | definition | open | Wikipedia Unit function, Wikidata Q2919265 |
| Unit groupoids | YWPMVEY93N | example | 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.00789#P122 |
| Unit hyperbola | 1CKPJ3WBAN | definition | open | Wikipedia Unit hyperbola, Wikidata Q7887128 |
| Unit hyperbola | 2ENAKJ5ADJ | definition | open | Wikipedia List of mathematical shapes#R6FO, Wikipedia List of mathematical topics in relativity#N60F |
| Unit in the last place | ANY49KW92B | 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.10819#YR9L |
| Unit in the last place | TTPZA20YQ2 | definition | open | Wikipedia Unit in the last place, Wikidata Q7887129 |
| Unit interval | 7JGNVX7YYD | definition | open | Wikipedia List of general topology topics#995O, Wikipedia List of examples in general topology#TLZI |
| unit interval | FW0B04RJMB | definition | open | Wikidata Q1987578, MathWorld UnitInterval, Wikipedia Unit interval |
| Unit measure | 11EBVD3ZAS | definition | open | Wikipedia Unit measure, Wikidata Q7887135 |
| Unit necklace | H5HHH4CM1F | 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.30637#XHZK |
| Unit Necklace Theorem | SKPP5KH9FG | 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.30637#HF76 |
| Unit of analysis | 9DQQ5FK784 | definition | open | Wikipedia Unit of analysis, Wikidata Q7887142 |
| Unit of area | PE54HARKH3 | unknown | open | Wikipedia Area#4J3K |
| unit of force | C5Q4A3A0DB | definition | open | Wikidata Q15976022, ProofWiki Definition:SI/Force |
| unit of measurement | FG6H2M3T2S | definition | open | Wikidata Q47574, ProofWiki Definition:Unit_of_Measurement |
| Unit of observation | G5CS0FTVG9 | definition | open | Wikipedia List of statistics articles#2RAU |
| Unit of observation | J3TGZ3BD38 | definition | open | Wikipedia Unit of observation, Wikidata Q13611879 |
| unit of pressure | 4F4YYBRNGM | definition | open | Wikidata Q4173969, ProofWiki Definition:Pressure/Unit |
| unit of speed | STPAF1D3X5 | definition | open | Wikidata Q15222637, ProofWiki Definition:Velocity/Unit |
| Unit propagation | EKSSFYA8QY | definition | open | Wikipedia Unit propagation, Wikidata Q1307834 |
| Unit residues at an arbitrary prime | BRRPWE6NQM | 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.15262#12EB |
| Unit root | 4Z5S6V6B2M | definition | open | Wikipedia Unit root, Wikidata Q1307899 |
| Unit root | WY83SX7BHA | definition | open | Wikipedia List of statistics articles#JZNW, Wikipedia List of dynamical systems and differential equations topics#80KF |
| Unit root hypothesis | ZZRDX2NX3S | statement | open | Wikipedia Unit root#PQ70 |
| Unit root test | SABWKEEMRV | definition | open | Wikipedia Unit root test, Wikidata Q7887151 |
| Unit root test | Z61XGZ2H7S | definition | open | Wikipedia List of statistics articles#XOHQ |
| unit sphere | P0Z9GE0VMR | definition | open | Wikidata Q1307800, MathWorld UnitSphere, nLab unit sphere, Wikipedia Unit sphere |
| Unit square | EXK3AKRTJ6 | definition | open | Wikipedia List of unsolved problems in mathematics#HLZI |
| unit square | Z0NA8ERR13 | definition | open | Wikidata Q1307838, MathWorld UnitSquare, Wikipedia Unit square |
| Unit tangent bundle | 12FPXXMP0H | definition | open | Wikipedia Unit tangent bundle, Wikidata Q3071328 |
| Unit triangular matrix | KESDG91DYN | unknown | open | Wikipedia Triangular matrix#WRG1 |
| unit type | 4GDDB3E4J3 | definition | open | Wikidata Q1307872, nLab unit type, Wikipedia Unit type |
| unit vector | BFEGPAW28D | concept | open | austin_ula index/6.3.2/unit-vector |
| unit vector | H5J392GZNH | definition | open | Wikidata Q36255, MathWorld UnitVector, nLab unit vector, ProofWiki Definition:Unit_Vector, Wikipedia Unit vector |
| unit vector | K3CG3574P4 | definition | open | Wikipedia Glossary of linear algebra#C0R9 |
| Unit vector conversion formula | 3RDYK6ZM18 | statement | open | Wikipedia Del in cylindrical and spherical coordinates#XR1S |
| Unit vector notation | QSM8NZ4NZ1 | unknown | open | Wikipedia Vector notation#O4NJ |
| Unit's digit | KJXKYETSAC | unknown | open | Wikipedia Numerical digit#RDDR |
| unit, interval | BQG050VWNA | concept | open | hott_book index/u1.u2/unit-interval |
| unit, law for path concatenation | TVEXZQCV2A | concept | open | hott_book index/1.1/unit-law-for-path-concatenation |
| unit, of a ring | 171QPV1GRK | concept | open | hott_book index/B.2.1/unit-of-a-ring |
| Unit-circle bound implies geometric decay | X7WWS510N4 | 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.16248#XPL3 |
| Unit-circle resolvent bound | JMD88V2557 | 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.16248#O8CG |
| Unit-group bound | VMAR89J3PV | 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.39121#KMEK |
| Unit-span continuation | SVAP16E8YZ | 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.40077#IGWD |
| Unit-weighted regression | X9BF5301ED | definition | open | Wikipedia Unit-weighted regression, Wikidata Q7887071 |
| Unit-weighted regression | Z0TZJ1DBJX | definition | open | Wikipedia List of statistics articles#J8GX |
| Unital | 5GRRC3KP05 | definition | open | Wikipedia Unital (geometry), Wikidata Q17148807 |
| Unital *-algebra | FW62FPY1WD | 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.37074#F83R |
| Unital algebra | 7AJ418BANA | unknown | open | Wikipedia Algebra over a field#RZIN |
| unital magma | 406YZA61A4 | definition | open | Wikidata Q111485852, ProofWiki Definition:Unital_Magma |
| Unital Magma | 934K71MRNN | unknown | open | Wikipedia Magma (algebra)#96IZ |