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 11301–11400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4TV4J9ASZ9 | 4TV4J9ASZ9 | statement | record (an 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.38735#OMDN |
| 4TWGMH5RS6 | 4TWGMH5RS6 | statement | record (an 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.09354#U0DG |
| 4TWMNC97Y4 | 4TWMNC97Y4 | statement | record (an 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.24185#F1PQ |
| 4TWS902KBD | 4TWS902KBD | statement | record (an 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.18709#HUY3 |
| 4TXE3ZXWV2 | 4TXE3ZXWV2 | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-15 |
| 4TXQB4K340 | 4TXQB4K340 | definition | open | open_logic content/set-theory/card-arithmetic/ch.tex#defn-1 |
| 4TZ0Q98780 | 4TZ0Q98780 | statement | record (an 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.37931#0DTY |
| 4TZ7GSEVXC | 4TZ7GSEVXC | statement | record (an 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.10365#P86F |
| 4TZ8BJ38C9 | 4TZ8BJ38C9 | 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.18242#LMXC |
| 4TZZEKNEA4 | 4TZZEKNEA4 | statement | record (an 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.30579#A9FF |
| 4V0VWB3SGY | 4V0VWB3SGY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.00560#YNAH |
| 4V0W3ATGK5 | 4V0W3ATGK5 | statement | record (an 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.02244#FTD5 |
| 4V2CMK1823 | 4V2CMK1823 | statement | record (an 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.01015#X398 |
| 4V35QK60NS | 4V35QK60NS | statement | record (an 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.10243#FRH7 |
| 4V3P6Q04YX | 4V3P6Q04YX | statement | record (an 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.02111#OZUV |
| 4V3SQJ27AY | 4V3SQJ27AY | 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.17547#7LJT |
| 4V3YJBSX7B | 4V3YJBSX7B | statement | record (an 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.06038#4O15 |
| 4V499QMM06 | 4V499QMM06 | 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.30067#2RU1 |
| 4V4FH446AX | 4V4FH446AX | statement | record (an 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.04820#6S57 |
| 4V4GP1V47E | 4V4GP1V47E | statement | record (an 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.26769#HKH2 |
| 4V58E0CGNW | 4V58E0CGNW | statement | record (an 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.13793#O5UU |
| 4V601RE15G | 4V601RE15G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#ZFF5 |
| 4V63WG1Q0C | 4V63WG1Q0C | statement | record (an 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.06645#0PRJ |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |