Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 3501–3600 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1ZPDC9N30P | 1ZPDC9N30P | 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.37103#121P |
| 1ZQ4WK0B0N | 1ZQ4WK0B0N | 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 2511.08099#D5VC |
| 1ZQK7E4PH0 | 1ZQK7E4PH0 | 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.06488#R88U |
| 1ZRAR27JGG | 1ZRAR27JGG | 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.03835#NBRA |
| 1ZRH118EGV | 1ZRH118EGV | 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 2504.07573#OA6W |
| 1ZRYQZV4SM | 1ZRYQZV4SM | 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.04809#M0YB |
| 1ZS7GVY0QX | 1ZS7GVY0QX | 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 2407.02022#3JLY |
| 1ZSTJADHFT | 1ZSTJADHFT | 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.11031#B3ZZ |
| 1ZSZ8P2B5E | 1ZSZ8P2B5E | problem | 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 2307.16868#1Q3R |
| 1ZTH3YS5PG | 1ZTH3YS5PG | 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.05320#2622 |
| 1ZV6S8J4D4 | 1ZV6S8J4D4 | 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.40123#GCHZ |
| 1ZVKVF2WP2 | 1ZVKVF2WP2 | exercise | open | ernst_ibl MAAPressVersion/MoreInduction.tex#problem-1 |
| 1ZVMRXV0XM | 1ZVMRXV0XM | 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.15402#XSVK |
| 1ZWQT5567Q | 1ZWQT5567Q | 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.04382#UG1M |
| 1ZX109MRV2 | 1ZX109MRV2 | 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.13180#5013 |
| 1ZXCZX1M9M | 1ZXCZX1M9M | 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 2312.14319#0UVY |
| 1ZXD7GQG2P | 1ZXD7GQG2P | problem | 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 2304.02722#78C1 |
| 1ZXDH15SM7 | 1ZXDH15SM7 | 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 2302.06336#8EA3 |
| 1ZXNKZGCZX | 1ZXNKZGCZX | 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.24314#17FO |
| 1ZXPMM9MFD | 1ZXPMM9MFD | 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.08912#DQ2K |
| 1ZYA1DDZTV | 1ZYA1DDZTV | 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.28669#ET1R |
| 1ZYGQPNA3J | 1ZYGQPNA3J | 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.34918#NNEO |
| 1ZYVQWY45H | 1ZYVQWY45H | 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/0406514#IRVV |
| 1ZYW85RF0H | 1ZYW85RF0H | 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.22082#PLOW |
| 1ZZ5X3AX1A | 1ZZ5X3AX1A | 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.16541#6M2P |
| 1ZZARX9K11 | 1ZZARX9K11 | problem | 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.25291#I3UP |
| 1ZZBA5R8Z4 | 1ZZBA5R8Z4 | 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.01073#4MHC |
| 1ZZVB0FQ0T | 1ZZVB0FQ0T | 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 0911.1417#GIFM |
| 2 | 8SMTB2DF83 | statement | open | Wikidata Q200, MathWorld 2, ProofWiki 2 |
| 2-adic valuation | YN2072QHB4 | object | open | Wikidata Q122695876, OEIS A007814 |
| 2-connected version of Corollary 2 | ZE9MTS45FM | 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.06300#ZUY7 |
| 2-factor theorem | 5VDKYMG03P | statement | open | mathlib_1000 Q17001601, Wikidata Q17001601, thousand_plus Q17001601, Wikipedia 2-factor theorem |
| 2-functor | A2FQT5G2KH | unknown | open | Wikidata Q25304059, nLab 2-functor |
| 2-group | F8HTVFZQY4 | unknown | open | Wikidata Q4596948, nLab 2-group |
| 2-groupoid | Y3YR8BTJCH | unknown | open | Wikidata Q124423945, nLab 2-groupoid |
| 2-out-of-3 property | 7RHC417373 | concept | open | hott_book index/3.7/2-out-of-3-property |
| 2-out-of-6 property | AGFYFE4DF1 | concept | open | hott_book index/3.9/2-out-of-6-property |
| 2-QW distances between displaced thermal states | 4KBCNCFXP4 | 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#CS01 |
| 2-special soundness, algebraic extraction | 4YC9C4NQRA | 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.26258#75FN |
| 2-torsion weight-2 logical; original | 8RB1WKW3W0 | 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.02392#EWXQ |
| 2006KFZBZQ | 2006KFZBZQ | 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.13888#93NS |
| 20087YB8BM | 20087YB8BM | 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.38030#W57O |
| 200B61S7AP | 200B61S7AP | 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.21365#17KP |
| 200HB5G21B | 200HB5G21B | 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.36186#6WMF |
| 200HN6WQYD | 200HN6WQYD | 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.11823#IC83 |
| 2011T7G06G | 2011T7G06G | 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.19453#KEK2 |
| 201QQR1HJ4 | 201QQR1HJ4 | 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.39104#PC8B |
| 201TEBR4H1 | 201TEBR4H1 | 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.21036#64YR |
| 20211KR8PW | 20211KR8PW | 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 2309.17091#VQ25 |
| 20240ZGDEB | 20240ZGDEB | 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 2502.14306#M5CM |
| 20273NQR9X | 20273NQR9X | 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 2212.14457#OBNF |
| 2038M53YFY | 2038M53YFY | 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 2602.03909#9EPJ |
| 203EK7VX7R | 203EK7VX7R | exercise | open | open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#prob-1 |
| 203GTM9SQ3 | 203GTM9SQ3 | 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.35542#7QTU |
| 203JB6CDWA | 203JB6CDWA | proof | open | napkin tex/linalg/dets.tex#proof-1 |
| 205155Z3NN | 205155Z3NN | 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 2403.08723#4XQ2 |
| 205873WK53 | 205873WK53 | 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.20406#XJZ4 |
| 205FGS5X02 | 205FGS5X02 | 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 2208.05288#P3JQ |
| 205ZEW8BSD | 205ZEW8BSD | 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.21489#OWPR |
| 206C8SNTWX | 206C8SNTWX | 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.14204#277H |
| 206G374KHN | 206G374KHN | problem | 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.26269#AQHV |
| 2070KR1441 | 2070KR1441 | 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.05391#VS1T |
| 2072G9R354 | 2072G9R354 | 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.09133#5503 |
| 20796GQVGY | 20796GQVGY | 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.03292#AQYY |
| 207HPC8258 | 207HPC8258 | 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.36089#E1G0 |
| 208618CHS0 | 208618CHS0 | 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.09900#OYG9 |
| 2087CBAN89 | 2087CBAN89 | 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.28200#C2N0 |
| 2089JA6SYJ | 2089JA6SYJ | 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.10576#NECC |
| 208FY6F66A | 208FY6F66A | 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.08885#TNMM |
| 208XJTD8SV | 208XJTD8SV | 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.27458#VROL |
| 2094VANNXA | 2094VANNXA | 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 2609.28306#XEB9 |
| 2097JY0Q6X | 2097JY0Q6X | 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.06755#X8WZ |
| 2098NDWH2W | 2098NDWH2W | 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.30067#GEFP |
| 209FEBGFF6 | 209FEBGFF6 | 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.09129#M1N3 |
| 209K7H7MGN | 209K7H7MGN | exercise | open | open_logic content/computability/computability-theory/complete-ce-sets.tex#prob-1 |
| 20AXB4BQ4W | 20AXB4BQ4W | 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.12352#7SAY |
| 20B2CJW0C9 | 20B2CJW0C9 | 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.33241#1BB1 |
| 20BEJ0N5TE | 20BEJ0N5TE | 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.11395#TZ46 |
| 20C5BZ1F97 | 20C5BZ1F97 | 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.21080#1WZJ |
| 20C5HSP9QY | 20C5HSP9QY | 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.29723#REOK |
| 20C9KG4H6Z | 20C9KG4H6Z | 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.32174#LXXU |
| 20CC0F69VX | 20CC0F69VX | 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 2405.01860#89WJ |
| 20CERRAZ6E | 20CERRAZ6E | 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 2104.00162#K7OE |
| 20DQ40BYK8 | 20DQ40BYK8 | 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 1610.01054#J3VO |
| 20EACC0A24 | 20EACC0A24 | unknown | open | arXiv 2610.13680#RK1T |
| 20EP0188AX | 20EP0188AX | 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 2310.14879#QZLB |
| 20ESCYE3JD | 20ESCYE3JD | 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 2405.09294#MJTD |
| 20EW6B6EFN | 20EW6B6EFN | exercise | open | lebl_ra ch-multivar-int.tex#mv:changeofvarcoverbyrects |
| 20FJM0SPA6 | 20FJM0SPA6 | 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.19694#WSNA |
| 20FXM4WVZ1 | 20FXM4WVZ1 | 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.17717#9ULR |
| 20G4CQ78M9 | 20G4CQ78M9 | 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.30482#HHRY |
| 20GBCJ91YP | 20GBCJ91YP | 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 2606.00589#AGGH |
| 20GE147A39 | 20GE147A39 | 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.10598#S2HG |
| 20GN8277X4 | 20GN8277X4 | 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.03327#P002 |
| 20H1AY6P6R | 20H1AY6P6R | 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.36181#LYDI |
| 20H5WYDW07 | 20H5WYDW07 | 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.17602#4LPX |
| 20HJ6VQ5WK | 20HJ6VQ5WK | 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.30892#GBI2 |
| 20HWCWJQGC | 20HWCWJQGC | 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 2607.26169#5YOI |
| 20J4A5XPVJ | 20J4A5XPVJ | 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.34946#86WH |
| 20JG5W2VJX | 20JG5W2VJX | 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 2509.10268#3NCB |