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 5201–5300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2KTHDNN2Z8 | 2KTHDNN2Z8 | exercise | open | lebl_ra ch-contfunc.tex#exercise-59 |
| 2KV4R78PN5 | 2KV4R78PN5 | exercise | open | lebl_diffyqs ch-intro.tex#exercise-8 |
| 2KW07D58WA | 2KW07D58WA | statement | record (an 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.28597#H9A8 |
| 2KWAJTPF9S | 2KWAJTPF9S | 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.14240#EXUR |
| 2KWR5KZ0PF | 2KWR5KZ0PF | statement | record (an 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.01015#YCT9 |
| 2KWV431ZVJ | 2KWV431ZVJ | statement | record (an 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.26455#295F |
| 2KXDEFYN20 | 2KXDEFYN20 | statement | record (an 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.11336#GA07 |
| 2KXGDBT08M | 2KXGDBT08M | statement | record (an 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.09735#153P |
| 2KYFCJJ1M4 | 2KYFCJJ1M4 | statement | record (an 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.28780#XQD8 |
| 2KYVYPE12X | 2KYVYPE12X | statement | record (an 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.16362#EQFY |
| 2KZJMN1H4Z | 2KZJMN1H4Z | statement | record (an 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.06038#ETQ7 |
| 2KZY5MD2YN | 2KZY5MD2YN | statement | record (an 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.13137#8KEI |
| 2M0F83TCSJ | 2M0F83TCSJ | 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.14803#8ZMY |
| 2M0HCMZFD3 | 2M0HCMZFD3 | statement | record (an 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.29624#2TYM |
| 2M0PMAVQJC | 2M0PMAVQJC | 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.21355#CMT6 |
| 2M153B26AJ | 2M153B26AJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.12486#2SAX |
| 2M1DAK27DD | 2M1DAK27DD | statement | record (an 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.31478#AYLO |
| 2M23EBR4WC | 2M23EBR4WC | statement | record (an 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.03288#FN7S |
| 2M2RWF4A74 | 2M2RWF4A74 | proof | open | applied_combinatorics source/s_background_mult.ptx#proof-5 |
| 2M350A2KC4 | 2M350A2KC4 | statement | record (an 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#Y8IX |
| 2M3RKSV3TV | 2M3RKSV3TV | 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 2108.10246#IOOK |
| 2M40D9G00W | 2M40D9G00W | statement | record (an 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.08480#ORXG |
| 2M48M78XKM | 2M48M78XKM | statement | open | lebl_scv scv.tex#thm-19 |
| 2M4AD2RD6G | 2M4AD2RD6G | 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#V4KP |
| 2M4VVP6N95 | 2M4VVP6N95 | proof | open | lebl_ra ch-approximate.tex#proof-13 |
| 2M5VJFMTAR | 2M5VJFMTAR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#J95D |
| 2M623JCK5D | 2M623JCK5D | 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.13833#H8V7 |
| 2M69KTACFM | 2M69KTACFM | statement | record (an 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.14879#CER5 |
| 2M6BEK59XM | 2M6BEK59XM | 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.38061#XP7Z |
| 2M6HC6ZGC6 | 2M6HC6ZGC6 | unknown | open | arXiv 2211.01586#HJUQ |
| 2M6K33CT70 | 2M6K33CT70 | 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 1804.06366#UIM2 |
| 2M73B1CKS2 | 2M73B1CKS2 | statement | record (an 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.04135#3ZP2 |
| 2M73V7VSG8 | 2M73V7VSG8 | statement | record (an 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.27295#GYXN |
| 2M7FDFJ4A5 | 2M7FDFJ4A5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#N9G1 |
| 2M7ZSQPAW1 | 2M7ZSQPAW1 | statement | record (an 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#G47I |
| 2M823451Z2 | 2M823451Z2 | statement | record (an 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.07061#KYC3 |
| 2M8AMY2A1Q | 2M8AMY2A1Q | statement | record (an 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.08885#5BO7 |
| 2M8C2MPAHT | 2M8C2MPAHT | statement | record (an 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.37739#VX12 |
| 2M8JB73KXN | 2M8JB73KXN | statement | record (an 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.15434#4FES |
| 2M8KPFJ48G | 2M8KPFJ48G | statement | record (an 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.04046#DA11 |
| 2M8NHSC1CP | 2M8NHSC1CP | statement | open | open_logic content/computability/recursive-functions/examples.tex#prop-1 |
| 2M8P8QEBYQ | 2M8P8QEBYQ | definition | open | hott_book homotopy.tex#defn-3 |
| 2M8QGQQY4M | 2M8QGQQY4M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.11898#86KX |
| 2M8WVPXBH6 | 2M8WVPXBH6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.19452#9WI3 |
| 2M90KDFFZP | 2M90KDFFZP | statement | record (an 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.25275#CJ93 |
| 2M9527MVBC | 2M9527MVBC | statement | record (an 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.26769#F995 |
| 2M9H2QGJ79 | 2M9H2QGJ79 | exercise | open | napkin tex/alg-NT/classgrp.tex#exercise-1 |
| 2M9VVXHSDH | 2M9VVXHSDH | statement | record (an 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.36022#5RLJ |
| 2MA3M8A8SH | 2MA3M8A8SH | statement | record (an 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.00562#IPRX |
| 2MB70GTCR9 | 2MB70GTCR9 | statement | record (an 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.08193#N2BE |
| 2MB9B5647G | 2MB9B5647G | statement | record (an 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.28141#JD9L |
| 2MBGDYDGSD | 2MBGDYDGSD | definition | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-3 |
| 2MBWNN466W | 2MBWNN466W | statement | record (an 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#ZC3O |
| 2MC3DB49NC | 2MC3DB49NC | 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.07461#P681 |
| 2MC712C3M1 | 2MC712C3M1 | statement | record (an 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#CIWC |
| 2MCG4XV66J | 2MCG4XV66J | exercise | open | lebl_diffyqs ch-systems.tex#exercise-11 |
| 2MDDA8GK3B | 2MDDA8GK3B | statement | record (an 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.15460#1V33 |
| 2MDDYSDF3W | 2MDDYSDF3W | 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.36884#I270 |
| 2MDZTTBFT6 | 2MDZTTBFT6 | 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 2506.07061#LEF2 |
| 2ME1434AJ9 | 2ME1434AJ9 | 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.13295#2UXD |
| 2MEZRQBDG1 | 2MEZRQBDG1 | statement | record (an 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.11100#ZX61 |
| 2MF8PSZZY1 | 2MF8PSZZY1 | statement | record (an 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#J4CT |
| 2MFB7BA8FC | 2MFB7BA8FC | statement | record (an 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.11507#3I8S |
| 2MFWVNZYTG | 2MFWVNZYTG | statement | record (an 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.01596#P89I |
| 2MG14BTZ2V | 2MG14BTZ2V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#Q39W |
| 2MG93656JX | 2MG93656JX | statement | record (an 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.33932#TP01 |
| 2MGAPQK1KA | 2MGAPQK1KA | statement | record (an 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#2AY1 |
| 2MGBNV9S19 | 2MGBNV9S19 | statement | record (an 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.11869#HEKO |
| 2MGC9TX7GC | 2MGC9TX7GC | statement | record (an 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#LGHR |
| 2MGFNHPG8F | 2MGFNHPG8F | 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 2309.01359#AD4W |
| 2MGM6PJMYV | 2MGM6PJMYV | statement | open | open_logic content/set-theory/ordinals/basic.tex#ordissetofsmallerord |
| 2MGZPM58VY | 2MGZPM58VY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#3TSJ |
| 2MHK4GWKTS | 2MHK4GWKTS | statement | record (an 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.06746#KKT7 |
| 2MJ8J59QZ9 | 2MJ8J59QZ9 | statement | record (an 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.16554#EUP5 |
| 2MJD6G21BZ | 2MJD6G21BZ | 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.25111#TIXI |
| 2MKBG0H264 | 2MKBG0H264 | exercise | open | hott_book reals.tex#ex:reals-apart-zero-divisors |
| 2MMCEQV5H1 | 2MMCEQV5H1 | statement | record (an 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.27641#D2WO |
| 2MMGV5KQFQ | 2MMGV5KQFQ | 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.33856#ZJ78 |
| 2MMTYDXAP9 | 2MMTYDXAP9 | statement | record (an 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.29422#QDXM |
| 2MMWY8PWWW | 2MMWY8PWWW | statement | record (an 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.34876#2P6N |
| 2MN215CZGW | 2MN215CZGW | unknown | open | |
| 2MNXAPB8KH | 2MNXAPB8KH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.15812#WJ0B |
| 2MPG07SN3P | 2MPG07SN3P | unknown | open | arXiv 2610.06441#TADJ |
| 2MPMKJK0RP | 2MPMKJK0RP | statement | record (an 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.08500#Q7TM |
| 2MPX11C9GS | 2MPX11C9GS | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-6 |
| 2MQXM2NC6E | 2MQXM2NC6E | statement | record (an 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.17957#2O5N |
| 2MR8GXSJJ7 | 2MR8GXSJJ7 | 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#Z8LY |
| 2MR9FX4R83 | 2MR9FX4R83 | statement | record (an 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#TA2S |
| 2MRBX5ZJYY | 2MRBX5ZJYY | statement | record (an 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.01653#Y7SJ |
| 2MS5EYQXM1 | 2MS5EYQXM1 | statement | record (an 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#SL6D |
| 2MSM2VWBW5 | 2MSM2VWBW5 | statement | record (an 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.02585#WX99 |
| 2MSPDXQ50M | 2MSPDXQ50M | exercise | open | napkin tex/set-theory/models.tex#exercise-1 |
| 2MSSPR4E8H | 2MSSPR4E8H | statement | record (an 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.34856#P2D5 |
| 2MVJXSNBA1 | 2MVJXSNBA1 | exercise | open | lebl_scv scv.tex#exercise-313 |
| 2MVQ57YG2R | 2MVQ57YG2R | statement | record (an 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#O8VO |
| 2MW42R29G1 | 2MW42R29G1 | statement | record (an 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.14582#KU0T |
| 2MW5SEHC4J | 2MW5SEHC4J | 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.19535#SDBL |
| 2MWN129VWG | 2MWN129VWG | statement | record (an 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.13295#0WHX |
| 2MWN63BSB6 | 2MWN63BSB6 | 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.31523#156H |
| 2MWRGGH8RA | 2MWRGGH8RA | statement | record (an 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.05529#UWUP |