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 2301–2400 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XRSE96FGBG | XRSE96FGBG | statement | record (an 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.00843#2I8N |
| XRT4N4WKHP | XRT4N4WKHP | definition | open | open_logic content/first-order-logic/tableaux/rules-and-proofs.tex#defn-1 |
| XRTC9Z79AG | XRTC9Z79AG | statement | record (an 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.30957#DIAT |
| XRTKMNCR0Q | XRTKMNCR0Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.21045#Z9B0 |
| XRV1PYP3MH | XRV1PYP3MH | statement | record (an 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.28808#L8RF |
| XRV973G4WY | XRV973G4WY | 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.36622#SLU1 |
| XRVBETVNFB | XRVBETVNFB | statement | record (an 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.17759#TYQY |
| XRVT84ZJR6 | XRVT84ZJR6 | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#prob:find sim from Rel |
| XRW4HMK9TM | XRW4HMK9TM | statement | record (an 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#UTZG |
| XRWJ2MWV2J | XRWJ2MWV2J | statement | record (an 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#7EEB |
| XRWP9TQR0B | XRWP9TQR0B | statement | record (an 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.37698#MYWA |
| XRWXA24JAK | XRWXA24JAK | statement | record (an 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.23994#7797 |
| XRY5V6WMQJ | XRY5V6WMQJ | statement | record (an 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.06683#FTXR |
| XRYKNA77CV | XRYKNA77CV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#CKV6 |
| XRYQR0PT9F | XRYQR0PT9F | statement | record (an 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.24845#46RB |
| XRYXF3S0Y2 | XRYXF3S0Y2 | proof | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-3 |
| XRZ2YVCG44 | XRZ2YVCG44 | statement | record (an 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.12489#QPCX |
| XRZ3FTWHH6 | XRZ3FTWHH6 | statement | record (an 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.16294#00RC |
| XRZJJ3MVJB | XRZJJ3MVJB | statement | record (an 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.10968#RLD7 |
| XS054R0KJF | XS054R0KJF | statement | record (an 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.10377#BAWE |
| XS06R6B4KE | XS06R6B4KE | example | open | levin_dmoi ptx/sec_logic-prop.ptx#example-6 |
| XS0C54TB0J | XS0C54TB0J | statement | record (an 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#JDRF |
| XS0XXPVQ3A | XS0XXPVQ3A | statement | record (an 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.27628#EZDM |
| XS0ZNT495D | XS0ZNT495D | 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 2609.36186#BUWB |
| XS0ZPKF8WE | XS0ZPKF8WE | statement | record (an 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.22514#4Z7H |
| XS11681VFT | XS11681VFT | 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.01912#5Q1L |
| XS1C71W23E | XS1C71W23E | statement | record (an 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.21954#P7B4 |
| XS1KGWRKP9 | XS1KGWRKP9 | statement | record (an 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.03746#22MX |
| XS1PYSGM33 | XS1PYSGM33 | definition | open | austin_ula src/section3-1.xml#definition-2 |
| XS1ZMFH2FG | XS1ZMFH2FG | statement | record (an 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.14837#TZEH |
| XS2CFZ8X4A | XS2CFZ8X4A | 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.26600#LLMD |
| XS2E2N524D | XS2E2N524D | statement | record (an 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.07299#QD3E |
| XS3P5ZFMKE | XS3P5ZFMKE | statement | record (an 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.19854#Z3CZ |
| XS3ZC4FY63 | XS3ZC4FY63 | 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 2207.12181#A8Z4 |
| XS48Y74W5A | XS48Y74W5A | statement | record (an 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.20932#NL66 |
| XS4BGHMWVB | XS4BGHMWVB | example | open | hott_book categories.tex#ct:groupoid-dagger-cat |
| XS5J92TA2S | XS5J92TA2S | statement | record (an 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.33531#NJ85 |
| XS5KAQNESR | XS5KAQNESR | 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 2503.22636#O3WH |
| XS5VE24NGB | XS5VE24NGB | statement | record (an 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.07927#0TGX |
| XS65SR1G9C | XS65SR1G9C | statement | record (an 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.14045#EGH3 |
| XS6649GHKG | XS6649GHKG | 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 2609.25718#73QE |
| XS6CX9JFKN | XS6CX9JFKN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.14389#PQ90 |
| XS6VND09H1 | XS6VND09H1 | statement | record (an 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.32174#3PAY |
| XS71SS3Y0D | XS71SS3Y0D | statement | record (an 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.33643#ZJ7B |
| XS78AN0M3K | XS78AN0M3K | 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.38975#O5T8 |
| XS7A00GBBJ | XS7A00GBBJ | statement | record (an 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.06785#HHMR |
| XS7E6QQM6Y | XS7E6QQM6Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03461#HFFU |
| XS7JCBG7HY | XS7JCBG7HY | 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.00914#0B23 |
| XS89EQXYEB | XS89EQXYEB | statement | record (an 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.06541#I4XG |
| XS8GXN8622 | XS8GXN8622 | statement | record (an 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.21274#KDR1 |
| XS8YSNSJM8 | XS8YSNSJM8 | statement | record (an 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.21860#DH83 |
| XS93VER1PK | XS93VER1PK | statement | record (an 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.17258#D50F |
| XS93X1S0FA | XS93X1S0FA | statement | record (an 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#PGKT |
| XS98X47PM6 | XS98X47PM6 | statement | record (an 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.38188#8VO6 |
| XS98YJX18Q | XS98YJX18Q | 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.16267#YY0F |
| XSAECRGKCE | XSAECRGKCE | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-47 |
| XSAJQVEJ46 | XSAJQVEJ46 | 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 2405.14678#VRJ5 |
| XSalsa20 | WQ5G1WCBZP | unknown | open | Wikipedia Salsa20#2HTS |
| XSAYRFDJXK | XSAYRFDJXK | example | open | lebl_scv scv.tex#example:diffformscircleint |
| XSB4283SZ8 | XSB4283SZ8 | example | open | napkin tex/H113/grp-intro.tex#example-5 |
| XSB956W3SE | XSB956W3SE | statement | record (an 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.38993#MLUL |
| XSBE35X63P | XSBE35X63P | statement | record (an 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.18690#LC4L |
| XSBRM2BTG2 | XSBRM2BTG2 | proof | open | lebl_ra ch-approximate.tex#proof-17 |
| XSBZX79EJG | XSBZX79EJG | statement | record (an 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.04317#WSJ3 |
| XSC07KB6FS | XSC07KB6FS | 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 2306.12846#WYT2 |
| XSC085F8YW | XSC085F8YW | statement | record (an 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#F9BN |
| XSC14FS314 | XSC14FS314 | 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.23528#X6ZK |
| XSCTD8ZEFD | XSCTD8ZEFD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1652#MNQM |
| XSCY9RQE47 | XSCY9RQE47 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.11684#KUBE |
| XSDB628QCT | XSDB628QCT | statement | record (an 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.32233#8UU7 |
| XSDS65B39X | XSDS65B39X | statement | record (an 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.27800#M7FY |
| XSF9201C75 | XSF9201C75 | statement | record (an 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.26496#X84E |
| XSFKY6Y7VX | XSFKY6Y7VX | 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.20558#2LS3 |
| XSFW3Q7D6E | XSFW3Q7D6E | statement | record (an 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.26307#2ADQ |
| XSG787E99P | XSG787E99P | statement | record (an 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.15344#X3PW |
| XSG9KRN0JK | XSG9KRN0JK | statement | record (an 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.04729#FI0Y |
| XSGF0KVEWB | XSGF0KVEWB | statement | record (an 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.01916#SBQ2 |
| XSGKKGW37Q | XSGKKGW37Q | 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.36423#QHV9 |
| XSGWCFDAX9 | XSGWCFDAX9 | exercise | open | napkin tex/topology/top-more.tex#exercise-2 |
| XSGXE2NXJ3 | XSGXE2NXJ3 | statement | record (an 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.17240#R9UU |
| XSHY3X2RBP | XSHY3X2RBP | statement | record (an 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.16225#V0E5 |
| XSJ1HRA4ZM | XSJ1HRA4ZM | statement | record (an 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.03337#ET7V |
| XSJDRSW41H | XSJDRSW41H | 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.05486#59V8 |
| XSJHMJR6Y7 | XSJHMJR6Y7 | statement | record (an 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.17139#B07I |
| XSKQ8YNFH3 | XSKQ8YNFH3 | 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.07573#Z2KI |
| XSL attack | S2TMXGV7DZ | definition | open | Wikipedia XSL attack, Wikidata Q2443442 |
| XSMFJZR6S6 | XSMFJZR6S6 | statement | record (an 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.33541#LNQ4 |
| XSMK3GBY4Y | XSMK3GBY4Y | 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 2208.06310#KBD6 |
| XSMRMDJWKD | XSMRMDJWKD | statement | record (an 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.37893#7VD5 |
| XSMSERB0PK | XSMSERB0PK | statement | record (an 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.18219#YN4R |
| XSND05QA2J | XSND05QA2J | 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.13931#0XTS |
| XSP04M19ZS | XSP04M19ZS | statement | record (an 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.03619#0XZ5 |
| XSQ9GQVGZP | XSQ9GQVGZP | proof | open | hott_book hits.tex#proof-22 |
| XSQF57JQ1Z | XSQF57JQ1Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.09294#RBT0 |
| XSQG9C4XJ5 | XSQG9C4XJ5 | statement | record (an 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.17408#JZ9E |
| XSQVG3D1MT | XSQVG3D1MT | statement | record (an 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.38138#YIRL |
| XSQXVE8XXK | XSQXVE8XXK | statement | record (an 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.00339#QPM8 |
| XSSXN5NM1B | XSSXN5NM1B | statement | record (an 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.25084#GB5I |
| XST02BKWXA | XST02BKWXA | statement | record (an 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.20008#51QT |
| XST4132QFN | XST4132QFN | statement | record (an 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.02061#00LG |