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 5801–5900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2TDTPKR5R7 | 2TDTPKR5R7 | exercise | open | lebl_ra ch-real-nums.tex#exercise-17 |
| 2TDV02N7W0 | 2TDV02N7W0 | 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.24902#OBFW |
| 2TE0PSN3AY | 2TE0PSN3AY | unknown | open | arXiv 2211.01586#DPBG |
| 2TE9KE39V2 | 2TE9KE39V2 | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-3 |
| 2TEWQV98PS | 2TEWQV98PS | statement | record (an 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.40251#B1H2 |
| 2TEX5390VK | 2TEX5390VK | statement | record (an 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.17909#4MYS |
| 2TFQZYJTAX | 2TFQZYJTAX | 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.30444#LEN6 |
| 2TFV2AD1D6 | 2TFV2AD1D6 | 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 2405.14678#SZJ7 |
| 2TGAS8N5J7 | 2TGAS8N5J7 | statement | record (an 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.26813#WEQB |
| 2TH0A91VAH | 2TH0A91VAH | 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.24902#OEJT |
| 2TH1KZJBK1 | 2TH1KZJBK1 | statement | record (an 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.31090#B1AZ |
| 2THHJ1XJT6 | 2THHJ1XJT6 | statement | record (an 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.27898#UQ3W |
| 2THMC4CX6E | 2THMC4CX6E | statement | record (an 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.17129#X8CG |
| 2THMQYGKPX | 2THMQYGKPX | 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.19416#UDPD |
| 2TJ11M8ZHM | 2TJ11M8ZHM | 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.35323#3YRY |
| 2TJ8Y1M8CE | 2TJ8Y1M8CE | statement | record (an 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.13792#ZARO |
| 2TJZMQKVT7 | 2TJZMQKVT7 | statement | record (an 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.10928#TNGE |
| 2TK9TA2T69 | 2TK9TA2T69 | statement | record (an 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.13855#U4T9 |
| 2TKYNXQHWW | 2TKYNXQHWW | 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.08091#ANZA |
| 2TM544670N | 2TM544670N | 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.11301#93O2 |
| 2TMSXF32M5 | 2TMSXF32M5 | 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.17240#GO0V |
| 2TNDQC011C | 2TNDQC011C | statement | record (an 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.08809#08IP |
| 2TNETR2P8J | 2TNETR2P8J | statement | record (an 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.26500#WSF6 |
| 2TNK3SN0KK | 2TNK3SN0KK | statement | record (an 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.35323#K2GH |
| 2TPX9K7S52 | 2TPX9K7S52 | 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.29943#FQZI |
| 2TQ870BSZF | 2TQ870BSZF | statement | open | napkin tex/alg-NT/galois.tex#lemma-2 |
| 2TQV9WWZ58 | 2TQV9WWZ58 | statement | record (an 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.26386#KXQ3 |
| 2TREXMJ261 | 2TREXMJ261 | statement | record (an 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#ZPTM |
| 2TRM6BBV2H | 2TRM6BBV2H | 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 2207.11097#OOUW |
| 2TRMECF5EP | 2TRMECF5EP | statement | open | hott_book reals.tex#RD-cauchy-complete |
| 2TSEZK6VDE | 2TSEZK6VDE | statement | record (an 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#X4J3 |
| 2TSH8V4JA5 | 2TSH8V4JA5 | example | open | lebl_ra ch-contfunc.tex#example-5 |
| 2TSS846V5H | 2TSS846V5H | statement | record (an 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.25289#H87P |
| 2TSX6T9F35 | 2TSX6T9F35 | statement | record (an 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.14616#SUDZ |
| 2TTBPNA85T | 2TTBPNA85T | statement | record (an 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.26262#YB8L |
| 2TTTY7DYGP | 2TTTY7DYGP | statement | record (an 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.27420#5UWF |
| 2TVG1DFQS4 | 2TVG1DFQS4 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-90 |
| 2TVJ83F9AB | 2TVJ83F9AB | 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.03988#IG98 |
| 2TVP0TP1J8 | 2TVP0TP1J8 | definition | open | hott_book induction.tex#defn-2 |
| 2TVWR8X3R7 | 2TVWR8X3R7 | statement | record (an 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.14458#C5KD |
| 2TW7DD737W | 2TW7DD737W | statement | record (an 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.15716#4N2F |
| 2TWCR969K7 | 2TWCR969K7 | 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.00077#UX05 |
| 2TWRSQ1X6W | 2TWRSQ1X6W | statement | record (an 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.22190#0NCX |
| 2TWVK4BDF2 | 2TWVK4BDF2 | statement | record (an 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.31445#BHV6 |
| 2TWXFV8998 | 2TWXFV8998 | statement | record (an 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.33704#LXNO |
| 2TXAHAGSMD | 2TXAHAGSMD | 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#2SMB |
| 2TXCZH5NEG | 2TXCZH5NEG | 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.28794#IINI |
| 2TXT0Q2Y5A | 2TXT0Q2Y5A | statement | record (an 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.33578#V728 |
| 2TXY8P3PQR | 2TXY8P3PQR | 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.19437#1J64 |
| 2TY1Z9T9NK | 2TY1Z9T9NK | proof | open | levin_dmoi ptx/sec_gt-intro.ptx#proof-1 |
| 2TY4HBF639 | 2TY4HBF639 | statement | record (an 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.11997#BRF8 |
| 2TYDHYVZ9F | 2TYDHYVZ9F | statement | record (an 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.06544#6RAV |
| 2TYH9G1HKR | 2TYH9G1HKR | exercise | open | hott_book categories.tex#ex:rezk-vankampen |
| 2TYT1RKZXG | 2TYT1RKZXG | 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 2507.23666#UQVL |
| 2TYY1T7F9W | 2TYY1T7F9W | statement | record (an 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.21768#F3QT |
| 2TZ62Y41Q3 | 2TZ62Y41Q3 | statement | open | hott_book homotopy.tex#lem-4 |
| 2TZCP69HKT | 2TZCP69HKT | statement | record (an 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.31615#BF0J |
| 2TZEBK1CF0 | 2TZEBK1CF0 | statement | record (an 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#HDZP |
| 2TZEMHD11Y | 2TZEMHD11Y | statement | record (an 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.28220#TDID |
| 2TZXXKJCYA | 2TZXXKJCYA | exercise | open | hott_book setmath.tex#ex:not-plump |
| 2V0VM6V8GQ | 2V0VM6V8GQ | 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 1002.0879#UNVW |
| 2V0XMQW910 | 2V0XMQW910 | statement | record (an 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.02692#D6XW |
| 2V100KRT6N | 2V100KRT6N | statement | record (an 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.21358#5NC9 |
| 2V2EVE21G4 | 2V2EVE21G4 | 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.30262#M9TW |
| 2V34BRW2BR | 2V34BRW2BR | statement | record (an 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.36904#960Z |
| 2V3R5G2X40 | 2V3R5G2X40 | 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 2610.10925#SXD8 |
| 2V4885V0MW | 2V4885V0MW | statement | record (an 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.31102#CQ3F |
| 2V5ABWKF05 | 2V5ABWKF05 | proof | open | open_logic content/first-order-logic/completeness/construction-of-model.tex#proof-2 |
| 2V5YQX6SBJ | 2V5YQX6SBJ | 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 2502.08738#7WS9 |
| 2V62GNG62J | 2V62GNG62J | statement | record (an 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.16180#I5XC |
| 2V6FQG23PK | 2V6FQG23PK | 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 2206.05392#QUJ5 |
| 2V6QYAKFKT | 2V6QYAKFKT | 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 0910.5574#0TCE |
| 2V6SM6XR98 | 2V6SM6XR98 | 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.36423#7CG0 |
| 2V6Z471B8A | 2V6Z471B8A | statement | record (an 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.20944#IN7E |
| 2V74361HXN | 2V74361HXN | 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 2610.07508#1HFH |
| 2V78X49YB6 | 2V78X49YB6 | statement | record (an 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.38131#TLTN |
| 2V7D665KB1 | 2V7D665KB1 | statement | record (an 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.16225#5VB4 |
| 2V7EDF0RX9 | 2V7EDF0RX9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2051#VK00 |
| 2V8FH60VW5 | 2V8FH60VW5 | statement | record (an 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.07190#0KVT |
| 2V8QFDAN4Y | 2V8QFDAN4Y | statement | record (an 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.08335#6659 |
| 2V8SRYBZER | 2V8SRYBZER | statement | record (an 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.06785#NYKP |
| 2V913Q0KAA | 2V913Q0KAA | 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 2610.12633#IFFC |
| 2V9XQQJ1J1 | 2V9XQQJ1J1 | statement | record (an 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#1LMB |
| 2VA6DR41WK | 2VA6DR41WK | statement | record (an 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.03814#MHFW |
| 2VAANGBQ99 | 2VAANGBQ99 | statement | record (an 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#XWXH |
| 2VABDS6HR1 | 2VABDS6HR1 | 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 2302.04566#987K |
| 2VAFV0KXBD | 2VAFV0KXBD | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-6 |
| 2VAMA9BM58 | 2VAMA9BM58 | 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 2512.16003#3OER |
| 2VAP9FVVAG | 2VAP9FVVAG | statement | record (an 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.10406#6TZ6 |
| 2VB8B2GYCM | 2VB8B2GYCM | statement | record (an 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.10107#W4I6 |
| 2VBK25Y529 | 2VBK25Y529 | statement | record (an 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.13802#HADC |
| 2VCR378JAE | 2VCR378JAE | statement | record (an 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.17060#T51U |
| 2VDWF3FHX0 | 2VDWF3FHX0 | statement | record (an 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#VDIO |
| 2VE8CZK30W | 2VE8CZK30W | statement | record (an 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.28295#U5I9 |
| 2VEJM0G2TJ | 2VEJM0G2TJ | 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.14985#MT4U |
| 2VEQB6T1B6 | 2VEQB6T1B6 | statement | record (an 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.39317#VRPI |
| 2VF30KD190 | 2VF30KD190 | 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.27799#72UB |
| 2VGAXYQW2E | 2VGAXYQW2E | 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 2405.14678#4JTZ |
| 2VHK1MCVMS | 2VHK1MCVMS | statement | record (an 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.02352#Z5B6 |
| 2VJA2F3SRF | 2VJA2F3SRF | statement | record (an 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.27181#4P2Q |