Inventory: X
The rows of the inventory whose names start with X. 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 2201–2300 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XQG90H2V2G | XQG90H2V2G | statement | record (an 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.25656#F9WU |
| XQGEH4N7EA | XQGEH4N7EA | 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 1007.4365#9I6H |
| XQGQ53YRVX | XQGQ53YRVX | statement | record (an 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.02407#FCNW |
| XQGQSKQAEV | XQGQSKQAEV | statement | record (an 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.33856#6JKV |
| XQH8FZSHPN | XQH8FZSHPN | statement | record (an 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.04876#NJJQ |
| XQJ1ZJ4G3S | XQJ1ZJ4G3S | proof | open | napkin tex/measure/martingale.tex#proof-1 |
| XQJ3NRYWM1 | XQJ3NRYWM1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#14I6 |
| XQJGZDBGK0 | XQJGZDBGK0 | statement | record (an 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.15169#0XA5 |
| XQJJQT03M2 | XQJJQT03M2 | statement | record (an 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.19437#JKY3 |
| XQJV65FNDG | XQJV65FNDG | statement | record (an 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.24023#VFR9 |
| XQK1BBYEV3 | XQK1BBYEV3 | unknown | open | arXiv 2609.28893#FU1Q |
| XQK97102EH | XQK97102EH | statement | record (an 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.06326#JX60 |
| XQKHJEXX9S | XQKHJEXX9S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.16491#2P4G |
| XQKJVFQYCA | XQKJVFQYCA | statement | record (an 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.39790#JY5H |
| XQKT6NVKJX | XQKT6NVKJX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.02312#QP4X |
| XQMSHA9SR3 | XQMSHA9SR3 | statement | record (an 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.36509#OJNP |
| XQMWW979K9 | XQMWW979K9 | statement | record (an 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.15723#7VAX |
| XQQ1RWXK5S | XQQ1RWXK5S | statement | record (an 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.06455#0ZU8 |
| XQQ5QP73KX | XQQ5QP73KX | statement | record (an 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.08956#M2SG |
| XQQDBPQBSS | XQQDBPQBSS | statement | record (an 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.13658#SSCS |
| XQR8PAMADH | XQR8PAMADH | statement | record (an 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.36823#DDYG |
| XQRZV5969R | XQRZV5969R | statement | record (an 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.13385#7H1D |
| XQS9QF1J6M | XQS9QF1J6M | exercise | open | austin_ula src/exercises/exercises6-3.xml#exercise-4 |
| XQSY2D7HEH | XQSY2D7HEH | statement | record (an 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.36823#TNLB |
| XQV5G8N4QB | XQV5G8N4QB | statement | record (an 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.08342#K1C5 |
| XQVXGZTYG6 | XQVXGZTYG6 | statement | record (an 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#AIFY |
| XQXWT1300V | XQXWT1300V | 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.34876#PFDD |
| XQXY364JWP | XQXY364JWP | statement | record (an 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.24584#P8RO |
| XQYMZV8RYY | XQYMZV8RYY | statement | record (an 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.03208#38EZ |
| XR04ZM7Y0A | XR04ZM7Y0A | 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 1002.0879#3MPA |
| XR0BJ7DC9Y | XR0BJ7DC9Y | statement | record (an 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.33231#M53Y |
| XR0GAX2NXR | XR0GAX2NXR | statement | record (an 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.25717#T63Y |
| XR10NJ82JQ | XR10NJ82JQ | statement | record (an 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.11965#VZ6L |
| XR10QE7RSN | XR10QE7RSN | proof | open | open_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-2 |
| XR1B0ZJ6XV | XR1B0ZJ6XV | proof | open | applied_combinatorics source/s_background_mult.ptx#proof-6 |
| XR1B8058C6 | XR1B8058C6 | 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.09949#ZM7N |
| XR24ZTSQ7M | XR24ZTSQ7M | 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.23822#JOTH |
| XR28YYFYG9 | XR28YYFYG9 | exercise | open | hott_book preliminaries.tex#ex:pr-to-ind |
| XR2ASKR9E3 | XR2ASKR9E3 | 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.17026#8W8K |
| XR2HAT6KPY | XR2HAT6KPY | statement | record (an 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#2HLZ |
| XR2QM9ZH3A | XR2QM9ZH3A | statement | record (an 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.20556#GOWS |
| XR2SJ6C532 | XR2SJ6C532 | statement | record (an 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.07285#OHF0 |
| XR3H4E4K8N | XR3H4E4K8N | statement | record (an 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.14450#RU6D |
| XR3MES79BH | XR3MES79BH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1311.6044#HT6J |
| XR3YHJWRD9 | XR3YHJWRD9 | statement | record (an 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.18219#YHYH |
| XR465TQQ4D | XR465TQQ4D | statement | record (an 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#PDZQ |
| XR5SYQ0XGR | XR5SYQ0XGR | statement | record (an 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.04809#6ZZ8 |
| XR5VADDV58 | XR5VADDV58 | 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.24154#S8D3 |
| XR62CFTSK3 | XR62CFTSK3 | statement | record (an 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.17060#62UR |
| XR6Q5X0WQR | XR6Q5X0WQR | 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#ICLF |
| XR6T8E7BP3 | XR6T8E7BP3 | statement | record (an 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#8P6N |
| XR700J7T4X | XR700J7T4X | statement | record (an 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.00918#SZGD |
| XR75KE2YY6 | XR75KE2YY6 | statement | record (an 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.23559#DNGK |
| XR7Z3XJW6G | XR7Z3XJW6G | statement | record (an 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#68KT |
| XR82KTQ3CG | XR82KTQ3CG | definition | open | active_calculus source/sec-1-7-lim-cont-diff.xml#definition-1 |
| XR8GFV7DGR | XR8GFV7DGR | statement | record (an 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.23694#3U1T |
| XR922XJGVC | XR922XJGVC | definition | open | active_calculus source/sec-1-6-second-d.xml#definition-2 |
| XR9HTHQPRE | XR9HTHQPRE | statement | record (an 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.22040#W8G6 |
| XR9QMK8G7T | XR9QMK8G7T | proof | open | hott_book categories.tex#proof-16 |
| XR9TD3Y66N | XR9TD3Y66N | statement | record (an 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.26089#CIW2 |
| XR9XNGTBNR | XR9XNGTBNR | statement | record (an 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.00292#EC6B |
| XR9Y45MQ1E | XR9Y45MQ1E | exercise | open | lebl_ra ch-contfunc.tex#exercise-73 |
| XRA5SA8AT8 | XRA5SA8AT8 | statement | record (an 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#4ZJS |
| XRAVFV1N46 | XRAVFV1N46 | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-17 |
| XRBPAZQX9G | XRBPAZQX9G | statement | record (an 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.32834#VUJO |
| XRBPWTM0KY | XRBPWTM0KY | statement | record (an 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.32651#7GY4 |
| XRBQDDTMP3 | XRBQDDTMP3 | 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.31327#A9FV |
| XRDGPAES1N | XRDGPAES1N | statement | record (an 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.08426#OEB7 |
| XRDVX59KQ4 | XRDVX59KQ4 | 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.18847#XEN4 |
| XRDYDRDQTX | XRDYDRDQTX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.14956#1OML |
| XREBD0X627 | XREBD0X627 | statement | record (an 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.22847#XTU1 |
| XREJ3Z2HPR | XREJ3Z2HPR | statement | record (an 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.17240#ZQTO |
| XREJEP38GY | XREJEP38GY | statement | record (an 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.06521#0QBI |
| XREMS3Q8DP | XREMS3Q8DP | statement | record (an 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#5ZVM |
| XREVDWMB28 | XREVDWMB28 | statement | record (an 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#ZEX5 |
| XRFDAK64EF | XRFDAK64EF | statement | record (an 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.02983#MZSY |
| XRFF976XT9 | XRFF976XT9 | statement | record (an 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.03288#TRMF |
| XRFK4CG4JY | XRFK4CG4JY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0709.4546#24YL |
| XRG9W8FTCJ | XRG9W8FTCJ | statement | record (an 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.19449#WPJU |
| XRGG2K2DXS | XRGG2K2DXS | statement | record (an 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.37124#D2QA |
| XRGVXWGD28 | XRGVXWGD28 | 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.10928#8AKI |
| XRHEYCHMX1 | XRHEYCHMX1 | statement | record (an 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.16362#GG07 |
| XRJ08FSF07 | XRJ08FSF07 | statement | record (an 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.15037#7F3O |
| XRJ4X45WW6 | XRJ4X45WW6 | statement | record (an 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.35467#616G |
| XRJ8QRNQS4 | XRJ8QRNQS4 | statement | record (an 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.32138#ALM4 |
| XRKCSJNP0M | XRKCSJNP0M | example | open | open_logic content/normal-modal-logic/tableaux/proofs-in-K.tex#ex-1 |
| XRKEYNQ657 | XRKEYNQ657 | statement | record (an 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.32345#8DQK |
| XRKVM5WJJD | XRKVM5WJJD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.02019#FJLJ |
| XRKYS4ZG10 | XRKYS4ZG10 | statement | record (an 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.14555#BHGO |
| XRMAVXGHGK | XRMAVXGHGK | statement | record (an 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.09796#Q8L4 |
| XRMQGMHG13 | XRMQGMHG13 | statement | record (an 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.25301#7E54 |
| XRMVZN9S18 | XRMVZN9S18 | proof | open | hott_book hlevels.tex#proof-31 |
| XRN3M8SDCP | XRN3M8SDCP | statement | record (an 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#OCD7 |
| XRNGEWP441 | XRNGEWP441 | statement | record (an 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.26357#NS23 |
| XRPR3ZGA88 | XRPR3ZGA88 | unknown | open | arXiv 2205.15365#3BB5 |
| XRQ28RSSCG | XRQ28RSSCG | 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.33794#A8HT |
| XRQZAP10CV | XRQZAP10CV | 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 2108.05533#P17J |
| XRRBN1EY6Z | XRRBN1EY6Z | statement | record (an 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.03619#1IBN |
| XRREGPS1Y6 | XRREGPS1Y6 | proof | open | open_logic content/set-theory/story/russells-paradox-again.tex#proof-1 |
| XRRZTGPA2X | XRRZTGPA2X | unknown | open | arXiv 2610.13680#433B |