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 301–400 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X39S7FQFQD | X39S7FQFQD | statement | record (an 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.26410#47Y4 |
| X39WXFGXFE | X39WXFGXFE | 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.32300#QZFD |
| X3A2M848DH | X3A2M848DH | statement | record (an 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.27049#IZIF |
| X3A5M8FJQS | X3A5M8FJQS | statement | record (an 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.27192#DOD5 |
| X3AG908YB8 | X3AG908YB8 | statement | record (an 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.06899#UFY8 |
| X3BDTXNCET | X3BDTXNCET | 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 2504.14383#0242 |
| X3BGQ2RJ9P | X3BGQ2RJ9P | statement | record (an 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.06546#EUK0 |
| X3BNK25HBX | X3BNK25HBX | statement | record (an 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.06340#K7FO |
| X3BQCGAPH0 | X3BQCGAPH0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#1AS2 |
| X3C9WG89Z0 | X3C9WG89Z0 | statement | record (an 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.24465#O9AP |
| X3CCBR1B7N | X3CCBR1B7N | 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 math/9802134#DBA8 |
| X3CD14MN2N | X3CD14MN2N | statement | record (an 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.07644#VYBU |
| X3CME19DB4 | X3CME19DB4 | statement | record (an 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#OLN0 |
| X3CSS2QS0M | X3CSS2QS0M | statement | record (an 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.07162#Q4C7 |
| X3DCNQGBFG | X3DCNQGBFG | 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 2607.00146#161E |
| X3DV9QXFEY | X3DV9QXFEY | 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.38030#FM04 |
| X3ECTFQVFE | X3ECTFQVFE | statement | open | open_logic content/set-theory/card-arithmetic/simp.tex#kappaunionkappasize |
| X3EGCZWBD1 | X3EGCZWBD1 | 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.15099#37LO |
| X3EJNMGH9H | X3EJNMGH9H | statement | record (an 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.05459#43GV |
| X3EMCD6VH3 | X3EMCD6VH3 | statement | record (an 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.09945#ZGYZ |
| X3ER0WTY0Z | X3ER0WTY0Z | statement | open | open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#cor-1 |
| X3FW10E6DA | X3FW10E6DA | statement | record (an 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#OV11 |
| X3FX6Q1CZQ | X3FX6Q1CZQ | statement | record (an 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.05398#PK82 |
| X3GGP9C24S | X3GGP9C24S | example | open | open_logic content/lambda-calculus/syntax/alpha.tex#ex-1 |
| X3GXNVJ2B1 | X3GXNVJ2B1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#5Y2O |
| X3HXAHC1BE | X3HXAHC1BE | 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.20087#83BD |
| X3J004GKZ6 | X3J004GKZ6 | statement | record (an 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#I67I |
| X3KCF4NP1A | X3KCF4NP1A | 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 2511.07697#9EGX |
| X3KHY377CX | X3KHY377CX | 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 1408.1555#XJRK |
| X3M6QTS4S0 | X3M6QTS4S0 | proof | open | ernst_ibl MAAPressVersion/IntroInduction.tex#proof-1 |
| X3M6W792B9 | X3M6W792B9 | statement | record (an 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.24307#9EWN |
| X3MB68QNB0 | X3MB68QNB0 | 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.19260#UVV7 |
| X3MEACFD1Y | X3MEACFD1Y | proof | open | napkin tex/topology/compactness.tex#proof-8 |
| X3MTQ6RSGZ | X3MTQ6RSGZ | statement | record (an 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.07608#9J09 |
| X3NHP6CNPS | X3NHP6CNPS | statement | record (an 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.35691#G8P4 |
| X3NPS21ASD | X3NPS21ASD | example | open | napkin tex/topology/metric-top.tex#example-8 |
| X3Q2TTVCMP | X3Q2TTVCMP | 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.27799#L66M |
| X3QC39EPJ1 | X3QC39EPJ1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.10246#0D88 |
| X3QFXPKQHJ | X3QFXPKQHJ | statement | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#corollary-1 |
| X3QJYXKDJE | X3QJYXKDJE | statement | record (an 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.02642#FOVA |
| X3QZAY344G | X3QZAY344G | statement | record (an 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.06699#PHR1 |
| X3QZMGA98E | X3QZMGA98E | statement | record (an 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#V7BU |
| X3RKAE2PJX | X3RKAE2PJX | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-14 |
| X3S2WMC511 | X3S2WMC511 | statement | record (an 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#8HOV |
| X3S7BRDR40 | X3S7BRDR40 | statement | record (an 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.16883#FN0P |
| X3SFK3EBN4 | X3SFK3EBN4 | statement | record (an 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.05672#BNNR |
| X3T08A3YCQ | X3T08A3YCQ | statement | record (an 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#7SD1 |
| X3TKSEZEXH | X3TKSEZEXH | statement | record (an 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.30203#V1TY |
| X3V1PRM579 | X3V1PRM579 | 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.11395#LZ8C |
| X3VBJNSNB8 | X3VBJNSNB8 | 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.34099#RCXE |
| X3VCHDQ888 | X3VCHDQ888 | statement | record (an 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#DDBX |
| X3VYNPSR4S | X3VYNPSR4S | statement | record (an 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#JQNX |
| X3WEVVA7K7 | X3WEVVA7K7 | 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#63AY |
| X3WQ2FVP1G | X3WQ2FVP1G | statement | record (an 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.34295#GBLV |
| X3WY4D75X8 | X3WY4D75X8 | 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.03661#JL18 |
| X3X262B8C1 | X3X262B8C1 | statement | record (an 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.10329#UL5K |
| X3XABB6VYR | X3XABB6VYR | 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#0DG5 |
| X3XP3D32HK | X3XP3D32HK | proof | open | lebl_scv scv.tex#proof-68 |
| X3XW2FZ5ZN | X3XW2FZ5ZN | statement | record (an 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.19535#LLBP |
| X3YE0JEBJS | X3YE0JEBJS | statement | record (an 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.25896#U0A5 |
| X3YJ97HFSN | X3YJ97HFSN | statement | record (an 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.14045#ZOUK |
| X3YK0K3DRV | X3YK0K3DRV | 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.20956#REP5 |
| X3YY6VK2Q8 | X3YY6VK2Q8 | statement | record (an 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.26262#WFDR |
| X3YZM3JD08 | X3YZM3JD08 | statement | record (an 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.28251#LTNH |
| X3Z16G4J7Y | X3Z16G4J7Y | statement | record (an 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.04145#H986 |
| X3ZGJMRVCP | X3ZGJMRVCP | 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.03856#43S7 |
| X3ZQ20CN0V | X3ZQ20CN0V | unknown | open | |
| X404WMX5BT | X404WMX5BT | statement | record (an 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#7GGA |
| X40D0YM47V | X40D0YM47V | statement | record (an 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.33015#CWUI |
| X40J1PQQDQ | X40J1PQQDQ | statement | record (an 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.39981#KRL0 |
| X410A9D85P | X410A9D85P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.17091#BDWJ |
| X41QVTQP2E | X41QVTQP2E | statement | record (an 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.27125#PPCV |
| X4279DNZ0D | X4279DNZ0D | statement | record (an 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#ORCY |
| X42NBGR4CN | X42NBGR4CN | statement | record (an 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.29759#ZVVB |
| X439JAXYXF | X439JAXYXF | statement | record (an 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#C4FF |
| X43A7GRK2B | X43A7GRK2B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.16311#PT6K |
| X44TAECNCR | X44TAECNCR | 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.05391#P798 |
| X4577M9J18 | X4577M9J18 | statement | record (an 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.36389#1RI2 |
| X45SV65938 | X45SV65938 | statement | record (an 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.09721#E9NO |
| X46K8CV253 | X46K8CV253 | statement | record (an 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.36823#6DHK |
| X47DRK8082 | X47DRK8082 | statement | record (an 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.33733#FVTS |
| X47DT7X3PZ | X47DT7X3PZ | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-8 |
| X481W1MAF5 | X481W1MAF5 | statement | record (an 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.33643#RMA3 |
| X4871XY98N | X4871XY98N | statement | record (an 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.03081#5YNG |
| X4974EFDZ8 | X4974EFDZ8 | statement | record (an 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#6F0A |
| X49CWX2H7A | X49CWX2H7A | statement | record (an 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.28597#P1W9 |
| X49DBFDQH9 | X49DBFDQH9 | 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 1907.01440#RRIQ |
| X49E9Z5ARB | X49E9Z5ARB | 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 2503.22636#084U |
| X49VPJT4B6 | X49VPJT4B6 | 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 2405.05684#TAUR |
| X4AHQCCEJP | X4AHQCCEJP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.12496#M0UJ |
| X4BDVPPQVP | X4BDVPPQVP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.16411#YWDX |
| X4BFP0PNHA | X4BFP0PNHA | 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.12357#XTWU |
| X4BKGJ5BN5 | X4BKGJ5BN5 | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#ex_polya_cyclic12 |
| X4C70QST4P | X4C70QST4P | statement | record (an 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.06081#D7IO |
| X4CF9AFDZM | X4CF9AFDZM | statement | record (an 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#5RJ3 |
| X4CZXQSG4D | X4CZXQSG4D | statement | record (an 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.40189#M851 |
| X4D7NAJWM1 | X4D7NAJWM1 | statement | open | open_logic content/first-order-logic/completeness/downward-ls.tex#thm:downward-ls |
| X4DEE2NNJP | X4DEE2NNJP | statement | record (an 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.11939#NP20 |
| X4E36H12Z2 | X4E36H12Z2 | 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 2512.08487#T5HJ |
| X4EADWJHYJ | X4EADWJHYJ | statement | record (an 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.03272#5BKE |