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 1201–1300 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 | Q68M9DA7RW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q214121, ProofWiki Mathematician:Xenocrates_of_Chalcedon |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| XF8ZRMPAAQ | XF8ZRMPAAQ | statement | record (an 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#8A6Z |
| XF9M6WE8DA | XF9M6WE8DA | statement | record (an 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.09314#EQCD |
| XF9PWT4JRG | XF9PWT4JRG | statement | record (an 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.40274#SCUE |
| XFA77FM960 | XFA77FM960 | 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.21475#F2OW |
| XFAH3KCQG8 | XFAH3KCQG8 | statement | record (an 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.13847#ZDIV |
| XFAJDTA59H | XFAJDTA59H | statement | record (an 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.10325#U6OR |
| XFBZ75X3M7 | XFBZ75X3M7 | statement | record (an 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.20568#OH7G |
| XFC4SC30WW | XFC4SC30WW | statement | record (an 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.00337#JQKI |
| XFCH9PDAAD | XFCH9PDAAD | 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.25289#J8WE |
| XFD0F8QS2A | XFD0F8QS2A | statement | record (an 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.15313#C1M7 |
| XFDF12NHJ8 | XFDF12NHJ8 | 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.03497#H517 |
| XFDYSAYG3E | XFDYSAYG3E | statement | record (an 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.20542#2CVR |
| XFE0W4J9FH | XFE0W4J9FH | 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 2308.05066#MAN2 |
| XFEEZKPQNB | XFEEZKPQNB | statement | record (an 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.17442#Y1UC |
| XFEXE0TMHN | XFEXE0TMHN | statement | record (an 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.05066#TJAL |
| XFEYSM849F | XFEYSM849F | statement | record (an 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.02893#UO5J |
| XFEYW87EY2 | XFEYW87EY2 | statement | record (an 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.30482#IJDS |