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 1301–1400 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XFGAY3KHS0 | XFGAY3KHS0 | statement | record (an 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.22082#RN1R |
| XFGBK4G4GS | XFGBK4G4GS | statement | record (an 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.04398#822N |
| XFGFBT9V9Q | XFGFBT9V9Q | statement | record (an 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#W2C1 |
| XFGVP5Q7P5 | XFGVP5Q7P5 | statement | record (an 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#4M2M |
| XFHBRA7ZX5 | XFHBRA7ZX5 | statement | record (an 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.24553#S3NR |
| XFHC0JP68J | XFHC0JP68J | statement | record (an 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#ZZSE |
| XFHT0HH69D | XFHT0HH69D | statement | record (an 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.12295#5YV4 |
| XFHVB9B8QC | XFHVB9B8QC | statement | record (an 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.39347#SKTQ |
| XFJ5SEJ85M | XFJ5SEJ85M | statement | record (an 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.39706#31AD |
| XFJ62G83CC | XFJ62G83CC | 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 2610.07508#BSP0 |
| XFJ78BXTGS | XFJ78BXTGS | statement | record (an 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.20758#U6LZ |
| XFJEX2XH2P | XFJEX2XH2P | statement | record (an 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.29152#QRS0 |
| XFKHZ1HX7G | XFKHZ1HX7G | statement | record (an 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.28143#F6N6 |
| XFKSBKH1WG | XFKSBKH1WG | definition | open | open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#defn-1 |
| XFMPESD3VE | XFMPESD3VE | statement | record (an 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.11898#37UF |
| XFP61NXXXS | XFP61NXXXS | statement | record (an 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.25524#L081 |
| XFP7D7ZMHB | XFP7D7ZMHB | statement | record (an 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.25390#J77S |
| XFPDJY6CKT | XFPDJY6CKT | statement | record (an 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#R8I8 |
| XFQFWN49ZT | XFQFWN49ZT | example | open | napkin tex/set-theory/models.tex#example-1 |
| XFQQN9K32E | XFQQN9K32E | statement | record (an 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.28774#N405 |
| XFRAQRSDER | XFRAQRSDER | statement | record (an 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.20663#5T8S |
| XFRBNC2FVS | XFRBNC2FVS | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-17 |
| XFRXX086HM | XFRXX086HM | statement | record (an 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.03298#KW1J |
| XFS1PGHGHF | XFS1PGHGHF | statement | record (an 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.13782#5BPJ |
| XFS38M32ZN | XFS38M32ZN | 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 1002.0879#YCFB |
| XFS3KBX0ZM | XFS3KBX0ZM | 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.36021#WJST |
| XFSGWD34VC | XFSGWD34VC | statement | record (an 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.15019#S4I5 |
| XFSP814729 | XFSP814729 | statement | record (an 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.18709#IPKJ |
| XFSW9MSXGG | XFSW9MSXGG | statement | record (an 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#9324 |
| XFTG4DF6KH | XFTG4DF6KH | statement | record (an 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.12203#R1UI |
| XFTZ9J7FD7 | XFTZ9J7FD7 | statement | record (an 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.17737#L6BJ |
| XFV6TEF12K | XFV6TEF12K | statement | record (an 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.19283#2NNS |
| XFVTH5KQ4Q | XFVTH5KQ4Q | statement | record (an 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.00076#TW00 |
| XFW279CW80 | XFW279CW80 | statement | open | lebl_ra ch-approximate.tex#prop-5 |
| XFW6GSDXJ1 | XFW6GSDXJ1 | statement | record (an 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.31352#KL4M |
| XFX4Q07KWE | XFX4Q07KWE | 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.33124#CLJQ |
| XFX8TVSQ0S | XFX8TVSQ0S | statement | record (an 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.16453#9KP1 |
| XFY11S3Z3J | XFY11S3Z3J | statement | record (an 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.14068#V2RZ |
| XFYADVSZ7T | XFYADVSZ7T | statement | record (an 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#H5UU |
| XFYMFMETNJ | XFYMFMETNJ | statement | record (an 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.01694#AMUY |
| XFZ8TDAM6S | XFZ8TDAM6S | statement | record (an 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.35543#ZJBP |
| XFZ9B1DR9K | XFZ9B1DR9K | definition | open | hott_book setmath.tex#defn-5 |
| XFZKS53KKC | XFZKS53KKC | statement | record (an 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.03337#4PRA |
| XFZNT4SXV2 | XFZNT4SXV2 | statement | record (an 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.03368#KZMG |
| XG01DCMW17 | XG01DCMW17 | statement | record (an 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.30279#3RSO |
| XG0HDA6MX5 | XG0HDA6MX5 | 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.16225#5ZVM |
| XG166XAFBB | XG166XAFBB | statement | record (an 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.06764#T4QN |
| XG17EAAXP8 | XG17EAAXP8 | statement | record (an 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.39169#06X2 |
| XG1E1TYPJH | XG1E1TYPJH | statement | record (an 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/0411039#LUVD |
| XG1K213F14 | XG1K213F14 | example | open | active_calculus source/sec-3-3-tests.xml#Ex-f-from-f-prime |
| XG1KKDPV12 | XG1KKDPV12 | statement | record (an 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.18223#S02F |
| XG1X9M6T9R | XG1X9M6T9R | statement | record (an 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.06755#37CH |
| XG24YVJVVY | XG24YVJVVY | 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.14985#E55G |
| XG2SY4M6BJ | XG2SY4M6BJ | statement | record (an 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.27617#SERS |
| XG30HGS801 | XG30HGS801 | statement | record (an 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#ZOYB |
| XG4J0AK9JW | XG4J0AK9JW | statement | record (an 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.11021#6E1D |
| XG4KBZ5A81 | XG4KBZ5A81 | 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.36300#0JZQ |
| XG4QSDPSHD | XG4QSDPSHD | statement | record (an 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.36509#S94B |
| XG5J21FG30 | XG5J21FG30 | statement | record (an 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.26948#K5MG |
| XG66B2YW4A | XG66B2YW4A | statement | record (an 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.17181#9XKU |
| XG69J6BJWM | XG69J6BJWM | 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.18270#AYKC |
| XG6JNT0C14 | XG6JNT0C14 | statement | record (an 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.09678#EJMA |
| XG6ZMDRXBG | XG6ZMDRXBG | statement | record (an 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.30779#SM2Y |
| XG76YTKY21 | XG76YTKY21 | statement | record (an 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.13877#A7ZE |
| XG8T3MJZ0D | XG8T3MJZ0D | statement | record (an 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.01660#PC67 |
| XG936M273F | XG936M273F | statement | record (an 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.32478#NIL3 |
| XG98M21FW6 | XG98M21FW6 | statement | record (an 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#KH5D |
| XG9W5QBSZR | XG9W5QBSZR | statement | record (an 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.35766#WX84 |
| XGA22WYMP1 | XGA22WYMP1 | counterexample | record (an 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#2DY4 |
| XGANREFJZY | XGANREFJZY | statement | record (an 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.39531#8HNL |
| XGB2GBNSVP | XGB2GBNSVP | 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.27872#QDJU |
| XGBJE7C1DQ | XGBJE7C1DQ | statement | record (an 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.07983#FHDZ |
| XGBJSA0HD5 | XGBJSA0HD5 | statement | record (an 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.16844#XMEQ |
| XGBKRPHBB1 | XGBKRPHBB1 | statement | record (an 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.17181#RDA9 |
| XGCDW9BCN1 | XGCDW9BCN1 | 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.10221#UEIP |
| XGD775GTCE | XGD775GTCE | statement | record (an 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.04675#BWQW |
| XGD9QY5NXB | XGD9QY5NXB | statement | record (an 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.36412#Z954 |
| XGDGZ9CWJA | XGDGZ9CWJA | statement | record (an 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.29631#WWPH |
| XGDJ9K25HR | XGDJ9K25HR | statement | record (an 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.14383#8IK9 |
| XGDXADB7KS | XGDXADB7KS | example | open | lebl_ra ch-one-dim-ints-sv.tex#example-2 |
| XGEDFPN4BK | XGEDFPN4BK | statement | record (an 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.09840#WOSO |
| XGEFF5HBHP | XGEFF5HBHP | statement | record (an 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.04694#OCJJ |
| XGF8NR8D55 | XGF8NR8D55 | statement | record (an 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.26951#TTRD |
| XGFG8EZTHD | XGFG8EZTHD | statement | record (an 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.35836#JGD3 |
| XGFRG8AYBE | XGFRG8AYBE | statement | record (an 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.09650#JCYZ |
| XGG19F2WXQ | XGG19F2WXQ | statement | record (an 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.40054#8ADM |
| XGG8K21F58 | XGG8K21F58 | 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.37967#6TZ6 |
| XGGEREJ7FX | XGGEREJ7FX | 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 2610.07280#BO3P |
| XGGP1EGHFY | XGGP1EGHFY | 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.00247#VVQO |
| XGH96CJSGJ | XGH96CJSGJ | statement | record (an 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.38493#BJRL |
| XGHEFC00FW | XGHEFC00FW | statement | record (an 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.07401#MM2S |
| XGHZWJHSEG | XGHZWJHSEG | statement | record (an 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#PPZX |
| XGKFAV1H3Q | XGKFAV1H3Q | statement | record (an 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#GQFU |
| XGP7HN6A67 | XGP7HN6A67 | statement | record (an 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.05628#W290 |
| XGP8AD7DG3 | XGP8AD7DG3 | proof | open | open_logic content/lambda-calculus/introduction/primitive-recursion.tex#proof-1 |
| XGP9Z460YK | XGP9Z460YK | statement | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prop:noinit |
| XGPZWZW7P4 | XGPZWZW7P4 | statement | record (an 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.40200#HTHB |
| XGQRGN26ZF | XGQRGN26ZF | statement | record (an 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.14450#T5CS |
| XGQWRMCFNK | XGQWRMCFNK | statement | record (an 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.27078#Y4E6 |
| XGR92M1R09 | XGR92M1R09 | statement | record (an 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.05708#79FN |