Inventory: E
The rows of the inventory whose names start with E. 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 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3801–3900 of 5003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| EWVF0ED06E | EWVF0ED06E | 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.17875#RQAZ |
| EWVKWW7RMT | EWVKWW7RMT | 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.10077#1IIZ |
| EWVQW47VZN | EWVQW47VZN | 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.27518#2XT1 |
| EWVYD47F1P | EWVYD47F1P | 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.07116#K7ZJ |
| EWWAP3YXQC | EWWAP3YXQC | 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.29925#KV5W |
| EWWHZPBC5X | EWWHZPBC5X | proof | open | hott_book equivalences.tex#proof-18 |
| EWX2YXF0R2 | EWX2YXF0R2 | 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 2508.02432#CGO6 |
| EWX49D8296 | EWX49D8296 | 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.19208#DABR |
| EWXZ2R04EJ | EWXZ2R04EJ | 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.19273#NTJN |
| EWYJYKZA1Y | EWYJYKZA1Y | 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#B1KX |
| EWYQKW3YZE | EWYQKW3YZE | 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.32077#YNLW |
| EWZPJQSPSV | EWZPJQSPSV | 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.27253#39J8 |
| EWZXSAPFQ4 | EWZXSAPFQ4 | 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.28365#44FR |
| ex falso quodlibet | 76KMK28HK0 | concept | open | hott_book index/A.7/ex-falso-quodlibet |
| EX09PRZYV5 | EX09PRZYV5 | 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.18302#I47K |
| EX0K00T39A | EX0K00T39A | 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.14135#8P03 |
| EX12NG262T | EX12NG262T | 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.19437#0PWZ |
| EX14TEPVWX | EX14TEPVWX | 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.00247#P9XH |
| EX15E7DPVP | EX15E7DPVP | 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#S99E |
| EX1JHXDGFB | EX1JHXDGFB | 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.21408#2N3K |
| EX1MT5AGDS | EX1MT5AGDS | 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 2411.16655#DIN3 |
| EX2DJ7GH7A | EX2DJ7GH7A | 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.27931#B9ZJ |
| EX2HHNMDVD | EX2HHNMDVD | 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.27872#HFTV |
| EX2RQN5XNN | EX2RQN5XNN | example | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#ex-1 |
| EX3A1SRB8G | EX3A1SRB8G | 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#3609 |
| EX3AWB3CY4 | EX3AWB3CY4 | 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 2209.00811#CWCG |
| EX3RA2NJZQ | EX3RA2NJZQ | 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.05730#Z3I6 |
| EX4PBFNS00 | EX4PBFNS00 | 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.36717#2WQH |
| EX5CR0EVAN | EX5CR0EVAN | statement | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-1 |
| EX5T0JF5P1 | EX5T0JF5P1 | definition | open | napkin tex/alg-geom/affine-var.tex#definition-3 |
| EX5V0289VG | EX5V0289VG | 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#UD40 |
| EX5WSX94HR | EX5WSX94HR | 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 math/9902147#TG9H |
| EX79S7EPRK | EX79S7EPRK | exercise | open | open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#prob-1 |
| EX7S2NFNYQ | EX7S2NFNYQ | 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.14154#SK8B |
| EX84MMJ718 | EX84MMJ718 | 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.20663#MZ4Q |
| EX8PZ25KZ4 | EX8PZ25KZ4 | 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.12295#BOAY |
| EX97SMCM1S | EX97SMCM1S | 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 2308.05066#EOXE |
| EX995GX7P3 | EX995GX7P3 | 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 2505.04593#WX85 |
| EX9A7JJY16 | EX9A7JJY16 | 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#O85B |
| EX9HBHK193 | EX9HBHK193 | 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.07236#M084 |
| exa | D1ZCNGCJ2H | definition | open | Wikidata Q152411, ProofWiki Definition:Metric_System/Scaling_Prefixes/exa- |
| EXA8Z3T2Q3 | EXA8Z3T2Q3 | 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.21622#25DR |
| exabyte | ZM0N1N0NJ7 | unknown | open | Wikidata Q79745, MathWorld Exabyte |
| Exact $N$-independent gap | VQEA6F9PFB | 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.14081#OAUC |
| Exact $S_3$ rounding | 2VMEY5B6ZD | 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.04271#FRY4 |
| Exact $W_1$ discrepancy | Y6B4NFB4EK | 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.11814#RTDV |
| Exact \(\Gamma_0(T)\) scattering matrix | 440RTCECMA | 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.25925#SVZA |
| Exact \ac{pmf} via Convolution | G150XEBQX3 | 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.09998#HONJ |
| Exact accuracy | V163MVMK4H | 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.12211#DK6Y |
| Exact activation identities | A130M616XK | 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.16069#Y2LQ |
| Exact affine complexity | 9Q10YS8ZBT | 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.00295#05ZT |
| Exact affine dual | VDGBJVZ29X | 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.04027#VU20 |
| Exact aggregate local-roof factor | WPDRRC63KC | 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.04027#TSKR |
| Exact all-alphabet characterization | DRGSS6XESZ | 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#NF4X |
| Exact all-linear frontier | JTEYKSAEE9 | 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.08069#UU0A |
| Exact all-query improvement phase | 7D62GQX9RA | 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.07721#5PYQ |
| Exact and approximate deletion | SKX52T07BZ | 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.28160#4FTG |
| Exact and near spectral minimizers | DK045VTJZ4 | 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.11309#UV0F |
| Exact and relative energy | Q5DTBQE4QW | 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.32107#AS9U |
| Exact anisotropy identity | 3RDTD84Y30 | 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.00077#Q2SQ |
| Exact Arithmetic, Regularized Solutions, and Backward-Stable Solvers | T544M1CQC9 | 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#RBCA |
| Exact asymptotic rate | RD9631GK1D | 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.15125#YM6M |
| Exact augmentation of a fixed joint law | DCKSKFTDX7 | 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#0F7E |
| Exact average-budget frontier | K5RENGTWVJ | 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.08069#LGDA |
| Exact base identity | 8Z4YN2DTZB | 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.05164#J6BW |
| Exact basic-sector compression | 9Y7SP3SSDK | 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.27799#0NCT |
| Exact bias identity, oracle weights, and the gain | VGRYWGBQ0M | 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.04671#7H6O |
| Exact binary $K_4$ classification | GTK55W57KV | 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.10002#BRPU |
| Exact binary representation gap | HXQMVNEMPM | 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.00291#WSME |
| Exact Boolean-history solution | A20EG4THVT | 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.14081#EJVY |
| exact boundary conditions | SQJKQK0KDF | 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.08016#K4B7 |
| Exact boundary controllability | 7GBP35RGWH | 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.11968#UI35 |
| Exact boundary invariant | BDDTAG052W | 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.31811#IIOM |
| Exact Brownian-clock recursion | CYMEEZ5VP6 | 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.02531#43IT |
| Exact calibration | AR4GD9A6V8 | 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.07721#I4F7 |
| Exact Cameron--Martin identity | JF2EBZ6C7Z | 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.02436#1XQE |
| Exact cardinality closure | VQMHGCFKW1 | 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.04027#9UYW |
| exact category | 880M0RGJSP | unknown | open | Wikidata Q5419218, nLab exact category |
| Exact cavity equations | TPMJ7VPX8Q | 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.20414#L6EQ |
| exact cell counts | 3MAAJPMHKC | 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.32733#R7DD |
| Exact central deficit law | 5AK6J7JY1E | 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.10557#Y8YF |
| Exact certificate for arbitrary attractors | 2CHAKEG053 | 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.10950#7YQX |
| Exact chained-word threshold and monotone-path structure | S088Y0Q6CB | 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.39262#CS5N |
| Exact channel singular values | ZSD5NF7WQP | 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.11652#65E9 |
| Exact characterization of R\'enyi divergence between neighboring posteriors | D0WR77YN1C | 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.19573#JV6C |
| Exact clipped problem | S734F7EC8Z | 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.11309#JYI8 |
| Exact cluster counts for sublinear orders | K4Z3B2PPQ9 | 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.09602#I5ZF |
| Exact coefficient factorization | FJQXE1E2ED | 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.00396#UOL1 |
| Exact collapse attribution, and its scope | YRYZXFYTN3 | 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.25039#4VID |
| Exact comparison for a fixed eigenvalue orbit | TGSWAA8HGC | 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#W2CW |
| Exact comparison for a fixed singular-value orbit | 89QH1897RK | 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#LG0X |
| Exact completion | 8KEBPPRXAH | unknown | open | Wikidata Q28403300, nLab regular and exact completions |
| Exact complex-disk certificate | WM2RHW6NME | 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.25027#N0H6 |
| Exact composite tangent Gram identity | GG4EHX92BF | 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.04357#HAV1 |
| Exact composition | R660W1H0KS | 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.29597#YZD5 |
| Exact composition identities | BVB4CP79N5 | 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.16069#DNBW |
| Exact compression | ECASJQVNSG | 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.02216#TWSJ |
| Exact compression of discardable workspace | BAKVDG90PN | 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.02166#ABH6 |
| Exact computation and recognition | 225ZJXM26R | 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.13556#1HDO |
| Exact conductor of the top-weight sheaf | 7WV4AA2196 | 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.04099#U2X9 |