Inventory: Y
The rows of the inventory whose names start with Y. 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 701–800 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Y7YFZCF97G | Y7YFZCF97G | statement | open | lebl_ra ch-approximate.tex#prop:continuityofcomplex |
| Y7YGRRPRX6 | Y7YGRRPRX6 | unknown | open | |
| Y7Z5D31VZZ | Y7Z5D31VZZ | statement | record (an 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.14446#G07F |
| Y7ZE79DS9K | Y7ZE79DS9K | statement | record (an 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.11679#EAE4 |
| Y8087H7ZG6 | Y8087H7ZG6 | statement | record (an 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.28669#P01B |
| Y80TD1KWWA | Y80TD1KWWA | statement | record (an 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.04876#0EYS |
| Y80X74XP4K | Y80X74XP4K | definition | open | ernst_ibl MAAPressVersion/IndexingSets.tex#definition-1 |
| Y81HMK8JAP | Y81HMK8JAP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.02777#5ML8 |
| Y822MJCK63 | Y822MJCK63 | statement | record (an 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.16235#DWYN |
| Y8250QE53M | Y8250QE53M | statement | record (an 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.14045#7WOL |
| Y82N2CJYN4 | Y82N2CJYN4 | definition | open | napkin tex/topology/top-more.tex#definition-4 |
| Y82Q4952NR | Y82Q4952NR | example | open | austin_ula src/section4-2.xml#example-11 |
| Y83K2NPJFC | Y83K2NPJFC | 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 2605.24355#2COS |
| Y83WD6ARQY | Y83WD6ARQY | statement | record (an 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.24701#NECX |
| Y8526J3VJB | Y8526J3VJB | statement | record (an 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.05403#7L8K |
| Y85G200N8R | Y85G200N8R | statement | record (an 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.35320#67GM |
| Y865FDVGPB | Y865FDVGPB | statement | record (an 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.13241#R1GU |
| Y867M5KY5B | Y867M5KY5B | 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.28774#LUSH |
| Y86D8V7GHP | Y86D8V7GHP | statement | open | open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-4 |
| Y86M5GZC78 | Y86M5GZC78 | statement | record (an 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.24623#2NKF |
| Y86SFTGNMZ | Y86SFTGNMZ | 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 2302.13533#4R94 |
| Y87723V9AB | Y87723V9AB | statement | record (an 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.37112#UBDM |
| Y878AZ3SBX | Y878AZ3SBX | statement | record (an 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#FRA1 |
| Y87S6XKFMC | Y87S6XKFMC | statement | record (an 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#A5H4 |
| Y88080VY7R | Y88080VY7R | statement | record (an 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.13891#PEZ2 |
| Y880QWHSH1 | Y880QWHSH1 | 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.30086#RNGI |
| Y88AN3WJBJ | Y88AN3WJBJ | statement | record (an 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.27823#C75B |
| Y88C8Q91J0 | Y88C8Q91J0 | statement | record (an 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#9428 |
| Y88ERXDHDA | Y88ERXDHDA | statement | record (an 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.33421#B2ON |
| Y89NBDK5J0 | Y89NBDK5J0 | statement | record (an 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.08385#VO04 |
| Y89YEAMN23 | Y89YEAMN23 | 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.36922#0P0E |
| Y8AF3KAHT5 | Y8AF3KAHT5 | statement | record (an 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.17276#Q9N9 |
| Y8AP5R0GRE | Y8AP5R0GRE | statement | record (an 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.04809#C99J |
| Y8ASF67YNK | Y8ASF67YNK | statement | record (an 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.18324#CRZI |
| Y8AV63TPEP | Y8AV63TPEP | statement | record (an 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.26033#NB8M |
| Y8AVS4HKW6 | Y8AVS4HKW6 | statement | record (an 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.03497#6T0Z |
| Y8BB5783MD | Y8BB5783MD | statement | record (an 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.06463#H9BR |
| Y8CP0V1KJR | Y8CP0V1KJR | 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.08658#EDCT |
| Y8CVSFSPKP | Y8CVSFSPKP | statement | record (an 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.00135#R6A2 |
| Y8CYBXBF45 | Y8CYBXBF45 | statement | record (an 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.38396#L8O4 |
| Y8D2B7RDRK | Y8D2B7RDRK | statement | record (an 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.26017#334Q |
| Y8DBXH0K87 | Y8DBXH0K87 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1006.3331#SS12 |
| Y8DWN7495R | Y8DWN7495R | statement | record (an 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.26376#J6A0 |
| Y8EY6SVWTM | Y8EY6SVWTM | 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.01273#2WDN |
| Y8F4KHSZK8 | Y8F4KHSZK8 | statement | record (an 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.40096#LR2K |
| Y8FHW8ZWGF | Y8FHW8ZWGF | statement | record (an 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#FQ6G |
| Y8FX6WA3Y4 | Y8FX6WA3Y4 | statement | record (an 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.11997#B169 |
| Y8FY6608F7 | Y8FY6608F7 | statement | record (an 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#87ES |
| Y8G4MH1PAG | Y8G4MH1PAG | statement | record (an 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.21866#MD1A |
| Y8G5MHSHEV | Y8G5MHSHEV | statement | record (an 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.13671#O9UP |
| Y8G9M6ENHE | Y8G9M6ENHE | statement | record (an 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.32946#HMZU |
| Y8GG48KYNA | Y8GG48KYNA | 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.01915#25WG |
| Y8H3NT05WJ | Y8H3NT05WJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03461#ZZV6 |
| Y8H6R75WYQ | Y8H6R75WYQ | statement | record (an 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.12912#QGR4 |
| Y8H81ZN0RK | Y8H81ZN0RK | 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.17482#W7O8 |
| Y8J1B0NRC4 | Y8J1B0NRC4 | statement | record (an 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.05646#IWP3 |
| Y8J3AF4MQ5 | Y8J3AF4MQ5 | 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.16295#IXKK |
| Y8JDKXWVP4 | Y8JDKXWVP4 | statement | record (an 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.38772#K5WX |
| Y8JS2JV832 | Y8JS2JV832 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.14457#9EPI |
| Y8JYNF6EJZ | Y8JYNF6EJZ | statement | record (an 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.21121#IEER |
| Y8K42V6NHD | Y8K42V6NHD | statement | record (an 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.25880#2ARE |
| Y8KKHR5F45 | Y8KKHR5F45 | statement | record (an 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#JNU3 |
| Y8KNHDKKQ6 | Y8KNHDKKQ6 | 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.24845#E41L |
| Y8M7RQ1CCX | Y8M7RQ1CCX | statement | record (an 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.01498#1RZB |
| Y8NEME15TF | Y8NEME15TF | statement | record (an 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.35542#KA0F |
| Y8NFYRNNBP | Y8NFYRNNBP | 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.25973#G468 |
| Y8NJJG172W | Y8NJJG172W | statement | record (an 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.06806#R3JD |
| Y8NK9MAECX | Y8NK9MAECX | 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.15344#Y2VI |
| Y8PWBQZEWZ | Y8PWBQZEWZ | statement | record (an 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.10370#8IQY |
| Y8Q0QS21X4 | Y8Q0QS21X4 | statement | record (an 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#NLQK |
| Y8Q5N9TQEB | Y8Q5N9TQEB | statement | record (an 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.09900#TGDO |
| Y8QTGZMBZZ | Y8QTGZMBZZ | 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 2301.04933#ZD1E |
| Y8QVX3ATVE | Y8QVX3ATVE | 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.25468#YN2N |
| Y8QYH0N2SB | Y8QYH0N2SB | statement | record (an 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.17276#J1ZM |
| Y8RA0PFTEP | Y8RA0PFTEP | statement | record (an 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.25843#68SH |
| Y8RCTGJKD7 | Y8RCTGJKD7 | statement | record (an 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.19357#ZCTH |
| Y8RD0RCRDV | Y8RD0RCRDV | statement | record (an 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#GQAJ |
| Y8RYJB063G | Y8RYJB063G | statement | record (an 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#ZM0G |
| Y8S1CQJ7BP | Y8S1CQJ7BP | statement | record (an 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.26401#AMO5 |
| Y8S87CT2N4 | Y8S87CT2N4 | statement | record (an 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.36444#AILJ |
| Y8SR448NQG | Y8SR448NQG | 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.04870#AKXK |
| Y8T2KFYVYS | Y8T2KFYVYS | 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.39293#X5ZC |
| Y8VE4WF4DP | Y8VE4WF4DP | statement | open | ernst_ibl MAAPressVersion/FiniteSets.tex#theorem-1 |
| Y8VEFQ6G9K | Y8VEFQ6G9K | statement | record (an 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.07445#61CE |
| Y8W6N0PBFV | Y8W6N0PBFV | statement | record (an 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.13428#CN0E |
| Y8X26KM8FG | Y8X26KM8FG | statement | record (an 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#3QTW |
| Y8XWV9XYZC | Y8XWV9XYZC | statement | record (an 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.14914#51EZ |
| Y8YD2P9XRQ | Y8YD2P9XRQ | statement | record (an 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.03004#HXQS |
| Y8YMZJBYRM | Y8YMZJBYRM | statement | record (an 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.21337#4E70 |
| Y8ZQ7BW3BT | Y8ZQ7BW3BT | statement | record (an 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.02079#549Y |
| Y8ZY4CV6ZE | Y8ZY4CV6ZE | statement | record (an 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.07770#M50Y |
| Y90QMBPFP6 | Y90QMBPFP6 | statement | record (an 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.12669#2U0U |
| Y90ZM78BDP | Y90ZM78BDP | statement | record (an 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.03009#3D3I |
| Y910TCBQXF | Y910TCBQXF | statement | record (an 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.26262#I1RK |
| Y916QZVFD4 | Y916QZVFD4 | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-20 |
| Y91B2MGXPA | Y91B2MGXPA | statement | record (an 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.14278#8RJZ |
| Y91E6PVEVC | Y91E6PVEVC | 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 1904.08413#7DRR |
| Y92GCW6MSZ | Y92GCW6MSZ | statement | record (an 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#UCGF |
| Y93DN1XEJD | Y93DN1XEJD | statement | record (an 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.01599#9PQZ |
| Y93H1T69Q3 | Y93H1T69Q3 | statement | open | applied_combinatorics source/s_background_formal-num-sys.ptx#lem_sum0 |