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 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 13001–13100 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4V6P5AM4MH | 4V6P5AM4MH | 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 2210.01497#HTUI |
| 4V6Q8G8TWQ | 4V6Q8G8TWQ | 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.39505#N38P |
| 4V6THKX7Z0 | 4V6THKX7Z0 | 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.13532#WV0I |
| 4V784MJMM9 | 4V784MJMM9 | 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.24484#GMQU |
| 4V7EF4G6EW | 4V7EF4G6EW | 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 2103.14389#HBV1 |
| 4V7MYHCB42 | 4V7MYHCB42 | 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.02213#LUE3 |
| 4V7PKN6A07 | 4V7PKN6A07 | 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.36113#2D4N |
| 4V7S4RNN94 | 4V7S4RNN94 | 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 1903.07030#KWJP |
| 4V7TBEK7Z4 | 4V7TBEK7Z4 | exercise | open | hott_book induction.tex#ex:Wdec |
| 4V7Y76FACX | 4V7Y76FACX | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-36 |
| 4V813NBBEM | 4V813NBBEM | 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.21892#N9OV |
| 4V83SW8K5E | 4V83SW8K5E | 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 2401.14162#3VXC |
| 4V86XFNVKG | 4V86XFNVKG | 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 2601.15403#AS5I |
| 4V94Y26EQZ | 4V94Y26EQZ | 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 2604.10080#JQGG |
| 4V9CFMZ3TP | 4V9CFMZ3TP | 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.36334#AR7X |
| 4V9N24VF40 | 4V9N24VF40 | 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 2401.14162#TLH3 |
| 4VABE9QDFZ | 4VABE9QDFZ | exercise | open | lebl_ra ch-seq-ser.tex#exercise-70 |
| 4VAP7VRTZ0 | 4VAP7VRTZ0 | 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 2402.05875#O114 |
| 4VAVF7JYJ1 | 4VAVF7JYJ1 | 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.12640#W1WD |
| 4VB7KN2BMC | 4VB7KN2BMC | 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 1002.0879#RQA3 |
| 4VBJQ61JM3 | 4VBJQ61JM3 | 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.34551#XF96 |
| 4VC8BH883R | 4VC8BH883R | 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.01346#3IKV |
| 4VCGJZBHG9 | 4VCGJZBHG9 | 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.33775#6JG6 |
| 4VCGKRB888 | 4VCGKRB888 | 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.20775#V8M2 |
| 4VCKV9A4D0 | 4VCKV9A4D0 | example | open | lebl_diffyqs ch-first-order-ode.tex#example-11 |
| 4VCSRAGBMW | 4VCSRAGBMW | 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.05320#0PX2 |
| 4VDPG8D3K0 | 4VDPG8D3K0 | 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.20798#XDUT |
| 4VECYY6AH1 | 4VECYY6AH1 | 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.10377#149K |
| 4VEP06T3HA | 4VEP06T3HA | 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#JS8R |
| 4VES0DQSYP | 4VES0DQSYP | 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.15424#P26O |
| 4VEWYTEERK | 4VEWYTEERK | 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.21045#9NTF |
| 4VFE9XTWZJ | 4VFE9XTWZJ | 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 2507.05417#G2OP |
| 4VFMNJN58E | 4VFMNJN58E | 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.19660#FYO1 |
| 4VFMTMKJWG | 4VFMTMKJWG | 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.10074#ZFYV |
| 4VFPVW6HB3 | 4VFPVW6HB3 | 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 2205.06433#D1PT |
| 4VFRJ9RH5D | 4VFRJ9RH5D | 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.01915#VZ0N |
| 4VGNH7FFBT | 4VGNH7FFBT | 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.18555#WZGK |
| 4VGV899S4N | 4VGV899S4N | 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.18419#7G23 |
| 4VH7K8XQ90 | 4VH7K8XQ90 | 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.19171#8ZDV |
| 4VJDZFK7ZG | 4VJDZFK7ZG | proof | open | open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-2 |
| 4VJT4K8TDZ | 4VJT4K8TDZ | 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.26269#VIG4 |
| 4VKAKSF153 | 4VKAKSF153 | unknown | open | arXiv 2512.07470#YCMA |
| 4VM69JJ4Z2 | 4VM69JJ4Z2 | statement | open | hott_book hlevels.tex#thm:trunc-htpy |
| 4VM6G3MFYN | 4VM6G3MFYN | 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.01498#0102 |
| 4VM9P0R5WF | 4VM9P0R5WF | 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.15405#HI2T |
| 4VMRYQK86D | 4VMRYQK86D | 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.01216#1ENT |
| 4VMS2YY4PB | 4VMS2YY4PB | 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.18777#ASO6 |
| 4VMWK5GRXR | 4VMWK5GRXR | 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.00312#V040 |
| 4VN0WH9NSE | 4VN0WH9NSE | 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 2311.00585#K486 |
| 4VN2AKTW5E | 4VN2AKTW5E | 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.20429#LC3P |
| 4VNHEY6Z7E | 4VNHEY6Z7E | 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.29759#Q1KD |
| 4VNXCR7ZT3 | 4VNXCR7ZT3 | 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.06810#RHN5 |
| 4VPREECAH9 | 4VPREECAH9 | 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.21017#QIH2 |
| 4VR9HVD7DA | 4VR9HVD7DA | 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.18239#65R4 |
| 4VRA0GY1ZN | 4VRA0GY1ZN | 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.03756#HJAJ |
| 4VRRJGRD7K | 4VRRJGRD7K | 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#XF8V |
| 4VSR4AV09Q | 4VSR4AV09Q | 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.33590#MO6I |
| 4VSRMFCD0N | 4VSRMFCD0N | 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.28552#9WOL |
| 4VTM091X0C | 4VTM091X0C | 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.07370#CM1O |
| 4VTPD11PMP | 4VTPD11PMP | 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.10361#V3AT |
| 4VV54NPT5K | 4VV54NPT5K | 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.10937#LWZM |
| 4VVJ9EWE37 | 4VVJ9EWE37 | 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.10930#XSDY |
| 4VVX4RSAK5 | 4VVX4RSAK5 | 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#WOVP |
| 4VVYZFT5D6 | 4VVYZFT5D6 | 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#8VEC |
| 4VXE0SXEXQ | 4VXE0SXEXQ | 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.15525#N0HI |
| 4VXGASFX8T | 4VXGASFX8T | 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 2506.07061#YVUT |
| 4VXV543174 | 4VXV543174 | 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 2601.18223#T4D5 |
| 4VY9RSE9XD | 4VY9RSE9XD | 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 2109.09268#97W4 |
| 4VYB7P6BYX | 4VYB7P6BYX | 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.23994#59SO |
| 4VYBAM80QE | 4VYBAM80QE | 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.10828#BC6P |
| 4VZHR55G9B | 4VZHR55G9B | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-9 |
| 4W0KRCNKP1 | 4W0KRCNKP1 | 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.21174#US1Y |
| 4W10J69CEN | 4W10J69CEN | 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.20316#P49Y |
| 4W17463NEE | 4W17463NEE | 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 2604.23212#TZPK |
| 4W1CM84HZ5 | 4W1CM84HZ5 | 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.28742#NPTN |
| 4W1ESWTWQX | 4W1ESWTWQX | 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.31910#URTK |
| 4W1N8DMER0 | 4W1N8DMER0 | unknown | open | arXiv 2610.13680#KUYY |
| 4W1T5Y1HZ6 | 4W1T5Y1HZ6 | 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.21532#6H2N |
| 4W1WBWTV4M | 4W1WBWTV4M | 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.05193#SMNI |
| 4W21CEGH6K | 4W21CEGH6K | 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.37471#CAAF |
| 4W28VZS8NM | 4W28VZS8NM | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-1 |
| 4W2S5SASCQ | 4W2S5SASCQ | 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.37805#Q5P3 |
| 4W2W6FFWNW | 4W2W6FFWNW | 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.36423#T2QM |
| 4W3A4AJHG3 | 4W3A4AJHG3 | 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 2510.12502#85HO |
| 4W3D2AQHGT | 4W3D2AQHGT | 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.20131#FCZ3 |
| 4W3FT2QZZ3 | 4W3FT2QZZ3 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-2 |
| 4W3XYPFMBY | 4W3XYPFMBY | statement | open | open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#prop:equivalences |
| 4W4Z1KC2KZ | 4W4Z1KC2KZ | example | open | napkin tex/linalg/eigenvalues.tex#example-2 |
| 4W548618XK | 4W548618XK | 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 2508.03972#WHIV |
| 4W596JBPW6 | 4W596JBPW6 | 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.09319#OQ5V |
| 4W5MHR6SJS | 4W5MHR6SJS | 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.02935#AIMU |
| 4W63VSZF71 | 4W63VSZF71 | example | open | napkin tex/H113/grp-intro.tex#example-6 |
| 4W6JB72N32 | 4W6JB72N32 | 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.01237#CEUO |
| 4W6P58VNW3 | 4W6P58VNW3 | 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.20600#GK4G |
| 4W6W1345SF | 4W6W1345SF | 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.24007#6KKF |
| 4W73YF9FC6 | 4W73YF9FC6 | 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 2304.03611#S9H4 |
| 4W75D70DV4 | 4W75D70DV4 | 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 2203.15223#N8JU |
| 4W766589JS | 4W766589JS | 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.26771#CNCX |
| 4W7HBFNWHE | 4W7HBFNWHE | 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.35442#482C |
| 4W7K31W4ME | 4W7K31W4ME | exercise | open | lebl_ra ch-seq-ser.tex#exercise-28 |