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 3301–3400 of 3402.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YYYZ7447FA | YYYZ7447FA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.02022#NYDC |
| YYZ7NBS6JB | YYZ7NBS6JB | statement | record (an 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.23994#ACY7 |
| YYZZC7EMS5 | YYZZC7EMS5 | example | open | open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-3 |
| YYZZRBQYNK | YYZZRBQYNK | statement | record (an 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#VIZP |
| YZ03DER3SJ | YZ03DER3SJ | statement | open | open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#thm-1 |
| YZ0HNHTBR6 | YZ0HNHTBR6 | statement | record (an 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.15700#AAFK |
| YZ0NBY3N3T | YZ0NBY3N3T | statement | record (an 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.37337#ZRX2 |
| YZ1ER7KHRK | YZ1ER7KHRK | statement | record (an 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.24569#JKJ4 |
| YZ2MPWGE76 | YZ2MPWGE76 | statement | record (an 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.03175#LW0C |
| YZ35BE2ACF | YZ35BE2ACF | statement | record (an 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.13798#CCBE |
| YZ376ZR7ZN | YZ376ZR7ZN | 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.08193#ZMZ7 |
| YZ3D20EC3Z | YZ3D20EC3Z | statement | record (an 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.33841#ML8H |
| YZ3G2G611B | YZ3G2G611B | statement | record (an 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.17883#HTGS |
| YZ3KF1Z0BQ | YZ3KF1Z0BQ | statement | record (an 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.24412#LNRT |
| YZ3QWHT6E6 | YZ3QWHT6E6 | statement | record (an 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#2LVO |
| YZ48QBP9RK | YZ48QBP9RK | statement | open | hott_book categories.tex#ct:idtounitary |
| YZ4T16SE3K | YZ4T16SE3K | 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.21501#QDLI |
| YZ4YQ0VWA8 | YZ4YQ0VWA8 | statement | record (an 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#GZEE |
| YZ5X8NKJSC | YZ5X8NKJSC | statement | record (an 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.07001#99T8 |
| YZ6AN798BC | YZ6AN798BC | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:Kvalid |
| YZ70JRCHXN | YZ70JRCHXN | statement | open | austin_ula src/section4-3.xml#prop-diagonalizability |
| YZ7WA6CJKF | YZ7WA6CJKF | statement | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#thm:cut-elim-G3c-topmost |
| YZ7Z4KA6JX | YZ7Z4KA6JX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.14312#VU6Z |
| YZ82TCW1Q8 | YZ82TCW1Q8 | statement | open | hott_book hlevels.tex#cor:totrunc-is-connected |
| YZ8QK68SCF | YZ8QK68SCF | statement | record (an 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.08664#ZIDU |
| YZ8VP3E97P | YZ8VP3E97P | example | open | applied_combinatorics source/s_probability_central-tendency.ptx#example-3 |
| YZ9F0G6M59 | YZ9F0G6M59 | 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.38068#P3TT |
| YZ9J54EM3W | YZ9J54EM3W | statement | record (an 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#2WH1 |
| YZ9KA609C4 | YZ9KA609C4 | definition | open | napkin tex/cats/functors.tex#definition-1 |
| YZ9MBSXKNP | YZ9MBSXKNP | statement | record (an 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.31243#Q77E |
| YZ9N4628TE | YZ9N4628TE | statement | record (an 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.37368#M4WA |
| YZ9W0WY794 | YZ9W0WY794 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.18704#GCLK |
| YZAE0H6P63 | YZAE0H6P63 | statement | open | lebl_scv scv.tex#lemma-4 |
| YZAPR7PAAQ | YZAPR7PAAQ | statement | record (an 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.12480#PZAR |
| YZBDS3F5G7 | YZBDS3F5G7 | statement | record (an 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#8CQV |
| YZBM7Z8XJV | YZBM7Z8XJV | statement | record (an 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#HB07 |
| YZC6HGQM56 | YZC6HGQM56 | statement | record (an 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.10481#3NQ0 |
| YZC737R9V7 | YZC737R9V7 | statement | record (an 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.02065#08HQ |
| YZCDKJMMWG | YZCDKJMMWG | statement | record (an 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.20422#QU94 |
| YZCJ3KBA5Q | YZCJ3KBA5Q | statement | record (an 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#G4NG |
| YZCXQN4MXM | YZCXQN4MXM | statement | record (an 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.10840#G6P9 |
| YZDWMWK5KP | YZDWMWK5KP | statement | record (an 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.21533#5OKT |
| YZE45WF03T | YZE45WF03T | statement | record (an 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.03424#MBGG |
| YZEAWSPECS | YZEAWSPECS | proof | open | lebl_ra ch-seq-ser.tex#proof-15 |
| YZEFSP1T1J | YZEFSP1T1J | statement | record (an 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.30819#BYW7 |
| YZEVZQTS7V | YZEVZQTS7V | statement | record (an 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.29152#YH1B |
| YZF0FCBMEP | YZF0FCBMEP | statement | record (an 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.10525#LXWB |
| YZF4R9QRSE | YZF4R9QRSE | statement | record (an 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.21921#DKP7 |
| YZF8TJACNC | YZF8TJACNC | statement | record (an 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#NT1D |
| YZF9FTG44R | YZF9FTG44R | statement | record (an 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#9IAQ |
| YZFJ83ANT3 | YZFJ83ANT3 | exercise | open | open_logic content/first-order-logic/natural-deduction/proving-things.tex#prob-1 |
| YZFNH3X270 | YZFNH3X270 | statement | record (an 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.06541#8CHX |
| YZFQR5C42S | YZFQR5C42S | statement | record (an 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.28297#LAQF |
| YZFTR5HHPN | YZFTR5HHPN | statement | record (an 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.31126#JAV3 |
| YZFZVYPVZB | YZFZVYPVZB | 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 2312.06581#ADRB |
| YZG830NMET | YZG830NMET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.06334#3NXX |
| YZGHFDYV71 | YZGHFDYV71 | statement | record (an 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.05703#ZHHF |
| YZGRB1JZJB | YZGRB1JZJB | statement | record (an 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#WM74 |
| YZHGAJP2B6 | YZHGAJP2B6 | statement | record (an 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.28323#NCH7 |
| YZHQSYEY5N | YZHQSYEY5N | 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.35691#O9UV |
| YZJ6NQDEK8 | YZJ6NQDEK8 | statement | record (an 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.11517#FSIB |
| YZJA4YQ0KS | YZJA4YQ0KS | statement | open | open_logic content/set-theory/cardinals/cardsasords.tex#lem:CardinalsBehaveRight |
| YZKMXCNV6G | YZKMXCNV6G | statement | record (an 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.03517#GJ74 |
| YZMBE4VCWM | YZMBE4VCWM | 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.01433#XV3Z |
| YZME5MHV9Z | YZME5MHV9Z | statement | record (an 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.16875#JXYR |
| YZMYCPGZEK | YZMYCPGZEK | 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.11545#NFHU |
| YZNFJ0T2J9 | YZNFJ0T2J9 | statement | record (an 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#SAV2 |
| YZP0NVBJZA | YZP0NVBJZA | statement | record (an 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#DF1Q |
| YZP2ED2MHH | YZP2ED2MHH | statement | record (an 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#GY5P |
| YZPEN3YXHY | YZPEN3YXHY | statement | record (an 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.28824#7Z34 |
| YZPR401TB5 | YZPR401TB5 | statement | record (an 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.11336#U644 |
| YZQJG9WWQN | YZQJG9WWQN | statement | record (an 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.10773#4YLS |
| YZQPCQMAKP | YZQPCQMAKP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4254#GQ1H |
| YZQQQ6KF4B | YZQQQ6KF4B | 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#ZSNG |
| YZQXMNEG8Y | YZQXMNEG8Y | statement | record (an 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.04772#1LVD |
| YZRNBYRC0D | YZRNBYRC0D | statement | record (an 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.29227#RF2U |
| YZS63V7JTN | YZS63V7JTN | statement | record (an 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.18312#KBYY |
| YZSN1FSE8T | YZSN1FSE8T | 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 2106.11898#SJN7 |
| YZSW2ZVB64 | YZSW2ZVB64 | statement | record (an 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.25111#3TO8 |
| YZT044SYWS | YZT044SYWS | statement | record (an 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.28664#306Y |
| YZTJ8PPMGN | YZTJ8PPMGN | 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.38030#H47S |
| YZV5CGFH81 | YZV5CGFH81 | statement | record (an 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.12479#R2K3 |
| YZVN2GZRST | YZVN2GZRST | statement | record (an 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#ZWB1 |
| YZVSZYC5B4 | YZVSZYC5B4 | statement | record (an 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.08912#XH60 |
| YZVT45MGWM | YZVT45MGWM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#G3VH |
| YZVW033FEX | YZVW033FEX | 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.36309#ZF7C |
| YZWKMMB4W8 | YZWKMMB4W8 | definition | open | ernst_ibl MAAPressVersion/IntroToLogic.tex#definition-2 |
| YZX5HYXWDJ | YZX5HYXWDJ | 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.09206#J6IC |
| YZX99GDNFH | YZX99GDNFH | statement | record (an 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.0068#ZVVK |
| YZXKEYRE8D | YZXKEYRE8D | 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 2102.10460#8RLU |
| YZXV65VCV3 | YZXV65VCV3 | 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.18390#NY8T |
| YZXWKSNXZ6 | YZXWKSNXZ6 | statement | record (an 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#LRF7 |
| YZXX0MQ9AC | YZXX0MQ9AC | statement | record (an 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#J4F3 |
| YZYCDXHKYH | YZYCDXHKYH | statement | record (an 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#WFM6 |
| YZYSC3WX6H | YZYSC3WX6H | statement | record (an 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#5EDZ |
| YZZ55C9CQX | YZZ55C9CQX | statement | record (an 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.20758#GZXK |
| YZZ67K4D7V | YZZ67K4D7V | statement | record (an 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.00934#52PD |
| YZZ7BR3C1W | YZZ7BR3C1W | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-37 |
| YZZEQZD740 | YZZEQZD740 | statement | record (an 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.27103#4WNZ |
| YΔ- and ΔY-transformation | ZYERDDC99N | definition | open | Wikipedia YΔ- and ΔY-transformation, Wikidata Q123311675 |