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 1101–1200 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| YD36XVX782 | YD36XVX782 | statement | record (an 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.12326#JCMA |
| YD3K1Z7B11 | YD3K1Z7B11 | statement | record (an 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.27641#E0YI |
| YD3P8KBTYA | YD3P8KBTYA | statement | record (an 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.28650#X4IJ |
| YD53QKDA8K | YD53QKDA8K | statement | record (an 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.33656#DZXM |
| YD56P48EPA | YD56P48EPA | 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.09078#53ZL |
| YD5FGRWH98 | YD5FGRWH98 | statement | record (an 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.28898#625Y |
| YD5WA6T27H | YD5WA6T27H | statement | record (an 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.16358#P28A |
| YD6GJ7DYET | YD6GJ7DYET | statement | record (an 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.28211#NY3G |
| YD6Y8JMRDF | YD6Y8JMRDF | statement | record (an 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.08723#5U66 |
| YD71HST4XQ | YD71HST4XQ | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-21 |
| YD738F5BR0 | YD738F5BR0 | statement | record (an 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.20577#Q1NG |
| YD776CJ1F5 | YD776CJ1F5 | 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.07673#GWII |
| YD7PHYT25G | YD7PHYT25G | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-39 |
| YD7VZ1GS4B | YD7VZ1GS4B | 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 2305.10921#BQBF |
| YD8AN4VA8W | YD8AN4VA8W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#6G8X |
| YD8BBMRN51 | YD8BBMRN51 | 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.11596#I0IU |
| YD8KX6AHZE | YD8KX6AHZE | 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.33476#JROG |
| YD8S105EDS | YD8S105EDS | statement | record (an 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.03231#J56B |
| YD9A2BGM4E | YD9A2BGM4E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.16706#U2M5 |
| YD9D8SB07A | YD9D8SB07A | statement | record (an 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.10930#FZ1D |