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 1301–1400 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 165V15FXR0 | 165V15FXR0 | statement | record (an 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.25568#EWFO |
| 1662TAFZ62 | 1662TAFZ62 | statement | record (an 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#12PY |
| 16690VWX1G | 16690VWX1G | statement | record (an 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.10221#I8CS |
| 167BG35PZW | 167BG35PZW | statement | record (an 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.01919#K4YQ |
| 167C03H5S0 | 167C03H5S0 | 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 2605.02634#J69U |
| 167TK66SKQ | 167TK66SKQ | statement | record (an 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.37562#YYDF |
| 1686RB85WR | 1686RB85WR | statement | record (an 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.31104#XNTX |
| 168QKHYD71 | 168QKHYD71 | statement | record (an 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.09949#BB79 |
| 169958CPPG | 169958CPPG | statement | record (an 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#ZV87 |
| 169EG7JAD7 | 169EG7JAD7 | statement | record (an 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.07608#6J14 |
| 169JGXDZW4 | 169JGXDZW4 | statement | record (an 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.28540#OXLQ |
| 169JY8M5AD | 169JY8M5AD | 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.12831#JPMN |
| 16B9YC4XPY | 16B9YC4XPY | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#prob:mod 5 |
| 16BNHC757X | 16BNHC757X | 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.30315#NPK7 |
| 16BV4QJNAT | 16BV4QJNAT | statement | record (an 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.05973#NEG6 |
| 16BY5V7Y83 | 16BY5V7Y83 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#TF9R |
| 16CEZ3C7Q2 | 16CEZ3C7Q2 | statement | record (an 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.01874#5B83 |
| 16D4AXT745 | 16D4AXT745 | statement | record (an 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.00525#5N52 |
| 16D7MACBAD | 16D7MACBAD | statement | record (an 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.04559#OVJ7 |
| 16DP25MPY3 | 16DP25MPY3 | definition | open | hott_book equivalences.tex#defn:surj-emb |
| 16ERV9K3HQ | 16ERV9K3HQ | statement | open | hott_book equivalences.tex#thm:equiv-iso-adj |
| 16G0FDNQDG | 16G0FDNQDG | statement | record (an 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.16606#U1AM |
| 16G6P03GRX | 16G6P03GRX | 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 2601.15403#UGXP |
| 16GAW7W365 | 16GAW7W365 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2005.03073#UUL9 |
| 16GQMZW52P | 16GQMZW52P | statement | record (an 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.25468#R384 |
| 16GSXNTQ3W | 16GSXNTQ3W | 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 2508.02432#9SJJ |
| 16H1W8HNRA | 16H1W8HNRA | 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 2607.25960#DB30 |
| 16HTMXX8GH | 16HTMXX8GH | exercise | open | napkin tex/homology/cup-product.tex#exercise-2 |
| 16J2FW61WH | 16J2FW61WH | statement | record (an 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.12966#TAL7 |
| 16JPC35VE1 | 16JPC35VE1 | statement | open | open_logic content/proof-theory/sequent-calculus/translations.tex#prop-1 |
| 16JVSAD86D | 16JVSAD86D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1805.04646#XMGZ |
| 16KM45FN2S | 16KM45FN2S | proof | open | open_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#proof-1 |
| 16KRGDQMVH | 16KRGDQMVH | statement | record (an 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.25167#GGXK |
| 16KRTVP0B6 | 16KRTVP0B6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.07717#UJ9B |
| 16KVVSC38V | 16KVVSC38V | statement | record (an 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.09133#Y6GW |
| 16KW4YJQ59 | 16KW4YJQ59 | statement | record (an 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.05784#OD8L |
| 16M4QE5ECY | 16M4QE5ECY | statement | open | open_logic content/turing-machines/machines-computations/disciplined-machines.tex#prop:disciplined |
| 16MDEN0S2M | 16MDEN0S2M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#25WP |
| 16PKGKMSY5 | 16PKGKMSY5 | 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.17626#QU8S |
| 16QC585C77 | 16QC585C77 | statement | record (an 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.07855#EABG |
| 16QXJ9KXC2 | 16QXJ9KXC2 | statement | record (an 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.10773#RAK1 |
| 16REHQ0YNP | 16REHQ0YNP | statement | record (an 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.31126#C4X5 |
| 16SWD4DMV6 | 16SWD4DMV6 | statement | record (an 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.02694#PHE0 |
| 16TB57PYC4 | 16TB57PYC4 | statement | record (an 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.04264#2BLY |
| 16TFVVFDEV | 16TFVVFDEV | statement | record (an 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.21627#4HAF |
| 16TZBNH7DN | 16TZBNH7DN | statement | record (an 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.03310#81X6 |
| 16VJGPZZPD | 16VJGPZZPD | statement | record (an 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.20406#EZNV |
| 16WHJ54T2Y | 16WHJ54T2Y | 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.18302#LDHO |
| 16X3WQ6XVA | 16X3WQ6XVA | 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.09333#JTHX |
| 16XNZ1V3ZF | 16XNZ1V3ZF | statement | record (an 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#8XEL |
| 16YNKCPMGH | 16YNKCPMGH | exercise | open | napkin tex/quantum/vectors.tex#ques-1 |
| 16YS3625TR | 16YS3625TR | statement | record (an 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.10505#366H |
| 16YXP3E50D | 16YXP3E50D | statement | record (an 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#7NBS |
| 16Z3A1MDSR | 16Z3A1MDSR | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-B |
| 16ZDKRCE31 | 16ZDKRCE31 | statement | record (an 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#L5NT |
| 16ZT4F0SXM | 16ZT4F0SXM | statement | record (an 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.26776#PD9C |
| 17 | YRA49K0BBD | statement | open | Wikidata Q40118, MathWorld 17, ProofWiki 17 |
| 1706EZZ7TV | 1706EZZ7TV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#2HJQ |
| 170A05BKPJ | 170A05BKPJ | statement | record (an 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.02852#VGS0 |
| 170NAKQ69M | 170NAKQ69M | statement | record (an 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#39Q5 |
| 170TCBQDT9 | 170TCBQDT9 | statement | record (an 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.10325#4UMX |
| 171BRCH6Y7 | 171BRCH6Y7 | statement | record (an 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#3LDR |
| 171N06DRYB | 171N06DRYB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.09374#SE1B |
| 171VHHGR7Z | 171VHHGR7Z | statement | record (an 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.08935#8OAK |
| 1723NDBJ2C | 1723NDBJ2C | statement | record (an 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.25307#EEK2 |
| 1729 | EVQR4DQ498 | unknown | open | Wikidata Q825176, MathWorld 1729, MathWorld Hardy-RamanujanNumber |
| 17292SPKJ8 | 17292SPKJ8 | exercise | open | austin_ula src/section3-1.xml#activity-2 |
| 172NSHXV5T | 172NSHXV5T | 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.28011#048V |
| 1732DHAZSY | 1732DHAZSY | statement | record (an 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.32104#QDJZ |
| 17339M01EB | 17339M01EB | statement | record (an 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.16060#CDN9 |
| 174D6RM3ZK | 174D6RM3ZK | statement | record (an 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.05259#JZTL |
| 175AD6GQH8 | 175AD6GQH8 | 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 2504.17648#F8Y6 |
| 175AR1V0A6 | 175AR1V0A6 | 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.26496#6MD1 |
| 175X1T60SN | 175X1T60SN | statement | record (an 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.29925#S2E5 |
| 1778470HNP | 1778470HNP | statement | record (an 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.09422#9WM6 |
| 177HJY870Y | 177HJY870Y | statement | record (an 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.07673#35D8 |
| 178GA7BZPT | 178GA7BZPT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.28337#KNKN |
| 179JRT5YZ1 | 179JRT5YZ1 | statement | record (an 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#UUDR |
| 179Z59KMC0 | 179Z59KMC0 | statement | record (an 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#VXRM |
| 17A8KN8427 | 17A8KN8427 | statement | record (an 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.16941#1T28 |
| 17ARWW042E | 17ARWW042E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#Z8YY |
| 17AZSZ41CH | 17AZSZ41CH | statement | record (an 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.13513#2JE9 |
| 17BRMK8F8Y | 17BRMK8F8Y | statement | record (an 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#NDNE |
| 17BZ1QXP88 | 17BZ1QXP88 | exercise | open | lebl_scv scv.tex#exercise-136 |
| 17CK0FA83V | 17CK0FA83V | statement | record (an 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#UU5Y |
| 17DYM9QC3C | 17DYM9QC3C | example | open | napkin tex/alg-geom/localization.tex#example-2 |
| 17F5TJM7B7 | 17F5TJM7B7 | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-11 |
| 17F7N3E6E6 | 17F7N3E6E6 | statement | record (an 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.22272#DK09 |
| 17FAQ9CKCM | 17FAQ9CKCM | 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.19285#11TI |
| 17FDN2Q155 | 17FDN2Q155 | 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#EVIV |
| 17GBZJN5NZ | 17GBZJN5NZ | statement | record (an 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.16358#S606 |
| 17H3ZTJJ3V | 17H3ZTJJ3V | statement | record (an 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.28282#UPHZ |
| 17HMVWDWKG | 17HMVWDWKG | statement | record (an 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#K1HP |
| 17JHGQQA3A | 17JHGQQA3A | 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.25703#XOVZ |
| 17JMCP2WCR | 17JMCP2WCR | statement | record (an 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.30330#IMJB |
| 17JVMYMEGR | 17JVMYMEGR | statement | record (an 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.33573#ZBV1 |
| 17JZZJJ0PG | 17JZZJJ0PG | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-20 |
| 17K0MJWF37 | 17K0MJWF37 | exercise | open | lebl_scv scv.tex#exercise-312 |
| 17K4NXPCM2 | 17K4NXPCM2 | statement | record (an 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#Q1CK |
| 17KA4Q8C7X | 17KA4Q8C7X | statement | record (an 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.34081#U836 |