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 401–500 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| 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 |
| X4XM2A0G1J | X4XM2A0G1J | statement | record (an 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.25151#HKUL |
| X4YZ601S4P | X4YZ601S4P | proof | open | lebl_scv scv.tex#proof-76 |
| X4Z9E0M349 | X4Z9E0M349 | 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.38742#762U |
| X4ZBAV6S3X | X4ZBAV6S3X | statement | record (an 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#B4FM |
| X4ZDRTSTV6 | X4ZDRTSTV6 | statement | record (an 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#MBPN |
| X4ZE4GHKMX | X4ZE4GHKMX | 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 2508.21045#W1MF |
| X4ZG678J4N | X4ZG678J4N | 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.13888#Q0HY |
| X50NJK7G2H | X50NJK7G2H | statement | record (an 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.19707#4FKS |
| X50VFCFV2Y | X50VFCFV2Y | statement | record (an 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.00617#V1GU |
| X51AEV8FX3 | X51AEV8FX3 | statement | record (an 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.24610#FG5A |
| X51M903090 | X51M903090 | statement | record (an 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.00562#WW6K |
| X51XCX60NN | X51XCX60NN | statement | record (an 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.00625#AGJR |
| X53RAMB35Q | X53RAMB35Q | statement | record (an 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.25275#L75F |
| X5406E1CDP | X5406E1CDP | statement | record (an 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.01225#PS01 |
| X54CAFGBHT | X54CAFGBHT | statement | record (an 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.12777#A5N5 |
| X54WH2M2XH | X54WH2M2XH | proof | open | applied_combinatorics source/s_background_formal-num-sys.ptx#proof-7 |
| X559XM3Z0S | X559XM3Z0S | 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.31604#BAFP |
| X5604D469Z | X5604D469Z | statement | record (an 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#AGWV |
| X565KB16DV | X565KB16DV | definition | open | napkin tex/H113/grp-intro.tex#definition-3 |
| X56B7AM800 | X56B7AM800 | statement | record (an 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.10505#JLSO |
| X56WCP0YJ7 | X56WCP0YJ7 | statement | record (an 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.31102#6A6P |
| X57ACEMWSA | X57ACEMWSA | statement | record (an 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.09882#ZTMY |
| X57Q3R1A3B | X57Q3R1A3B | statement | record (an 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.00560#N2AU |
| X58VZ4SC83 | X58VZ4SC83 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.13523#EHSP |
| X595MCQQBR | X595MCQQBR | statement | record (an 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.03449#EHQE |
| X59TT886X6 | X59TT886X6 | statement | record (an 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#4TNC |
| X5A81Y2Z8H | X5A81Y2Z8H | statement | record (an 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.31783#TZ89 |
| X5AE8D8M9B | X5AE8D8M9B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.04559#3OUA |
| X5BF4AMJCP | X5BF4AMJCP | statement | record (an 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.12857#N4QY |
| X5C7WRR0TA | X5C7WRR0TA | statement | record (an 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.20849#BLTS |
| X5C8CRCWC4 | X5C8CRCWC4 | statement | record (an 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.19852#UYG1 |
| X5CHCW53DW | X5CHCW53DW | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-4 |
| X5CSBMS4YH | X5CSBMS4YH | statement | record (an 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#X4EX |
| X5CWKXFDD3 | X5CWKXFDD3 | statement | record (an 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.08633#NLZN |
| X5D8T31F1K | X5D8T31F1K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2601.15010#5FD4 |
| X5DC3AG4WC | X5DC3AG4WC | statement | record (an 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.06438#4Y4R |
| X5DDP1KTSQ | X5DDP1KTSQ | statement | record (an 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.08176#IQ9P |
| X5DQ1GBNBW | X5DQ1GBNBW | unknown | open | arXiv 2610.13680#1CX8 |
| X5E3RMT91W | X5E3RMT91W | statement | record (an 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.14143#7SYB |
| X5EQPESB0M | X5EQPESB0M | statement | record (an 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.25468#2SBM |
| X5ER7Z4285 | X5ER7Z4285 | statement | record (an 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.12425#TFTB |
| X5F64P4QY2 | X5F64P4QY2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#4F14 |
| X5GEAXMPAD | X5GEAXMPAD | exercise | open | lebl_ra ch-approximate.tex#exercise-62 |
| X5GGCHQ79Y | X5GGCHQ79Y | statement | record (an 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.01561#1EKK |
| X5H04T5JMP | X5H04T5JMP | statement | record (an 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.12116#QRRM |