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 901–1000 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YAA0AS8Z8S | YAA0AS8Z8S | statement | record (an 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.12649#K1LX |
| YAA6CZVH3T | YAA6CZVH3T | 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.21475#WJB1 |
| YAA6MENDN5 | YAA6MENDN5 | statement | record (an 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.26191#XVYM |
| YAADMJSBQG | YAADMJSBQG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.20176#W175 |
| YAAG3T6PCV | YAAG3T6PCV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#5YZ0 |
| YAAS1XQS21 | YAAS1XQS21 | statement | record (an 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.27699#81JX |
| YAAY1DQJXW | YAAY1DQJXW | statement | record (an 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.14374#16ZT |
| YABB594GQY | YABB594GQY | statement | open | lebl_ra ch-multivar-int.tex#mv:intbound:prop |
| YABW33KHDC | YABW33KHDC | statement | record (an 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.25307#ZXV6 |
| YAC07SGDFE | YAC07SGDFE | 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.21868#HXJD |
| YACDZKTBAE | YACDZKTBAE | statement | record (an 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.27125#U5JU |
| YACKFRJCSM | YACKFRJCSM | 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.14985#VX48 |
| YAD6JDCX58 | YAD6JDCX58 | statement | open | hott_book hlevels.tex#cor-3 |
| YADMEPR5Z4 | YADMEPR5Z4 | statement | record (an 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.33512#HXGZ |
| YADMXHCVZD | YADMXHCVZD | exercise | open | open_logic content/proof-theory/normalization/permutations.tex#prob-2 |
| YADXFGXCEH | YADXFGXCEH | 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.07122#KI92 |
| YAE5GHCXZJ | YAE5GHCXZJ | statement | record (an 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.33406#UDO7 |
| Yael Karshon | GQ0YKBSJN8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30336000, nLab Yael Karshon |
| YAF2YCPCA3 | YAF2YCPCA3 | statement | record (an 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.01919#21M5 |
| YAF6XH9G9N | YAF6XH9G9N | exercise | open | open_logic content/many-valued-logic/three-valued-logics/goedel.tex#prob-2 |
| YAFS4SK1GR | YAFS4SK1GR | example | open | lebl_diffyqs ch-laplace.tex#example-20 |
| YAG600XB44 | YAG600XB44 | 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.27056#SZCW |
| YAGAWCS7ZG | YAGAWCS7ZG | statement | open | hott_book equivalences.tex#UA-eqv-hom-eqv |
| YAGV0TS5J6 | YAGV0TS5J6 | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-1 |
| YAGWDVYMGN | YAGWDVYMGN | 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.03612#DYPF |
| YAGWNHFQCK | YAGWNHFQCK | 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.12983#EZFL |
| YAH05EZMFD | YAH05EZMFD | statement | record (an 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.12496#FXP2 |
| YAHM374Z2A | YAHM374Z2A | statement | open | napkin tex/linalg/vector-space.tex#theorem-1 |
| YAHTNCDHC2 | YAHTNCDHC2 | exercise | open | ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-2 |
| Yahtzee | YEEMJF24SP | unknown | open | Wikidata Q696920, MathWorld Yahtzee |
| YAJ8V31WN9 | YAJ8V31WN9 | statement | record (an 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.35287#F9V3 |
| YAK3KFF4HM | YAK3KFF4HM | statement | record (an 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.03628#744O |
| Yakov Perelman | RJKPGQ8NX8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q559531, ProofWiki Mathematician:Yakov_Isidorovich_Perelman |
| Yakov Sinai | 58BGWFJ693 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q950897, ProofWiki Mathematician:Yakov_Grigorevich_Sinai |
| YAKPQKY64F | YAKPQKY64F | 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.13528#EC0P |
| YAKSTPV6HE | YAKSTPV6HE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.11125#QS2O |
| Yamada , Vogel | BC75S4M6XA | statement | record (an 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.18803#PYOO |
| Yamagishi | T829JCDB3T | statement | record (an 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.16962#RSGI |
| Yamaki | TXHXMXWEF3 | statement | record (an 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.14689#C8AT |
| YAMCT3KSYF | YAMCT3KSYF | statement | record (an 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.15421#FHKL |
| Yan Soibelman | ES5S7JZB9C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q8048171, nLab Yan Soibelman |
| YANEHKPZKQ | YANEHKPZKQ | statement | record (an 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.36444#GMQT |
| Yang , Conjecture 1 | 2R8G2CSEHG | 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.29898#2SN4 |
| Yang Hui | MWC1AVQAMH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q574521, ProofWiki Mathematician:Yang_Hui |
| Yang, Zeng and Zhang\chg | 20853N79VY | statement | record (an 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.24353#CNOU |
| Yang-Hui He | 324S8C0G0B | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q64038662, nLab Yang-Hui He |
| Yangian | 195D0VNXHR | unknown | open | Wikidata Q8048582, nLab Yangian |
| Yang–Mills existence and mass gap | 8JNH0MFS2K | statement | open | Wikidata Q1078496, ProofWiki Yang-Mills_Existence_and_Mass_Gap |
| Yang–Mills instanton | 786PEF5TPC | unknown | open | Wikidata Q55982727, nLab Yang-Mills instanton |
| Yang–Mills theory | QK9S8FPM67 | definition | open | Wikidata Q1192873, nLab Yang-Mills theory, ProofWiki Definition:Yang-Mills_Theory |
| Yano semi-symmetric metric connection | QZARD7SS97 | 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.00078#1SF0 |
| YANPWH64Y1 | YANPWH64Y1 | statement | record (an 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.14060#MHB2 |
| YAP08V86PY | YAP08V86PY | statement | record (an 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.21655#QVJF |
| YAP25RJCFS | YAP25RJCFS | statement | record (an 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.08252#BJMO |
| YAP2ZG06P8 | YAP2ZG06P8 | statement | record (an 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.06152#IZQ2 |
| YAQE0RXSCR | YAQE0RXSCR | exercise | open | napkin tex/alg-geom/affine-var.tex#ques-2 |
| YAQP1DA619 | YAQP1DA619 | statement | record (an 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.32174#55PT |
| YAQR9QYQ77 | YAQR9QYQ77 | statement | open | napkin tex/homology/cup-product.tex#theorem-4 |
| YARREG8Y0P | YARREG8Y0P | statement | record (an 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.27799#8CPS |
| YAS8RTRN1B | YAS8RTRN1B | 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 2204.04317#O3GK |
| Yasumasa Kanada | 32BGGKTYPY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q722634, ProofWiki Mathematician:Yasumasa_Kanada |
| Yasuyuki Kawahigashi | DBRJ7PZ69X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q11553964, nLab Yasuyuki Kawahigashi |
| YATFBVXWAS | YATFBVXWAS | statement | record (an 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.13328#1CMT |
| YAV4E970CK | YAV4E970CK | statement | record (an 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#KSFL |
| YAV9F8KYGD | YAV9F8KYGD | statement | record (an 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.10247#ML81 |
| YAVS983REN | YAVS983REN | 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 2601.10958#H5NW |
| Yaw interpolation and common support | CAFAK4S088 | statement | record (an 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.10408#4HLV |
| YAW2NJCSQ1 | YAW2NJCSQ1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1012.0963#MR71 |
| YAWP75GN1Z | YAWP75GN1Z | example | open | lebl_scv scv.tex#example-3 |
| YAWS9524NX | YAWS9524NX | statement | record (an 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.36186#YGC8 |
| YAWXVX2902 | YAWXVX2902 | statement | record (an 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#AT2T |
| YAX80S9TGG | YAX80S9TGG | statement | open | open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#lem:fseq-init |
| YAXK0YYP7C | YAXK0YYP7C | statement | record (an 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.27181#BSW0 |
| YAXYTWJ6BE | YAXYTWJ6BE | statement | record (an 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.12633#5MJL |
| YAYKSMZQ0C | YAYKSMZQ0C | statement | record (an 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.07040#QAZK |
| YAYSN5CWC7 | YAYSN5CWC7 | statement | record (an 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#7JKX |
| YAYXQ1ZQC1 | YAYXQ1ZQC1 | statement | record (an 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.11785#6FF8 |
| YAZXMR876S | YAZXMR876S | statement | record (an 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.39430#DJ4U |
| Yaël Frégier | D1WXJDF10Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102330338, nLab Yael Fregier |
| YB0CTQB3G6 | YB0CTQB3G6 | exercise | open | levin_dmoi ptx/sec_gt-coloring.ptx#investigation-2 |
| YB0FMJ36Z3 | YB0FMJ36Z3 | statement | record (an 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#VBBD |
| YB1044H304 | YB1044H304 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.29838#2MDJ |
| YB1G4HFW75 | YB1G4HFW75 | 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 2408.13548#PLQ7 |
| YB1XYSATS2 | YB1XYSATS2 | statement | record (an 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.13792#BB1N |
| YB2KKJA860 | YB2KKJA860 | 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 2503.12486#EA81 |
| YB3M20E6T3 | YB3M20E6T3 | example | open | napkin tex/measure/martingale.tex#example-6 |
| YB3MM5G3CM | YB3MM5G3CM | statement | record (an 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.09001#7ISI |
| YB4AA6B7EK | YB4AA6B7EK | statement | record (an 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.31604#86B9 |
| YB4J4RJHWF | YB4J4RJHWF | statement | record (an 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.12481#1BCT |
| YB4JTWD5CP | YB4JTWD5CP | statement | record (an 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.19309#HJ77 |
| YB4N5SJ8H8 | YB4N5SJ8H8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.04502#X61Y |
| YB4S3R1QHX | YB4S3R1QHX | exercise | open | austin_ula src/section7-1.xml#activity-1 |
| YB4YBK0YBN | YB4YBK0YBN | statement | record (an 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#Q5H8 |
| YB5BD8EGES | YB5BD8EGES | 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.18302#YBXK |
| YB6CQKF1MP | YB6CQKF1MP | statement | record (an 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.01928#D3EO |
| YB6ZF5W049 | YB6ZF5W049 | proof | open | open_logic content/model-theory/models-of-arithmetic/standard-models.tex#proof-3 |
| YB7A680341 | YB7A680341 | statement | record (an 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.25468#QRLK |
| YB7AFKDVC2 | YB7AFKDVC2 | statement | record (an 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.05986#66FK |
| YB7KC7EHRT | YB7KC7EHRT | statement | record (an 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.35153#OQYP |
| YB7RDAZ9H3 | YB7RDAZ9H3 | statement | record (an 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.25030#HO6X |