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 1901–2000 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XPJ15QQCQY | XPJ15QQCQY | 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.09201#ESZI |
| XPJ2EKFM5X | XPJ2EKFM5X | statement | record (an 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.04645#IO93 |
| XPJSM43QWE | XPJSM43QWE | statement | record (an 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.32077#XHOF |
| XPK2NJZ0ZB | XPK2NJZ0ZB | example | open | lebl_ra ch-seq-ser.tex#example-3 |
| XPK7M7YC40 | XPK7M7YC40 | statement | record (an 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.13513#MJZI |
| XPM0MAZ0VX | XPM0MAZ0VX | 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.37520#TD73 |
| XPM2SF1896 | XPM2SF1896 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.01959#BKHP |
| XPMAT03KCP | XPMAT03KCP | 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.39269#O51K |
| XPMK8YXGB4 | XPMK8YXGB4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.4141#4E5D |
| XPNRN1YAHP | XPNRN1YAHP | statement | record (an 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.13723#IENH |
| XPNWB5ARD7 | XPNWB5ARD7 | statement | record (an 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.12141#5UPU |
| XPNYK3HYA7 | XPNYK3HYA7 | statement | record (an 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.28742#8OWS |
| XPNZB8FC4N | XPNZB8FC4N | statement | record (an 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.37634#GB2L |
| XPP48ZVKH2 | XPP48ZVKH2 | 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.30444#S9AU |
| XPP7GA4JNB | XPP7GA4JNB | statement | open | lebl_ra ch-vol1-intro.tex#st:propfor |
| XPPRCTFDK6 | XPPRCTFDK6 | statement | record (an 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.21675#FLB9 |
| XPPWPJE4AK | XPPWPJE4AK | 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.38548#96WM |
| XPQ2V41HTV | XPQ2V41HTV | exercise | open | lebl_scv scv.tex#exercise:notsimpledefofdoh |
| XPQTSTKVB1 | XPQTSTKVB1 | exercise | open | hott_book hlevels.tex#ex:connected-pointed-all-section-retraction |
| XPR6PQYPBB | XPR6PQYPBB | statement | record (an 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.14267#VR7E |
| XPRDMF7B5P | XPRDMF7B5P | statement | record (an 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.27518#VLMH |
| XPRGF4KJP6 | XPRGF4KJP6 | statement | record (an 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.14319#TFJ8 |
| XPRH6QTV2P | XPRH6QTV2P | statement | record (an 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.33027#O7JA |
| XPRNPXKRPK | XPRNPXKRPK | 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.31907#F5LM |
| XPSMN2CYE9 | XPSMN2CYE9 | statement | record (an 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.33651#AA1E |
| XPSQ16DH90 | XPSQ16DH90 | statement | record (an 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.05427#91SR |
| XPTSFD4KA7 | XPTSFD4KA7 | statement | record (an 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.07530#J94Z |
| XPVFJ8D9HP | XPVFJ8D9HP | statement | record (an 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.06381#NQDQ |
| XPVQBN0HMW | XPVQBN0HMW | statement | record (an 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.08568#DNGG |
| XPVW4ETV78 | XPVW4ETV78 | statement | record (an 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#HXP7 |
| XPWPDN7300 | XPWPDN7300 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00877#QMOM |
| XPX18YSTT3 | XPX18YSTT3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2608.17785#S78P |
| XPX331S51G | XPX331S51G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#JEVP |
| XPXNM2JQQ9 | XPXNM2JQQ9 | exercise | open | open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prob-1 |
| XPXTET7GKZ | XPXTET7GKZ | 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.14548#PSGD |
| XPXZ3Q22VV | XPXZ3Q22VV | example | open | applied_combinatorics source/s_recurrence_solving.ptx#example-1 |
| XPY4DWQZQV | XPY4DWQZQV | statement | record (an 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.01473#G9CL |
| XPY97NVS78 | XPY97NVS78 | 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.04761#4RF4 |
| XPYD09V97E | XPYD09V97E | proof | open | hott_book logic.tex#proof-5 |
| XPYJ5361BG | XPYJ5361BG | 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.13792#381F |
| XPYTBWN4T2 | XPYTBWN4T2 | statement | record (an 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.09324#M8K6 |
| XPZ764SH4D | XPZ764SH4D | statement | record (an 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.02377#Z45Y |
| XPZV86ANR5 | XPZV86ANR5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1607.01095#LPE5 |
| XQ05MWJSRN | XQ05MWJSRN | statement | record (an 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.39269#DGO5 |
| XQ0BZA49SP | XQ0BZA49SP | statement | open | open_logic content/computability/recursive-functions/bounded-minimization.tex#prop-1 |
| XQ0E3VK4GK | XQ0E3VK4GK | statement | record (an 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.25353#FVDT |
| XQ0Y2CFTXD | XQ0Y2CFTXD | 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 2506.16491#CQXK |
| XQ1CPY5CW6 | XQ1CPY5CW6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#SLD0 |
| XQ1P5GYRVG | XQ1P5GYRVG | statement | record (an 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.08789#USIA |
| XQ300BK466 | XQ300BK466 | statement | record (an 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.39505#GUE8 |
| XQ3X5ZB6G5 | XQ3X5ZB6G5 | statement | record (an 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.28540#JMMV |
| XQ44MMND61 | XQ44MMND61 | statement | record (an 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.19660#MZD3 |
| XQ4C5PGRZ2 | XQ4C5PGRZ2 | statement | record (an 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#IQ7I |
| XQ4PJWQTXB | XQ4PJWQTXB | statement | record (an 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.18329#RIXJ |
| XQ65NZ00P6 | XQ65NZ00P6 | statement | record (an 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.20165#D7QB |
| XQ68RKB9WY | XQ68RKB9WY | 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 2512.16003#N3BD |
| XQ6CEJ73NC | XQ6CEJ73NC | 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.17798#4E3H |
| XQ6K19Y8B9 | XQ6K19Y8B9 | statement | record (an 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.17484#K8U3 |
| XQ6QCC1C7B | XQ6QCC1C7B | statement | record (an 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.10840#T8L2 |
| XQ6XZTAPAE | XQ6XZTAPAE | 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.26619#K8I6 |
| XQ7AHPFB3E | XQ7AHPFB3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.16655#5PSR |
| XQ7ARJ4P3F | XQ7ARJ4P3F | unknown | open | arXiv 2106.06387#X9NA |
| XQ7B6YSHZ8 | XQ7B6YSHZ8 | definition | open | open_logic content/model-theory/interpolation/definability.tex#defn-1 |
| XQ7BBPP5A3 | XQ7BBPP5A3 | statement | record (an 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.28898#8KI1 |
| XQ7NNY5KQP | XQ7NNY5KQP | statement | record (an 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.27775#CSYK |
| XQ85K6SPH0 | XQ85K6SPH0 | statement | record (an 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.24355#TUWE |
| XQ8RYT02TR | XQ8RYT02TR | statement | record (an 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.25985#2WSW |
| XQ93VM99Q4 | XQ93VM99Q4 | statement | record (an 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.21358#R856 |
| XQ9EC4GTHM | XQ9EC4GTHM | statement | record (an 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#1MHL |
| XQ9YQB3H1B | XQ9YQB3H1B | 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#5I91 |
| XQADXX8VNZ | XQADXX8VNZ | statement | record (an 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.03814#YI4K |
| XQAXZ2WGMA | XQAXZ2WGMA | statement | record (an 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.15472#6YR7 |
| XQAYV9VVSQ | XQAYV9VVSQ | statement | record (an 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.37466#TQ7M |
| XQBBSJH8HT | XQBBSJH8HT | statement | record (an 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.29393#68LP |
| XQC2HFFDFS | XQC2HFFDFS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10636#6OS6 |
| XQC3S7SY8R | XQC3S7SY8R | 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.30279#4UO2 |
| XQC8GD30QB | XQC8GD30QB | exercise | open | open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prob-2 |
| XQCDQ9XYB2 | XQCDQ9XYB2 | statement | record (an 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.21037#J9TB |
| XQCWGHRRQG | XQCWGHRRQG | statement | record (an 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.13103#DLLY |
| XQDPK7WWW2 | XQDPK7WWW2 | statement | record (an 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#0L5C |
| XQDV7NGTQC | XQDV7NGTQC | exercise | open | austin_ula src/exercises/exercises2-5.xml#exercise-3 |
| XQDVG9P57F | XQDVG9P57F | statement | record (an 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#DDNX |
| XQDX62M7A5 | XQDX62M7A5 | 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.19260#2UZ7 |
| XQEB4FT8GJ | XQEB4FT8GJ | statement | record (an 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.06621#PQH1 |
| XQG90H2V2G | XQG90H2V2G | statement | record (an 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.25656#F9WU |
| XQGEH4N7EA | XQGEH4N7EA | 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 1007.4365#9I6H |
| XQGQ53YRVX | XQGQ53YRVX | statement | record (an 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.02407#FCNW |
| XQGQSKQAEV | XQGQSKQAEV | statement | record (an 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.33856#6JKV |
| XQH8FZSHPN | XQH8FZSHPN | statement | record (an 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#NJJQ |
| XQJ1ZJ4G3S | XQJ1ZJ4G3S | proof | open | napkin tex/measure/martingale.tex#proof-1 |
| XQJ3NRYWM1 | XQJ3NRYWM1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0803.0074#14I6 |
| XQJGZDBGK0 | XQJGZDBGK0 | statement | record (an 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.15169#0XA5 |
| XQJJQT03M2 | XQJJQT03M2 | statement | record (an 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.19437#JKY3 |
| XQK1BBYEV3 | XQK1BBYEV3 | unknown | open | arXiv 2609.28893#FU1Q |
| XQK97102EH | XQK97102EH | statement | record (an 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.06326#JX60 |
| XQKHJEXX9S | XQKHJEXX9S | statement | record (an 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.16491#2P4G |
| XQKJVFQYCA | XQKJVFQYCA | statement | record (an 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.39790#JY5H |
| XQKT6NVKJX | XQKT6NVKJX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.02312#QP4X |
| XQMSHA9SR3 | XQMSHA9SR3 | statement | record (an 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.36509#OJNP |
| XQMWW979K9 | XQMWW979K9 | statement | record (an 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.15723#7VAX |