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 1301–1400 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XE4W7VAT2R | XE4W7VAT2R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.16003#22Q6 |
| XE5JZPW0ZE | XE5JZPW0ZE | exercise | open | austin_ula src/exercises/exercises6-3.xml#exercise-8 |
| XE5XT4KQC1 | XE5XT4KQC1 | statement | open | hott_book hits.tex#thm:ap2 |
| XE6DZPHSP0 | XE6DZPHSP0 | statement | record (an 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#MQM5 |
| XE6FKQNN9C | XE6FKQNN9C | statement | record (an 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.16941#W8ZM |
| XE74GZM8CW | XE74GZM8CW | statement | record (an 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.18744#WK7C |
| XE7VXRVD87 | XE7VXRVD87 | proof | open | hott_book logic.tex#proof-13 |
| XE8J43ANPM | XE8J43ANPM | example | open | napkin tex/alg-NT/pell.tex#example-3 |
| XE8WCRYD57 | XE8WCRYD57 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-37 |
| XE90WSYJE8 | XE90WSYJE8 | statement | record (an 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.11336#L6E1 |
| XE975BKNDK | XE975BKNDK | statement | record (an 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.28297#TCIN |
| XE99AXJRHB | XE99AXJRHB | statement | record (an 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.07370#H0CH |
| XEAAJP3195 | XEAAJP3195 | 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.28295#T0V9 |
| XEB7NXWZZV | XEB7NXWZZV | 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.01802#9I5D |
| XEC3GMK7T4 | XEC3GMK7T4 | statement | open | open_logic content/set-theory/card-arithmetic/simp.tex#simplecardproduct |
| XECFCZCGP4 | XECFCZCGP4 | statement | record (an 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#1J2W |
| XECGT6Q6X4 | XECGT6Q6X4 | statement | record (an 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.15369#OO60 |
| XECPXHV4HZ | XECPXHV4HZ | 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.00789#CO48 |
| XECV7GZH2J | XECV7GZH2J | statement | record (an 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.28803#ZFYP |
| XECVSQ7SJE | XECVSQ7SJE | 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.23287#TO8T |
| XECZRY5RAV | XECZRY5RAV | statement | record (an 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.06669#V714 |
| XED6CXXG5D | XED6CXXG5D | statement | record (an 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.00856#2BTK |
| XEE1WTMMH7 | XEE1WTMMH7 | statement | record (an 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#VCJ2 |
| XEE9DTD77F | XEE9DTD77F | statement | record (an 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.09483#ZZP8 |
| XEF06TETX2 | XEF06TETX2 | statement | record (an 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#KKHD |
| XEFAM27HTG | XEFAM27HTG | statement | record (an 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.11906#VTC4 |
| XEH6S8GR2P | XEH6S8GR2P | 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.17547#JLPU |
| XEHRTYSZT2 | XEHRTYSZT2 | 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.09596#FF3U |
| XEJ4Q6XMM1 | XEJ4Q6XMM1 | proof | open | lebl_ra ch-contfunc.tex#proof-17 |
| XEJ5H2GQBT | XEJ5H2GQBT | statement | record (an 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#UI0W |
| XEJ6QW27CY | XEJ6QW27CY | statement | record (an 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.19023#3I2Z |
| XEJTGNBSFN | XEJTGNBSFN | 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.19250#5WDP |
| XEJZB2F84D | XEJZB2F84D | statement | record (an 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.12295#MF4C |
| XEK5GMQ8Z0 | XEK5GMQ8Z0 | statement | record (an 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.30203#A26Q |
| XEKKTEF2PD | XEKKTEF2PD | statement | record (an 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.15460#233D |
| XEKR0QSDBB | XEKR0QSDBB | statement | record (an 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.17669#4DA7 |
| XEKV343KXQ | XEKV343KXQ | statement | record (an 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.22218#JHU3 |
| XEM3KNVVY0 | XEM3KNVVY0 | statement | record (an 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.17691#FSIG |
| XEM66DRA4C | XEM66DRA4C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.03909#OGI5 |
| XEM6PN3CS1 | XEM6PN3CS1 | statement | record (an 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.09704#LQP0 |
| XEME7V9KKB | XEME7V9KKB | statement | record (an 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.13618#9UYU |
| XEMJH4BCZM | XEMJH4BCZM | statement | record (an 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.14068#FYFW |
| XEN8JV33MJ | XEN8JV33MJ | statement | record (an 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.09042#V2CP |
| Xenia de la Ossa | 5JZTF3E450 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q53673448, nLab Xenia de la Ossa |
| Xenocrates | CV1FW25TQE | unknown | open | Wikipedia List of Greek mathematicians#96WF |
| Xenocrates | Q68M9DA7RW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q214121, ProofWiki Mathematician:Xenocrates_of_Chalcedon |
| XEPEYNS2HJ | XEPEYNS2HJ | 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.21914#UUWO |
| XEQ12P2BJS | XEQ12P2BJS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.07274#MBEN |
| XEQEHC2PZJ | XEQEHC2PZJ | statement | record (an 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.33932#TK1H |
| XER7239CQB | XER7239CQB | definition | open | napkin tex/topology/fundamental-group.tex#definition-2 |
| XERGD47RKB | XERGD47RKB | 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.09561#0YZQ |
| XESQT06PT1 | XESQT06PT1 | statement | record (an 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.12736#9N6R |
| XET3N0FA36 | XET3N0FA36 | statement | record (an 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.20119#W2KO |
| XET8NZFC30 | XET8NZFC30 | statement | record (an 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.09167#1HIZ |
| XETH5YHHBZ | XETH5YHHBZ | statement | record (an 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#B4P1 |
| XEVN5HXGBF | XEVN5HXGBF | statement | record (an 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.23238#63OD |
| XEW36XQKVS | XEW36XQKVS | statement | record (an 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.28282#LRKF |
| XEWER1D34S | XEWER1D34S | statement | record (an 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.23630#85EA |
| XEX01ZWJFJ | XEX01ZWJFJ | 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.16475#RDXL |
| XEY7HKD201 | XEY7HKD201 | 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.36389#7STT |
| XEZ0ZGZTAW | XEZ0ZGZTAW | statement | record (an 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.19251#1N1F |
| XEZ9V7NH69 | XEZ9V7NH69 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.5343#G2R8 |
| XEZBGX7WCD | XEZBGX7WCD | statement | record (an 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.17441#5QK6 |
| XEZHJXF3Y7 | XEZHJXF3Y7 | statement | record (an 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.09333#GY6A |
| XEZT57QH45 | XEZT57QH45 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-102 |
| XEZVWXJ6NH | XEZVWXJ6NH | statement | record (an 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.23202#33WH |
| XF06XHX79G | XF06XHX79G | statement | record (an 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.25080#F22Y |
| XF093RQKK6 | XF093RQKK6 | definition | open | lebl_ra ch-vol1-intro.tex#defn-8 |
| XF0GRFRM8H | XF0GRFRM8H | statement | record (an 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#CP4F |
| XF0H5S3QXA | XF0H5S3QXA | statement | record (an 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.23424#3KPH |
| XF0JK9X378 | XF0JK9X378 | 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.13888#G23B |
| XF0RSKVQFC | XF0RSKVQFC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.0174#ENMA |
| XF1C4G681T | XF1C4G681T | statement | record (an 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.07541#GF6D |
| XF1M931HR7 | XF1M931HR7 | 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.05391#AN8B |
| XF1X93T714 | XF1X93T714 | statement | record (an 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.38017#3LNX |
| XF2B142WBB | XF2B142WBB | statement | record (an 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.40123#X7SQ |
| XF2QP86QRJ | XF2QP86QRJ | statement | record (an 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.10964#MNFN |
| XF2TF5QP56 | XF2TF5QP56 | statement | record (an 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.20401#H0A6 |
| XF2ZKWH7J1 | XF2ZKWH7J1 | statement | record (an 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.28350#9MD3 |
| XF3BFTTPVB | XF3BFTTPVB | 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.34011#8K7V |
| XF3ESHRY71 | XF3ESHRY71 | statement | record (an 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.04834#0V2N |
| XF3W44EG0W | XF3W44EG0W | statement | record (an 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.34020#LAWH |
| XF3WW7Y194 | XF3WW7Y194 | exercise | open | open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-1 |
| XF4DT00NYT | XF4DT00NYT | statement | record (an 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.22924#XBQH |
| XF4P6FP8FA | XF4P6FP8FA | 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.22317#716P |
| XF4VGKQXN8 | XF4VGKQXN8 | statement | record (an 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.21017#D3AY |
| XF4ZJ7PNE5 | XF4ZJ7PNE5 | statement | record (an 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.13931#5PXS |
| XF522RCTC4 | XF522RCTC4 | statement | record (an 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.24065#EWJS |
| XF54J0111Y | XF54J0111Y | 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.11905#Z5HM |
| XF5J1F9P8H | XF5J1F9P8H | 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 2507.20176#9EAG |
| XF5QM324Y4 | XF5QM324Y4 | 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.00113#ONG8 |
| XF5S5SPC0Q | XF5S5SPC0Q | statement | record (an 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.13260#885J |
| XF5WPFEVQE | XF5WPFEVQE | statement | record (an 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#1KLL |
| XF6E2K35FW | XF6E2K35FW | statement | record (an 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.16779#5C91 |
| XF72G380DR | XF72G380DR | statement | record (an 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#LS87 |
| XF738V1QNP | XF738V1QNP | statement | record (an 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.14681#CCTW |
| XF7A8T1A08 | XF7A8T1A08 | 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 1010.3284#TLZZ |
| XF7MYZ3BNW | XF7MYZ3BNW | 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 2104.00162#1VAD |
| XF829SXMYD | XF829SXMYD | statement | record (an 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.29022#PW37 |
| XF8SZSRNP2 | XF8SZSRNP2 | statement | record (an 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.35632#MKBU |