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 601–700 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X67BJYVHW2 | X67BJYVHW2 | statement | record (an 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.39104#KHX1 |
| X68CX0E4FA | X68CX0E4FA | 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.29784#FWOH |
| X68GE02H70 | X68GE02H70 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.06473#18GX |
| X69BPMPEBG | X69BPMPEBG | statement | record (an 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.21945#X70W |
| X69N021Z4D | X69N021Z4D | statement | record (an 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.09464#CEA2 |
| X69S0SWPWK | X69S0SWPWK | unknown | open | arXiv 1408.1555#GFAH |
| X69WNS1YDK | X69WNS1YDK | 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#XQ2X |
| X6B44YBF7C | X6B44YBF7C | statement | record (an 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.23562#WWOF |
| X6B8GHH8KX | X6B8GHH8KX | statement | record (an 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.30014#5NJK |
| X6BH8RJASE | X6BH8RJASE | statement | record (an 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.16388#JPH5 |
| X6BZKX6D61 | X6BZKX6D61 | 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.10937#O8S6 |
| X6C9J5QZ4Y | X6C9J5QZ4Y | exercise | open | open_logic content/set-theory/spine/rank.tex#prob-1 |
| X6CG3G9PPC | X6CG3G9PPC | statement | record (an 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#X1B2 |
| X6CQJVE8TQ | X6CQJVE8TQ | statement | record (an 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.05451#NU3M |
| X6D7XRV1S0 | X6D7XRV1S0 | example | open | lebl_diffyqs ch-power-ser.tex#example-9 |
| X6DBS4FBGS | X6DBS4FBGS | statement | record (an 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.31243#BDHN |
| X6DCRCJAVP | X6DCRCJAVP | statement | record (an 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.27931#GLW7 |
| X6DEE6SWF8 | X6DEE6SWF8 | statement | record (an 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.26769#DJV2 |
| X6DFX7N09Q | X6DFX7N09Q | statement | record (an 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.13833#QJ8E |
| X6DV3XS9EF | X6DV3XS9EF | statement | record (an 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.30527#ZJ46 |
| X6EMQDT8JH | X6EMQDT8JH | statement | record (an 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#6AHN |
| X6ESYYN3RG | X6ESYYN3RG | 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.13532#8IOQ |
| X6EZGFXWA9 | X6EZGFXWA9 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q9914, ProofWiki Symbols:H |
| X6F9WFM5BC | X6F9WFM5BC | statement | record (an 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.03763#9W8Y |
| X6GJH4HP28 | X6GJH4HP28 | 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.16554#M70R |
| X6GM191W5Q | X6GM191W5Q | statement | record (an 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.20805#8GZH |
| X6GTPSRC8H | X6GTPSRC8H | statement | record (an 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.04809#5FIN |
| X6HMWED73T | X6HMWED73T | statement | record (an 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.11545#DZSO |
| X6J7X6FZ93 | X6J7X6FZ93 | statement | record (an 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.20899#F61Q |
| X6JPSFZB0R | X6JPSFZB0R | statement | record (an 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.23797#NVF6 |
| X6JQ6H4AP7 | X6JQ6H4AP7 | statement | record (an 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.24320#D13W |
| X6KAH7XB7G | X6KAH7XB7G | statement | record (an 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.11693#SSA2 |
| X6KAJSNV7W | X6KAJSNV7W | statement | open | lebl_diffyqs ch-fourier-and-pde.tex#theorem-2 |
| X6KBTGWSET | X6KBTGWSET | statement | record (an 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.20513#3FFU |
| X6MC0BTV55 | X6MC0BTV55 | statement | open | open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#lem-2 |
| X6MG20CS81 | X6MG20CS81 | exercise | open | lebl_ra ch-multivar-int.tex#mv:changeofvarWxopen |
| X6MQTPC5HM | X6MQTPC5HM | statement | record (an 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.36922#XSOI |
| X6MX9NJ4XE | X6MX9NJ4XE | statement | open | lebl_diffyqs ch-fourier-and-pde.tex#theorem-3 |
| X6N74VHR47 | X6N74VHR47 | statement | record (an 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.31216#RLIM |
| X6N7Y10PB3 | X6N7Y10PB3 | statement | record (an 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#K7V6 |
| X6NB74DR21 | X6NB74DR21 | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-29 |
| X6NGX2JS5Z | X6NGX2JS5Z | 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.33590#M7WQ |
| X6PG4JKSBJ | X6PG4JKSBJ | statement | record (an 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.16235#2739 |
| X6PPC2N681 | X6PPC2N681 | statement | record (an 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.22272#NR5F |
| X6PTHFPJBH | X6PTHFPJBH | statement | record (an 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.20135#HSXP |
| X6Q43BBBMH | X6Q43BBBMH | statement | record (an 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#C3KU |
| X6QHMCZYCN | X6QHMCZYCN | statement | record (an 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.07092#Q3KK |
| X6QYHMR73X | X6QYHMR73X | statement | record (an 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.20716#7OA8 |
| X6R4AWYGGC | X6R4AWYGGC | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-6 |
| X6R6FNSQ35 | X6R6FNSQ35 | statement | record (an 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.09522#592J |
| X6R6QKS9RS | X6R6QKS9RS | 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.30823#3L4U |
| X6R9NHBCXC | X6R9NHBCXC | statement | record (an 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#6IIZ |
| X6RM2SG07E | X6RM2SG07E | unknown | open | arXiv 2306.16411#WJPZ |
| X6RT15R3S6 | X6RT15R3S6 | statement | record (an 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.07461#DM6H |
| X6S3H0X9Z3 | X6S3H0X9Z3 | 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.28669#E8K0 |
| X6S4ETDJBG | X6S4ETDJBG | statement | record (an 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.17060#YUJH |
| X6SE0ZKAM5 | X6SE0ZKAM5 | statement | record (an 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.01803#RQE2 |
| X6SH641V2A | X6SH641V2A | definition | open | napkin tex/topology/metric-top.tex#definition-8 |
| X6T01RHBJX | X6T01RHBJX | statement | record (an 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#0MAI |
| X6V8DCK32C | X6V8DCK32C | statement | record (an 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.18302#TU2P |
| X6VJ410B2Y | X6VJ410B2Y | statement | open | hott_book hits.tex#thm:looptothe |
| X6VMYQR8G6 | X6VMYQR8G6 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-7 |
| X6WSF9V0WP | X6WSF9V0WP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2006.07610#9BY8 |
| X6WTVED3TN | X6WTVED3TN | 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.22317#11UW |
| X6XQ2V069P | X6XQ2V069P | statement | record (an 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.11047#NY89 |
| X6Y4X23W8F | X6Y4X23W8F | statement | record (an 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#D6XM |
| X6YREFBHDY | X6YREFBHDY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.09700#CKAZ |
| X6Z3GEPGJC | X6Z3GEPGJC | statement | record (an 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.29671#LQXN |
| X6ZCQH3XKA | X6ZCQH3XKA | statement | record (an 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.12330#I5JY |
| X6ZJT9C71F | X6ZJT9C71F | statement | record (an 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.10152#XCQ5 |
| X6ZRETEQSC | X6ZRETEQSC | statement | record (an 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.20466#E8I8 |
| X6ZSM54F02 | X6ZSM54F02 | 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.30750#G4XI |
| X70B1QAP2C | X70B1QAP2C | statement | record (an 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.07461#2T1M |
| X7147NY2WX | X7147NY2WX | statement | record (an 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.07728#N522 |
| X71KHM7ZAH | X71KHM7ZAH | statement | record (an 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.22297#S5C9 |
| X73N00YVK4 | X73N00YVK4 | example | open | levin_dmoi ptx/sec_seq-arithgeom.ptx#example-3 |
| X73PNGTRV3 | X73PNGTRV3 | statement | record (an 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.08723#X2YR |
| X7433EEYDB | X7433EEYDB | statement | record (an 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#BRBD |
| X7484GDH27 | X7484GDH27 | statement | record (an 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.00337#9VU4 |
| X74VYTG72R | X74VYTG72R | statement | record (an 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#IWDL |
| X75554H0F0 | X75554H0F0 | statement | record (an 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.15316#9MLP |
| X755AC04SR | X755AC04SR | statement | record (an 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.27646#IH8D |
| X75CTGV36X | X75CTGV36X | statement | open | ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-3 |
| X75F2MF609 | X75F2MF609 | statement | record (an 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.12330#A35D |
| X75FQ91B9E | X75FQ91B9E | statement | record (an 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.38532#8WPR |
| X75HK2YJAQ | X75HK2YJAQ | statement | record (an 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#5QD5 |
| X75RQGKQV8 | X75RQGKQV8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.05417#D39I |
| X75XXW2868 | X75XXW2868 | problem | open | Wikipedia Rudin's conjecture#38NH |
| X769J6X8NG | X769J6X8NG | statement | record (an 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.11388#7JJD |
| X76DDY7499 | X76DDY7499 | 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.25915#PRBN |
| X76EW6WCE4 | X76EW6WCE4 | statement | record (an 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#Z2BJ |
| X76Z0G0J49 | X76Z0G0J49 | definition | open | napkin tex/alg-NT/galois.tex#definition-4 |
| X77NJMGVNV | X77NJMGVNV | statement | record (an 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.22291#FC5I |
| X78P5DF0NR | X78P5DF0NR | statement | record (an 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#LL6D |
| X79FQ2MSM1 | X79FQ2MSM1 | statement | record (an 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.4651#QFL0 |
| X79H0DHJ0S | X79H0DHJ0S | statement | open | lebl_ra ch-metric.tex#thm:mscompactisseqcpt |
| X79KKBYDSA | X79KKBYDSA | 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.08599#LCJO |
| X7A3BKNDWD | X7A3BKNDWD | 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.25111#295I |
| X7AGR4GHHG | X7AGR4GHHG | statement | record (an 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.31689#72NW |
| X7ARPQSFZD | X7ARPQSFZD | statement | record (an 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.35632#DTG1 |