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 20101–20200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 82JY12SYHK | 82JY12SYHK | statement | record (an 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#EWH1 |
| 82K7A3B01H | 82K7A3B01H | statement | record (an 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.15631#YC38 |
| 82KAHK72S4 | 82KAHK72S4 | statement | record (an 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.04000#XYRG |
| 82KS30NABX | 82KS30NABX | statement | record (an 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.15716#ZDS4 |
| 82KYFESG7C | 82KYFESG7C | statement | record (an 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.33775#5MEE |
| 82M3N1VVX9 | 82M3N1VVX9 | statement | record (an 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.33300#992S |
| 82M5Q7XZ1E | 82M5Q7XZ1E | statement | record (an 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.33953#1VZU |
| 82MA8E90CK | 82MA8E90CK | statement | record (an 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.17518#DWUS |
| 82MF69X9JR | 82MF69X9JR | statement | record (an 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#E6Z8 |
| 82MGS1V5WC | 82MGS1V5WC | statement | record (an 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.22081#O3CJ |
| 82NGWCP6JP | 82NGWCP6JP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.03563#FBLH |
| 82NXC136MR | 82NXC136MR | 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 2310.02073#PDSW |
| 82NZEW2J0P | 82NZEW2J0P | statement | record (an 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.19249#BFAD |
| 82P9ZS1K7X | 82P9ZS1K7X | statement | record (an 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#V5X7 |
| 82PE6F2E14 | 82PE6F2E14 | statement | record (an 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.06461#Y7RK |
| 82QR2YNCTS | 82QR2YNCTS | statement | record (an 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.24902#37VD |
| 82RBEY63NY | 82RBEY63NY | statement | open | hott_book induction.tex#thm-3 |
| 82RJHBVW34 | 82RJHBVW34 | 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.00146#M2DY |
| 82RTTYE8J7 | 82RTTYE8J7 | statement | record (an 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.20153#IY2D |
| 82SY4TVRH9 | 82SY4TVRH9 | statement | record (an 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.01411#9W9E |
| 82SZQ7T8AN | 82SZQ7T8AN | statement | record (an 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.01208#QHU5 |
| 82T6J1HEC4 | 82T6J1HEC4 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-61 |
| 82TVJTBGT4 | 82TVJTBGT4 | statement | record (an 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.08865#6ME2 |
| 82TVJWPMHS | 82TVJWPMHS | statement | record (an 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.20229#0VUO |
| 82TYSJJSMF | 82TYSJJSMF | statement | record (an 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.22288#VVQC |
| 82VGVPDZF3 | 82VGVPDZF3 | 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.36423#X0V9 |
| 82VHENCZ1W | 82VHENCZ1W | statement | record (an 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#T1QQ |
| 82VNDBD8W2 | 82VNDBD8W2 | statement | record (an 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.16059#20EA |
| 82WJG7K0MB | 82WJG7K0MB | statement | record (an 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.05577#INHZ |
| 82XEEZMT23 | 82XEEZMT23 | exercise | open | applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-14 |
| 82XV1AC7XJ | 82XV1AC7XJ | statement | record (an 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.24638#GZ0M |
| 82XW0JPGMZ | 82XW0JPGMZ | statement | record (an 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.25983#EHG6 |
| 82Y0CGX0RX | 82Y0CGX0RX | statement | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordtimesrecursion |
| 82YEH07N4N | 82YEH07N4N | statement | record (an 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.21489#CYN3 |
| 82YGXRTZPD | 82YGXRTZPD | statement | open | open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:incons |
| 82YQ554ZZ5 | 82YQ554ZZ5 | statement | record (an 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.32174#6WXR |
| 82ZSHGJ03R | 82ZSHGJ03R | exercise | open | napkin tex/diffgeo/forms.tex#exercise-1 |
| 82ZSM1KKR1 | 82ZSM1KKR1 | statement | record (an 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#WTAL |
| 83088J5BYH | 83088J5BYH | statement | record (an 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.13852#EMNJ |
| 830DHVE91V | 830DHVE91V | statement | record (an 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.11210#C45H |
| 8313NDCNCB | 8313NDCNCB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.14561#9C0H |
| 831AY1E38M | 831AY1E38M | statement | record (an 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.12740#LIG6 |
| 831YEKD9RA | 831YEKD9RA | statement | record (an 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.33383#Y9TS |
| 83279AS2CS | 83279AS2CS | statement | record (an 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.15352#MD36 |
| 832YATJ3Q6 | 832YATJ3Q6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.07243#H826 |
| 833CKGPQGZ | 833CKGPQGZ | statement | record (an 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.18564#ZYW6 |
| 833TKE27HA | 833TKE27HA | statement | record (an 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.20758#L3VF |
| 83474VRC4P | 83474VRC4P | example | open | open_logic content/first-order-logic/natural-deduction/identity.tex#ex-2 |
| 8348BEQVBS | 8348BEQVBS | example | open | austin_ula src/section3-1.xml#example-2 |
| 83523XR152 | 83523XR152 | statement | record (an 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.14811#SIRZ |
| 8353HSH7B4 | 8353HSH7B4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.28861#G8FY |
| 836593ZFFV | 836593ZFFV | 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.15099#5736 |
| 837EP43KXC | 837EP43KXC | 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.26357#9DEU |
| 837ME04W0B | 837ME04W0B | statement | open | lebl_scv scv.tex#cor-7 |
| 837QP2MJJS | 837QP2MJJS | statement | record (an 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.12484#RQPO |
| 837TT87HDF | 837TT87HDF | statement | record (an 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#WW51 |
| 83813BGHNE | 83813BGHNE | statement | record (an 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.40260#QXF4 |
| 839CVRCHNC | 839CVRCHNC | statement | record (an 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.02672#3BIU |
| 839R5YCNYH | 839R5YCNYH | statement | record (an 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.10361#7GPL |
| 83A5AF1PB3 | 83A5AF1PB3 | statement | record (an 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#VCAH |
| 83A8TZST56 | 83A8TZST56 | 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.20025#76MY |
| 83AKSC4VJZ | 83AKSC4VJZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#V1ZE |
| 83AQSD7B6X | 83AQSD7B6X | statement | record (an 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.12329#M8H4 |
| 83AQX8QKE1 | 83AQX8QKE1 | statement | record (an 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.15344#QD07 |
| 83BS3YTVK3 | 83BS3YTVK3 | statement | open | open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#thm:decision-prob |
| 83C6ZVSP7Y | 83C6ZVSP7Y | statement | record (an 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#RMN9 |
| 83CNT47KH3 | 83CNT47KH3 | statement | record (an 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.06724#GJQN |
| 83D7BVYNTM | 83D7BVYNTM | exercise | open | austin_ula src/exercises/exercises2-1.xml#exercise-7 |
| 83DEFZZNZN | 83DEFZZNZN | 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.25457#O3R3 |
| 83DVVSWVER | 83DVVSWVER | statement | record (an 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.01411#37CO |
| 83E0GG3Y2R | 83E0GG3Y2R | statement | record (an 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.00589#QU6X |
| 83EDJJF20D | 83EDJJF20D | 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 1204.5958#RBTG |
| 83F0JHEFQZ | 83F0JHEFQZ | statement | record (an 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.40156#8C56 |
| 83FP2EA6HA | 83FP2EA6HA | statement | record (an 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.07180#SVX3 |
| 83G1NFRP42 | 83G1NFRP42 | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-8 |
| 83G1VA1NMA | 83G1VA1NMA | statement | record (an 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.00918#K9AY |
| 83G8G1PAGA | 83G8G1PAGA | 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.02506#EK0R |
| 83GD3WNQS8 | 83GD3WNQS8 | 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.37520#IT1K |
| 83GKD0JA9Y | 83GKD0JA9Y | proof | open | hott_book hlevels.tex#proof-39 |
| 83H3PS41R7 | 83H3PS41R7 | statement | record (an 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.10078#YQPS |
| 83HGZQ7KSG | 83HGZQ7KSG | statement | record (an 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.28794#4D6V |
| 83HKEETEDG | 83HKEETEDG | 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.16583#A6G8 |
| 83HNCQA545 | 83HNCQA545 | 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 2402.17852#FF5Z |
| 83J0TJMYEY | 83J0TJMYEY | unknown | open | arXiv 2106.06387#9YA2 |
| 83J8SZZ9TH | 83J8SZZ9TH | statement | record (an 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.10813#I7GH |
| 83K0HTPYC6 | 83K0HTPYC6 | statement | open | open_logic content/model-theory/interpolation/separation.tex#lem:sep2 |
| 83K1RE5NEB | 83K1RE5NEB | example | open | lebl_diffyqs ch-laplace.tex#example-9 |
| 83KGG5B0GS | 83KGG5B0GS | statement | record (an 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#49FU |
| 83KJ918WA1 | 83KJ918WA1 | statement | record (an 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.28185#LSQS |
| 83KK95NFVB | 83KK95NFVB | 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.31274#2Y1Y |
| 83M5NW9FR6 | 83M5NW9FR6 | 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.14450#6AWM |
| 83MNJPM4J2 | 83MNJPM4J2 | 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.37739#S9ZD |
| 83NPGK9HT0 | 83NPGK9HT0 | statement | record (an 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#9GMU |
| 83NYP1YXNH | 83NYP1YXNH | 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.37520#8G1F |
| 83NZT3WGY5 | 83NZT3WGY5 | statement | record (an 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.13745#MXC3 |
| 83P4DXK5S6 | 83P4DXK5S6 | statement | record (an 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.00267#KLDQ |
| 83QQ271K5X | 83QQ271K5X | statement | record (an 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.06644#SVDW |
| 83QZ0KBZ95 | 83QZ0KBZ95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0910.5574#Y74A |
| 83REGKE7S4 | 83REGKE7S4 | statement | record (an 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.22607#ROOP |
| 83RGKKVNNV | 83RGKKVNNV | statement | record (an 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#SQXW |