Inventory: U
The rows of the inventory whose names start with U. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 1001–1100 of 2142.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Unique hollowing forms of minimally hollowing spaces | WYVJQCX4VF | 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.14509#B7ZT |
| Unique homomorphic extension theorem | 9T8W7P1XPR | statement | open | Wikipedia List of theorems#OQ9P |
| Unique homomorphic extension theorem | CP4ESEXEQ3 | statement | open | Wikipedia Unique homomorphic extension theorem, Wikidata Q48996213 |
| Unique information | 5GYBV360KH | 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.00571#YLSO |
| Unique key | RTY3ASNHTQ | unknown | open | Wikipedia List of telecommunications encryption terms#KRGF |
| Unique maximum for first moment | EADP4CFVSA | 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.14085#UGSX |
| Unique minimum cyclic-variety generators | XS111R3YGA | 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.12014#OEP9 |
| Unique predecessor | ZGJBAQSKYK | 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.20492#8L1Q |
| Unique prime | PHG7K8E5G9 | definition | open | Wikipedia List of recreational number theory topics#H005 |
| unique prime | TXXZ8B57YB | unknown | open | Wikidata Q2654418, MathWorld UniquePrime, OEIS A040017 |
| unique prime decomposition | HNW0P8ZEQY | 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.05617#PPTO |
| Unique Readability | 7X0WYQJYJX | statement | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prop-1 |
| Unique Readability | M7ZV35ZWK9 | statement | open | open_logic content/lambda-calculus/syntax/unique-readability.tex#prop:unq |
| Unique Readability | TH7DFVF90Z | statement | open | open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prop-1 |
| Unique root property | 92MZKKHDEY | 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.20131#MX5C |
| Unique sink orientation | 30HW95YFYV | definition | open | Wikipedia Unique sink orientation, Wikidata Q7886959 |
| Unique subgradients | NSMQDA9H4D | 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.17519#HGOC |
| unique, choice | 3M76PHHRB3 | concept | open | hott_book index/9.9/unique-choice |
| unique, factorization system | C5WWQ0HWY3 | concept | open | hott_book index/6.6/unique-factorization-system |
| unique, factorization system | P9YB4Y74H7 | concept | open | hott_book index/6.7/unique-factorization-system |
| Unique-root characterization of the radius constant | M36KZVAXPX | 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.00501#TW4I |
| uniquely colorable graph | 8H61EQJH7V | definition | open | Wikidata Q7886960, MathWorld UniquelyColorableGraph, Wikipedia Uniquely colorable graph |
| uniquely embeddable graph | QE5C1PPSCQ | unknown | open | Wikidata Q130323039, MathWorld UniquelyEmbeddableGraph, OEIS A372853 |
| uniquely Hamiltonian graph | 6PF6CEV9JF | unknown | open | Wikidata Q130598732, MathWorld UniquelyHamiltonianGraph |
| uniquely pancyclic graph | BQVVSD3ZT7 | unknown | open | Wikidata Q130598728, MathWorld UniquelyPancyclicGraph |
| Uniqueness | 3CDFZMYCXE | 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 1311.6044#5QJV |
| Uniqueness | 484265AS40 | 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.37479#66DJ |
| Uniqueness | 4MA9BX95GW | 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.17129#VBRU |
| Uniqueness | 6Q9ASJNXFP | 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.18078#L0PT |
| uniqueness | CDM163KTRG | 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.01753#4JVT |
| uniqueness | FCE1QW85T4 | topic | open | Wikidata Q17548110 |
| Uniqueness | H1F5YX49N3 | 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.22240#6PK0 |
| Uniqueness | MVQPF0HX3K | 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.17127#UV13 |
| Uniqueness | NFZM0F16T7 | 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.35030#UN46 |
| Uniqueness | PQ3S1JK2PK | statement | open | lebl_diffyqs ch-laplace.tex#lt:uniqthm |
| Uniqueness after patching the stopped equations | 81ANEF94KY | 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.28985#SXL7 |
| Uniqueness among Gaussian barycenters | YW3NMGW3B1 | 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.01855#MQBP |
| Uniqueness and continuous dependence | YCBSTY597M | 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.14555#WU2I |
| Uniqueness and existence theorems in 1D | 648ES6BSZB | statement | open | Wikipedia Integral equation#2L1Q |
| Uniqueness and existence theorems of Fredholm–Volterra equations | KE6ZVAR5BK | statement | open | Wikipedia Integral equation#HVIP |
| Uniqueness and mixing in the strict region | 4P7GNEWVGP | 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.19421#WS68 |
| Uniqueness at zero pressure | 2JX36ZXJ92 | 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.28024#KIEE |
| Uniqueness case | R03XS4CETT | definition | open | Wikipedia Uniqueness case, Wikidata Q7886965 |
| uniqueness conjecture for Markov numbers | 86VJVRBQSJ | definition | open | Wikipedia List of unsolved problems in mathematics#AKX5 |
| Uniqueness for $L^\infty$ conductivities | X7B0NAYS1V | 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.17524#P09W |
| Uniqueness for $L^\infty$ conductivities when $n=1$, $s=1/2$ | SSVVP99M5W | 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.17524#VH0O |
| Uniqueness for (CE | Y7H07JVKSW | 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.17129#8R4Q |
| Uniqueness for displaced thermal inputs | H47TYJKFBP | 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.01855#6S53 |
| Uniqueness for the coupled vertex problem | TB9A5E9M9M | 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.06631#DY9P |
| Uniqueness for the exterior problem | TG6ZRGW8P1 | 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.06631#BOWK |
| Uniqueness from agreement on open sets | JN0SX69DBQ | 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.20683#8Y9M |
| Uniqueness from the square | A793XD9NAD | 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.20994#QKYK |
| uniqueness implies continuity | GTRD29QNVZ | 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 2409.03461#R328 |
| uniqueness implies piecewise linear | 23FDP2JW8E | 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 2409.03461#TODR |
| Uniqueness in $L^1$ for fixed Robin parameter | GNAV8970TZ | 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.14323#3431 |
| Uniqueness in the natural bounded observation-adapted class | S4GHS0N7P5 | 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.09278#6A7X |
| Uniqueness Modulo Gauge | MT61F3A9EP | 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.20316#G8CG |
| Uniqueness of $Q^*_\Omega$ up to an additive constant | 4PMWVVT6M7 | 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.14988#CKB6 |
| Uniqueness of a variable | PY0WXQ5N16 | definition | open | Wikipedia Factor analysis#0NJ1 |
| Uniqueness of Arthur rows | 56TEGVVFWJ | 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.16931#RJQF |
| Uniqueness of Canonical Representation | C31X3QH6QH | 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.25091#7MJW |
| Uniqueness of flat tangent cones | THMDR5A4P9 | 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.09596#19C4 |
| Uniqueness of geodesics | 5YDRG0VKQC | 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.24610#0I62 |
| Uniqueness of graded asymptotic expansions | KDHF0N8EQR | 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.29605#WJFP |
| Uniqueness of identity element | GQ4CPSKYED | statement | node | Wikipedia Group (mathematics)#65QT |
| Uniqueness of identity proofs | PW69FH3KNF | statement | open | Wikipedia Uniqueness of identity proofs, Wikidata Q132573452 |
| uniqueness of integral curves | XBR9Z2CTHA | unknown | open | mathlib_overview Geometry > Differentiable manifolds > uniqueness of integral curves, Mathlib isMIntegralCurveOn_Ioo_eqOn_of_contMDiff_boundaryless |
| Uniqueness of products | VMMWK73N07 | statement | open | napkin tex/cats/categories.tex#proposition-1 |
| Uniqueness of solutions | C9296S33QN | 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.06529#9FVO |
| Uniqueness of solutions with bounded $\pa_xu$ | ZEA1Y9BT5Y | 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.13753#GKF8 |
| Uniqueness of the barycenter covariance and faithful-input cross-covariances | MVYV62VM51 | 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.01855#B6AX |
| Uniqueness of the first Move | JHADT9934E | 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.17677#EISU |
| Uniqueness of the form of the limit | Q08FQDCMDG | 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 2201.04174#S8SM |
| Uniqueness of the gain | C6RYM55HWH | 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.14988#X5PO |
| Uniqueness of the minimal partition via characteristics | PQFQBXPE6D | 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.17129#0XIW |
| Uniqueness of the normalized $k$-optimal weight | CBSFCPZKZW | 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.21454#KQI2 |
| Uniqueness of the optimal blended gradient | 3GXCNDVPZZ | 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.13773#XGON |
| Uniqueness of the projective $8$-divisible $[48,6]$ code | B2ZHJ7GAMR | 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.09341#X9FN |
| Uniqueness of the step | QQZRGNNWH3 | 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.17006#RE73 |
| Uniqueness of the very weak solution, case $V\geq 0$ | YRVWNF6Z91 | 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 2110.12380#58RT |
| Uniqueness of the very weak solution, case I: $V \geq 0$ | FM6GQ5RY8Z | 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 2110.12380#GL2N |
| Uniqueness of type I blow-ups | 2ZFR3GQ2Y3 | 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.18270#P51Q |
| uniqueness quantification | JNACNVQHC8 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q2502253, MathWorld Unique, nLab uniqueness quantifier, Wikipedia Uniqueness quantification |
| Uniqueness theorem | 6H2TBNJ5XN | statement | open | Wikipedia Bass–Serre theory#SVY3 |
| uniqueness theorem | TPYT3GNJQW | definition | open | Wikidata Q26261907, MathWorld UniquenessTheorem, ProofWiki Definition:Uniqueness_Theorem, Wikipedia Uniqueness theorem |
| Uniqueness theorem for Poisson's equation | P8BG9ZSGZJ | statement | open | Wikipedia Uniqueness theorem for Poisson's equation, Wikidata Q7886967 |
| Uniqueness theorems | X16KFD4NGW | statement | open | Wikipedia Borel summation#QLQW |
| Uniqueness under curvature domination | 3WPQZYSBD5 | 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.14562#VEQC |
| Uniqueness under noise | NC1KF17114 | 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.00571#JU4U |
| Uniqueness without Euclid's lemma | R1QG7J9ZSB | statement | open | Wikipedia Fundamental theorem of arithmetic#0TKO |
| uniqueness, of identity proofs | JYTDFWNR0Y | concept | open | hott_book index/A.12.3/uniqueness-of-identity-proofs |
| uniqueness, of identity types | 135Z9NKE4E | concept | open | hott_book index/8.2/uniqueness-of-identity-types |
| uniqueness, principle | 1PEZM58M8B | concept | open | hott_book index/A.12.3/uniqueness-principle |
| uniqueness, principle | HX8EGD6ZTM | concept | open | hott_book index/4.2.4/uniqueness-principle |
| uniqueness, principle, for dependent function types | 26KBMTTWFJ | concept | open | hott_book index/A.4/uniqueness-principle-for-dependent-function-types |
| uniqueness, principle, for function types | BX3NVRE27Q | concept | open | hott_book index/A.12.3/uniqueness-principle-for-function-types |
| uniqueness, principle, for identities between functions | AXEF604N6F | concept | open | hott_book index/1.9/uniqueness-principle-for-identities-between-functions |
| uniqueness, principle, for product types | JE88BDYD5Y | concept | open | hott_book index/A.12.3/uniqueness-principle-for-product-types |
| uniqueness, principle, propositional, for a modality | WJWDVR46M9 | concept | open | hott_book index/6.7/uniqueness-principle-propositional-for-a-modality |
| uniqueness, principle, propositional, for dependent pair types | J74KSN121B | concept | open | hott_book index/1.7/uniqueness-principle-propositional-for-dependent-pair-types |