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 2401–2500 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XSVDCKS5Z6 | XSVDCKS5Z6 | statement | record (an 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.38742#8TS3 |
| XSW1BQWFD3 | XSW1BQWFD3 | 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.36377#LXRR |
| XSW2YDRD25 | XSW2YDRD25 | statement | record (an 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.08655#8D0G |
| XSX3MZMBCT | XSX3MZMBCT | statement | record (an 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.21191#GFN6 |
| XSY58BB36A | XSY58BB36A | statement | open | open_logic content/computability/computability-theory/complement-ce.tex#cor:comp-k |
| XSY9PQ7VW0 | XSY9PQ7VW0 | statement | record (an 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.31910#S1QX |
| XSYBZZ67AZ | XSYBZZ67AZ | statement | record (an 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#7MFN |
| XSYKTTXRPD | XSYKTTXRPD | statement | record (an 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.09840#UHPD |
| XSYPRP42BJ | XSYPRP42BJ | statement | record (an 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.07352#4JKE |
| XSYQ26F31B | XSYQ26F31B | statement | record (an 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.12502#KPOB |
| XSZJ0ZGMVG | XSZJ0ZGMVG | statement | record (an 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#XYBC |
| XSZJ2DM0F3 | XSZJ2DM0F3 | 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 2504.00596#MNMR |
| XSZNK8DSYS | XSZNK8DSYS | exercise | open | levin_dmoi ptx/exercises/logic-conc.ptx#exercise-8 |
| XT0FQ86PD9 | XT0FQ86PD9 | statement | record (an 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.18777#DS4Y |
| XT0P9B4SWY | XT0P9B4SWY | statement | record (an 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.10338#GJXW |
| XT104MF19W | XT104MF19W | statement | record (an 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.21005#53OT |
| XT1QM0D3RV | XT1QM0D3RV | 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.24795#0164 |
| XT1ZWJ69WH | XT1ZWJ69WH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.16669#GA62 |
| XT22N6R7D2 | XT22N6R7D2 | statement | record (an 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.20406#BKZ7 |
| XT2NRW1J57 | XT2NRW1J57 | 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.13877#FVIC |
| XT3B23VB3B | XT3B23VB3B | 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.11800#IKCL |
| XT466CP15D | XT466CP15D | 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.38243#FB4V |
| XT4YDZPZ6M | XT4YDZPZ6M | 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.10246#NO29 |
| XT5MEVC2PF | XT5MEVC2PF | statement | record (an 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.03555#AAOD |
| XT6MDMX84J | XT6MDMX84J | statement | record (an 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.08039#XFZZ |
| XT6MKP4Q2B | XT6MKP4Q2B | statement | record (an 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.38650#6JTP |
| XT6PKWHN0E | XT6PKWHN0E | statement | record (an 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.10086#TXOB |
| XT7BVAK45W | XT7BVAK45W | 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.20678#ZLOP |
| XT7DY3DGZ7 | XT7DY3DGZ7 | statement | record (an 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.05327#IFPU |
| XT87SCXZYY | XT87SCXZYY | 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.36181#T976 |
| XT8EA18P82 | XT8EA18P82 | statement | record (an 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#AVXR |
| XT94E70F2Z | XT94E70F2Z | proof | open | hott_book basics.tex#proof-24 |
| XT98S8DW4R | XT98S8DW4R | statement | record (an 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.08655#CQGS |
| 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 |
| XTEA | A50DSHHB9P | definition | open | Wikipedia XTEA, Wikidata Q1384945 |
| 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 |
| XTR | 1W0MD2XKCC | definition | open | Wikipedia XTR, Wikidata Q2053930 |
| 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 |
| Xtraview Encryption System | FHN52ZNBEC | definition | open | Wikipedia Xtraview Encryption System, Wikidata Q8045062 |
| 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 |
| XTRMCM6VKC | XTRMCM6VKC | statement | record (an 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.21528#VGCH |
| 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 |