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 1301–1400 of 3402.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YC1YPM6VXM | YC1YPM6VXM | statement | record (an 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.01653#AEDH |
| YC2EPXX6ZV | YC2EPXX6ZV | 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.19243#T6VQ |
| YC2HZ54PSD | YC2HZ54PSD | statement | record (an 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.34168#OLOK |
| YC2QZ564VH | YC2QZ564VH | statement | record (an 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.21403#S9ZC |
| YC3CE4FAKP | YC3CE4FAKP | 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#Z3TR |
| YC3D7HP773 | YC3D7HP773 | statement | record (an 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#SRVV |
| YC3GBEAKR5 | YC3GBEAKR5 | statement | record (an 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.30200#573E |
| YC3R1KH9B2 | YC3R1KH9B2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.03672#ZQSY |
| YC4KJX36BR | YC4KJX36BR | statement | record (an 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.07697#6J2Z |
| YC5BJ906YH | YC5BJ906YH | exercise | open | napkin tex/alg-NT/pell.tex#problem-2 |
| YC5T4CDYQR | YC5T4CDYQR | statement | record (an 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.18101#A58W |
| YC5ZV7FW1M | YC5ZV7FW1M | statement | record (an 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#YZZU |
| YC699FWQCS | YC699FWQCS | statement | record (an 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.32233#O6WS |
| YC6FGRP6YK | YC6FGRP6YK | statement | record (an 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.33238#9NU0 |
| YC6GNCN31M | YC6GNCN31M | statement | record (an 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#YIT7 |
| YC7CVR428M | YC7CVR428M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.07511#3Y7V |
| YC7Z5EYKPN | YC7Z5EYKPN | statement | record (an 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.25495#9TD7 |
| YC88RGCB0V | YC88RGCB0V | statement | record (an 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#5HOZ |
| YC8E0SR328 | YC8E0SR328 | statement | record (an 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#V7KH |
| YC8MSJWEYA | YC8MSJWEYA | statement | record (an 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.35404#R18N |
| YC8XN6727V | YC8XN6727V | statement | open | austin_ula src/section3-5.xml#proposition-nul-dim |
| YC98Q1XESH | YC98Q1XESH | statement | record (an 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.20916#0ZIJ |
| YC9E2WQAV7 | YC9E2WQAV7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1612.08394#PZIV |
| YC9KJWXVYY | YC9KJWXVYY | statement | record (an 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#GAPY |
| YC9M9NXKV5 | YC9M9NXKV5 | unknown | open | Wikidata Q14737094, MathWorld ForAll |
| YC9SH3ZXG9 | YC9SH3ZXG9 | statement | record (an 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.12612#NCFY |
| YC9V386XQ4 | YC9V386XQ4 | statement | record (an 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#WWBU |
| YCA0Z1PN2X | YCA0Z1PN2X | definition | open | hott_book categories.tex#ct:isocat |
| YCASZC6CPT | YCASZC6CPT | statement | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordinalmultiplicationisnice |
| YCAX5WQ8QT | YCAX5WQ8QT | statement | record (an 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.2051#DTZJ |
| YCBSABRXNG | YCBSABRXNG | statement | record (an 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.21568#DED0 |
| YCC5MW8RHA | YCC5MW8RHA | statement | record (an 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.12131#0WLY |
| YCC6GQRGF2 | YCC6GQRGF2 | statement | record (an 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.28336#6MUL |
| YCCM05A00J | YCCM05A00J | statement | record (an 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#SSTV |
| YCD7Q4CC8F | YCD7Q4CC8F | statement | record (an 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.14811#I53C |
| YCE59FS87C | YCE59FS87C | problem | open | Wikipedia Triangular billiards#P2KM |
| YCE8E6DAXJ | YCE8E6DAXJ | 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.17045#2BY5 |
| YCEKCQ8ANM | YCEKCQ8ANM | statement | record (an 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#Z35S |
| YCERH62HQP | YCERH62HQP | statement | record (an 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.07021#UBWN |
| YCF0533MWS | YCF0533MWS | 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#N97U |
| YCF7MP6DJN | YCF7MP6DJN | exercise | open | napkin tex/diffgeo/multivar.tex#problem-1 |
| YCFDFT9CS3 | YCFDFT9CS3 | statement | record (an 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.21960#NTPG |
| YCFKQP7E21 | YCFKQP7E21 | statement | record (an 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.14979#D4P2 |
| YCG245MD81 | YCG245MD81 | statement | record (an 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.18106#BO3L |
| YCG7JZ83ND | YCG7JZ83ND | definition | open | napkin tex/set-theory/zfc.tex#definition-5 |
| YCH0QYCFF2 | YCH0QYCFF2 | 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.17482#12SP |
| YCHMWXY76T | YCHMWXY76T | proof | open | open_logic content/set-theory/spine/rank.tex#proof-2 |
| YCHPP31YWN | YCHPP31YWN | 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.32816#3JZR |
| YCHR91AM6N | YCHR91AM6N | statement | record (an 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.22514#DGOY |
| YCHXF58QFF | YCHXF58QFF | statement | record (an 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.24484#K33D |
| YCJ7RZ24Q4 | YCJ7RZ24Q4 | statement | record (an 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.20345#5T1E |
| YCJA44ND20 | YCJA44ND20 | 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.16731#VWSO |
| YCJCD9393E | YCJCD9393E | 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.28803#QATX |
| YCJXH897EN | YCJXH897EN | statement | record (an 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.03373#VQ00 |
| YCK5J0BKV6 | YCK5J0BKV6 | 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.01247#65B6 |
| YCK9RSX7EZ | YCK9RSX7EZ | statement | record (an 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.12513#GIYV |
| YCKAE5K2C4 | YCKAE5K2C4 | statement | record (an 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.22288#89F6 |
| YCKWGAZTVS | YCKWGAZTVS | statement | record (an 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.18016#VU6V |
| YCMAZVJZMX | YCMAZVJZMX | statement | record (an 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.33241#EP5C |
| YCMNKB2J81 | YCMNKB2J81 | statement | record (an 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/0411039#I56Q |
| YCMPQQHBWB | YCMPQQHBWB | 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.36884#Y1TC |
| YCP7MYHD60 | YCP7MYHD60 | 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 2304.03611#278J |
| YCPMS0M8Q3 | YCPMS0M8Q3 | statement | record (an 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.11823#HXU5 |
| YCPN010VMG | YCPN010VMG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.06795#8HCS |
| YCPN75WB8E | YCPN75WB8E | statement | record (an 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.04516#T41B |
| YCPTG2X1JC | YCPTG2X1JC | statement | record (an 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.31274#OX6P |
| YCQ0KB2RT5 | YCQ0KB2RT5 | 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.07890#6LPN |
| YCQ8E6E3F1 | YCQ8E6E3F1 | statement | record (an 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#2CLF |
| YCQPH38Z5K | YCQPH38Z5K | statement | record (an 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#OAAT |
| YCQYJY8XHQ | YCQYJY8XHQ | 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.20306#LN24 |
| YCQYM0YNN4 | YCQYM0YNN4 | statement | record (an 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.33019#G8NN |
| YCRH536AAY | YCRH536AAY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.17009#ZRHX |
| YCRKAMHKDV | YCRKAMHKDV | 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.33162#NRS9 |
| YCSFC051VV | YCSFC051VV | statement | record (an 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.03437#F35Y |
| YCSR1EJNJX | YCSR1EJNJX | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-3 |
| YCT72AE2AV | YCT72AE2AV | statement | record (an 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.18618#DWAF |
| YCTCG0CJRT | YCTCG0CJRT | 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 2609.31365#ACC0 |
| YCVARVB5YJ | YCVARVB5YJ | statement | record (an 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.24051#6SXS |
| YCVFJN8BW3 | YCVFJN8BW3 | 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.09810#FXU6 |
| YCW0YPQM9P | YCW0YPQM9P | proof | open | open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-2 |
| YCWMK63QMQ | YCWMK63QMQ | statement | record (an 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.33805#3IZF |
| YCX0790A4K | YCX0790A4K | statement | record (an 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.37778#MPBD |
| YCXM19C1DA | YCXM19C1DA | statement | record (an 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.15881#S5IZ |
| YCY4FJW3CJ | YCY4FJW3CJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.01916#H6OG |
| YCY8HBAR7A | YCY8HBAR7A | statement | record (an 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.23685#RG2W |
| YCYVHPZMYP | YCYVHPZMYP | statement | record (an 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.29205#C5QT |
| YCZ3EVPPMJ | YCZ3EVPPMJ | 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.14240#2LHY |
| YCZ8XZXW1X | YCZ8XZXW1X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.15223#06QS |
| YCZG8BHFPE | YCZG8BHFPE | statement | record (an 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.40123#DZA3 |
| YCZNG3T7G2 | YCZNG3T7G2 | statement | record (an 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.02489#D6GO |
| YD012ZGR0S | YD012ZGR0S | statement | record (an 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.25477#UTS4 |
| YD01CRS3N4 | YD01CRS3N4 | statement | record (an 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.15489#25JI |
| YD07X7KAC4 | YD07X7KAC4 | statement | record (an 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.11974#EMDM |
| YD08DBXC2Y | YD08DBXC2Y | statement | record (an 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.06310#JDE1 |
| YD17P1D3X7 | YD17P1D3X7 | statement | record (an 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.19882#UH4M |
| YD1GZSZEX4 | YD1GZSZEX4 | statement | record (an 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.34289#0WHG |
| YD1S0DMM1F | YD1S0DMM1F | statement | record (an 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#EVGL |
| YD288W48CP | YD288W48CP | statement | record (an 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#BYQS |
| YD2FNMX7SF | YD2FNMX7SF | exercise | open | open_logic content/intuitionistic-logic/semantics/propositions.tex#prob-1 |
| YD2VR82M5W | YD2VR82M5W | statement | record (an 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#8IJN |