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 401–500 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X3YE0JEBJS | X3YE0JEBJS | statement | record (an 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.25896#U0A5 |
| X3YJ97HFSN | X3YJ97HFSN | statement | record (an 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#ZOUK |
| X3YK0K3DRV | X3YK0K3DRV | 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.20956#REP5 |
| X3YY6VK2Q8 | X3YY6VK2Q8 | statement | record (an 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.26262#WFDR |
| X3YZM3JD08 | X3YZM3JD08 | statement | record (an 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.28251#LTNH |
| X3Z16G4J7Y | X3Z16G4J7Y | statement | record (an 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.04145#H986 |
| X3ZGJMRVCP | X3ZGJMRVCP | 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.03856#43S7 |
| X3ZQ20CN0V | X3ZQ20CN0V | unknown | open | |
| X404WMX5BT | X404WMX5BT | statement | record (an 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#7GGA |
| X40D0YM47V | X40D0YM47V | statement | record (an 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.33015#CWUI |
| X40J1PQQDQ | X40J1PQQDQ | statement | record (an 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.39981#KRL0 |
| X410A9D85P | X410A9D85P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#BDWJ |
| X41QVTQP2E | X41QVTQP2E | statement | record (an 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.27125#PPCV |
| X4279DNZ0D | X4279DNZ0D | statement | record (an 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.33590#ORCY |
| X42NBGR4CN | X42NBGR4CN | statement | record (an 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.29759#ZVVB |
| X439JAXYXF | X439JAXYXF | statement | record (an 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.18618#C4FF |
| X43A7GRK2B | X43A7GRK2B | statement | record (an 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.16311#PT6K |
| X44TAECNCR | X44TAECNCR | 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#P798 |
| X4577M9J18 | X4577M9J18 | statement | record (an 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#1RI2 |
| X45SV65938 | X45SV65938 | statement | record (an 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.09721#E9NO |
| X46K8CV253 | X46K8CV253 | statement | record (an 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.36823#6DHK |
| X47DRK8082 | X47DRK8082 | statement | record (an 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.33733#FVTS |
| X47DT7X3PZ | X47DT7X3PZ | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-8 |
| X481W1MAF5 | X481W1MAF5 | statement | record (an 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#RMA3 |
| X4871XY98N | X4871XY98N | statement | record (an 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.03081#5YNG |
| X4974EFDZ8 | X4974EFDZ8 | statement | record (an 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.16554#6F0A |
| X49CWX2H7A | X49CWX2H7A | statement | record (an 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.28597#P1W9 |
| X49DBFDQH9 | X49DBFDQH9 | 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 1907.01440#RRIQ |
| X49E9Z5ARB | X49E9Z5ARB | 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 2503.22636#084U |
| X49VPJT4B6 | X49VPJT4B6 | 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 2405.05684#TAUR |
| X4AHQCCEJP | X4AHQCCEJP | statement | record (an 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.12496#M0UJ |
| X4BDVPPQVP | X4BDVPPQVP | statement | record (an 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.16411#YWDX |
| X4BFP0PNHA | X4BFP0PNHA | 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.12357#XTWU |
| X4BKGJ5BN5 | X4BKGJ5BN5 | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#ex_polya_cyclic12 |
| X4C70QST4P | X4C70QST4P | statement | record (an 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.06081#D7IO |
| X4CF9AFDZM | X4CF9AFDZM | statement | record (an 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.27114#5RJ3 |
| X4CP8G18CH | X4CP8G18CH | statement | record (an 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.22374#GYV2 |
| X4CZXQSG4D | X4CZXQSG4D | statement | record (an 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.40189#M851 |
| X4D7NAJWM1 | X4D7NAJWM1 | statement | open | open_logic content/first-order-logic/completeness/downward-ls.tex#thm:downward-ls |
| X4DEE2NNJP | X4DEE2NNJP | statement | record (an 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.11939#NP20 |
| X4E36H12Z2 | X4E36H12Z2 | 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.08487#T5HJ |
| X4EADWJHYJ | X4EADWJHYJ | statement | record (an 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.03272#5BKE |
| X4EQMB9VQY | X4EQMB9VQY | statement | record (an 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.37973#EG1K |
| X4ER88WTF4 | X4ER88WTF4 | statement | record (an 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#X7IK |
| X4F3TYWFY8 | X4F3TYWFY8 | exercise | open | lebl_scv scv.tex#exercise-180 |
| X4F5XBPB7J | X4F5XBPB7J | statement | record (an 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.15812#WNFQ |
| X4FBY5VZGZ | X4FBY5VZGZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10202#3SIM |
| X4FV2P2JQ9 | X4FV2P2JQ9 | 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.03559#OK1M |
| X4GF5JVVSG | X4GF5JVVSG | exercise | open | napkin tex/H113/quotient.tex#ques-7 |
| X4GJ40TJ5N | X4GJ40TJ5N | statement | open | hott_book equivalences.tex#wfetofe |
| X4HAW0JCQV | X4HAW0JCQV | statement | record (an 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.24355#X9ZW |
| X4HMHZR32G | X4HMHZR32G | proof | open | open_logic content/first-order-logic/tableaux/soundness.tex#proof-2 |
| X4HQ22AT3D | X4HQ22AT3D | statement | record (an 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.25030#9K70 |
| X4HT3MCFPP | X4HT3MCFPP | proof | open | lebl_ra ch-metric.tex#proof-16 |
| X4J2AQAVC8 | X4J2AQAVC8 | statement | record (an 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.24353#TF82 |
| X4J525E2AW | X4J525E2AW | 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.14914#LUI5 |
| X4J8E11VT5 | X4J8E11VT5 | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-23 |
| X4JXST2XHE | X4JXST2XHE | statement | record (an 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.31278#5XDH |
| X4K1TTYYGE | X4K1TTYYGE | statement | record (an 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.22326#HDLC |
| X4K9EFFTVQ | X4K9EFFTVQ | statement | record (an 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.37897#5HTF |
| X4KAAH7YMP | X4KAAH7YMP | statement | record (an 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.20516#90GR |
| X4KJYRDJPT | X4KJYRDJPT | statement | record (an 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.40214#VDEY |
| X4M11E31NN | X4M11E31NN | 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.25101#2TCU |
| X4M6N7CNN8 | X4M6N7CNN8 | statement | record (an 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.13505#GDGV |
| X4M6XVVMVT | X4M6XVVMVT | statement | record (an 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.18618#2Q2B |
| X4MB10R01R | X4MB10R01R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.14306#W4P4 |
| X4MF7TJ8Q5 | X4MF7TJ8Q5 | statement | record (an 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.07828#IJ70 |
| X4MXER3DGK | X4MXER3DGK | statement | record (an 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.01653#2M9M |
| X4N4ZAE5H5 | X4N4ZAE5H5 | statement | record (an 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#F8CI |
| X4N7QX427B | X4N7QX427B | statement | record (an 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.01742#PMTA |
| X4N8FAHR6Z | X4N8FAHR6Z | statement | record (an 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.28075#2JRB |
| X4NEKHF31D | X4NEKHF31D | statement | record (an 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.30336#H5OR |
| X4NMPH4JBM | X4NMPH4JBM | statement | open | hott_book reals.tex#dedekind-in-cut-as-le |
| X4NRSMYPX9 | X4NRSMYPX9 | statement | record (an 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.29712#24VO |
| X4P3E3GGSE | X4P3E3GGSE | 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.10365#I85F |
| X4PB5K22Y9 | X4PB5K22Y9 | statement | record (an 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.27114#5WDV |
| X4PGD137PF | X4PGD137PF | 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.24845#MRV5 |
| X4QBDT8CWY | X4QBDT8CWY | exercise | open | lebl_ra ch-approximate.tex#exercise-72 |
| X4QFED4X77 | X4QFED4X77 | statement | record (an 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.02019#I794 |
| X4QVKKFNG9 | X4QVKKFNG9 | statement | record (an 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.12481#ZC6G |
| X4RCJA38XC | X4RCJA38XC | statement | record (an 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.20386#QDZS |
| X4RNSBY0F2 | X4RNSBY0F2 | statement | record (an 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#X6U7 |
| X4SA70Y6HG | X4SA70Y6HG | statement | record (an 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.02489#2RRL |
| X4SEVH9ZMY | X4SEVH9ZMY | statement | record (an 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.21501#CT2P |
| X4SQFVZN50 | X4SQFVZN50 | statement | record (an 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.24584#PSQO |
| X4T4BPPA6S | X4T4BPPA6S | 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 2303.09207#XVNS |
| X4T8JQT0ZM | X4T8JQT0ZM | statement | record (an 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.32387#WYMC |
| X4TA2XAM2N | X4TA2XAM2N | definition | open | open_logic content/intuitionistic-logic/semantics/relational-models.tex#defn-1 |
| X4TD99TVCW | X4TD99TVCW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#WM14 |
| X4TN9ECHFG | X4TN9ECHFG | statement | record (an 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.13142#4QQZ |
| X4TP40P82N | X4TP40P82N | definition | open | napkin tex/homology/singular.tex#definition-5 |
| X4V6QEVZYM | X4V6QEVZYM | statement | record (an 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.01874#H4A8 |
| X4V8X79P0R | X4V8X79P0R | statement | record (an 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.18673#DYBG |
| X4VVR7BXY7 | X4VVR7BXY7 | 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.20894#5OZM |
| X4W1C6C5WK | X4W1C6C5WK | statement | record (an 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.11143#JW2Y |
| X4WEK51NB1 | X4WEK51NB1 | statement | record (an 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.20588#WPZ0 |
| X4X3579FFK | X4X3579FFK | statement | record (an 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#KYV0 |
| X4X4BA7ZA1 | X4X4BA7ZA1 | statement | record (an 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.10233#NBCZ |
| X4XC33SEGF | X4XC33SEGF | 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.39539#I7PB |
| X4XGD0SMA1 | X4XGD0SMA1 | statement | record (an 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.03688#YKAI |