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 801–900 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X980AD2C2Q | X980AD2C2Q | statement | record (an 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#WFJ1 |
| X98W3JFR3W | X98W3JFR3W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#G9HQ |
| X997Q90H0T | X997Q90H0T | statement | record (an 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.30165#1Z2X |
| X998G2076C | X998G2076C | 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 2112.05010#AJIS |
| X9998J2E37 | X9998J2E37 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04063#W3F1 |
| X99HHC07X8 | X99HHC07X8 | statement | record (an 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.28552#753G |
| X9A8GS7KMW | X9A8GS7KMW | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-46 |
| X9B3XW89JE | X9B3XW89JE | statement | record (an 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.15643#0VIC |
| X9B9H6CJ18 | X9B9H6CJ18 | statement | record (an 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.14425#IZLQ |
| X9BBB3DWVN | X9BBB3DWVN | statement | record (an 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.31858#HXHX |
| X9BK7THR2C | X9BK7THR2C | statement | record (an 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.37520#GXGK |
| X9BNF1VR2Z | X9BNF1VR2Z | statement | record (an 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.30086#6P61 |
| X9BYTQGN9M | X9BYTQGN9M | statement | record (an 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.36909#QKHG |
| X9CM5A68CG | X9CM5A68CG | statement | record (an 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#ZU0L |
| X9CXQD1CV6 | X9CXQD1CV6 | statement | record (an 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.25291#QRKC |
| X9CXVPYJ35 | X9CXVPYJ35 | statement | record (an 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.06300#I7V1 |
| X9DJ5QVF41 | X9DJ5QVF41 | statement | record (an 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.21963#RPCO |
| X9DJDGN669 | X9DJDGN669 | 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.21675#5V3R |
| X9DRQF60D6 | X9DRQF60D6 | statement | record (an 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.26386#1DB6 |
| X9F0QTDQWB | X9F0QTDQWB | statement | record (an 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.13855#1UL9 |
| X9FMMRFCGY | X9FMMRFCGY | statement | record (an 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.21322#DLDJ |
| X9FNWBQQV8 | X9FNWBQQV8 | statement | record (an 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.35030#5GIO |
| X9FZ8RQM84 | X9FZ8RQM84 | statement | record (an 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.06372#X87H |
| X9GAPBDZY3 | X9GAPBDZY3 | statement | record (an 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.35180#KW3M |
| X9H7JJRW46 | X9H7JJRW46 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#9D9U |
| X9HBKGRFR6 | X9HBKGRFR6 | example | open | ernst_ibl MAAPressVersion/Partitions.tex#example-1 |
| X9K7WYC1GX | X9K7WYC1GX | statement | record (an 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.31615#K19O |
| X9KCT0W5HK | X9KCT0W5HK | 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.36884#GISU |
| X9KKH17N6F | X9KKH17N6F | statement | record (an 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.27414#2RVM |
| X9KXN7FDKM | X9KXN7FDKM | example | open | open_logic content/first-order-logic/natural-deduction/proving-things.tex#ex-1 |
| X9MMK35Y1B | X9MMK35Y1B | statement | record (an 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.02199#Y1NZ |
| X9N3M5R6FB | X9N3M5R6FB | statement | record (an 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.27181#YWS5 |
| X9N53XA3FM | X9N53XA3FM | statement | record (an 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.33283#DTLE |
| X9N7DMP7XD | X9N7DMP7XD | 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.22218#LQRV |
| X9Q36RH3MQ | X9Q36RH3MQ | statement | record (an 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.04758#XIY9 |
| X9QAREYTVP | X9QAREYTVP | statement | record (an 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#2MLO |
| X9R27S6JRK | X9R27S6JRK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1601.02354#KBTC |
| X9R9VFFTZ5 | X9R9VFFTZ5 | 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.34946#G3LU |
| X9RAG1897R | X9RAG1897R | statement | record (an 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.29723#R5JQ |
| X9RGTTP09D | X9RGTTP09D | statement | record (an 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.30033#FVIR |
| X9RKBRS1DW | X9RKBRS1DW | statement | record (an 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.17602#ILSI |
| X9RWBSPJ2X | X9RWBSPJ2X | statement | record (an 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.29489#ZEA5 |
| X9SGP7FN90 | X9SGP7FN90 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#XUE7 |
| X9SJQRWC7X | X9SJQRWC7X | statement | record (an 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.15525#9MNT |
| X9T5HJESKH | X9T5HJESKH | statement | record (an 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.13847#T0QR |
| X9T6ZFRCWX | X9T6ZFRCWX | statement | record (an 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.10576#1EEV |
| X9TKQFYPD9 | X9TKQFYPD9 | 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 2604.10080#HB7T |
| X9W4E2K5ES | X9W4E2K5ES | statement | record (an 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.25957#R60U |
| X9WRXDM8WS | X9WRXDM8WS | statement | open | lebl_ra ch-metric.tex#prop:msconvbound |
| X9WWKZF4TA | X9WWKZF4TA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#QUS8 |
| X9XDWQHZ02 | X9XDWQHZ02 | statement | record (an 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.13548#PDNK |
| X9Y60Q82GF | X9Y60Q82GF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.09062#TXYC |
| X9Y8F2ZYEY | X9Y8F2ZYEY | statement | record (an 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.32088#A0GN |
| X9YSZVR5P9 | X9YSZVR5P9 | 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.15188#QZFM |
| X9Z0DKQF0J | X9Z0DKQF0J | 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.09739#RYAT |
| XA01RA712C | XA01RA712C | proof | open | open_logic content/set-theory/ordinals/iso.tex#proof-5 |
| XA0232P7SA | XA0232P7SA | statement | record (an 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.07164#L1Y7 |
| XA0NNXYV14 | XA0NNXYV14 | statement | record (an 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.11056#58UK |
| XA0ZH79K0D | XA0ZH79K0D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0406514#GDBL |
| XA114PF4ND | XA114PF4ND | exercise | open | open_logic content/model-theory/basics/isomorphism.tex#prob-2 |
| XA138WYFKQ | XA138WYFKQ | statement | record (an 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.12736#STTR |
| XA1959Y4JQ | XA1959Y4JQ | 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.29537#BYRB |
| XA1PNA92B4 | XA1PNA92B4 | 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.14838#Y8PH |
| XA23KCMR8G | XA23KCMR8G | statement | record (an 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.27911#WAC2 |
| XA24SVQ4DR | XA24SVQ4DR | unknown | open | |
| XA2HV1TJDD | XA2HV1TJDD | statement | record (an 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.35858#OGX1 |
| XA3MJCERGV | XA3MJCERGV | statement | record (an 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.17720#B5BE |
| XA3VVQB9ST | XA3VVQB9ST | statement | record (an 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#N95W |
| XA4VQ2684B | XA4VQ2684B | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-41 |
| XA56NEQMM6 | XA56NEQMM6 | exercise | open | lebl_diffyqs ch-intro.tex#exercise-26 |
| XA5MQK6GMP | XA5MQK6GMP | statement | record (an 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.13580#GIXD |
| XA5TRV5PGA | XA5TRV5PGA | statement | record (an 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.37271#VX1B |
| XA5ZFMKF8T | XA5ZFMKF8T | statement | record (an 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.12669#B1QJ |
| XA7MTQHWTS | XA7MTQHWTS | statement | record (an 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.20801#INTJ |
| XA7QR8HQG2 | XA7QR8HQG2 | 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 2204.01073#2WBL |
| XA8SDANC95 | XA8SDANC95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.10361#7D9H |
| XA8YGW10CP | XA8YGW10CP | statement | record (an 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#TLHW |
| XA90KRK14T | XA90KRK14T | statement | record (an 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.37815#ZPSD |
| XA9AG9WJPX | XA9AG9WJPX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.07541#4WJN |
| XA9YW3BDWK | XA9YW3BDWK | statement | open | open_logic content/set-theory/replacement/finiteaxiomatizability.tex#zfnotfinitely |
| XAAC3JT6YB | XAAC3JT6YB | statement | record (an 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.17875#D1OD |
| XAASF05GGN | XAASF05GGN | statement | record (an 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.15378#SJDS |
| XAB3D85GZ7 | XAB3D85GZ7 | 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.36377#7H15 |
| XAB41BJMEZ | XAB41BJMEZ | statement | record (an 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.35421#3NBR |
| XABCYZGTVB | XABCYZGTVB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.07541#STDX |
| XABFVZ8NMJ | XABFVZ8NMJ | statement | open | ernst_ibl MAAPressVersion/UncountableSets.tex#corollary-1 |
| XACDZ2HVPA | XACDZ2HVPA | statement | record (an 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.38548#1WP8 |
| XACFNM22K8 | XACFNM22K8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.16491#J06E |
| XAE4ZG9K4Z | XAE4ZG9K4Z | statement | record (an 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.18016#1MF2 |
| XAEGGZ5QAT | XAEGGZ5QAT | 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.10937#TZ2O |
| XAFACBJ63Z | XAFACBJ63Z | statement | record (an 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#5DO1 |
| XAFTKXN4K9 | XAFTKXN4K9 | statement | record (an 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.14060#2HK5 |
| XAG219CEBH | XAG219CEBH | statement | record (an 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.14555#OSJL |
| XAGP2Z1J45 | XAGP2Z1J45 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0406514#4QDL |
| XAH5BHDZN8 | XAH5BHDZN8 | unknown | open | arXiv 2610.13680#HP06 |
| XAH5EM0H82 | XAH5EM0H82 | exercise | open | lebl_ra ch-approximate.tex#exercise-65 |
| XAHRQYKT66 | XAHRQYKT66 | statement | record (an 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.29478#G8U5 |
| XAJEKTF4XA | XAJEKTF4XA | statement | record (an 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.16562#46W8 |
| XAK6S661NX | XAK6S661NX | statement | record (an 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.19273#5HZ3 |
| XAKNBD7QPA | XAKNBD7QPA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.29838#P5GV |