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 1201–1300 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YD9R9A1DJW | YD9R9A1DJW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.02207#4V1K |
| YDA0ANCJ1D | YDA0ANCJ1D | statement | record (an 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#7EM0 |
| YDA11HAA3A | YDA11HAA3A | 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.02106#M3FT |
| YDA548712T | YDA548712T | 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.14022#1L5T |
| YDAB13T37C | YDAB13T37C | statement | open | napkin tex/homology/cup-product.tex#theorem-7 |
| YDAENY8WB9 | YDAENY8WB9 | statement | record (an 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.38068#HPPV |
| YDAKEA4ZCA | YDAKEA4ZCA | statement | record (an 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.04325#D0W6 |
| YDAZV26A2G | YDAZV26A2G | statement | record (an 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.25367#P945 |
| YDB6N9ZP81 | YDB6N9ZP81 | 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.27078#VRKS |
| YDBPB87PVH | YDBPB87PVH | statement | record (an 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.18219#MVB7 |
| YDBSGFC2B7 | YDBSGFC2B7 | 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.09207#ATS9 |
| YDCPNZ9RQ5 | YDCPNZ9RQ5 | statement | record (an 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.09129#9M7U |
| YDCTQZR6V8 | YDCTQZR6V8 | statement | record (an 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.09739#23KR |
| YDE8E99H9R | YDE8E99H9R | statement | record (an 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.10583#IUWL |
| YDE9G1HRER | YDE9G1HRER | statement | record (an 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.37897#98S8 |
| YDEGG5S4RW | YDEGG5S4RW | statement | record (an 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.34946#YDOV |
| YDEH5H8NJ4 | YDEH5H8NJ4 | statement | record (an 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#V4LA |
| YDEK7Q2ZJT | YDEK7Q2ZJT | statement | record (an 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.28677#O4QH |
| YDEKECXD5D | YDEKECXD5D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.07961#K5AM |
| YDEZMVZG5Y | YDEZMVZG5Y | 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.07828#RG6H |
| YDFWDHZXKE | YDFWDHZXKE | statement | record (an 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.31615#Y8KT |
| YDG9VM7TV2 | YDG9VM7TV2 | statement | record (an 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.36181#Z0RB |
| YDGRE5WA4H | YDGRE5WA4H | statement | record (an 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#SJVU |
| YDGTVMZBRN | YDGTVMZBRN | statement | record (an 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.16779#CAOA |
| YDHQP12QCV | YDHQP12QCV | statement | record (an 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.16102#SCYE |
| YDHSY6VA1M | YDHSY6VA1M | statement | record (an 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.14455#1ME7 |
| YDJ2T62DE7 | YDJ2T62DE7 | statement | record (an 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.31276#DC8R |
| YDJ87KCW76 | YDJ87KCW76 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1701.00517#M2XE |
| YDM6P6TECS | YDM6P6TECS | statement | record (an 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.12047#JFOZ |
| YDMC9X9QYC | YDMC9X9QYC | statement | record (an 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.37698#1FMO |
| YDMD6SKC5Y | YDMD6SKC5Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.07470#VFR1 |
| YDP621PVKF | YDP621PVKF | statement | record (an 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.25960#ARU8 |
| YDPR3462C1 | YDPR3462C1 | 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.20386#VK9U |
| YDQD5XCFSS | YDQD5XCFSS | statement | record (an 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.09810#HLH6 |
| YDQG7CCJBX | YDQG7CCJBX | 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.17060#FP1J |
| YDQK37BZ1G | YDQK37BZ1G | statement | record (an 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#RM3Q |
| YDR38YBAGK | YDR38YBAGK | statement | record (an 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#JSFV |
| YDR8M187NH | YDR8M187NH | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-28 |
| YDRNS99W4Y | YDRNS99W4Y | exercise | open | lebl_diffyqs ch-systems.tex#exercise-15 |
| YDRS5YYQ9Y | YDRS5YYQ9Y | statement | record (an 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.06707#00EU |
| YDRSG6C3PX | YDRSG6C3PX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.13401#LA36 |
| YDRY25R3AP | YDRY25R3AP | statement | record (an 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.16491#W7FQ |
| YDRYW6W0ZG | YDRYW6W0ZG | statement | record (an 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.07122#OUPV |
| YDSSWBT2EK | YDSSWBT2EK | statement | record (an 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#3T49 |
| YDSZMM720Q | YDSZMM720Q | statement | record (an 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.31757#1FDG |
| YDTGNMT23N | YDTGNMT23N | statement | record (an 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.01267#LW0W |
| YDTN5S448D | YDTN5S448D | statement | record (an 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.35360#V49B |
| YDTTSN5HF6 | YDTTSN5HF6 | 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 2601.22681#435Q |
| YDV61GDYQ0 | YDV61GDYQ0 | 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.01802#GREA |
| YDVWPK6TSA | YDVWPK6TSA | 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.11157#B16L |
| YDW1G9VM6V | YDW1G9VM6V | statement | record (an 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.36613#B4ZL |
| YDWT0DXRZ4 | YDWT0DXRZ4 | statement | record (an 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.13532#Y6NQ |
| YDWY05GGK2 | YDWY05GGK2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.24424#X0V7 |
| YDX34F8DTF | YDX34F8DTF | statement | record (an 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.30323#NONP |
| YDX3AATJKC | YDX3AATJKC | statement | record (an 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.05184#1HAN |
| YDXCC8ME3J | YDXCC8ME3J | statement | record (an 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.01268#CC6R |
| YDXKK6TRYH | YDXKK6TRYH | statement | record (an 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.10243#LOOG |
| YDYDF59ME7 | YDYDF59ME7 | statement | record (an 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.24931#7228 |
| YDYTGQ2SSQ | YDYTGQ2SSQ | 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.32446#AZEU |
| YDZAFVKNJK | YDZAFVKNJK | 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.26896#35S3 |
| YDZD4N9RMT | YDZD4N9RMT | statement | record (an 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.20001#V5CQ |
| YDZZG6H5TM | YDZZG6H5TM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.05005#U89K |
| YE025CTFYW | YE025CTFYW | exercise | open | austin_ula src/exercises/exercises6-1.xml#exercise-10 |
| YE034N5KR7 | YE034N5KR7 | statement | record (an 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.38051#7QR7 |
| YE0YYRB4MZ | YE0YYRB4MZ | 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.10546#TJUQ |
| YE16VJN4NA | YE16VJN4NA | 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.33856#H91B |
| YE178PTVZQ | YE178PTVZQ | statement | record (an 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.09154#7E3X |
| YE1CT6RDHB | YE1CT6RDHB | statement | record (an 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.36410#021L |
| YE1SVXDGT7 | YE1SVXDGT7 | 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#S8BS |
| YE27Y2P92H | YE27Y2P92H | example | open | open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#ex-1 |
| YE2SZ9BFRT | YE2SZ9BFRT | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-25 |
| YE3F34EWHV | YE3F34EWHV | 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.08382#U9AV |
| YE3M8FFXAD | YE3M8FFXAD | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:plus minus less than or equal to abs value |
| YE3NB83GJ1 | YE3NB83GJ1 | statement | record (an 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.17520#JH14 |
| YE3NRTFPA7 | YE3NRTFPA7 | 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.30579#71CH |
| YE4F75D6AQ | YE4F75D6AQ | proof | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-1 |
| YE4HWV6FXJ | YE4HWV6FXJ | statement | record (an 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.25957#6476 |
| YE5DSCDE3H | YE5DSCDE3H | unknown | open | arXiv 2211.01586#LOJ6 |
| YE5FPX7PP1 | YE5FPX7PP1 | statement | record (an 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.35683#MTNW |
| YE6MKX3P0N | YE6MKX3P0N | statement | record (an 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.19010#9U5V |
| YE6Q5PQSRS | YE6Q5PQSRS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#U9IN |
| YE77CGZAXM | YE77CGZAXM | statement | record (an 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.10600#9LPM |
| YE7M5R93X1 | YE7M5R93X1 | statement | record (an 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.01919#KO0A |
| YE7TKEC91N | YE7TKEC91N | statement | record (an 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.12271#O9ZJ |
| YE821ZHWZ4 | YE821ZHWZ4 | 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 1712.02437#FMZ8 |
| YE85KH3R7W | YE85KH3R7W | statement | record (an 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/0301148#H39H |
| YE86XFDZE0 | YE86XFDZE0 | statement | record (an 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.08382#KBH3 |
| YE87QYB4Q8 | YE87QYB4Q8 | 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.39293#EKAC |
| YE8CE9QDFT | YE8CE9QDFT | statement | record (an 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.31523#6Y67 |
| YE8Q94YZ1T | YE8Q94YZ1T | statement | record (an 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.08581#LRNL |
| YE8TMT98DM | YE8TMT98DM | statement | record (an 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.29158#VVV9 |
| YE940YZ3B9 | YE940YZ3B9 | statement | record (an 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.35180#4MB5 |
| YE96NV6H1R | YE96NV6H1R | 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.20316#RIGW |
| YEA0TH4Y77 | YEA0TH4Y77 | statement | record (an 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.30097#3YQW |
| YEA72EN3QB | YEA72EN3QB | statement | record (an 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#03DW |
| YEAMB9GZEJ | YEAMB9GZEJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#Y9WB |
| year | WAPQFPW6MX | definition | open | Wikidata Q577, nLab year, ProofWiki Definition:Time/Unit/Year |
| YEAWVNZ1PC | YEAWVNZ1PC | 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.06644#VLIM |
| YEBMTN9G1X | YEBMTN9G1X | statement | record (an 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#Y63F |
| YECCHGNA8S | YECCHGNA8S | 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.32916#L0L3 |