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 2701–2800 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YYJ2ZEAWX6 | YYJ2ZEAWX6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#QA03 |
| YYJ6V40E1F | YYJ6V40E1F | statement | record (an 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.32557#YQ1Y |
| YYJFFV8RVS | YYJFFV8RVS | statement | record (an 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.14821#H2NE |
| YYJM5Y6WJQ | YYJM5Y6WJQ | 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.08935#MQUF |
| YYJQRSC9HV | YYJQRSC9HV | statement | record (an 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.12295#JWHV |
| YYKSXA59N2 | YYKSXA59N2 | statement | record (an 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.14389#YR62 |
| YYM0JXPTFN | YYM0JXPTFN | statement | record (an 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.02672#6249 |
| YYM3RR08G7 | YYM3RR08G7 | 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.05529#9Y28 |
| YYNR3KFG3N | YYNR3KFG3N | statement | record (an 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.17227#QRCK |
| YYNRRS48EC | YYNRRS48EC | statement | record (an 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.07285#DDAW |
| YYNWNANZB9 | YYNWNANZB9 | statement | record (an 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.16853#H2DP |
| YYP38VW3J9 | YYP38VW3J9 | statement | record (an 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.11902#WIH5 |
| YYPESRW8AA | YYPESRW8AA | exercise | open | open_logic content/computability/computability-theory/no-universal-function.tex#prob-1 |
| YYPMPQYVBJ | YYPMPQYVBJ | exercise | open | napkin tex/alg-geom/mor-scheme.tex#ques-4 |
| YYQYPS4K4F | YYQYPS4K4F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.07116#CDCL |
| YYR5FBTVCY | YYR5FBTVCY | statement | record (an 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#FW85 |
| YYRAZ36DYJ | YYRAZ36DYJ | 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 2608.23797#IAUM |
| YYRZ9HDAEJ | YYRZ9HDAEJ | 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.21005#F1DG |
| YYS5656XGJ | YYS5656XGJ | statement | record (an 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.31327#H9ZJ |
| YYT00VEVD4 | YYT00VEVD4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.0817#PIY7 |
| YYTW9WBX3D | YYTW9WBX3D | statement | record (an 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.0174#CXED |
| YYV7AR2GCF | YYV7AR2GCF | statement | record (an 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#A00B |
| YYVR1KEP0F | YYVR1KEP0F | statement | record (an 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#FEFL |
| YYVS06P7GT | YYVS06P7GT | statement | record (an 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.18223#NSM6 |
| YYVW6TJCGT | YYVW6TJCGT | 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.02689#ZNDQ |
| YYW0GN0B19 | YYW0GN0B19 | statement | record (an 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.02798#I2FY |
| YYW2GM388Q | YYW2GM388Q | statement | open | hott_book homotopy.tex#thm:freudlemma |
| YYW4SSF9YR | YYW4SSF9YR | statement | record (an 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.31304#HZSI |
| YYW791BF53 | YYW791BF53 | statement | record (an 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.30823#JVAI |
| YYWH345EKJ | YYWH345EKJ | example | open | lebl_ra ch-riemann.tex#example-6 |
| YYX72RDQXV | YYX72RDQXV | 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.24701#0O8O |
| YYXCMMWDV4 | YYXCMMWDV4 | statement | record (an 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.03661#YWWG |
| YYXCNVQ7HZ | YYXCNVQ7HZ | statement | record (an 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.09882#E72K |
| YYXGTGHXBZ | YYXGTGHXBZ | statement | record (an 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.07927#IJ72 |
| YYXVRQJWSK | YYXVRQJWSK | statement | record (an 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.18195#I4TA |
| YYXX8NYQN9 | YYXX8NYQN9 | 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.13957#8CA4 |
| YYXYJRRKJ6 | YYXYJRRKJ6 | statement | record (an 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.09599#NAQL |
| 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 |
| 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 |