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 2201–2300 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XT9CP7SMJD | XT9CP7SMJD | statement | record (an 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.39747#6XJM |
| XT9R5N6ST8 | XT9R5N6ST8 | 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 0903.1504#2M5W |
| XT9Z0EDDAH | XT9Z0EDDAH | statement | record (an 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.00775#DJ6W |
| XTA524FG3P | XTA524FG3P | statement | record (an 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.01694#ZFJP |
| XTA9ZVFPQH | XTA9ZVFPQH | statement | record (an 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.28011#UB46 |
| XTAG2R07JZ | XTAG2R07JZ | statement | record (an 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.33469#DVIA |
| XTAG4RY4Y9 | XTAG4RY4Y9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.14253#2ZK4 |
| XTB06W3FZS | XTB06W3FZS | 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.14502#3CMB |
| XTCFJ98XSP | XTCFJ98XSP | statement | record (an 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#WGOS |
| XTD5HA39K9 | XTD5HA39K9 | 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.09599#OJQV |
| XTD6J86RNF | XTD6J86RNF | statement | record (an 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.15648#LYI4 |
| XTDJR1MA6E | XTDJR1MA6E | statement | record (an 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.11679#Z7TK |
| XTDREC8A3H | XTDREC8A3H | statement | record (an 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.08594#5JOP |
| XTE2Q3SS47 | XTE2Q3SS47 | exercise | open | open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#prob-3 |
| XTE7Y8AK8C | XTE7Y8AK8C | statement | record (an 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.25472#J2SW |
| XTEAVEGVQN | XTEAVEGVQN | statement | record (an 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.19470#LHJH |
| XTF3D4H28Q | XTF3D4H28Q | statement | record (an 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.15378#JEWX |
| XTG6QPJ6S1 | XTG6QPJ6S1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1103.1038#GLH1 |
| XTGFRRA7WY | XTGFRRA7WY | statement | open | hott_book hlevels.tex#thm:h-level-retracts |
| XTGP5SERKP | XTGP5SERKP | statement | record (an 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.21092#P65O |
| XTGTM3P6N6 | XTGTM3P6N6 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-10 |
| XTGV6PCG9K | XTGV6PCG9K | 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.04730#ZYVY |
| XTH4MDX546 | XTH4MDX546 | 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 1707.06795#42N9 |
| XTH9S5RSJR | XTH9S5RSJR | 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 2504.18390#MFQT |
| XTHD74S6N5 | XTHD74S6N5 | statement | record (an 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#E1VI |
| XTHDF8A5B6 | XTHDF8A5B6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.06637#KR5Z |
| XTHRXH2CYQ | XTHRXH2CYQ | statement | record (an 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.11785#RX0I |
| XTJA6VXZ4K | XTJA6VXZ4K | statement | record (an 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#65ED |
| XTJACDRHES | XTJACDRHES | exercise | open | lebl_ra ch-real-nums.tex#exercise-42 |
| XTJXWPT3BC | XTJXWPT3BC | exercise | open | levin_dmoi ptx/sec_logic-prop.ptx#investigation-1 |
| XTJY698Q28 | XTJY698Q28 | definition | open | lebl_ra ch-vol1-intro.tex#defn-5 |
| XTK75BK3B8 | XTK75BK3B8 | statement | record (an 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.17045#OOYO |
| XTKECNXPMF | XTKECNXPMF | statement | record (an 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.33019#4FW1 |
| XTKMTR70HJ | XTKMTR70HJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#T5LR |
| XTM4758K9P | XTM4758K9P | 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 2308.08081#Z6Z7 |
| XTMQK0GCJJ | XTMQK0GCJJ | statement | record (an 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.24569#7FS5 |
| XTMRT3B1NG | XTMRT3B1NG | statement | record (an 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.37520#2Z4J |
| XTN31GRK9N | XTN31GRK9N | 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 2610.03874#PVCZ |
| XTN6MD28GQ | XTN6MD28GQ | statement | record (an 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.03058#QRMS |
| XTN8QH57CF | XTN8QH57CF | statement | record (an 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.19288#HSBA |
| XTNEC8FTV3 | XTNEC8FTV3 | statement | record (an 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.04503#O16T |
| XTP5G3HRYX | XTP5G3HRYX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0507030#MUI9 |
| XTQ4H08A6F | XTQ4H08A6F | statement | record (an 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#LRQU |
| XTQJ1KD61K | XTQJ1KD61K | 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.01946#WO47 |
| XTQQ12HR7R | XTQQ12HR7R | statement | record (an 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.16707#K81S |
| XTQQZJBG1C | XTQQZJBG1C | statement | record (an 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.31289#9655 |
| XTQR8MZKK7 | XTQR8MZKK7 | statement | record (an 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#O4IF |
| XTQZ71TB54 | XTQZ71TB54 | proof | open | napkin tex/cats/functors.tex#proof-1 |
| XTR7AHVABQ | XTR7AHVABQ | 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 2610.19357#S0KG |
| XTRDDCRDFB | XTRDDCRDFB | 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.25762#WVRJ |
| XTS053NT6T | XTS053NT6T | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-45 |
| XTS6FJH02V | XTS6FJH02V | statement | record (an 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.17045#4QC1 |
| XTS9EBRA29 | XTS9EBRA29 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.06762#HBZT |
| XTT4VTZEZN | XTT4VTZEZN | statement | record (an 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.28780#9IAJ |
| XTTSKJAAWD | XTTSKJAAWD | statement | record (an 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.38436#4NNO |
| XTTVP0S6MC | XTTVP0S6MC | statement | record (an 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.10925#0ZK2 |
| XTV4TJMXVC | XTV4TJMXVC | statement | record (an 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.01958#5VH4 |
| XTVJQDYQ90 | XTVJQDYQ90 | statement | record (an 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.17411#7LYN |
| XTWAD5EG7F | XTWAD5EG7F | statement | record (an 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.06699#TBYT |
| XTWS55VMZ0 | XTWS55VMZ0 | 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.07644#T50V |
| XTWSPKPX55 | XTWSPKPX55 | example | open | lebl_scv scv.tex#example-6 |
| XTXEP2J7NW | XTXEP2J7NW | statement | record (an 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.13076#H7IT |
| XTXN1SP190 | XTXN1SP190 | statement | record (an 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.10107#YVTW |
| XTXQXV1FYN | XTXQXV1FYN | exercise | open | active_calculus source/activities/act-3-1-3.xml#act-3-1-3 |
| XTY5NC7SN0 | XTY5NC7SN0 | 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 0810.0962#FDN2 |
| XTZ76MNV9D | XTZ76MNV9D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1809.06512#3A77 |
| XTZRKF2YYZ | XTZRKF2YYZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.01586#KLY7 |
| Xu's genuineness theorem | 559GAT520N | statement | record (an 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#0ZV3 |
| Xu--Zhang | 2J9PMV1ETS | 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.36444#EQJ2 |
| Xu--Zhang bound | S5C2YDMXGX | statement | record (an 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.36444#TIM3 |
| XV07BYNJ2E | XV07BYNJ2E | statement | record (an 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.34845#PA1F |
| XV0CH1381A | XV0CH1381A | statement | record (an 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.17677#4Y36 |
| XV0EWDETRF | XV0EWDETRF | exercise | open | levin_dmoi ptx/exercises/logic-prop.ptx#exercise-5 |
| XV0TP66T2K | XV0TP66T2K | statement | record (an 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.20817#R175 |
| XV147H10F5 | XV147H10F5 | statement | record (an 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.11800#G225 |
| XV1AKRWHGM | XV1AKRWHGM | statement | record (an 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#Z9ET |
| XV1JND97BF | XV1JND97BF | statement | record (an 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.19464#AXZV |
| XV1W5H1NR9 | XV1W5H1NR9 | statement | record (an 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.05142#UFH6 |
| XV1Y9G2QXJ | XV1Y9G2QXJ | statement | open | ernst_ibl MAAPressVersion/InfiniteSets.tex#thm:infiniteSetTFAE |
| XV25GZEFFR | XV25GZEFFR | statement | record (an 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.09810#XXL4 |
| XV285E7Q5Q | XV285E7Q5Q | statement | record (an 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.40017#X78A |
| XV2D04CKAP | XV2D04CKAP | statement | record (an 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.29501#KNBR |
| XV2FTBF06D | XV2FTBF06D | 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.10930#ZVKW |
| XV2VATVSQY | XV2VATVSQY | statement | record (an 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.35543#MXPS |
| XV35GWF1QM | XV35GWF1QM | statement | record (an 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.09086#L1ZL |
| XV39MRJ762 | XV39MRJ762 | statement | record (an 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.07855#QQ1B |
| XV3DVNR36B | XV3DVNR36B | statement | record (an 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.01968#FALR |
| XV3KBKKSTK | XV3KBKKSTK | statement | record (an 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.07490#0YHM |
| XV3V2G4ZTS | XV3V2G4ZTS | statement | record (an 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.37425#6EKK |
| XV4AZ70TZS | XV4AZ70TZS | statement | record (an 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#TMV1 |
| XV5FHZ3N1J | XV5FHZ3N1J | proof | open | open_logic content/set-theory/ordinals/ordtype.tex#proof-1 |
| XV61MHDP3D | XV61MHDP3D | statement | record (an 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#6MDM |
| XV6C8HVJBJ | XV6C8HVJBJ | exercise | open | napkin tex/topology/compactness.tex#ques-2 |
| XV6K9AACAV | XV6K9AACAV | statement | record (an 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.29943#131V |
| XV6T2SEWN4 | XV6T2SEWN4 | statement | record (an 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.37520#6AFT |
| XV75T996VA | XV75T996VA | statement | record (an 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.28020#7CIZ |
| XV7A38B2FE | XV7A38B2FE | statement | record (an 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.38268#34TH |
| XV7WXS0PJH | XV7WXS0PJH | exercise | open | hott_book reals.tex#ex:alt-dedekind-reals |
| XV8E8SQND5 | XV8E8SQND5 | statement | record (an 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.12819#P96Y |
| XV932ZNC0V | XV932ZNC0V | 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.12640#CSCR |