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 10401–10500 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 402 (number) | EA40ZGEFC0 | unknown | open | Wikipedia 400 (number)#0W95 |
| 4026NEHNE1 | 4026NEHNE1 | statement | record (an 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.32078#8HMN |
| 403 (number) | AST7B6P1P0 | unknown | open | Wikipedia 400 (number)#NOFT |
| 40301Y24SQ | 40301Y24SQ | statement | record (an 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.39747#NC25 |
| 40320 (number) | FKTDC9C24A | unknown | open | Wikipedia 40,000#RG8D |
| 4036AYBVNY | 4036AYBVNY | statement | record (an 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#KB7Y |
| 403EH4B6C9 | 403EH4B6C9 | statement | record (an 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.09506#GVR6 |
| 403ZT0N2WR | 403ZT0N2WR | statement | record (an 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.08912#5D93 |
| 404 (number) | HY3KQ0HJ8J | unknown | open | Wikipedia 400 (number)#4R45 |
| 404KBYTSMJ | 404KBYTSMJ | example | open | levin_dmoi ptx/sec_seq-induction.ptx#example-4 |
| 404ZJ6AK6K | 404ZJ6AK6K | 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 2212.01916#JLSW |
| 405 (number) | 314GBW17VF | unknown | open | Wikipedia 400 (number)#LWVR |
| 40582J0Y4A | 40582J0Y4A | statement | record (an 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#AUTG |
| 4058C69QTA | 4058C69QTA | statement | record (an 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.29152#TPYQ |
| 406 (number) | BT0PB295EF | unknown | open | Wikipedia 400 (number)#ZAQO |
| 40648KM0RB | 40648KM0RB | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-55 |
| 406TYVX5YX | 406TYVX5YX | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:soundMP |
| 407 (number) | QTFQDARZXK | unknown | open | Wikipedia 400 (number)#QGC7 |
| 4074EV81C6 | 4074EV81C6 | example | open | open_logic content/sets-functions-relations/functions/function-basics.tex#examplefunext |
| 407AECNR4D | 407AECNR4D | statement | record (an 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.28336#N5IR |
| 407GDPFNKG | 407GDPFNKG | exercise | open | austin_ula src/exercises/exercises2-6.xml#exercise-5 |
| 407SJ4FB8F | 407SJ4FB8F | statement | record (an 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.05730#HIKY |
| 407VBR927Z | 407VBR927Z | statement | record (an 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#JF94 |
| 407YSNEQ1F | 407YSNEQ1F | statement | record (an 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.12777#JVV2 |
| 407ZGZ0VJB | 407ZGZ0VJB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10920#T5EH |
| 408 (number) | G3X79AEW22 | unknown | open | Wikipedia 400 (number)#Q81Z |
| 40809G16T9 | 40809G16T9 | statement | record (an 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.25301#DVJS |
| 4081ZBWQBQ | 4081ZBWQBQ | statement | record (an 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.08912#WNR8 |
| 408DF06VET | 408DF06VET | statement | record (an 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.22268#8U8V |
| 408F0YGNCD | 408F0YGNCD | statement | record (an 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.11199#2IX5 |
| 408KGE959X | 408KGE959X | statement | record (an 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.07728#JEC7 |
| 409 (number) | 3GT62FXHEM | unknown | open | Wikipedia 400 (number)#MRU7 |
| 409034MA7V | 409034MA7V | statement | record (an 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#0USO |
| 4094VQ6SEK | 4094VQ6SEK | statement | record (an 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.00109#NDPY |
| 409HDS1GN5 | 409HDS1GN5 | statement | open | lebl_ra ch-multivar-int.tex#mv:prop:integralsmallerset |
| 40A6JERNJ0 | 40A6JERNJ0 | 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#5HI0 |
| 40AFDM6P8N | 40AFDM6P8N | statement | record (an 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.05514#OVFI |
| 40AQT4MNNB | 40AQT4MNNB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#WGVO |
| 40AY96PAME | 40AY96PAME | statement | record (an 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.18219#9SE3 |
| 40AYKA9D1M | 40AYKA9D1M | statement | record (an 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.13981#J8YL |
| 40B5B4425F | 40B5B4425F | 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.21501#DHCG |
| 40B6GYTW60 | 40B6GYTW60 | statement | record (an 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.02379#L12A |
| 40BACBTHHC | 40BACBTHHC | proof | open | hott_book hlevels.tex#proof-26 |
| 40BR8P2J54 | 40BR8P2J54 | statement | record (an 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#0O2U |
| 40BZZ1B2RT | 40BZZ1B2RT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#Y7LG |
| 40C4KT0RWA | 40C4KT0RWA | statement | record (an 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#BQQQ |
| 40D5J294QD | 40D5J294QD | exercise | open | levin_dmoi ptx/sec_gt-coloring.ptx#investigation-1 |
| 40DAKA73CT | 40DAKA73CT | unknown | open | arXiv 2609.21976#PFE7 |
| 40DB5TF9EC | 40DB5TF9EC | statement | record (an 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.23903#5PAE |
| 40DQMQEDC6 | 40DQMQEDC6 | statement | record (an 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.35102#EW0P |
| 40FG5WG1AE | 40FG5WG1AE | statement | record (an 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.37093#EBPU |
| 40FMKB38H3 | 40FMKB38H3 | example | open | hott_book hits.tex#thm:homotopy-groups |
| 40FXRY0P4G | 40FXRY0P4G | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-21 |
| 40G1J949B1 | 40G1J949B1 | statement | record (an 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.01354#J0UA |
| 40G2FMGZBD | 40G2FMGZBD | statement | record (an 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.23975#DVK7 |
| 40G8N9K2HF | 40G8N9K2HF | statement | record (an 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.22338#SSZM |
| 40G9DHHGXN | 40G9DHHGXN | statement | record (an 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.08873#5E4U |
| 40GH8AEHF1 | 40GH8AEHF1 | 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.11383#LWXI |
| 40GNV2VAZ9 | 40GNV2VAZ9 | statement | record (an 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.18922#KNS2 |
| 40GY9GPNT0 | 40GY9GPNT0 | statement | record (an 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.10570#ACSY |
| 40HRKRKS3R | 40HRKRKS3R | 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.27078#XLHI |
| 40HWCMBA1B | 40HWCMBA1B | statement | record (an 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.25106#IM2H |
| 40JVRW3D2M | 40JVRW3D2M | statement | record (an 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.29274#8Q7B |
| 40K3N2SB3X | 40K3N2SB3X | statement | record (an 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.01057#OI9N |
| 40KMYKQT9J | 40KMYKQT9J | statement | record (an 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.04314#2WWT |
| 40MKMV0XPE | 40MKMV0XPE | statement | record (an 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.16518#3UUJ |
| 40MTPFCSMZ | 40MTPFCSMZ | statement | record (an 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.19872#FXUZ |
| 40N9KKJ17P | 40N9KKJ17P | statement | record (an 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.10545#UDPC |
| 40NNTQKZRN | 40NNTQKZRN | statement | record (an 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.37520#44FU |
| 40PDMK9QR8 | 40PDMK9QR8 | statement | record (an 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.08708#YIJ5 |
| 40PJ10CVPQ | 40PJ10CVPQ | statement | open | lebl_ra ch-riemann.tex#prop-5 |
| 40PYZHJP5R | 40PYZHJP5R | statement | record (an 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.18302#BWRT |
| 40QFJN5G06 | 40QFJN5G06 | statement | record (an 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.13392#RXYJ |
| 40QTJTHRCX | 40QTJTHRCX | statement | record (an 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.35858#5M1S |
| 40R0P89C92 | 40R0P89C92 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#GE2G |
| 40R5PRHF6Z | 40R5PRHF6Z | exercise | open | lebl_ra ch-metric.tex#exercise:integralcontcontextra |
| 40REB4GSQP | 40REB4GSQP | statement | record (an 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.29878#DYL1 |
| 40S7HDXPGW | 40S7HDXPGW | statement | record (an 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.00775#6IB3 |
| 40SJ3WDDEE | 40SJ3WDDEE | statement | record (an 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.15588#DW6D |
| 40SWJCAZ6S | 40SWJCAZ6S | statement | record (an 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.16834#197I |
| 40T3S958Q3 | 40T3S958Q3 | statement | record (an 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.25038#GXN5 |
| 40TXB84P26 | 40TXB84P26 | statement | open | hott_book equivalences.tex#thm:total-fiber-equiv |
| 40V2QMXHWQ | 40V2QMXHWQ | statement | record (an 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#00UG |
| 40VAB44ZB0 | 40VAB44ZB0 | statement | record (an 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#D0ZB |
| 40VCE1RV28 | 40VCE1RV28 | statement | open | ernst_ibl MAAPressVersion/Partitions.tex#thm:partition yields equivalence relation |
| 40VW8GJPVK | 40VW8GJPVK | 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.10591#DLAL |
| 40W8N58BWK | 40W8N58BWK | 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.33704#HD1C |
| 40WZCXAGG6 | 40WZCXAGG6 | 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 2409.01237#CDZ2 |
| 40X2V1KJZB | 40X2V1KJZB | statement | record (an 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.02312#JHTH |
| 40X8EDEGJV | 40X8EDEGJV | 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.32338#W30S |
| 40YEVG8YYV | 40YEVG8YYV | statement | record (an 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.21427#EB4W |
| 40YV0MJMN8 | 40YV0MJMN8 | statement | record (an 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.06326#EQE9 |
| 40Z7XQSK98 | 40Z7XQSK98 | statement | record (an 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.18324#DI5C |
| 40ZER003S4 | 40ZER003S4 | statement | record (an 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.09162#CC8F |
| 40ZEW3ZSKG | 40ZEW3ZSKG | statement | record (an 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.09840#02D3 |
| 40ZGVQE4FX | 40ZGVQE4FX | proof | open | open_logic content/first-order-logic/completeness/downward-ls.tex#proof-2 |
| 40ZJF6V16Z | 40ZJF6V16Z | statement | record (an 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.13888#J3LT |
| 410 (number) | 834YYMNZ36 | unknown | open | Wikipedia 400 (number)#T1QB |
| 4100 | 1XSPDVYGA2 | unknown | open | Wikipedia 4000 (number)#SX53 |
| 4104 | RQHXE8WAZJ | definition | open | Wikipedia 4104 |