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 1501–1600 of 3402.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YE3M8FFXAD | YE3M8FFXAD | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:plus minus less than or equal to abs value |
| YE3NB83GJ1 | YE3NB83GJ1 | statement | record (an 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#JH14 |
| YE3NRTFPA7 | YE3NRTFPA7 | 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.30579#71CH |
| YE4F75D6AQ | YE4F75D6AQ | proof | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-1 |
| YE4HWV6FXJ | YE4HWV6FXJ | statement | record (an 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#6476 |
| YE5DSCDE3H | YE5DSCDE3H | unknown | open | arXiv 2211.01586#LOJ6 |
| YE5FPX7PP1 | YE5FPX7PP1 | statement | record (an 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.35683#MTNW |
| YE6MKX3P0N | YE6MKX3P0N | statement | record (an 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.19010#9U5V |
| YE6Q5PQSRS | YE6Q5PQSRS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#U9IN |
| YE77CGZAXM | YE77CGZAXM | statement | record (an 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.10600#9LPM |
| YE7M5R93X1 | YE7M5R93X1 | statement | record (an 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#KO0A |
| YE7TKEC91N | YE7TKEC91N | statement | record (an 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.12271#O9ZJ |
| YE821ZHWZ4 | YE821ZHWZ4 | 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 1712.02437#FMZ8 |
| YE85KH3R7W | YE85KH3R7W | statement | record (an 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#H39H |
| YE86XFDZE0 | YE86XFDZE0 | statement | record (an 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.08382#KBH3 |
| YE87QYB4Q8 | YE87QYB4Q8 | 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.39293#EKAC |
| YE8CE9QDFT | YE8CE9QDFT | statement | record (an 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.31523#6Y67 |
| YE8Q94YZ1T | YE8Q94YZ1T | statement | record (an 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.08581#LRNL |
| YE8TMT98DM | YE8TMT98DM | statement | record (an 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.29158#VVV9 |
| YE940YZ3B9 | YE940YZ3B9 | statement | record (an 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.35180#4MB5 |
| YE96NV6H1R | YE96NV6H1R | 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.20316#RIGW |
| YEA0TH4Y77 | YEA0TH4Y77 | statement | record (an 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.30097#3YQW |
| YEA72EN3QB | YEA72EN3QB | statement | record (an 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.21489#03DW |
| YEAMB9GZEJ | YEAMB9GZEJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1406.2996#Y9WB |
| year | WAPQFPW6MX | definition | open | Wikidata Q577, nLab year, ProofWiki Definition:Time/Unit/Year |
| Year loss table | MW8RP33EQ0 | definition | open | Wikipedia Year loss table, Wikidata Q117791335 |
| YEAWVNZ1PC | YEAWVNZ1PC | 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.06644#VLIM |
| YEBMTN9G1X | YEBMTN9G1X | statement | record (an 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.02295#Y63F |
| YECCHGNA8S | YECCHGNA8S | 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.32916#L0L3 |
| Yechiel Michel Epstein | WXZDESGGHN | unknown | open | Wikipedia List of Jewish mathematicians#V197 |
| YEDC7B2RS7 | YEDC7B2RS7 | statement | record (an 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.26269#PXB2 |
| YEDDVTFDVV | YEDDVTFDVV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#Q4NK |
| YEDNDQPXCK | YEDNDQPXCK | statement | record (an 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.08288#Z2OY |
| YEEEXJWS1A | YEEEXJWS1A | statement | record (an 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.02244#5O7U |
| YEG0HFVAKT | YEG0HFVAKT | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-1 |
| YEGRRG1CZE | YEGRRG1CZE | 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.11902#GCFD |
| YEGZC97YXD | YEGZC97YXD | unknown | open | arXiv 1804.05688#MDS9 |
| Yehoshua Bar-Hillel | 5XYGHE2VHS | topic | open | Wikipedia List of Jewish mathematicians#R91P |
| Yehoshua Bar-Hillel | 79V8EQZ7JC | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q584382, ProofWiki Mathematician:Yehoshua_Bar-Hillel, Wikipedia Yehoshua Bar-Hillel |
| Yehoshua Bar-Hillel | V6TVSHY280 | topic | open | Wikipedia List of people by Erdős number#M111 |
| Yehoshua Bar-Hillel | XFP344E18D | topic | open | Wikipedia List of logicians#NC6D |
| Yehuda Afek | 84BXMXQN0F | unknown | open | Wikipedia List of people by Erdős number#IMT7 |
| Yehuda Farissol | 4ZH6CP6WB4 | unknown | open | Wikipedia List of Jewish mathematicians#UBG9 |
| Yehuda Lindell | 58XRW5Z5FV | unknown | open | Wikipedia List of people by Erdős number#668V |
| Yehuda Shalom | GYXVKDGQZ0 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UBIN |
| YEJ6C4F7ED | YEJ6C4F7ED | statement | record (an 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.13745#XNWY |
| YEJJ0DC60K | YEJJ0DC60K | statement | record (an 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.05784#Z54B |
| YEKBB90KM8 | YEKBB90KM8 | statement | record (an 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.05706#YEI0 |
| YEKQ9AREB6 | YEKQ9AREB6 | statement | record (an 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.02111#F3OA |
| Yellow brick road | 26B5CRDSZS | definition | open | Wikipedia Yellow brick road (mathematics), Wikidata Q140321225 |
| Yellowstone Caldera | Z8QGNB1FDS | unknown | open | Wikipedia List of common misconceptions about science, technology, and mathematics#8MQC |
| YEMHMEQFY9 | YEMHMEQFY9 | statement | record (an 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#I2QR |
| YENBXPQ2JR | YENBXPQ2JR | exercise | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-7 |
| Yeo-Johnson transformation | DMARQV55P0 | unknown | open | Wikipedia Power transform#7PUE |
| YEPDB9P2TR | YEPDB9P2TR | exercise | open | levin_dmoi ptx/exercises/intro-sets.ptx#exercise-24 |
| YEPH5BF60Y | YEPH5BF60Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2110.11143#H8NK |
| YEPN5N7X9Q | YEPN5N7X9Q | statement | record (an 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.14509#JCV7 |
| YEPZKG9R8R | YEPZKG9R8R | definition | open | open_logic content/normal-modal-logic/axioms-systems/logics-proofs.tex#defn-1 |
| YEQ1DFGZMK | YEQ1DFGZMK | statement | record (an 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.12054#1UM7 |
| YEQDN8A0KB | YEQDN8A0KB | statement | record (an 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.37520#ZLXB |
| YEQED54VYS | YEQED54VYS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.00162#SDZ8 |
| YEQZAGTXKA | YEQZAGTXKA | 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.02065#E6RA |
| Yes-instances have no zero-drift orbits | 3FS0R6KTJV | statement | record (an 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.12434#73VU |
| YES1E1WF3P | YES1E1WF3P | statement | record (an 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.40251#UULT |
| YES1J27E0Y | YES1J27E0Y | 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 2402.05875#DUA1 |
| YES3ARPDS6 | YES3ARPDS6 | statement | record (an 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.31907#M239 |
| Yescrypt | KSFZHW24MK | definition | open | Wikipedia Yescrypt, Wikidata Q110734564 |
| YESDBTH86E | YESDBTH86E | statement | record (an 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.40207#OYRG |
| YESHH7M7CZ | YESHH7M7CZ | statement | record (an 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.20203#CY6U |
| Yeshimabeit Milner | WAR8G3345C | topic | open | Wikipedia Yeshimabeit Milner, Wikidata Q104854845 |
| YETDAAD5KF | YETDAAD5KF | statement | record (an 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.26745#43NB |
| YETRGSEPYZ | YETRGSEPYZ | 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.15385#4KMB |
| Yetter–Drinfeld category | C1KTC05EHK | definition | open | Wikidata Q8053054, nLab Yetter-Drinfeld module, Wikipedia Yetter–Drinfeld category |
| Yevgenii Vasilevich Zolotov | 9R3MCZCH4M | topic | open | Wikipedia Yevgenii Vasilevich Zolotov, Wikidata Q15067128 |
| Yevgeny Berkovich | NMQYA7KFY6 | topic | open | Wikipedia Yevgeny Berkovich, Wikidata Q4084933 |
| Yevgeny Dyakonov | DV8PHM80W5 | topic | open | Wikipedia Yevgeny Dyakonov, Wikidata Q4171504 |
| Yevgraf Fyodorov | 8NW94Q4Z2F | unknown | open | Wikipedia List of Russian mathematicians#2VGA |
| YEVN1K4P0P | YEVN1K4P0P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03423#5W1I |
| YEW05DY58K | YEW05DY58K | statement | record (an 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.28552#LPX0 |
| Yewande Olubummo | 5D6BH9QPX6 | topic | open | Wikipedia Yewande Olubummo, Wikidata Q20563774 |
| YEWBK6SGBB | YEWBK6SGBB | statement | record (an 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.11082#GJT6 |
| YEWK4ATRCJ | YEWK4ATRCJ | statement | record (an 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.37706#F1AY |
| YEWWXS468E | YEWWXS468E | statement | record (an 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.24449#UHBB |
| YEX4MKKAAN | YEX4MKKAAN | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-11 |
| YEX5PA6G6P | YEX5PA6G6P | statement | record (an 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.05417#6952 |
| YEXX98GH73 | YEXX98GH73 | 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 2502.08738#V9BI |
| YEY7NPC1KG | YEY7NPC1KG | statement | record (an 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.26948#9MQB |
| YEYCVM6TS8 | YEYCVM6TS8 | 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.14435#GESC |
| YEYXSRXVMH | YEYXSRXVMH | 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.14803#6V0A |
| YEZ38K038X | YEZ38K038X | 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 2308.05715#2MSL |
| YEZP96NW7K | YEZP96NW7K | 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.21692#2KMQ |
| YF09EVX8R0 | YF09EVX8R0 | statement | record (an 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.11969#95BV |
| YF0C2XSFNT | YF0C2XSFNT | statement | record (an 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.19300#3EZX |
| YF0S4YWSMT | YF0S4YWSMT | statement | record (an 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.33590#H5OR |
| YF16PDE33D | YF16PDE33D | statement | record (an 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#8FBW |
| YF1CEW9HM2 | YF1CEW9HM2 | statement | record (an 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.28669#VUKV |
| YF23YB3G39 | YF23YB3G39 | statement | record (an 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.21140#9ZMQ |
| YF2G5K0BHN | YF2G5K0BHN | statement | record (an 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#YN7J |
| YF2MQXWMG2 | YF2MQXWMG2 | statement | record (an 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.21914#J91Z |
| YF2P3N580D | YF2P3N580D | statement | record (an 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.32033#4HAE |