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 2201–2300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1H2PC0F7A2 | 1H2PC0F7A2 | statement | record (an 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.03231#9JC1 |
| 1H2VD63ZRR | 1H2VD63ZRR | statement | record (an 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.00914#JEL0 |
| 1H33MRC3QS | 1H33MRC3QS | statement | record (an 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.00596#BVKR |
| 1H3VJXK110 | 1H3VJXK110 | statement | record (an 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.28677#5OG8 |
| 1H40Y93DH9 | 1H40Y93DH9 | statement | record (an 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.20345#8QXU |
| 1H4FVGA3S5 | 1H4FVGA3S5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1910.05504#X9VD |
| 1H4ZNB6QCN | 1H4ZNB6QCN | statement | record (an 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.08633#LRQB |
| 1H5EBAZKNR | 1H5EBAZKNR | 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.28265#GQDS |
| 1H68K4HKDY | 1H68K4HKDY | statement | record (an 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.16821#LVT7 |
| 1H6HNPJV9X | 1H6HNPJV9X | statement | record (an 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#0QUL |
| 1H71BH1KHZ | 1H71BH1KHZ | statement | record (an 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.16704#ERHA |
| 1H72JG1ZDD | 1H72JG1ZDD | conjecture | record (an 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.25168#WK6P |
| 1H73TR8C1H | 1H73TR8C1H | statement | record (an 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.18226#VMP0 |
| 1H784CTG2T | 1H784CTG2T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.12475#58E7 |
| 1H78YTTMZR | 1H78YTTMZR | statement | record (an 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.02495#AFPE |
| 1H81ZM91CY | 1H81ZM91CY | statement | record (an 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.06556#RDZJ |
| 1H8A5FCEZN | 1H8A5FCEZN | statement | record (an 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#GUSO |
| 1H8DB4QYPW | 1H8DB4QYPW | statement | record (an 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.21181#AXIX |
| 1H8J748V2A | 1H8J748V2A | statement | record (an 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.05179#18C1 |
| 1H8T54KF4Q | 1H8T54KF4Q | statement | record (an 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.27056#9WY9 |
| 1H8YEDDWBA | 1H8YEDDWBA | statement | record (an 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#9WZX |
| 1H9HNET5B1 | 1H9HNET5B1 | 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 2208.05288#22W4 |
| 1H9KQ4VXQJ | 1H9KQ4VXQJ | exercise | open | austin_ula src/section6-3.xml#activity-3 |
| 1H9SSNPFZZ | 1H9SSNPFZZ | 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 0810.2160#PKMU |
| 1H9V7452W9 | 1H9V7452W9 | statement | record (an 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.27617#FDND |
| 1HA6BW7H5R | 1HA6BW7H5R | statement | record (an 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.28195#NF27 |
| 1HAJJWQ566 | 1HAJJWQ566 | 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.39293#VEHG |
| 1HATHFDXS3 | 1HATHFDXS3 | proof | open | hott_book reals.tex#proof-19 |
| 1HB9MAJ7DN | 1HB9MAJ7DN | statement | record (an 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.16886#X7GY |
| 1HBPAASGRF | 1HBPAASGRF | 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.06152#T2OC |
| 1HBTT9QHW6 | 1HBTT9QHW6 | statement | record (an 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.31523#S6JD |
| 1HCJC12B4K | 1HCJC12B4K | statement | record (an 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.39700#JZCD |
| 1HCXAYXVCR | 1HCXAYXVCR | exercise | open | lebl_ra ch-real-nums.tex#exercise-19 |
| 1HDP549968 | 1HDP549968 | statement | record (an 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.24853#X0OO |
| 1HDSJ44ZXF | 1HDSJ44ZXF | 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.24795#OYVY |
| 1HDX4CDA4P | 1HDX4CDA4P | statement | record (an 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.19658#7EBE |
| 1HECQB95CW | 1HECQB95CW | statement | record (an 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#PK7U |
| 1HERKVTNHA | 1HERKVTNHA | statement | record (an 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.39593#7GNQ |
| 1HERY2NJD3 | 1HERY2NJD3 | statement | record (an 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.38051#6FAA |
| 1HESWPEZ38 | 1HESWPEZ38 | 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.01802#UBJL |
| 1HF5PVDNGJ | 1HF5PVDNGJ | 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.15877#WABG |
| 1HFPZ90M3Q | 1HFPZ90M3Q | statement | record (an 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.35027#P023 |
| 1HFQV98KMC | 1HFQV98KMC | 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#4937 |
| 1HGMT7WNBR | 1HGMT7WNBR | statement | record (an 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.28289#46S4 |
| 1HH4ZGCVG3 | 1HH4ZGCVG3 | statement | record (an 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.05986#QVB8 |
| 1HHA0CY4XR | 1HHA0CY4XR | 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.25915#WRQC |
| 1HHB7KFPDG | 1HHB7KFPDG | 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 2208.06310#1ZIN |
| 1HHE8VGGV9 | 1HHE8VGGV9 | statement | record (an 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.12810#P248 |
| 1HK0QGHSCK | 1HK0QGHSCK | example | open | levin_dmoi ptx/ch_graphtheory.ptx#example-1 |
| 1HK0TH43P8 | 1HK0TH43P8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.02634#AXAI |
| 1HKTEYFKVA | 1HKTEYFKVA | proof | open | hott_book hits.tex#proof-12 |
| 1HM07YG1R5 | 1HM07YG1R5 | statement | record (an 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.10860#SGTK |
| 1HM28ZW2KH | 1HM28ZW2KH | statement | record (an 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.35543#M9ZC |
| 1HMB8YG5QP | 1HMB8YG5QP | statement | record (an 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.12329#V99B |
| 1HP3ZNSF31 | 1HP3ZNSF31 | statement | record (an 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#G3E6 |
| 1HPSED97NT | 1HPSED97NT | statement | record (an 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.31276#EP2Y |
| 1HQ9EZ4GKV | 1HQ9EZ4GKV | statement | record (an 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.35682#R23E |
| 1HQF6DW1QD | 1HQF6DW1QD | 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.07445#DSEX |
| 1HQM5T1RXH | 1HQM5T1RXH | statement | record (an 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.06310#SRHX |
| 1HRA6MH1VQ | 1HRA6MH1VQ | statement | record (an 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.31269#7V6J |
| 1HRS3NJC6B | 1HRS3NJC6B | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-26 |
| 1HRY658VZ3 | 1HRY658VZ3 | statement | record (an 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.19288#38QD |
| 1HS0QBEFYR | 1HS0QBEFYR | statement | record (an 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.31274#V9D4 |
| 1HS5CFGNXX | 1HS5CFGNXX | statement | record (an 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.28411#ZISJ |
| 1HSQ8VJ1AY | 1HSQ8VJ1AY | proof | open | lebl_ra ch-seq-ser.tex#proof-25 |
| 1HSVVF9HXV | 1HSVVF9HXV | statement | record (an 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#7MHV |
| 1HT4ADNCV5 | 1HT4ADNCV5 | statement | record (an 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.16605#TPMJ |
| 1HTZCRJ16Q | 1HTZCRJ16Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#X9N7 |
| 1HTZM0TM8Q | 1HTZM0TM8Q | example | open | lebl_diffyqs ch-systems.tex#example-4 |
| 1HV5T1BDV1 | 1HV5T1BDV1 | statement | record (an 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/0003117#0WFO |
| 1HV6T40XXZ | 1HV6T40XXZ | statement | record (an 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.10801#L1PK |
| 1HV8GP46ZA | 1HV8GP46ZA | statement | record (an 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.19658#TO3O |
| 1HVVBRY9AK | 1HVVBRY9AK | unknown | open | |
| 1HWGY6BRN8 | 1HWGY6BRN8 | statement | record (an 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.08052#AUHZ |
| 1HWMPR23HH | 1HWMPR23HH | 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.32729#GGZA |
| 1HWP4CFT4A | 1HWP4CFT4A | 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.20801#JSYX |
| 1HWRSENMX1 | 1HWRSENMX1 | statement | record (an 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.35682#J5NH |
| 1HXJWKT1Y1 | 1HXJWKT1Y1 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-69 |
| 1HXSXPQJTJ | 1HXSXPQJTJ | statement | record (an 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#95AE |
| 1HXT09SGFE | 1HXT09SGFE | statement | record (an 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.17751#RLDN |
| 1HXWK9W912 | 1HXWK9W912 | proof | open | napkin tex/H113/quotient.tex#proof-1 |
| 1HY2ANQC26 | 1HY2ANQC26 | statement | record (an 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.00144#2MKI |
| 1HY5A7BGJ5 | 1HY5A7BGJ5 | statement | record (an 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.34522#XLI0 |
| 1HY8V7WTGP | 1HY8V7WTGP | 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.40207#UXCK |
| 1HY9DPT0KV | 1HY9DPT0KV | statement | record (an 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.30648#3HUA |
| 1HYTR0TFY4 | 1HYTR0TFY4 | 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 2108.11265#DVY2 |
| 1HZ461BBS9 | 1HZ461BBS9 | statement | record (an 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.21298#RJSY |
| 1HZG0H0RJG | 1HZG0H0RJG | 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 2312.14319#H1RO |
| 1HZPAGRDCY | 1HZPAGRDCY | statement | record (an 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#XLV2 |
| 1HZSBGST02 | 1HZSBGST02 | 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 2303.09207#OGWJ |
| 1HZSWRFJJF | 1HZSWRFJJF | statement | record (an 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#9N4C |
| 1J063BH719 | 1J063BH719 | statement | record (an 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.02558#KFDW |
| 1J0CVA37JD | 1J0CVA37JD | statement | record (an 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.05069#XRC9 |
| 1J1DBXSRGY | 1J1DBXSRGY | statement | record (an 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.05427#ZA6L |
| 1J37Q9CAE9 | 1J37Q9CAE9 | 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.08323#9OT5 |
| 1J39VJG4BS | 1J39VJG4BS | exercise | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#prob-1 |
| 1J4F7NQ9S7 | 1J4F7NQ9S7 | statement | record (an 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.17045#SHJS |
| 1J4PD6TRAD | 1J4PD6TRAD | statement | record (an 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.30444#BHFX |
| 1J56R509V6 | 1J56R509V6 | proof | open | lebl_scv scv.tex#proof-61 |
| 1J57Q4TCVG | 1J57Q4TCVG | exercise | open | lebl_ra ch-contfunc.tex#exercise-53 |