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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 2401–2500 of 3402.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YP88NARVDT | YP88NARVDT | statement | record (an 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.21994#A7BO |
| YP8QEHHGF8 | YP8QEHHGF8 | statement | record (an 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/0406514#EBJS |
| YPA9K73G36 | YPA9K73G36 | statement | record (an 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#1JPL |
| YPAKVSEEEG | YPAKVSEEEG | statement | record (an 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.17737#B659 |
| YPAVBJ2GE6 | YPAVBJ2GE6 | 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.19854#VISI |
| YPBEMBGRD2 | YPBEMBGRD2 | statement | record (an 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#X5C4 |
| YPBVY3H8ZJ | YPBVY3H8ZJ | statement | record (an 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.16245#6067 |
| YPC9394E4Z | YPC9394E4Z | statement | record (an 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.13528#NFFY |
| YPCG1W5S7P | YPCG1W5S7P | statement | record (an 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.07352#JDMK |
| YPCMF4WWSQ | YPCMF4WWSQ | statement | record (an 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.04124#7YQD |
| YPCZ3T90F6 | YPCZ3T90F6 | 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.20607#M7DR |
| YPDFCD7HV9 | YPDFCD7HV9 | statement | record (an 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.36113#0YR5 |
| YPDX0WEYTB | YPDX0WEYTB | statement | record (an 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.22469#9WKA |
| YPDYBFBBK8 | YPDYBFBBK8 | 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 2610.19437#L23L |
| YPE6JMY9M3 | YPE6JMY9M3 | 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#0Y9T |
| YPF1WS8V0H | YPF1WS8V0H | statement | record (an 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.13100#LZPL |
| YPFB4D589B | YPFB4D589B | statement | record (an 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.05259#4HM6 |
| YPFGTNJGGZ | YPFGTNJGGZ | statement | record (an 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.16060#UDMA |
| YPFQJSHX8A | YPFQJSHX8A | statement | record (an 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.20683#AAKQ |
| YPFRX045M6 | YPFRX045M6 | statement | record (an 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#PTJA |
| YPG5F2WDKT | YPG5F2WDKT | 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 2610.10262#FF4R |
| YPGB4X4Z85 | YPGB4X4Z85 | 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.04694#TITB |
| YPGSK0HDW3 | YPGSK0HDW3 | 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 2610.21017#04EX |
| YPGXAVJ2MG | YPGXAVJ2MG | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-18 |
| YPH3SG232S | YPH3SG232S | statement | record (an 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.13464#SN9G |
| YPH6JPTEXB | YPH6JPTEXB | statement | record (an 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.00134#5J2L |
| YPHFETF5QK | YPHFETF5QK | statement | record (an 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.05066#U7V0 |
| YPJ1EFCH3D | YPJ1EFCH3D | statement | record (an 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.21298#WL2H |
| YPJQPVCQ0T | YPJQPVCQ0T | statement | record (an 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.20190#ELBT |
| YPJQV43TKF | YPJQV43TKF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#9FFW |
| YPK7KKXVZG | YPK7KKXVZG | 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.00144#M8JR |
| YPKBH8RR31 | YPKBH8RR31 | 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 2505.04593#D9AM |
| YPKM7JJQWX | YPKM7JJQWX | statement | record (an 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.07280#QI6J |
| YPKWGF8GT5 | YPKWGF8GT5 | proof | open | open_logic content/incompleteness/representability-in-q/undecidability.tex#proof-2 |
| YPM7XDPFT4 | YPM7XDPFT4 | statement | record (an 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.27694#HBUU |
| YPMJE8D9EF | YPMJE8D9EF | exercise | open | hott_book hlevels.tex#ex:acnm |
| YPMKBK1K1H | YPMKBK1K1H | 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.32903#3Q57 |
| YPN2Q4JRJB | YPN2Q4JRJB | statement | record (an 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#230Z |
| YPNAF5YDTP | YPNAF5YDTP | 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#GEC5 |
| YPNBTV4JGC | YPNBTV4JGC | 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.28669#TW76 |
| YPNTA6NEBZ | YPNTA6NEBZ | 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.35605#MJTO |
| YPNWXB7MY1 | YPNWXB7MY1 | statement | record (an 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.20480#8DB8 |
| YPP3KRD004 | YPP3KRD004 | statement | record (an 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.15403#UUG0 |
| YPPE1523BE | YPPE1523BE | 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 2104.00162#SUSA |
| YPPF58Y8R9 | YPPF58Y8R9 | 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.28669#2OXW |
| YPPM8C37H0 | YPPM8C37H0 | 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 2504.07573#70UG |
| YPPVEQBYSB | YPPVEQBYSB | statement | record (an 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.10790#LG04 |
| YPPX5JTSYW | YPPX5JTSYW | statement | record (an 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.06108#7MBM |
| YPQ35B9AWH | YPQ35B9AWH | definition | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#def:MaxCon |
| YPQRYZSJ6S | YPQRYZSJ6S | statement | record (an 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.07490#5D1S |
| YPR2DF1AY8 | YPR2DF1AY8 | statement | record (an 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.39747#BTOT |
| YPR4NTFD32 | YPR4NTFD32 | statement | record (an 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.15504#YUPT |
| YPS2FKMR06 | YPS2FKMR06 | statement | record (an 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.21305#EDJA |
| YPTG5T4BCS | YPTG5T4BCS | statement | record (an 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.03081#7AI4 |
| YPTWN3B294 | YPTWN3B294 | statement | record (an 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.12105#46S3 |
| YPVB84969D | YPVB84969D | statement | record (an 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.17325#OCZU |
| YPWG0Y19B5 | YPWG0Y19B5 | example | open | open_logic content/first-order-logic/tableaux/proving-things.tex#ex-2 |
| YPWNVMCRQN | YPWNVMCRQN | 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.20881#0GRS |
| YPWX2BM796 | YPWX2BM796 | example | open | lebl_ra ch-approximate.tex#example-17 |
| YPX8SDJ4Z2 | YPX8SDJ4Z2 | statement | record (an 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.18094#OMBX |
| YPXMWQ49JR | YPXMWQ49JR | statement | record (an 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.23804#MSYC |
| YPXN3D9567 | YPXN3D9567 | 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.35467#13AC |
| YPXWQNN9Y1 | YPXWQNN9Y1 | statement | record (an 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#XLJP |
| YPYXAA12M8 | YPYXAA12M8 | 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.30892#65BN |
| YPYZWAWV5G | YPYZWAWV5G | statement | record (an 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.07092#CK3K |
| YPZ82D1PKP | YPZ82D1PKP | 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.27800#BOP8 |
| YPZB5NMAVT | YPZB5NMAVT | statement | record (an 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.20972#PRQ3 |
| YPZM0PETWN | YPZM0PETWN | statement | record (an 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#LQU5 |
| YPZMPJ03HN | YPZMPJ03HN | statement | record (an 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.13884#K9FB |
| YPZVXG3FGJ | YPZVXG3FGJ | statement | record (an 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.11056#PA4M |
| YQ05JY25GT | YQ05JY25GT | statement | record (an 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.05216#H5D7 |
| YQ09FRX6CM | YQ09FRX6CM | statement | record (an 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.15648#8ZD0 |
| YQ0CTAP3WR | YQ0CTAP3WR | statement | record (an 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.15525#499E |
| YQ0EMG5EHA | YQ0EMG5EHA | statement | record (an 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.20991#JGTB |
| YQ0H6595DS | YQ0H6595DS | statement | record (an 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.24522#XKFS |
| YQ0VHN71SQ | YQ0VHN71SQ | statement | record (an 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.00409#KWKS |
| YQ15BY2BPN | YQ15BY2BPN | statement | record (an 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.20207#AB3W |
| YQ18KSBZBQ | YQ18KSBZBQ | 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 0809.4587#2L61 |
| YQ1WJ36HBK | YQ1WJ36HBK | statement | record (an 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.31216#EOE6 |
| YQ1WQYY78D | YQ1WQYY78D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.07461#PDDE |
| YQ2527SYEB | YQ2527SYEB | statement | record (an 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.22082#AZO9 |
| YQ2M7THB6J | YQ2M7THB6J | statement | record (an 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.29878#HYUR |
| YQ2Z15SFHX | YQ2Z15SFHX | 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.14278#V1OV |
| YQ39VX87AY | YQ39VX87AY | statement | record (an 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.25129#0GDL |
| YQ3ZSPMBG9 | YQ3ZSPMBG9 | example | open | austin_ula src/section6-3.xml#example-2 |
| YQ4384VGG5 | YQ4384VGG5 | statement | record (an 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.33263#LK40 |
| YQ43V0Z704 | YQ43V0Z704 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.05628#M0FB |
| YQ4H64CD3R | YQ4H64CD3R | 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.15217#KWDN |
| YQ4PX1P18M | YQ4PX1P18M | statement | record (an 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.04398#1MAX |
| YQ5EDZDS08 | YQ5EDZDS08 | 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#LDQQ |
| YQ5TDFRS3F | YQ5TDFRS3F | statement | record (an 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.30444#03B0 |
| YQ62C8K05D | YQ62C8K05D | statement | record (an 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.03856#VT47 |
| YQ6F1H7JKQ | YQ6F1H7JKQ | exercise | open | austin_ula src/exercises/exercises5-2.xml#exercise-3 |
| YQ6QCC3EVT | YQ6QCC3EVT | statement | record (an 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.09672#A76C |
| YQ6XP6EYGN | YQ6XP6EYGN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.05684#WZBX |
| YQ70326QQ4 | YQ70326QQ4 | statement | record (an 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.02790#PPCU |
| YQ77FNVP87 | YQ77FNVP87 | statement | record (an 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.18620#RNFL |
| YQ7BN548DS | YQ7BN548DS | 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 2610.22109#WZNR |
| YQ81ESEX7Z | YQ81ESEX7Z | example | open | levin_dmoi ptx/sec_intro-statements.ptx#example-4 |
| YQ82SE32XP | YQ82SE32XP | statement | record (an 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.11900#WQRH |