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 11501–11600 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4BA9BE52HX | 4BA9BE52HX | statement | record (an 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.06419#6B24 |
| 4BAKM7ERG1 | 4BAKM7ERG1 | statement | record (an 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.15720#LW8E |
| 4BBEWQY2V3 | 4BBEWQY2V3 | 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#GQQE |
| 4BC34D8M5F | 4BC34D8M5F | 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#7WO7 |
| 4BCC3MD2BX | 4BCC3MD2BX | exercise | open | austin_ula src/exercises/exercises7-4.xml#exercise-4 |
| 4BCHFM0BYA | 4BCHFM0BYA | statement | record (an 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.04069#E3B5 |
| 4BDMEV7PF6 | 4BDMEV7PF6 | statement | record (an 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.36332#LOCR |
| 4BE2KSJW9W | 4BE2KSJW9W | statement | record (an 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.38970#SE5V |
| 4BEFR7JTSR | 4BEFR7JTSR | statement | record (an 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.21092#XXEP |
| 4BF7751K6M | 4BF7751K6M | statement | record (an 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.35095#QWNF |
| 4BF98BDEF5 | 4BF98BDEF5 | statement | record (an 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.35597#ELZ1 |
| 4BG7HNRVJW | 4BG7HNRVJW | statement | record (an 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#YZSW |
| 4BGEFAWJ51 | 4BGEFAWJ51 | 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 2412.12141#UQIR |
| 4BGFB4CKPB | 4BGFB4CKPB | statement | record (an 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.14555#OMGB |
| 4BGGX2D70Y | 4BGGX2D70Y | statement | record (an 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.07784#I3L0 |
| 4BGQEVDV5Z | 4BGQEVDV5Z | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-89 |
| 4BGT4PM324 | 4BGT4PM324 | 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.20466#NC5G |
| 4BGYQ53GQN | 4BGYQ53GQN | statement | record (an 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.3562#ACJV |
| 4BH0A1MKKJ | 4BH0A1MKKJ | statement | record (an 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.26762#5WBA |
| 4BH388BXC4 | 4BH388BXC4 | 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.29759#I5SR |
| 4BH72DGS2M | 4BH72DGS2M | statement | record (an 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.35678#RFIQ |
| 4BHQ5Y5DBY | 4BHQ5Y5DBY | definition | open | open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#defn-2 |
| 4BJ9MEJZJZ | 4BJ9MEJZJZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#3VA6 |
| 4BJGAWQ9P3 | 4BJGAWQ9P3 | statement | record (an 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.27152#KGVC |
| 4BJJ36HV8W | 4BJJ36HV8W | statement | record (an 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#0IU0 |
| 4BJKW50N02 | 4BJKW50N02 | statement | record (an 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#44AI |
| 4BJQNQ1M97 | 4BJQNQ1M97 | statement | record (an 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.29531#PBZR |
| 4BJTNA1QSD | 4BJTNA1QSD | definition | open | lebl_scv scv.tex#defn-2 |
| 4BK45YEEN5 | 4BK45YEEN5 | statement | record (an 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.03081#R7BV |
| 4BKKHQ8J3H | 4BKKHQ8J3H | statement | record (an 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.29227#1984 |
| 4BKVB80XAW | 4BKVB80XAW | statement | record (an 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#SF1N |
| 4BMQ52HXNP | 4BMQ52HXNP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#9TU3 |
| 4BNCXD574N | 4BNCXD574N | statement | record (an 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.11785#EQ98 |
| 4BNK5HFB19 | 4BNK5HFB19 | definition | open | open_logic content/computability/recursive-functions/partial-functions.tex#defn:recursive-fn |
| 4BNKTWMDVH | 4BNKTWMDVH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#G9SZ |
| 4BP3PMT74R | 4BP3PMT74R | statement | record (an 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.05722#NGO9 |
| 4BPKBDZAJW | 4BPKBDZAJW | statement | record (an 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.17325#ILG0 |
| 4BPTNQ7A36 | 4BPTNQ7A36 | statement | record (an 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.23812#79XR |
| 4BQK2CZF37 | 4BQK2CZF37 | statement | record (an 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.01946#9KD5 |
| 4BQNFGDAZR | 4BQNFGDAZR | proof | open | hott_book equivalences.tex#proof-24 |
| 4BR1DN4JHF | 4BR1DN4JHF | statement | open | open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#prop:ccs-properties |
| 4BRDR7508X | 4BRDR7508X | statement | record (an 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#IJZW |
| 4BRFT0VGN6 | 4BRFT0VGN6 | 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.17091#HV5H |
| 4BRRRV312D | 4BRRRV312D | statement | record (an 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#1WJJ |
| 4BSEJZABG8 | 4BSEJZABG8 | 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.11455#GHRD |
| 4BSGD96BQ1 | 4BSGD96BQ1 | statement | record (an 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.14060#KJXD |
| 4BSR6S1XQF | 4BSR6S1XQF | statement | record (an 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.28808#VUO9 |
| 4BT1DDS7CY | 4BT1DDS7CY | exercise | open | lebl_ra ch-metric.tex#exercise-59 |
| 4BT4M9DYZB | 4BT4M9DYZB | exercise | open | napkin tex/topology/compactness.tex#thm:bzw |
| 4BT79ZHMG8 | 4BT79ZHMG8 | statement | record (an 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.38453#KVUT |
| 4BT89N7N30 | 4BT89N7N30 | statement | record (an 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#1R7P |
| 4BTN4G652P | 4BTN4G652P | statement | record (an 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.08272#8JCY |
| 4BTSDSXRC1 | 4BTSDSXRC1 | statement | record (an 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.02042#VP61 |
| 4BTV4TFVW9 | 4BTV4TFVW9 | 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.27518#9FG3 |
| 4BV2FJVZRX | 4BV2FJVZRX | statement | record (an 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.37920#QQAA |
| 4BVVXMJ5VB | 4BVVXMJ5VB | exercise | open | hott_book equivalences.tex#ex:qinv-autohtpy-no-univalence |
| 4BVX1N3PSK | 4BVX1N3PSK | statement | record (an 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#LFGL |
| 4BW6YJD17P | 4BW6YJD17P | statement | record (an 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.15424#HFRF |
| 4BW9416WNF | 4BW9416WNF | 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.10576#FB2J |
| 4BWMGH1DJT | 4BWMGH1DJT | statement | record (an 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#PQJY |
| 4BWWBJVVV7 | 4BWWBJVVV7 | statement | record (an 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.32906#YOO2 |
| 4BX02GQ5VK | 4BX02GQ5VK | exercise | open | napkin tex/H113/ring-intro.tex#prob:akizuki |
| 4BX24CZTPP | 4BX24CZTPP | statement | record (an 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.23446#R176 |
| 4BX45W85XR | 4BX45W85XR | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-3 |
| 4BX7RJRQX5 | 4BX7RJRQX5 | 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 2105.13129#WLMW |
| 4BXBAQ5SMG | 4BXBAQ5SMG | proof | open | lebl_ra ch-metric.tex#proof-2 |
| 4BY4H4R39Z | 4BY4H4R39Z | statement | record (an 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#Z8KF |
| 4BY8QYG73D | 4BY8QYG73D | statement | record (an 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.33733#DXA2 |
| 4BYBYVPYW9 | 4BYBYVPYW9 | 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.03628#IUO2 |
| 4BYTQWZ3WG | 4BYTQWZ3WG | statement | record (an 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.13847#XRES |
| 4BYXAG8P33 | 4BYXAG8P33 | statement | record (an 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.22952#NZGD |
| 4BYZQ0TYFH | 4BYZQ0TYFH | statement | record (an 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.07927#9Y4A |
| 4BZ8S94CWX | 4BZ8S94CWX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.1331#IPZV |
| 4BZE42A1TC | 4BZE42A1TC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#OXKE |
| 4BZN0REDQ9 | 4BZN0REDQ9 | statement | record (an 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#QXLB |
| 4BZV8FRCNC | 4BZV8FRCNC | 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.21532#IHK4 |
| 4BZVFVA7KR | 4BZVFVA7KR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.02139#M28U |
| 4BZXCQ82JB | 4BZXCQ82JB | statement | record (an 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.24078#XLA0 |
| 4C03Q3GERQ | 4C03Q3GERQ | example | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#ex:last name |
| 4C08C4GVSS | 4C08C4GVSS | statement | record (an 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.09765#GLHT |
| 4C0GAZZYCM | 4C0GAZZYCM | statement | record (an 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.21507#FOSZ |
| 4C3K4W88HM | 4C3K4W88HM | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-29 |
| 4C3V5717R0 | 4C3V5717R0 | exercise | open | ernst_ibl MAAPressVersion/IndexingSets.tex#problem-7 |
| 4C3W23QAYD | 4C3W23QAYD | statement | record (an 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.15169#LKZ2 |
| 4C439JHDBQ | 4C439JHDBQ | statement | record (an 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.16339#J3OA |
| 4C44PF6E42 | 4C44PF6E42 | statement | record (an 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#E46Y |
| 4C5813TA78 | 4C5813TA78 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.08237#05Y3 |
| 4C5EMPC26F | 4C5EMPC26F | statement | record (an 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.16844#B9Z5 |
| 4C5EZBDAY9 | 4C5EZBDAY9 | statement | record (an 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.40355#XXW0 |
| 4C5WFRY80B | 4C5WFRY80B | exercise | open | napkin tex/set-theory/models.tex#ques-1 |
| 4C61YV2PRW | 4C61YV2PRW | statement | record (an 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.05506#2NJN |
| 4C626YV4W0 | 4C626YV4W0 | statement | record (an 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.18101#OBFP |
| 4C6DNEDXF5 | 4C6DNEDXF5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.07511#YRJ9 |
| 4C6DVQS3K8 | 4C6DVQS3K8 | statement | record (an 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#H6D0 |
| 4C6H5HCQ5V | 4C6H5HCQ5V | statement | record (an 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.21532#JWJR |
| 4C7103SCHR | 4C7103SCHR | statement | open | open_logic content/model-theory/basics/partial-iso.tex#cor:b-n-f |
| 4C7QTFVSCV | 4C7QTFVSCV | statement | record (an 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.17258#LPQL |
| 4C7WPNNSKN | 4C7WPNNSKN | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-41 |
| 4C8NQGPNWD | 4C8NQGPNWD | statement | record (an 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#EDK1 |
| 4C8PHSV0DS | 4C8PHSV0DS | statement | record (an 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.20077#SA9S |