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 601–700 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| X7BHGMHAZP | X7BHGMHAZP | statement | record (an 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.09298#C2W4 |
| X7BNJYSRQP | X7BNJYSRQP | statement | record (an 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.35186#VQYR |
| X7CXGVX181 | X7CXGVX181 | statement | record (an 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.32300#Q2W1 |
| X7CZ06XZYA | X7CZ06XZYA | statement | record (an 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.11383#H7QV |
| X7D2Z87E1X | X7D2Z87E1X | statement | record (an 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.06445#YQBV |
| X7EWSZN2DD | X7EWSZN2DD | statement | record (an 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.33656#SNTB |
| X7F9M68EBM | X7F9M68EBM | statement | record (an 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.08226#DU91 |
| X7F9YAP5V7 | X7F9YAP5V7 | 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 2111.07717#YH93 |
| X7FH1YA6ES | X7FH1YA6ES | statement | record (an 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.18358#4PV6 |
| X7FT6QXMGK | X7FT6QXMGK | statement | record (an 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.03373#AINU |
| X7FTV5GDW3 | X7FTV5GDW3 | statement | record (an 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.22205#6WAM |
| X7G9DSBHFW | X7G9DSBHFW | 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.07671#C3LY |
| X7GW5NPBRS | X7GW5NPBRS | statement | record (an 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#3OO1 |
| X7GYH6C46E | X7GYH6C46E | 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.22074#RJHD |
| X7H2R3RJPN | X7H2R3RJPN | statement | record (an 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.12329#169F |
| X7HEJJDY4P | X7HEJJDY4P | 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.18419#F7DI |
| X7HERB43VF | X7HERB43VF | statement | record (an 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#4417 |
| X7J6NNYWPD | X7J6NNYWPD | 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.30823#PWF5 |
| X7JA08SB33 | X7JA08SB33 | statement | record (an 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.29531#PWIS |
| X7JFJ1Z3RH | X7JFJ1Z3RH | statement | record (an 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.32107#XMQ4 |
| X7JHGH6HGR | X7JHGH6HGR | statement | record (an 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.14217#O7PI |
| X7JR76M1SG | X7JR76M1SG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.23212#J29J |
| X7K9PC0K8J | X7K9PC0K8J | exercise | open | open_logic content/set-theory/choice/justifications.tex#prob-1 |
| X7KT8TCQDA | X7KT8TCQDA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#8VOP |
| X7ME3TNXY2 | X7ME3TNXY2 | statement | record (an 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.06466#6QUV |
| X7MF47TGVV | X7MF47TGVV | statement | record (an 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.05002#Y7SG |
| X7MKT3W8DF | X7MKT3W8DF | 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.18468#Z5R9 |
| X7MSCJPCQA | X7MSCJPCQA | statement | record (an 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.28824#B8K0 |
| X7MWR8PBPV | X7MWR8PBPV | statement | record (an 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#7EIL |
| X7NFFGYBP1 | X7NFFGYBP1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.01576#GSFS |
| X7P09P9X5G | X7P09P9X5G | exercise | open | austin_ula src/exercises/exercises2-4.xml#exercise-5 |
| X7QVQYGA7E | X7QVQYGA7E | 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.30315#6JDU |
| X7R6DDT7X9 | X7R6DDT7X9 | statement | record (an 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.28011#M8L1 |
| X7RGA185FN | X7RGA185FN | statement | record (an 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.36022#QJV2 |
| X7SHN18VY6 | X7SHN18VY6 | definition | open | lebl_ra ch-vol1-intro.tex#defn-6 |
| X7TA47FQHR | X7TA47FQHR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.4946#LSO9 |
| X7TADN5BNG | X7TADN5BNG | statement | record (an 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#CJ7M |
| X7VTBAN898 | X7VTBAN898 | statement | record (an 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.21800#K9WR |
| X7WE71ZWJ8 | X7WE71ZWJ8 | definition | open | napkin tex/measure/measure-space.tex#definition-4 |
| X7WH20VTHW | X7WH20VTHW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.01586#KDS3 |
| X7X09J8RKG | X7X09J8RKG | statement | record (an 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.08664#MJ78 |
| X7XD4SZZKG | X7XD4SZZKG | statement | record (an 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.08664#2395 |
| X7XF2YTK0A | X7XF2YTK0A | statement | record (an 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#JJMX |
| X7XW0Z5F1D | X7XW0Z5F1D | 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 1806.00752#7NM4 |
| X7YVSNMPF1 | X7YVSNMPF1 | statement | record (an 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#S4X3 |
| X7ZC321STV | X7ZC321STV | statement | record (an 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.13972#KC6U |
| X7ZCPHYWC4 | X7ZCPHYWC4 | statement | record (an 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#LLPF |
| X7ZSHNN4PJ | X7ZSHNN4PJ | statement | record (an 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#V34Z |
| X81B4B4S6G | X81B4B4S6G | statement | open | hott_book hlevels.tex#cor-2 |
| X81MDKQY0D | X81MDKQY0D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.08958#KBEE |
| X8271KPC8M | X8271KPC8M | statement | record (an 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.15511#S9MT |
| X82FC2FH7K | X82FC2FH7K | statement | record (an 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.08074#8A7H |
| X82VJ80RC1 | X82VJ80RC1 | statement | record (an 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.01873#RKW0 |
| X835WEG232 | X835WEG232 | 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.17411#HHRZ |
| X837EVPHQC | X837EVPHQC | 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.15217#I25D |
| X83KCPD2KK | X83KCPD2KK | definition | open | napkin tex/topology/fundamental-group.tex#definition-7 |
| X83VGXW4JW | X83VGXW4JW | statement | record (an 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.04844#XO41 |