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 501–600 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X5H0GEKCB5 | X5H0GEKCB5 | proof | open | levin_dmoi ptx/sec_seq-induction.ptx#proof-6 |
| X5H2Y60W9A | X5H2Y60W9A | statement | record (an 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#80BY |
| X5HVQFD4PS | X5HVQFD4PS | statement | record (an 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.20489#97QK |
| X5HZX9E9ZP | X5HZX9E9ZP | 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.19854#FLZX |
| X5JMEKWVSH | X5JMEKWVSH | statement | record (an 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#V30A |
| X5KZKXHYCX | X5KZKXHYCX | statement | record (an 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.30579#7KJP |
| X5MAY3GPJH | X5MAY3GPJH | statement | record (an 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.01912#H0UT |
| X5MKWHBMJB | X5MKWHBMJB | statement | record (an 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.17129#FNZK |
| X5NH4R5ATV | X5NH4R5ATV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#GW30 |
| X5P72HA27K | X5P72HA27K | statement | record (an 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#LFY1 |
| X5PBAKE3NQ | X5PBAKE3NQ | statement | record (an 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.17909#E033 |
| X5PJR8T9ZB | X5PJR8T9ZB | statement | record (an 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.08912#LY6F |
| X5Q5MFBYBA | X5Q5MFBYBA | statement | record (an 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.11271#UFRF |
| X5QJCTKB5H | X5QJCTKB5H | statement | record (an 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.21752#JV1P |
| X5QPNMFYE4 | X5QPNMFYE4 | statement | record (an 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.26600#8TEM |
| X5R2HZH98F | X5R2HZH98F | proof | open | hott_book equivalences.tex#proof-10 |
| X5R4ADKQZD | X5R4ADKQZD | exercise | open | lebl_ra ch-der.tex#exercise:oddroot |
| X5RTYAPZVB | X5RTYAPZVB | statement | record (an 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.37739#D20P |
| X5RZPMVBCN | X5RZPMVBCN | statement | record (an 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.08382#M33N |
| X5SAGKV6KB | X5SAGKV6KB | statement | record (an 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#VCIW |
| X5SX3G40M9 | X5SX3G40M9 | statement | record (an 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.39707#TTIH |
| X5TN4N8Z42 | X5TN4N8Z42 | 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#54NG |
| X5TXHRD6CV | X5TXHRD6CV | statement | record (an 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#PFH3 |
| X5V2N2VTNY | X5V2N2VTNY | statement | record (an 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.25762#60UE |
| X5VHYSP2GJ | X5VHYSP2GJ | statement | open | napkin tex/quantum/circuits.tex#theorem-2 |
| X5VHZM150Y | X5VHZM150Y | unknown | open | arXiv 2610.16359#SW0L |
| X5VQCS7N4P | X5VQCS7N4P | 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.30444#ADCG |
| X5WCYNB9H7 | X5WCYNB9H7 | statement | record (an 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#7LH8 |
| X5WJ8RG38S | X5WJ8RG38S | statement | record (an 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#ZON1 |
| X5X2185CMT | X5X2185CMT | 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.12857#HKYF |
| X5XAXJ7WZ5 | X5XAXJ7WZ5 | 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.19260#A3WP |
| X5XQG3NBA0 | X5XQG3NBA0 | statement | record (an 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#FC76 |
| X5XTPS77TV | X5XTPS77TV | statement | record (an 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#P0KB |
| X5YRAXTEJJ | X5YRAXTEJJ | proof | open | open_logic content/set-theory/spine/rank.tex#proof-4 |
| X5Z403BKYM | X5Z403BKYM | statement | record (an 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.32174#AR7S |
| X5Z89M78PG | X5Z89M78PG | statement | record (an 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.20050#Y7O2 |
| X5ZQ9K9AM0 | X5ZQ9K9AM0 | 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.20110#TPRE |
| X614SVSWV5 | X614SVSWV5 | 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.14306#3FXZ |
| X61PWBWKV0 | X61PWBWKV0 | statement | record (an 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#YVPF |
| X61RS5HWCP | X61RS5HWCP | 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.03601#1Z2G |
| X62061Z1XK | X62061Z1XK | 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.15217#E7V9 |
| X62BJNQJFQ | X62BJNQJFQ | exercise | open | levin_dmoi ptx/exercises/counting-conc.ptx#exercise-15 |
| X63Q2XY999 | X63Q2XY999 | 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 0905.1489#BQSD |
| X63SCTG83Z | X63SCTG83Z | statement | record (an 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#Z3QA |
| X64NCPJZ1E | X64NCPJZ1E | statement | record (an 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.25080#I50K |
| X6569NEZQY | X6569NEZQY | statement | record (an 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#A5WG |
| X663R1CF95 | X663R1CF95 | statement | record (an 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.12479#6T3B |
| X66VAQXK1X | X66VAQXK1X | 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 2405.14678#FOJO |
| X675GJDWAF | X675GJDWAF | statement | record (an 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.11047#C9SG |
| X67BJYVHW2 | X67BJYVHW2 | statement | record (an 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.39104#KHX1 |
| X68CX0E4FA | X68CX0E4FA | 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.29784#FWOH |
| X68GE02H70 | X68GE02H70 | statement | record (an 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#18GX |
| X69BPMPEBG | X69BPMPEBG | statement | record (an 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.21945#X70W |
| X69N021Z4D | X69N021Z4D | statement | record (an 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.09464#CEA2 |
| X69S0SWPWK | X69S0SWPWK | unknown | open | arXiv 1408.1555#GFAH |
| X69WNS1YDK | X69WNS1YDK | 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.10930#XQ2X |
| X6B8GHH8KX | X6B8GHH8KX | statement | record (an 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.30014#5NJK |
| X6BH8RJASE | X6BH8RJASE | statement | record (an 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#JPH5 |
| X6BZKX6D61 | X6BZKX6D61 | 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.10937#O8S6 |
| X6C9J5QZ4Y | X6C9J5QZ4Y | exercise | open | open_logic content/set-theory/spine/rank.tex#prob-1 |
| X6CG3G9PPC | X6CG3G9PPC | statement | record (an 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.17677#X1B2 |
| X6CQJVE8TQ | X6CQJVE8TQ | statement | record (an 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.05451#NU3M |
| X6D7XRV1S0 | X6D7XRV1S0 | example | open | lebl_diffyqs ch-power-ser.tex#example-9 |
| X6DBS4FBGS | X6DBS4FBGS | statement | record (an 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.31243#BDHN |
| X6DCRCJAVP | X6DCRCJAVP | statement | record (an 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.27931#GLW7 |
| X6DEE6SWF8 | X6DEE6SWF8 | statement | record (an 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.26769#DJV2 |
| X6DFX7N09Q | X6DFX7N09Q | statement | record (an 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.13833#QJ8E |
| X6DV3XS9EF | X6DV3XS9EF | statement | record (an 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.30527#ZJ46 |
| X6EMQDT8JH | X6EMQDT8JH | statement | record (an 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#6AHN |
| X6ESYYN3RG | X6ESYYN3RG | 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.13532#8IOQ |
| X6EZGFXWA9 | X6EZGFXWA9 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q9914, ProofWiki Symbols:H |
| X6F9WFM5BC | X6F9WFM5BC | statement | record (an 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.03763#9W8Y |
| X6GJH4HP28 | X6GJH4HP28 | 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.16554#M70R |
| X6GTPSRC8H | X6GTPSRC8H | statement | record (an 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.04809#5FIN |
| X6HMWED73T | X6HMWED73T | statement | record (an 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.11545#DZSO |
| X6J7X6FZ93 | X6J7X6FZ93 | statement | record (an 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.20899#F61Q |
| X6JPSFZB0R | X6JPSFZB0R | statement | record (an 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.23797#NVF6 |
| X6JQ6H4AP7 | X6JQ6H4AP7 | statement | record (an 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.24320#D13W |
| X6KAH7XB7G | X6KAH7XB7G | statement | record (an 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.11693#SSA2 |
| X6KAJSNV7W | X6KAJSNV7W | statement | open | lebl_diffyqs ch-fourier-and-pde.tex#theorem-2 |
| X6MC0BTV55 | X6MC0BTV55 | statement | open | open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#lem-2 |
| X6MG20CS81 | X6MG20CS81 | exercise | open | lebl_ra ch-multivar-int.tex#mv:changeofvarWxopen |
| X6MQTPC5HM | X6MQTPC5HM | statement | record (an 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.36922#XSOI |
| X6MX9NJ4XE | X6MX9NJ4XE | statement | open | lebl_diffyqs ch-fourier-and-pde.tex#theorem-3 |
| X6N74VHR47 | X6N74VHR47 | statement | record (an 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.31216#RLIM |
| X6N7Y10PB3 | X6N7Y10PB3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.14097#K7V6 |
| X6NB74DR21 | X6NB74DR21 | exercise | open | lebl_diffyqs ch-power-ser.tex#exercise-29 |
| X6NGX2JS5Z | X6NGX2JS5Z | 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.33590#M7WQ |
| X6PG4JKSBJ | X6PG4JKSBJ | statement | record (an 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.16235#2739 |
| X6PPC2N681 | X6PPC2N681 | statement | record (an 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.22272#NR5F |
| X6PTHFPJBH | X6PTHFPJBH | statement | record (an 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.20135#HSXP |
| X6Q43BBBMH | X6Q43BBBMH | statement | record (an 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#C3KU |
| X6QHMCZYCN | X6QHMCZYCN | statement | record (an 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#Q3KK |
| X6R4AWYGGC | X6R4AWYGGC | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-6 |
| X6R6FNSQ35 | X6R6FNSQ35 | statement | record (an 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.09522#592J |
| X6R6QKS9RS | X6R6QKS9RS | 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.30823#3L4U |
| X6R9NHBCXC | X6R9NHBCXC | statement | record (an 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#6IIZ |
| X6RM2SG07E | X6RM2SG07E | unknown | open | arXiv 2306.16411#WJPZ |
| X6RT15R3S6 | X6RT15R3S6 | statement | record (an 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.07461#DM6H |
| X6S3H0X9Z3 | X6S3H0X9Z3 | 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.28669#E8K0 |