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 2101–2200 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YQBA3DQZ0B | YQBA3DQZ0B | statement | record (an 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.12669#6QI0 |
| YQBQZR2JEP | YQBQZR2JEP | exercise | open | napkin tex/homology/cup-product.tex#ques-1 |
| YQBTJY8MR4 | YQBTJY8MR4 | statement | record (an 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.07710#B78S |
| YQBX4K0F8Z | YQBX4K0F8Z | statement | open | hott_book reals.tex#when-reals-coincide |
| YQBY4BRPY1 | YQBY4BRPY1 | exercise | open | hott_book basics.tex#ex:basics:concat |
| YQC2QHHKV5 | YQC2QHHKV5 | 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.09900#7BPK |
| YQCH2JNPXH | YQCH2JNPXH | unknown | open | arXiv 2610.09206#2PVZ |
| YQCMWYBEE9 | YQCMWYBEE9 | exercise | open | napkin tex/calculus/limits.tex#problem-3 |
| YQCZ9C8YM0 | YQCZ9C8YM0 | 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.06806#ZBWL |
| YQDGSYZKB9 | YQDGSYZKB9 | statement | record (an 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#0R7V |
| YQDP3K7E15 | YQDP3K7E15 | statement | record (an 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.28075#2B0M |
| YQDTV4SZRT | YQDTV4SZRT | statement | record (an 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.09561#GNEJ |
| YQE4KTRH9Q | YQE4KTRH9Q | statement | record (an 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.14135#PUV3 |
| YQE8B19QK1 | YQE8B19QK1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.00585#P6E5 |
| YQEJ0VR4YH | YQEJ0VR4YH | example | open | napkin tex/H113/grp-intro.tex#example-17 |
| YQENPSGAYD | YQENPSGAYD | 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#3SUV |
| YQFC25DSDC | YQFC25DSDC | exercise | open | levin_dmoi ptx/exercises/gt-trees.ptx#exercise-9 |
| YQFSHB97DM | YQFSHB97DM | statement | record (an 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.05193#P1O4 |
| YQFX9K80MK | YQFX9K80MK | exercise | open | lebl_ra ch-metric.tex#exercise-76 |
| YQG5WVPMDQ | YQG5WVPMDQ | statement | record (an 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.11157#3AHR |
| YQH1ZC4JH0 | YQH1ZC4JH0 | statement | record (an 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.07631#W9GO |
| YQH6J8FFSP | YQH6J8FFSP | 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.24465#EQF8 |
| YQHF3G7VHR | YQHF3G7VHR | statement | record (an 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.17585#RDAE |
| YQJF3BYR4A | YQJF3BYR4A | statement | record (an 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.14847#JBJO |
| YQJR5YTSKJ | YQJR5YTSKJ | definition | open | open_logic content/computability/recursive-functions/pr-functions.tex#defn-1 |
| YQK5W62XTB | YQK5W62XTB | statement | record (an 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.13484#K3R1 |
| YQKBXR1K4A | YQKBXR1K4A | statement | record (an 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.07718#6CIA |
| YQKWJ7XZ7N | YQKWJ7XZ7N | statement | record (an 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#JIKQ |
| YQM6NFWNYR | YQM6NFWNYR | statement | record (an 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.04411#M4X8 |
| YQMN2N2718 | YQMN2N2718 | exercise | open | open_logic content/set-theory/z/powerset.tex#prob-1 |
| YQMN3C7K7D | YQMN3C7K7D | statement | open | lebl_ra ch-multivar-int.tex#mv:intulbound:prop |
| YQMXWK4TS5 | YQMXWK4TS5 | statement | record (an 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.27694#UQSF |
| YQMZTJWT18 | YQMZTJWT18 | statement | record (an 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#16OR |
| YQN4SVJG3M | YQN4SVJG3M | 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.13888#MS0A |
| YQNAPBND31 | YQNAPBND31 | 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 2603.16304#0DXF |
| YQNF2T67W8 | YQNF2T67W8 | 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.38220#BW75 |
| YQNSDYP2Y4 | YQNSDYP2Y4 | statement | record (an 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#M8DN |
| YQPJKJRQQX | YQPJKJRQQX | statement | record (an 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.20385#DKV5 |
| YQPNKWVVT0 | YQPNKWVVT0 | statement | record (an 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.05531#SFK7 |
| YQQ2G4WCZJ | YQQ2G4WCZJ | 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.03661#UFMG |
| YQQHYR9R61 | YQQHYR9R61 | statement | record (an 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.26769#8PHO |
| YQQMPQ9RPE | YQQMPQ9RPE | statement | record (an 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.18992#TKO5 |
| YQR5X0ZY7G | YQR5X0ZY7G | 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.32174#6OOR |
| YQRJMF3F7E | YQRJMF3F7E | statement | record (an 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.09812#JL62 |
| YQSBAPFTRV | YQSBAPFTRV | 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.29552#ELWJ |
| YQSQ6NBFGV | YQSQ6NBFGV | statement | open | ernst_ibl MAAPressVersion/MoreQuantification.tex#thm:3n^2+n+14 is even |
| YQSQK67BMK | YQSQK67BMK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3710135, ProofWiki Mathematician:Tudor_Ganea |
| YQT85GGRHS | YQT85GGRHS | 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.38051#ZNAU |
| YQTS18XFPX | YQTS18XFPX | exercise | open | lebl_diffyqs ch-systems.tex#exercise-40 |
| YQTSBEV3Y3 | YQTSBEV3Y3 | statement | record (an 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.14135#7CHE |
| YQV5F9XJ7E | YQV5F9XJ7E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.06098#ESM4 |
| YQV9VJKK9Q | YQV9VJKK9Q | statement | record (an 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.01087#L4I5 |
| YQVC1KPVXH | YQVC1KPVXH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#1XZR |
| YQW18CHN4P | YQW18CHN4P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1507.03803#GQV4 |
| YQW247NQ00 | YQW247NQ00 | statement | record (an 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.04325#L9B5 |
| YQWHFSB2MA | YQWHFSB2MA | exercise | open | open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prob-2 |
| YQWSE9H8XF | YQWSE9H8XF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1507.03803#JXQB |
| YQWW2CY9KT | YQWW2CY9KT | statement | record (an 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.15010#UU8Q |
| YQX09JKPAW | YQX09JKPAW | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-8 |
| YQXZ3MAJGH | YQXZ3MAJGH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#0XWF |
| YQY7PTRN2Q | YQY7PTRN2Q | statement | record (an 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.29498#8OIN |
| YQYP3373NM | YQYP3373NM | statement | record (an 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.07790#8ORG |
| YQZR30PJSX | YQZR30PJSX | statement | record (an 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.00596#UT9O |
| YQZT4DZ6XY | YQZT4DZ6XY | example | open | lebl_ra ch-seq-ser.tex#example-20 |
| YQZVKRAWF5 | YQZVKRAWF5 | statement | record (an 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#7V9A |
| YR0G15GDJ1 | YR0G15GDJ1 | statement | record (an 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.10873#VRMN |
| YR0V0D5KPS | YR0V0D5KPS | statement | record (an 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.19453#IKB7 |
| YR25J0007F | YR25J0007F | statement | record (an 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.29489#SBSC |
| YR2E36X2GF | YR2E36X2GF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1912.02769#4DSV |
| YR2KAPZH6E | YR2KAPZH6E | exercise | open | napkin tex/measure/martingale.tex#problem-1 |
| YR2YPCQEZM | YR2YPCQEZM | statement | record (an 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.25038#S1FN |
| YR3YXQBWAF | YR3YXQBWAF | statement | record (an 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.00914#7TG0 |
| YR5NVNWCA7 | YR5NVNWCA7 | statement | record (an 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.27931#DY3R |
| YR6FBM5AXQ | YR6FBM5AXQ | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-6 |
| YR8BC5JVP6 | YR8BC5JVP6 | statement | record (an 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.01475#WVXX |
| YR8W7ZB11S | YR8W7ZB11S | statement | record (an 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.28295#M97V |
| YR914DYB2Q | YR914DYB2Q | statement | record (an 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.36827#RVN0 |
| YR9MTHKX1S | YR9MTHKX1S | statement | record (an 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.29469#P3QF |
| YRA32H8534 | YRA32H8534 | 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 2205.09049#1X4P |
| YRC6DK1BYP | YRC6DK1BYP | statement | record (an 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.14879#7X5B |
| YRCSAWGH5E | YRCSAWGH5E | 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.26713#OOCY |
| YRD53WQEQY | YRD53WQEQY | statement | record (an 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.13850#PHFL |
| YRDDG14FSR | YRDDG14FSR | statement | record (an 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.36204#BZ2I |
| YRDPSFTZ7Q | YRDPSFTZ7Q | statement | record (an 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.34923#1BXW |
| YRDVCERPTM | YRDVCERPTM | statement | record (an 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.30519#WWIH |
| YRDXCV2D1E | YRDXCV2D1E | exercise | open | austin_ula src/exercises/exercises3-5.xml#exercise-6 |
| YRENETCT58 | YRENETCT58 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.07243#QNN3 |
| YRF3QBNG77 | YRF3QBNG77 | statement | record (an 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.13100#DYXY |
| YRF8W7W143 | YRF8W7W143 | statement | record (an 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.11047#JUSH |
| YRFSX59PQX | YRFSX59PQX | statement | record (an 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.01737#KKHE |
| YRFT2TC0E1 | YRFT2TC0E1 | statement | record (an 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#HBHE |
| YRFVS5T62V | YRFVS5T62V | 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.31242#OZ2J |
| YRG62NDDG3 | YRG62NDDG3 | 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.06338#5EB9 |
| YRGMRFRAA7 | YRGMRFRAA7 | example | open | open_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#ex-1 |
| YRH9WR34MV | YRH9WR34MV | statement | record (an 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.31768#XAZO |
| YRHBE082JA | YRHBE082JA | statement | record (an 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.02390#LW0D |
| YRHCPDENZJ | YRHCPDENZJ | proof | open | open_logic content/normal-modal-logic/tableaux/completeness.tex#proof-1 |
| YRHXWE02W9 | YRHXWE02W9 | statement | record (an 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.37584#25AO |
| YRJ1PJ913D | YRJ1PJ913D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.15424#KDJO |
| YRJ5E9N156 | YRJ5E9N156 | statement | record (an 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.05398#YT2E |