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 1401–1500 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XGRKENJA49 | XGRKENJA49 | proof | open | hott_book hits.tex#proof-1 |
| XGRQ2D5F7N | XGRQ2D5F7N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#NRQL |
| XGS19TJEAE | XGS19TJEAE | example | open | austin_ula src/section4-3.xml#example-4 |
| XGSEY2A51T | XGSEY2A51T | statement | record (an 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.36418#SL2T |
| XGTDZG9VV0 | XGTDZG9VV0 | statement | record (an 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.29148#XJ7R |
| XGV86WA1S6 | XGV86WA1S6 | statement | record (an 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.16680#9KYO |
| XGVQYKE62H | XGVQYKE62H | statement | record (an 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.33651#CPSN |
| XGVR3HY38Z | XGVR3HY38Z | statement | record (an 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.01828#E1EL |
| XGVS4Y6C7S | XGVS4Y6C7S | statement | record (an 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.08052#BOIC |
| XGVSTW69AB | XGVSTW69AB | statement | record (an 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.17571#HTV8 |
| XGWDMYHMYM | XGWDMYHMYM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.08149#EYPM |
| XGWJVPD1Y5 | XGWJVPD1Y5 | statement | open | open_logic content/computability/computability-theory/complete-ce-sets.tex#thm-1 |
| XGWN6YPYCT | XGWN6YPYCT | statement | record (an 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.16358#09E3 |
| XGWSDM4F5M | XGWSDM4F5M | statement | record (an 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.30600#SOF0 |
| XGXYPV0DAK | XGXYPV0DAK | 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.25656#5FMC |
| XGXZPKFQZ7 | XGXZPKFQZ7 | statement | record (an 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#FO88 |
| XGY3F6KKKG | XGY3F6KKKG | statement | record (an 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.00843#2D6F |
| XGYBQYFC3G | XGYBQYFC3G | 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 1204.5958#THHZ |
| XGYRZSPT4S | XGYRZSPT4S | statement | record (an 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#SORQ |
| XGZ4VHADBK | XGZ4VHADBK | statement | record (an 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.15926#A7TY |
| XGZCW81JDV | XGZCW81JDV | statement | record (an 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.07092#WOBS |
| XGZKBHH089 | XGZKBHH089 | statement | record (an 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.16003#XCTG |
| XGZKH0X26Q | XGZKH0X26Q | statement | record (an 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#PCPX |
| XGZTZDZXN9 | XGZTZDZXN9 | statement | record (an 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.14274#8TGW |
| XH0E5GS8R0 | XH0E5GS8R0 | statement | record (an 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.12912#KDNJ |
| XH0Q5Z1K3S | XH0Q5Z1K3S | statement | record (an 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.40017#WSEZ |
| XH14EQ0YY0 | XH14EQ0YY0 | example | open | open_logic content/counterfactuals/minimal-change-semantics/transitivity.tex#ex:trans-counterex |
| XH15X6504T | XH15X6504T | statement | record (an 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.12475#UI9V |
| XH1KW7751A | XH1KW7751A | statement | record (an 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.29878#3KIK |
| XH1N7V7NN6 | XH1N7V7NN6 | 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.10406#L8PR |
| XH1TP2E053 | XH1TP2E053 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#VRFG |
| XH1WQWFEC7 | XH1WQWFEC7 | statement | record (an 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/0003117#PBTZ |
| XH2684FSTA | XH2684FSTA | statement | record (an 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.20600#Z18K |
| XH26BJCD1V | XH26BJCD1V | statement | record (an 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.24917#3JKL |
| XH29ADSS7C | XH29ADSS7C | 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.17441#0M9F |
| XH2K8R3FSD | XH2K8R3FSD | statement | record (an 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.08202#24OC |
| XH2N8G2VZX | XH2N8G2VZX | statement | record (an 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.33552#ENDJ |
| XH2Y78H55A | XH2Y78H55A | definition | open | napkin tex/calculus/differentiate.tex#definition-2 |
| XH3N0AMFB1 | XH3N0AMFB1 | 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 2609.25289#36M3 |
| XH3S9C17DM | XH3S9C17DM | statement | record (an 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.26996#WN39 |
| XH3X4ZE0ZF | XH3X4ZE0ZF | statement | record (an 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#MGTX |
| XH4J50JHV3 | XH4J50JHV3 | statement | record (an 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.10474#W8QS |
| XH4PNCHMQS | XH4PNCHMQS | 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.26896#4UH1 |
| XH59DZM9ZQ | XH59DZM9ZQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.11778#L9A1 |
| XH5HTC3Y76 | XH5HTC3Y76 | statement | record (an 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#TPFM |
| XH62M6PY36 | XH62M6PY36 | statement | record (an 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.28282#JE20 |
| XH6BX8PD3T | XH6BX8PD3T | statement | record (an 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.34168#V7XK |
| XH7377HSP5 | XH7377HSP5 | statement | record (an 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.29170#JK3J |
| XH79NYGQNH | XH79NYGQNH | statement | record (an 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.13864#K8CF |
| XH8144Q71Z | XH8144Q71Z | statement | record (an 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.33383#V6JR |
| XH86KW83G7 | XH86KW83G7 | exercise | open | lebl_scv scv.tex#exercise-44 |
| XH8HFKWSDP | XH8HFKWSDP | 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.16779#MFIR |
| XH8TTACPT8 | XH8TTACPT8 | 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.00789#RAQU |
| XH8X2C89W5 | XH8X2C89W5 | exercise | open | napkin tex/H113/ring-flavors.tex#prob:finite_domain_field |
| XH94SSZ8H8 | XH94SSZ8H8 | statement | record (an 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.25703#CPHW |
| XH9HGQJ3Q2 | XH9HGQJ3Q2 | statement | record (an 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.13076#GC45 |
| XH9NYJKZMF | XH9NYJKZMF | statement | record (an 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.15352#5IMK |
| XH9XDZ7AGK | XH9XDZ7AGK | statement | record (an 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.11038#DP9R |
| XHAYXEC42S | XHAYXEC42S | proof | open | hott_book hlevels.tex#proof-34 |
| XHCFJ8WWVM | XHCFJ8WWVM | statement | record (an 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.02158#07RF |
| XHCNZR3W8Y | XHCNZR3W8Y | statement | record (an 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.16669#NE5O |
| XHD2VECN14 | XHD2VECN14 | statement | record (an 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.26382#14PV |
| XHD6P2A29X | XHD6P2A29X | statement | record (an 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.38138#CJAK |
| XHDNQWK3EM | XHDNQWK3EM | statement | open | applied_combinatorics source/s_graphs_intro.ptx#thm-graphs-first |
| XHDQS2GFRD | XHDQS2GFRD | 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 2609.30323#OMKZ |
| XHDRSJPT3G | XHDRSJPT3G | statement | record (an 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.07001#862L |
| XHDXJRD8QF | XHDXJRD8QF | statement | record (an 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.09599#YW7Y |
| XHE414S08B | XHE414S08B | statement | record (an 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#9TLX |
| XHEAW33309 | XHEAW33309 | statement | record (an 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#P8ZA |
| XHEYW43EYC | XHEYW43EYC | statement | record (an 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.01302#OZPV |
| XHF27FRMN7 | XHF27FRMN7 | statement | record (an 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.21632#MN6H |
| XHFC7HFAX8 | XHFC7HFAX8 | statement | record (an 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.05018#ENYV |
| XHGM0GBCBQ | XHGM0GBCBQ | statement | record (an 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.20207#IDO0 |
| XHGP9QHV0P | XHGP9QHV0P | statement | record (an 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#NQWJ |
| XHHNQW5P0H | XHHNQW5P0H | statement | record (an 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.25289#6LK5 |
| XHJ3J2WDRE | XHJ3J2WDRE | 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.34339#02Q1 |
| XHJA70WKTP | XHJA70WKTP | statement | record (an 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.26129#WU38 |
| XHJGYQC4TT | XHJGYQC4TT | statement | record (an 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.40274#89HK |
| XHJY3N9AC2 | XHJY3N9AC2 | statement | record (an 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.28677#T6OR |
| XHK329XYZ5 | XHK329XYZ5 | statement | record (an 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#V1B1 |
| XHK5DM6XZJ | XHK5DM6XZJ | 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 2308.05715#3KSC |
| XHKPG108ZE | XHKPG108ZE | statement | record (an 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.12014#NUF0 |
| XHM61CVW12 | XHM61CVW12 | exercise | open | lebl_ra ch-riemann.tex#exercise-49 |
| XHMB1051TY | XHMB1051TY | 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.20758#IRY7 |
| XHMHXGJS9Z | XHMHXGJS9Z | statement | record (an 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.03497#RAGM |
| XHN3Z7DTVN | XHN3Z7DTVN | statement | record (an 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.16123#5Z7L |
| XHN41RDBEA | XHN41RDBEA | statement | record (an 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#RB4X |
| XHNAPYE22J | XHNAPYE22J | 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#9Q37 |
| XHNB570JC3 | XHNB570JC3 | 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.25656#8AFW |
| XHNMVNW76X | XHNMVNW76X | statement | record (an 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.16834#VLSS |
| XHP3TTPA6J | XHP3TTPA6J | statement | record (an 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.01251#PYXY |
| XHPW1DF2PF | XHPW1DF2PF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.00573#R8LR |
| XHQEXMBRT5 | XHQEXMBRT5 | 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.31883#PP7S |
| XHQGSCHWA3 | XHQGSCHWA3 | statement | record (an 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.24314#UCIU |
| XHQQKD9VTR | XHQQKD9VTR | statement | record (an 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.16193#PCMN |
| XHQZN209SX | XHQZN209SX | 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.34236#I200 |
| XHR6CZ5WGZ | XHR6CZ5WGZ | 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.02017#N9AG |
| XHRS97F1KB | XHRS97F1KB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1707.06795#0VIJ |
| XHS80CXP2R | XHS80CXP2R | statement | record (an 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.09565#KIB0 |
| XHS973Q9WP | XHS973Q9WP | statement | record (an 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.12731#X2QU |