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 2201–2300 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YRJFJYNR9Z | YRJFJYNR9Z | statement | record (an 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.02295#90XU |
| YRJGRYDJYY | YRJGRYDJYY | statement | record (an 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.28143#ZVP4 |
| YRK736DDXF | YRK736DDXF | proof | open | lebl_scv scv.tex#proof-78 |
| YRKZHY6CPZ | YRKZHY6CPZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1407.0548#2R35 |
| YRKZPE7D39 | YRKZPE7D39 | statement | record (an 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.17060#FAVN |
| YRMG9PBJVB | YRMG9PBJVB | example | open | open_logic content/first-order-logic/axiomatic-deduction/proving-things.tex#ex:identity |
| YRN5GMCFD5 | YRN5GMCFD5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.09049#8L8Q |
| YRNDGVKG5P | YRNDGVKG5P | statement | record (an 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.02061#3V6P |
| YRNY7BYJEY | YRNY7BYJEY | statement | record (an 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.13392#NCXN |
| YRNY9QFMQR | YRNY9QFMQR | statement | record (an 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.04730#X89U |
| YRPB0XSA5F | YRPB0XSA5F | statement | record (an 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#DKY6 |
| YRPPW506Y7 | YRPPW506Y7 | statement | record (an 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.26479#TVT4 |
| YRPZNTZGZC | YRPZNTZGZC | statement | record (an 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.30760#NSKN |
| YRQ2GND6AG | YRQ2GND6AG | statement | record (an 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.01868#LS5Q |
| YRQ4TFZNSD | YRQ4TFZNSD | statement | record (an 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#1LKC |
| YRQT7V8A5N | YRQT7V8A5N | statement | record (an 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.27360#7UVB |
| YRQYQ3MVVH | YRQYQ3MVVH | statement | record (an 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#1S1U |
| YRR45RP3Z5 | YRR45RP3Z5 | statement | record (an 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.31604#4E6W |
| YRR71PDZHZ | YRR71PDZHZ | statement | record (an 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.17139#0TR7 |
| YRRP8XTYCC | YRRP8XTYCC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0906.2853#FTT6 |
| YRS5FZ1DSM | YRS5FZ1DSM | statement | record (an 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.21494#FDOS |
| YRSMZXFPYQ | YRSMZXFPYQ | statement | record (an 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#SRXD |
| YRSNX2ZW43 | YRSNX2ZW43 | statement | record (an 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.02281#YMHS |
| YRSZNZ62TC | YRSZNZ62TC | statement | record (an 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#UTYZ |
| YRT4CE8NJ2 | YRT4CE8NJ2 | statement | record (an 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.27181#DH7S |
| YRT5T2JXDY | YRT5T2JXDY | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-5 |
| YRTQPFGMXK | YRTQPFGMXK | statement | record (an 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#XD36 |
| YRTX2NXDQ9 | YRTX2NXDQ9 | statement | record (an 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#H528 |
| YRVGWHX7PB | YRVGWHX7PB | statement | record (an 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.17875#23TG |
| YRVY4ZAEN2 | YRVY4ZAEN2 | statement | record (an 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#6EHK |
| YRVYMG1CDN | YRVYMG1CDN | statement | record (an 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.35632#CTR1 |
| YRWWNVP28H | YRWWNVP28H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.15212#ZC2D |
| YRX8N3JKX7 | YRX8N3JKX7 | statement | record (an 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.17408#VLSP |
| YRY5Y6N1T5 | YRY5Y6N1T5 | statement | record (an 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.04305#PFPX |
| YRYEMD3REG | YRYEMD3REG | statement | record (an 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#1G4Y |
| YRYV3WVN21 | YRYV3WVN21 | statement | record (an 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.20915#ISDD |
| YRZ95P18NE | YRZ95P18NE | statement | record (an 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.07114#K4QG |
| YRZAY776ZB | YRZAY776ZB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.12649#Y5IZ |
| YRZDMQ6538 | YRZDMQ6538 | statement | record (an 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.05672#8GME |
| YRZN1HAFE5 | YRZN1HAFE5 | statement | record (an 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.19464#XW7L |
| YS0GQN52RS | YS0GQN52RS | statement | record (an 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.28411#Z2R2 |
| YS0MGS7XBV | YS0MGS7XBV | statement | record (an 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.31249#Q49L |
| YS0RZGNZQA | YS0RZGNZQA | statement | record (an 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#NSP8 |
| YS11PC1FZY | YS11PC1FZY | 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.26337#S4BW |
| YS179BHYF5 | YS179BHYF5 | statement | record (an 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.1196#D3WT |
| YS1BWZX6TF | YS1BWZX6TF | statement | record (an 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.12619#8USC |
| YS1D5AJRBM | YS1D5AJRBM | statement | record (an 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#6OLW |
| YS1J9BNPWZ | YS1J9BNPWZ | statement | record (an 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#7P69 |
| YS21M2WCGM | YS21M2WCGM | statement | record (an 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.33590#AZ38 |
| YS3BV4J11P | YS3BV4J11P | statement | record (an 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.40191#T6ZJ |
| YS3MF7V32D | YS3MF7V32D | exercise | open | levin_dmoi ptx/sec_gt-paths.ptx#investigation-1 |
| YS3MM4YV8V | YS3MM4YV8V | statement | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#theorem-1 |
| YS3YEB59RV | YS3YEB59RV | statement | record (an 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.16883#CJXH |
| YS3ZWP981T | YS3ZWP981T | statement | record (an 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.33852#9HNM |
| YS42PQK2YP | YS42PQK2YP | statement | record (an 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.13817#T02H |
| YS495JXRAP | YS495JXRAP | statement | record (an 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.19861#575I |
| YS49NYGHD4 | YS49NYGHD4 | 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 2112.05010#9QV2 |
| YS4PHT364V | YS4PHT364V | statement | record (an 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.27420#0YKQ |
| YS515AV8VN | YS515AV8VN | 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 2409.03730#NJ8P |
| YS5QNXTEQF | YS5QNXTEQF | statement | record (an 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.19453#XUKT |
| YS5YH1GJCK | YS5YH1GJCK | 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 2208.07401#2W8U |
| YS610GBVC4 | YS610GBVC4 | statement | record (an 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.09578#J3GB |
| YS74NJF1FY | YS74NJF1FY | statement | record (an 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.16123#E15G |
| YS7RGDA55K | YS7RGDA55K | 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 1903.07030#RCHO |
| YS86GWRP48 | YS86GWRP48 | statement | record (an 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#R1Z2 |
| YS89BNPEWJ | YS89BNPEWJ | proof | open | lebl_ra ch-seq-ser.tex#proof-20 |
| YS89TFKN9Z | YS89TFKN9Z | statement | record (an 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.18226#BU29 |
| YS8AH2S4MB | YS8AH2S4MB | statement | record (an 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.07049#VQ3T |
| YS8ARNTKF4 | YS8ARNTKF4 | 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#7PQG |
| YS8T2JD1Q0 | YS8T2JD1Q0 | statement | record (an 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.16706#Q1ZU |
| YS97TPPMBF | YS97TPPMBF | statement | record (an 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.05539#XR1E |
| YS9BRBBN9M | YS9BRBBN9M | statement | record (an 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.35030#WZ40 |
| YS9C5CWQMX | YS9C5CWQMX | statement | record (an 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.14652#P9XQ |
| YSA5Z1JE8E | YSA5Z1JE8E | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-8 |
| YSB4D6BD8X | YSB4D6BD8X | exercise | open | austin_ula src/exercises/exercises1-4.xml#exercise-poly-fit |
| YSBW4F7T97 | YSBW4F7T97 | 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.21732#W6NE |
| YSC1222YM0 | YSC1222YM0 | 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.37524#95UG |
| YSC8G248YT | YSC8G248YT | statement | record (an 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.07718#5F32 |
| YSD1EKTFB6 | YSD1EKTFB6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2043#NB39 |
| YSDBGXRME6 | YSDBGXRME6 | statement | record (an 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#RDFN |
| YSDQ1QV7Y5 | YSDQ1QV7Y5 | statement | record (an 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#MCRT |
| YSE01P9AYX | YSE01P9AYX | statement | record (an 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#1745 |
| YSF4YF1FN0 | YSF4YF1FN0 | statement | record (an 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#3FD7 |
| YSFP7RRCKC | YSFP7RRCKC | statement | record (an 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.15313#OCDU |
| YSFQ8GBPNY | YSFQ8GBPNY | statement | record (an 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.05892#7R6H |
| YSFY26N63D | YSFY26N63D | statement | record (an 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#BXCA |
| YSGWD7DQB5 | YSGWD7DQB5 | statement | record (an 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.09319#QMSY |
| YSHHEWEKJA | YSHHEWEKJA | statement | record (an 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.09086#N0ZD |
| YSHJ6WABDM | YSHJ6WABDM | statement | record (an 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.29022#T8F8 |
| YSJE0Y0TQG | YSJE0Y0TQG | statement | record (an 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.06310#K25A |
| YSJHVYVWSS | YSJHVYVWSS | exercise | open | napkin tex/cats/categories.tex#exercise-5 |
| YSK03VV9BC | YSK03VV9BC | statement | record (an 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.07541#VT5D |
| YSKZ6P9ECA | YSKZ6P9ECA | 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.05193#NTNW |
| YSM38BHQTM | YSM38BHQTM | 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.31910#4TDU |
| YSM77N949F | YSM77N949F | example | open | open_logic content/first-order-logic/models-theories/theories.tex#ex-2 |
| YSN1TMQJBY | YSN1TMQJBY | statement | open | open_logic content/first-order-logic/tableaux/provability-consistency.tex#prop:provability-contr |
| YSNR8HSXHK | YSNR8HSXHK | statement | record (an 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.15316#0CZD |
| YSNT3RJX6S | YSNT3RJX6S | statement | record (an 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.17579#EA3C |
| YSP5N7JN36 | YSP5N7JN36 | 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 math/9802134#R286 |
| YSPA76AVTV | YSPA76AVTV | 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 2303.10963#Q9R4 |