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 2501–2600 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| XXJNPBWQTH | XXJNPBWQTH | 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 0804.0248#KV72 |
| XXJR5ACSH3 | XXJR5ACSH3 | statement | record (an 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.18562#HDP3 |
| XXJWZ7G3D3 | XXJWZ7G3D3 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:irrationals dense |
| XXK2S7ZE2M | XXK2S7ZE2M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.05577#9E3C |
| XXKF00KWDN | XXKF00KWDN | statement | record (an 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.10873#65I5 |
| XXKHJRYBWJ | XXKHJRYBWJ | exercise | open | levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-11 |
| XXKQ18GB0M | XXKQ18GB0M | statement | record (an 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.01276#SQXH |
| XXKRWPJMBB | XXKRWPJMBB | statement | record (an 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#C38W |
| XXMBYS2Y5J | XXMBYS2Y5J | statement | record (an 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.09672#DEIM |
| XXMCTEEDCF | XXMCTEEDCF | statement | record (an 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.30817#CUSD |
| XXNDRC29DC | XXNDRC29DC | statement | open | open_logic content/first-order-logic/completeness/maximally-consistent-sets.tex#prop:mcs |
| XXPR2YWN83 | XXPR2YWN83 | statement | record (an 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#OO6G |
| XXQ2P9163K | XXQ2P9163K | statement | record (an 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.02065#6JV6 |
| XXQRNX47YD | XXQRNX47YD | statement | record (an 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.26745#281B |
| XXQS5AZZHB | XXQS5AZZHB | statement | record (an 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.04730#M7PN |
| XXR10YWW2Z | XXR10YWW2Z | statement | record (an 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.38126#L851 |
| XXR6CC254W | XXR6CC254W | statement | record (an 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.22090#QVE9 |
| XXRJQCPNMZ | XXRJQCPNMZ | statement | record (an 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.15344#621E |
| XXS76XFDKK | XXS76XFDKK | statement | record (an 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.32077#CUEP |
| XXS7ZWZV97 | XXS7ZWZV97 | statement | record (an 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#3LAU |
| XXS8TKM05J | XXS8TKM05J | statement | record (an 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.17227#7PPJ |
| XXSTD1XCHP | XXSTD1XCHP | statement | record (an 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#G2TW |
| XXSV2VNPGS | XXSV2VNPGS | 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#STZA |
| XXSX6BVSN6 | XXSX6BVSN6 | statement | record (an 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.36088#O7IV |
| XXTDJA3SR7 | XXTDJA3SR7 | statement | record (an 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.10413#JJ3O |
| XXTSXC0GPP | XXTSXC0GPP | proof | open | applied_combinatorics source/s_background_total-order-N.ptx#proof-2 |
| XXTT602DQD | XXTT602DQD | statement | record (an 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#Y7WK |
| XXTXM101H8 | XXTXM101H8 | statement | record (an 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.12277#J1FM |
| XXV2JXGSBX | XXV2JXGSBX | 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 2508.01642#13BZ |
| XXWH7NSD4K | XXWH7NSD4K | 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.38975#H9FF |
| XXWZHWCHG7 | XXWZHWCHG7 | statement | open | lebl_ra ch-metric.tex#prop:msconveuc |
| XXWZPKYBCG | XXWZPKYBCG | statement | record (an 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.28514#BP6P |
| XXX8DPS6A8 | XXX8DPS6A8 | statement | record (an 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.37893#PLCR |
| XXXNW2BDQB | XXXNW2BDQB | statement | record (an 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.05784#H33N |
| XXYD61ZN3Q | XXYD61ZN3Q | exercise | open | levin_dmoi ptx/sec_counting-conc.ptx#investigation-1 |
| XXYZS8S70Q | XXYZS8S70Q | statement | record (an 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.21017#AORA |
| XXZ7KJNCVV | XXZ7KJNCVV | 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.34193#GDUW |
| XXZQPW3T25 | XXZQPW3T25 | statement | record (an 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.40207#Q19Z |
| XY068E6PKT | XY068E6PKT | 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 2502.08738#QWP0 |
| XY0P13BF9N | XY0P13BF9N | statement | record (an 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.11905#LXBG |
| XY0XNJSFK4 | XY0XNJSFK4 | statement | record (an 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#0AKC |
| XY19MT8A0Z | XY19MT8A0Z | 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.11210#S2KE |
| XY1Q1KBCGP | XY1Q1KBCGP | statement | record (an 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.11210#9J6O |
| XY1Z6GMN8W | XY1Z6GMN8W | statement | record (an 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.25106#7L2B |
| XY23VJMAZ5 | XY23VJMAZ5 | definition | open | napkin tex/measure/caratheodory.tex#definition-7 |
| XY2RSHBYHG | XY2RSHBYHG | 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.33313#RHI8 |
| XY33NAKMYH | XY33NAKMYH | 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.36321#DX66 |
| XY344PYZBD | XY344PYZBD | statement | record (an 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.14582#53QC |
| XY3J0M06ZP | XY3J0M06ZP | statement | record (an 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.30444#95KX |
| XY43W17K2X | XY43W17K2X | 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.10875#E8OY |
| XY5AP3BP6B | XY5AP3BP6B | 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.35605#Q548 |
| XY5TNQ8F7M | XY5TNQ8F7M | statement | record (an 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.19437#AF6G |
| XY67DY50XQ | XY67DY50XQ | 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.16962#KKSY |
| XY6Z2TC1J0 | XY6Z2TC1J0 | statement | record (an 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.36321#0U2Z |
| XY7GWZV8N7 | XY7GWZV8N7 | statement | record (an 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.31331#B3MV |
| XY7N4FQ4C2 | XY7N4FQ4C2 | 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.34011#W534 |
| XY89G9NT2V | XY89G9NT2V | statement | record (an 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.16099#09WW |
| XY8B8D784H | XY8B8D784H | 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.12330#PJBM |
| XY8DQT3VSD | XY8DQT3VSD | statement | record (an 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.04124#P6HA |
| XY8YM5VC16 | XY8YM5VC16 | 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.07122#16R9 |
| XY96VZF9DR | XY96VZF9DR | statement | record (an 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.04434#F3ST |
| XY9AQYPZP5 | XY9AQYPZP5 | 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.12169#HHWF |
| XYAQT5PC09 | XYAQT5PC09 | statement | record (an 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.04325#SI1U |
| XYAW0CAAP0 | XYAW0CAAP0 | statement | record (an 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.30760#Z5YK |
| XYB1W76FES | XYB1W76FES | statement | record (an 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.18346#46DW |
| XYB5WHRACF | XYB5WHRACF | statement | record (an 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.28289#VZKA |
| XYB9M5RK3G | XYB9M5RK3G | statement | record (an 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.36068#SIBF |
| XYBAS0DYRB | XYBAS0DYRB | 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 2510.12502#OKJL |
| XYBHHSV6MY | XYBHHSV6MY | statement | record (an 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.21355#5MEO |
| XYBX1M3XRA | XYBX1M3XRA | statement | record (an 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.17240#KEGY |
| XYCCYMAGAT | XYCCYMAGAT | statement | record (an 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#2052 |
| XYD74DXCDG | XYD74DXCDG | proof | open | lebl_scv scv.tex#proof-30 |
| XYDJ0MKGRZ | XYDJ0MKGRZ | statement | record (an 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#FW53 |
| XYDWM62D57 | XYDWM62D57 | statement | record (an 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.16875#9G51 |
| XYEFZWBVTV | XYEFZWBVTV | unknown | open | arXiv 2610.13680#VZF7 |
| XYEXTNN592 | XYEXTNN592 | statement | record (an 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.12047#LO1R |
| XYFF9DQHW2 | XYFF9DQHW2 | statement | record (an 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.06455#FYS1 |
| XYG1KCYB7W | XYG1KCYB7W | 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.38138#5K0H |
| XYG4HZFG4A | XYG4HZFG4A | statement | record (an 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.36212#NDTH |
| XYGD5JK34B | XYGD5JK34B | exercise | open | hott_book preliminaries.tex#ex:nat-semiring |
| XYGGY6NS63 | XYGGY6NS63 | statement | record (an 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.01958#DZ5U |
| XYGMEP7FMT | XYGMEP7FMT | statement | record (an 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#FBV1 |
| XYHE6PHVHK | XYHE6PHVHK | statement | record (an 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.25157#9C8I |
| XYHGD68R0C | XYHGD68R0C | statement | record (an 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.39317#TQ50 |
| XYJ0M0XE1E | XYJ0M0XE1E | 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.37524#US28 |
| XYM1WXKCXS | XYM1WXKCXS | definition | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#definition-1 |
| XYM85YRZ1W | XYM85YRZ1W | statement | record (an 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.11439#J1C7 |
| XYM9CG7Y7K | XYM9CG7Y7K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2205.13464#N73G |
| XYMQ17VFJK | XYMQ17VFJK | statement | record (an 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.35123#1EVD |
| XYN4T55T3M | XYN4T55T3M | statement | record (an 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.05582#12H8 |
| XYN60B07NS | XYN60B07NS | exercise | open | lebl_ra ch-seq-ser.tex#exercise-42 |
| XYNW9PJ348 | XYNW9PJ348 | statement | record (an 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.25435#MY6J |
| XYP8B7D3EW | XYP8B7D3EW | statement | record (an 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.11455#2GJZ |
| XYPP5EJVTQ | XYPP5EJVTQ | proof | open | lebl_scv scv.tex#proof-37 |
| XYPVE8YYX5 | XYPVE8YYX5 | statement | record (an 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#S67Y |
| XYQ1NQ1BCG | XYQ1NQ1BCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.02022#NGMR |
| XYQP8Q5WA1 | XYQP8Q5WA1 | statement | record (an 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.17527#TDGE |
| XYQR8SYYZX | XYQR8SYYZX | 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.26701#L5WI |
| XYRHE5MX8E | XYRHE5MX8E | 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 1503.05744#GZVO |
| XYRQC4KTKV | XYRQC4KTKV | proof | open | open_logic content/intuitionistic-logic/soundness-completeness/truth-lemma.tex#proof-1 |