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 20601–20700 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 88MYRG0SK0 | 88MYRG0SK0 | statement | record (an 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#JY4E |
| 88N5SFV4JP | 88N5SFV4JP | statement | record (an 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#W8WQ |
| 88NP0FBZQM | 88NP0FBZQM | statement | record (an 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.10546#9HHR |
| 88NX4XJDED | 88NX4XJDED | statement | record (an 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#NNI8 |
| 88PNDG89JY | 88PNDG89JY | statement | record (an 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.04252#DUDQ |
| 88PQJFM4F5 | 88PQJFM4F5 | statement | record (an 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.13076#ENJM |
| 88PXRTSXF5 | 88PXRTSXF5 | statement | record (an 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.05868#MDZE |
| 88QC0BGNBP | 88QC0BGNBP | statement | record (an 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.07451#WBDH |
| 88QJ88HSVW | 88QJ88HSVW | statement | record (an 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.20510#O5B8 |
| 88QWPN28SW | 88QWPN28SW | 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.22074#IHJK |
| 88QXKEDQFR | 88QXKEDQFR | definition | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#defn-1 |
| 88R4KTQ88B | 88R4KTQ88B | 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 2411.17227#VQ6Q |
| 88RCDXDF8V | 88RCDXDF8V | statement | record (an 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.06909#LT86 |
| 88RCPDB5S3 | 88RCPDB5S3 | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-7 |
| 88RVJ102DT | 88RVJ102DT | statement | record (an 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.35682#EGYG |
| 88SBQA754P | 88SBQA754P | exercise | open | napkin tex/alg-geom/sheaves.tex#exercise-1 |
| 88SGKRABCF | 88SGKRABCF | statement | record (an 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.39330#RSV0 |
| 88SHSV5GFY | 88SHSV5GFY | statement | record (an 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.40028#PSEK |
| 88SMDGF659 | 88SMDGF659 | statement | record (an 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.37706#MFID |
| 88SWV5YAT1 | 88SWV5YAT1 | statement | record (an 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.05688#1E5E |
| 88TH6SF978 | 88TH6SF978 | statement | record (an 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.09390#8BJK |
| 88TQZ326WQ | 88TQZ326WQ | statement | record (an 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.22291#6HB0 |
| 88TTGPQ98T | 88TTGPQ98T | statement | record (an 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#FZ99 |
| 88TWF9KZEE | 88TWF9KZEE | statement | record (an 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.29188#7PW1 |
| 88VP8WG1ZE | 88VP8WG1ZE | statement | record (an 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.06637#VDNJ |
| 88W7WD8DH2 | 88W7WD8DH2 | statement | record (an 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.07485#OPRD |
| 88WGP0TPK0 | 88WGP0TPK0 | proof | open | hott_book equivalences.tex#proof-6 |
| 88WQERRR2Q | 88WQERRR2Q | 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 1705.04310#W14K |
| 88XAVN833Y | 88XAVN833Y | statement | record (an 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#LAG2 |
| 88YQZNKFEE | 88YQZNKFEE | statement | record (an 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.07828#F72V |
| 88YZ0SC0HR | 88YZ0SC0HR | statement | record (an 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.29623#FK2S |
| 890GCC0166 | 890GCC0166 | statement | record (an 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.18544#L05I |
| 890SPFN4VC | 890SPFN4VC | 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.31907#O6A4 |
| 8913HSK4W2 | 8913HSK4W2 | statement | record (an 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.04068#52WU |
| 891C0RR3AS | 891C0RR3AS | statement | record (an 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#4SZK |
| 891KBSM91F | 891KBSM91F | statement | record (an 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.17412#RF8Y |
| 8922XVT2DT | 8922XVT2DT | statement | record (an 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.22040#F4QD |
| 89234GQV4P | 89234GQV4P | statement | record (an 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.37271#10HM |
| 8936TS9FCM | 8936TS9FCM | statement | record (an 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.14389#TUEO |
| 8939GPPVS6 | 8939GPPVS6 | statement | record (an 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.30544#MN1V |
| 893HXAYNV2 | 893HXAYNV2 | statement | record (an 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.31173#S0P2 |
| 893QN870WG | 893QN870WG | statement | record (an 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.12430#F83M |
| 893XRW8F3J | 893XRW8F3J | 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.25321#LMMO |
| 894M4MRQG6 | 894M4MRQG6 | statement | record (an 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.21322#7021 |
| 8953XXB820 | 8953XXB820 | statement | record (an 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#79BZ |
| 895R56F44B | 895R56F44B | 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.36334#SQPA |
| 89638AM5SX | 89638AM5SX | 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.21181#T40C |
| 896H0YE7AN | 896H0YE7AN | statement | record (an 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.07909#3V5Z |
| 896SK4GG5W | 896SK4GG5W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/9802134#E8G2 |
| 896YB0Z9Z0 | 896YB0Z9Z0 | statement | record (an 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.36509#VOG1 |
| 8979HGBBPF | 8979HGBBPF | 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 1001.0174#036A |
| 897RE0NC54 | 897RE0NC54 | statement | record (an 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#GUW3 |
| 8986Z97RNR | 8986Z97RNR | 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 2509.21444#KQ7K |
| 898HBVJF5Q | 898HBVJF5Q | statement | record (an 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#GW2E |
| 89AWHYMA9H | 89AWHYMA9H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.10697#3W2Y |
| 89BY2QC7S6 | 89BY2QC7S6 | statement | record (an 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.39274#2W5G |
| 89C4M1HXTC | 89C4M1HXTC | statement | record (an 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.40017#HQ8Y |
| 89CTW3K0VV | 89CTW3K0VV | 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.19260#D54Q |
| 89CVNBRXZH | 89CVNBRXZH | statement | record (an 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.38138#6PO0 |
| 89D2TERRMP | 89D2TERRMP | statement | record (an 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.33541#HXFV |
| 89D2WZ9QQV | 89D2WZ9QQV | statement | record (an 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.21752#X5HJ |
| 89DCST0EY9 | 89DCST0EY9 | statement | record (an 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.03661#EMKD |
| 89DMEZBWAR | 89DMEZBWAR | statement | record (an 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.34193#Y219 |
| 89E2SNVPA0 | 89E2SNVPA0 | statement | record (an 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#6RKE |
| 89EYC3BWW7 | 89EYC3BWW7 | statement | record (an 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#T265 |
| 89F9W1AA5Y | 89F9W1AA5Y | unknown | open | arXiv 2610.13680#BQTP |
| 89FDG58ZSM | 89FDG58ZSM | statement | record (an 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.01802#OSF8 |
| 89FFZNMNSN | 89FFZNMNSN | statement | record (an 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.32829#YJ3O |
| 89FV9HHSRY | 89FV9HHSRY | statement | record (an 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.01806#1BVK |
| 89GK8HW24F | 89GK8HW24F | statement | record (an 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.05299#TR7V |
| 89H4HDQEHG | 89H4HDQEHG | 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 2308.09645#71MH |
| 89HQVBYFNM | 89HQVBYFNM | proof | open | napkin tex/linalg/inner-form.tex#proof-4 |
| 89HWE6FEQB | 89HWE6FEQB | statement | record (an 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.28848#OYJ0 |
| 89J9VF3PEV | 89J9VF3PEV | statement | record (an 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#LHVO |
| 89JEKAN7VT | 89JEKAN7VT | statement | record (an 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.32832#00XK |
| 89KKKH7YTM | 89KKKH7YTM | statement | record (an 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#WEP7 |
| 89KMYTRWYB | 89KMYTRWYB | statement | record (an 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.21181#IW0E |
| 89KSVXHYGH | 89KSVXHYGH | statement | record (an 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.28552#3604 |
| 89KY90Q2X4 | 89KY90Q2X4 | statement | record (an 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.28295#K2E7 |
| 89M2Q4E4H6 | 89M2Q4E4H6 | statement | record (an 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#TWMG |
| 89MBP4YMJC | 89MBP4YMJC | statement | record (an 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#D1BJ |
| 89MRGM1QS5 | 89MRGM1QS5 | 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 2510.12502#BS2B |
| 89N3N8FGND | 89N3N8FGND | 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.26129#8K5I |
| 89NA7NP0KV | 89NA7NP0KV | 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 2507.13548#YO30 |
| 89NK0XMNN3 | 89NK0XMNN3 | exercise | open | napkin tex/diffgeo/stokes.tex#prob:partial_zero |
| 89NXJQ462H | 89NXJQ462H | statement | record (an 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.26713#PAZC |
| 89PE7BY33D | 89PE7BY33D | statement | record (an 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.36811#J188 |
| 89PGS7AS8K | 89PGS7AS8K | proof | open | open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-3 |
| 89QM14CBHR | 89QM14CBHR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.08714#K3HY |
| 89QZ4AYRN7 | 89QZ4AYRN7 | statement | record (an 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.02751#X2CE |
| 89R5TDK2MX | 89R5TDK2MX | statement | record (an 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.09544#X43C |
| 89RD2VVQS9 | 89RD2VVQS9 | 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.24580#8C5G |
| 89SSBJ9B78 | 89SSBJ9B78 | statement | record (an 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.39269#21FR |
| 89STG3TK8Y | 89STG3TK8Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.17066#WXLL |
| 89SXDQVG9D | 89SXDQVG9D | statement | record (an 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#E8RQ |
| 89T7AZN730 | 89T7AZN730 | statement | record (an 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#77GN |
| 89VTB22C62 | 89VTB22C62 | statement | open | hott_book hlevels.tex#prop:to_image_is_connected |
| 89W3STR5MZ | 89W3STR5MZ | statement | record (an 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.14502#UZPT |
| 89WJVEXTCA | 89WJVEXTCA | statement | record (an 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.20299#HU1T |
| 89WKFDRB92 | 89WKFDRB92 | statement | record (an 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.33651#DS9A |