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 9801–9900 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 3SWA6FWE4M | 3SWA6FWE4M | statement | record (an 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#ZEKE |
| 3SWB72CM4S | 3SWB72CM4S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.5343#SHZI |
| 3SWBGWNX1P | 3SWBGWNX1P | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-3 |
| 3SWBV0KX7M | 3SWBV0KX7M | unknown | open | |
| 3SWZA7ZX3C | 3SWZA7ZX3C | statement | record (an 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.32860#XBNI |
| 3SYH5MW5Q8 | 3SYH5MW5Q8 | statement | record (an 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.15771#A8DT |
| 3SYHZ7KC7C | 3SYHZ7KC7C | problem | open | Wikipedia BPP (complexity)#L6TO |
| 3SYYAEDEC4 | 3SYYAEDEC4 | exercise | open | napkin tex/calculus/taylor.tex#problem-3 |
| 3SZ5SGVWZ8 | 3SZ5SGVWZ8 | statement | record (an 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.16768#WSN9 |
| 3SZANBT7MX | 3SZANBT7MX | statement | record (an 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.15869#KUE4 |
| 3SZN15DWXN | 3SZN15DWXN | statement | record (an 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.26962#18ER |
| 3SZWQDCM2T | 3SZWQDCM2T | 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.26133#UQPV |
| 3T00ZF9HTT | 3T00ZF9HTT | example | open | napkin tex/set-theory/models.tex#example-5 |
| 3T01P95ESY | 3T01P95ESY | statement | record (an 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.19260#L0OB |
| 3T0F5YRABR | 3T0F5YRABR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.14505#UHVV |
| 3T0Q40HV4V | 3T0Q40HV4V | statement | record (an 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.18847#3SCV |
| 3T0X60T14S | 3T0X60T14S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#69NW |
| 3T19F8YS89 | 3T19F8YS89 | statement | record (an 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#7CYE |
| 3T1VB1EV2H | 3T1VB1EV2H | statement | record (an 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.14383#NNK5 |
| 3T1WJZ9RER | 3T1WJZ9RER | statement | record (an 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.23526#TT36 |
| 3T2C2ZJ008 | 3T2C2ZJ008 | definition | open | napkin tex/rep-theory/characters.tex#definition-6 |
| 3T2Z32XA56 | 3T2Z32XA56 | 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.30575#CNXO |
| 3T3S0T1PK8 | 3T3S0T1PK8 | 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.13505#9O0M |
| 3T3T4H2WTJ | 3T3T4H2WTJ | statement | record (an 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.20119#5N3Q |
| 3T44KX97DX | 3T44KX97DX | statement | record (an 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.27931#VDU6 |
| 3T45KSE7DP | 3T45KSE7DP | statement | record (an 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.29949#PPW4 |
| 3T45WYW5GX | 3T45WYW5GX | statement | record (an 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.01121#QKG6 |
| 3T4GMZCEB4 | 3T4GMZCEB4 | 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.13833#9GVJ |
| 3T4KC9144P | 3T4KC9144P | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-37 |
| 3T4PJCMGC0 | 3T4PJCMGC0 | statement | record (an 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.19309#7L2P |
| 3T4TC0C3QW | 3T4TC0C3QW | 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.04870#BQBP |
| 3T4TJ9RAMC | 3T4TJ9RAMC | statement | record (an 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#WJBW |
| 3T5NMW8HRA | 3T5NMW8HRA | statement | record (an 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#LSDL |
| 3T625KVGM5 | 3T625KVGM5 | statement | record (an 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.13100#C8W4 |
| 3T6QDDTTH4 | 3T6QDDTTH4 | statement | record (an 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.16898#S5ZB |
| 3T70E03V85 | 3T70E03V85 | 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.24901#NUGH |
| 3T7YVGGF7F | 3T7YVGGF7F | 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.04161#Q00N |
| 3T828RNNNV | 3T828RNNNV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.14214#XAC1 |
| 3T87S49V3Z | 3T87S49V3Z | statement | record (an 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.20190#40NV |
| 3T8H5B9GH5 | 3T8H5B9GH5 | 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.33162#B3YJ |
| 3T9ZNER37M | 3T9ZNER37M | 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.21358#WJC1 |
| 3TBGYAGQHR | 3TBGYAGQHR | exercise | open | lebl_ra ch-metric.tex#exercise-25 |
| 3TBGYP21AE | 3TBGYP21AE | statement | record (an 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.14267#7X8S |
| 3TBK8WK4SD | 3TBK8WK4SD | 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.32077#8XLA |
| 3TBSX0SH58 | 3TBSX0SH58 | statement | record (an 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.16267#OX46 |
| 3TBW9F9X6J | 3TBW9F9X6J | 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 math/0406514#864V |
| 3TC4AXP8Y1 | 3TC4AXP8Y1 | statement | record (an 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.13888#CPQS |
| 3TCAH6X478 | 3TCAH6X478 | statement | record (an 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.02506#7M7N |
| 3TCVRBEWA5 | 3TCVRBEWA5 | statement | record (an 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.24845#C76F |
| 3TDKA4Y38B | 3TDKA4Y38B | statement | record (an 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.17737#KAVZ |
| 3TDKVFX2WQ | 3TDKVFX2WQ | statement | record (an 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.29498#2H7G |
| 3TDMCBK1SM | 3TDMCBK1SM | statement | record (an 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.02791#T923 |
| 3TDPFBR22G | 3TDPFBR22G | statement | record (an 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.06081#4HDP |
| 3TEAAQEYDV | 3TEAAQEYDV | proof | open | hott_book basics.tex#proof-37 |
| 3TEPAHTYKF | 3TEPAHTYKF | statement | record (an 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.36068#JKQ5 |
| 3TF0WZSK5T | 3TF0WZSK5T | 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 math/0003117#U3F5 |
| 3TFFA6ZEXH | 3TFFA6ZEXH | statement | record (an 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.17484#YWC8 |
| 3TFMDX5KPD | 3TFMDX5KPD | statement | record (an 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.18464#CV6P |
| 3TFN3S4D0S | 3TFN3S4D0S | statement | record (an 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#VX5D |
| 3TGFW4H4DJ | 3TGFW4H4DJ | definition | open | open_logic content/proof-theory/sequent-calculus/proof-examples.tex#defn:depth |
| 3TGR6YJXJP | 3TGR6YJXJP | statement | record (an 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.09042#HO7D |
| 3TGRFCJZS6 | 3TGRFCJZS6 | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-17 |
| 3TH84QWXRF | 3TH84QWXRF | statement | record (an 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.09873#ITIW |
| 3TH8K3VCH5 | 3TH8K3VCH5 | statement | record (an 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.14377#4XY8 |
| 3THP28M470 | 3THP28M470 | statement | record (an 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.21322#D495 |
| 3THVQ5YC21 | 3THVQ5YC21 | statement | record (an 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.28350#Y8OC |
| 3TJPSWXZB6 | 3TJPSWXZB6 | statement | record (an 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.04833#VVG3 |
| 3TK9WQCP90 | 3TK9WQCP90 | 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 2411.16022#LF19 |
| 3TKE8M45JN | 3TKE8M45JN | statement | record (an 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.20740#WUVQ |
| 3TKNXN0R2R | 3TKNXN0R2R | statement | record (an 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.18436#BJQG |
| 3TM28W9HJ1 | 3TM28W9HJ1 | 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.30760#0R2B |
| 3TN47DQFZS | 3TN47DQFZS | statement | record (an 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.03358#G26B |
| 3TNAW6AS1X | 3TNAW6AS1X | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-17 |
| 3TNBHYJTK3 | 3TNBHYJTK3 | 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.39254#SKDQ |
| 3TPF3RMHRV | 3TPF3RMHRV | exercise | open | lebl_ra ch-contfunc.tex#exercise:restrictionlimitexercise |
| 3TQ28F7ZAF | 3TQ28F7ZAF | statement | record (an 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.07401#RXR4 |
| 3TQMQC956Z | 3TQMQC956Z | statement | open | hott_book equivalences.tex#thm:contr-hprop |
| 3TRXZQXHJB | 3TRXZQXHJB | statement | record (an 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#Y01R |
| 3TS2053ZMR | 3TS2053ZMR | statement | record (an 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.11377#3TWT |
| 3TS503P14F | 3TS503P14F | 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.23472#720U |
| 3TS6AAYKYW | 3TS6AAYKYW | statement | record (an 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#RFY1 |
| 3TS93DP64P | 3TS93DP64P | 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.20998#EH2T |
| 3TS9N9VFPX | 3TS9N9VFPX | statement | record (an 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#834L |
| 3TSKZ6W0V5 | 3TSKZ6W0V5 | proof | open | lebl_ra ch-der.tex#proof-11 |
| 3TTSW037ZD | 3TTSW037ZD | statement | record (an 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#6Z7U |
| 3TV2DRZB0B | 3TV2DRZB0B | 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 2104.12015#03TL |
| 3TVCFZMPHY | 3TVCFZMPHY | 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.06707#RX0B |
| 3TVEV7S3RP | 3TVEV7S3RP | statement | record (an 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.17608#T77E |
| 3TVVSP5ERW | 3TVVSP5ERW | 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.01915#0ELT |
| 3TW3FZF58M | 3TW3FZF58M | statement | record (an 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.24363#96VW |
| 3TXEGRWRRW | 3TXEGRWRRW | 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.20798#17QT |
| 3TXTVHZPK7 | 3TXTVHZPK7 | statement | record (an 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.04498#MT0L |
| 3TXZQHB4K5 | 3TXZQHB4K5 | definition | open | open_logic content/set-theory/choice/tarskiscott.tex#defn-2 |
| 3TYAWZX2NS | 3TYAWZX2NS | 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.03835#G0T0 |
| 3TYBY0GE52 | 3TYBY0GE52 | proof | open | napkin tex/rep-theory/applications.tex#proof-5 |
| 3TYQ0VBMAK | 3TYQ0VBMAK | 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 math/9602216#TFWH |
| 3TYTVXWSE7 | 3TYTVXWSE7 | 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.09442#EBW5 |
| 3TYXWG19BW | 3TYXWG19BW | statement | record (an 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.13980#MBQ0 |
| 3TZMM3406D | 3TZMM3406D | example | open | open_logic content/turing-machines/machines-computations/representing-tms.tex#ex-1 |
| 3TZZ34E0RB | 3TZZ34E0RB | 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 2610.10469#F6TA |