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 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 2001–2100 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| XRSE96FGBG | XRSE96FGBG | statement | record (an 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.00843#2I8N |
| XRT4N4WKHP | XRT4N4WKHP | definition | open | open_logic content/first-order-logic/tableaux/rules-and-proofs.tex#defn-1 |
| XRTC9Z79AG | XRTC9Z79AG | statement | record (an 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.30957#DIAT |
| XRTKMNCR0Q | XRTKMNCR0Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.21045#Z9B0 |
| XRV1PYP3MH | XRV1PYP3MH | statement | record (an 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.28808#L8RF |
| XRV973G4WY | XRV973G4WY | 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.36622#SLU1 |
| XRVBETVNFB | XRVBETVNFB | statement | record (an 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.17759#TYQY |
| XRVT84ZJR6 | XRVT84ZJR6 | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#prob:find sim from Rel |
| XRW4HMK9TM | XRW4HMK9TM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#UTZG |
| XRWJ2MWV2J | XRWJ2MWV2J | statement | record (an 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.27715#7EEB |
| XRWP9TQR0B | XRWP9TQR0B | statement | record (an 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.37698#MYWA |
| XRY5V6WMQJ | XRY5V6WMQJ | statement | record (an 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.06683#FTXR |
| XRYKNA77CV | XRYKNA77CV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#CKV6 |
| XRYQR0PT9F | XRYQR0PT9F | statement | record (an 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.24845#46RB |
| XRYXF3S0Y2 | XRYXF3S0Y2 | proof | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-3 |
| XRZ2YVCG44 | XRZ2YVCG44 | statement | record (an 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.12489#QPCX |
| XRZ3FTWHH6 | XRZ3FTWHH6 | statement | record (an 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.16294#00RC |
| XRZJJ3MVJB | XRZJJ3MVJB | statement | record (an 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.10968#RLD7 |
| XS054R0KJF | XS054R0KJF | statement | record (an 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.10377#BAWE |
| XS06R6B4KE | XS06R6B4KE | example | open | levin_dmoi ptx/sec_logic-prop.ptx#example-6 |
| XS0C54TB0J | XS0C54TB0J | statement | record (an 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.24701#JDRF |
| XS0XXPVQ3A | XS0XXPVQ3A | statement | record (an 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.27628#EZDM |
| XS0ZNT495D | XS0ZNT495D | 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 2609.36186#BUWB |