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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 501–600 of 3003.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X4XM2A0G1J | X4XM2A0G1J | statement | record (an 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.25151#HKUL |
| X4YZ601S4P | X4YZ601S4P | proof | open | lebl_scv scv.tex#proof-76 |
| X4Z9E0M349 | X4Z9E0M349 | 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.38742#762U |
| X4ZBAV6S3X | X4ZBAV6S3X | statement | record (an 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#B4FM |
| X4ZDRTSTV6 | X4ZDRTSTV6 | statement | record (an 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.33856#MBPN |
| X4ZE4GHKMX | X4ZE4GHKMX | 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 2508.21045#W1MF |
| X4ZG678J4N | X4ZG678J4N | 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.13888#Q0HY |
| X50NJK7G2H | X50NJK7G2H | statement | record (an 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.19707#4FKS |
| X50VFCFV2Y | X50VFCFV2Y | statement | record (an 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.00617#V1GU |
| X51AEV8FX3 | X51AEV8FX3 | statement | record (an 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.24610#FG5A |
| X51M903090 | X51M903090 | statement | record (an 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#WW6K |
| X51XCX60NN | X51XCX60NN | statement | record (an 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.00625#AGJR |
| X53FJEQM3F | X53FJEQM3F | 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.21052#VIS3 |
| X53RAMB35Q | X53RAMB35Q | statement | record (an 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.25275#L75F |
| X5406E1CDP | X5406E1CDP | statement | record (an 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.01225#PS01 |
| X54CAFGBHT | X54CAFGBHT | statement | record (an 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.12777#A5N5 |
| X54WH2M2XH | X54WH2M2XH | proof | open | applied_combinatorics source/s_background_formal-num-sys.ptx#proof-7 |
| X559XM3Z0S | X559XM3Z0S | 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.31604#BAFP |
| X55J174KV9 | X55J174KV9 | statement | record (an 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.20170#IIOE |
| X5604D469Z | X5604D469Z | statement | record (an 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.28540#AGWV |
| X565KB16DV | X565KB16DV | definition | open | napkin tex/H113/grp-intro.tex#definition-3 |
| X56B7AM800 | X56B7AM800 | statement | record (an 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.10505#JLSO |
| X56WCP0YJ7 | X56WCP0YJ7 | statement | record (an 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.31102#6A6P |
| X57ACEMWSA | X57ACEMWSA | statement | record (an 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.09882#ZTMY |
| X57Q3R1A3B | X57Q3R1A3B | statement | record (an 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.00560#N2AU |
| X58VZ4SC83 | X58VZ4SC83 | statement | record (an 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.13523#EHSP |
| X595MCQQBR | X595MCQQBR | statement | record (an 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.03449#EHQE |
| X59TT886X6 | X59TT886X6 | statement | record (an 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#4TNC |
| X5A81Y2Z8H | X5A81Y2Z8H | statement | record (an 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#TZ89 |
| X5AE8D8M9B | X5AE8D8M9B | statement | record (an 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.04559#3OUA |
| X5BF4AMJCP | X5BF4AMJCP | statement | record (an 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#N4QY |
| X5C7WRR0TA | X5C7WRR0TA | statement | record (an 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.20849#BLTS |
| X5C8CRCWC4 | X5C8CRCWC4 | statement | record (an 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.19852#UYG1 |
| X5CHCW53DW | X5CHCW53DW | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#proof-4 |
| X5CSBMS4YH | X5CSBMS4YH | statement | record (an 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.10925#X4EX |
| X5CVEMKN6N | X5CVEMKN6N | statement | record (an 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.22058#HYDD |
| X5CWKXFDD3 | X5CWKXFDD3 | statement | record (an 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.08633#NLZN |
| X5D8T31F1K | X5D8T31F1K | statement | record (an 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.15010#5FD4 |
| X5DC3AG4WC | X5DC3AG4WC | statement | record (an 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.06438#4Y4R |
| X5DDP1KTSQ | X5DDP1KTSQ | statement | record (an 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.08176#IQ9P |
| X5DQ1GBNBW | X5DQ1GBNBW | unknown | open | arXiv 2610.13680#1CX8 |
| X5E3RMT91W | X5E3RMT91W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14143#7SYB |
| X5EQPESB0M | X5EQPESB0M | statement | record (an 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.25468#2SBM |
| X5ER7Z4285 | X5ER7Z4285 | statement | record (an 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.12425#TFTB |
| X5F64P4QY2 | X5F64P4QY2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.05048#4F14 |
| X5GEAXMPAD | X5GEAXMPAD | exercise | open | lebl_ra ch-approximate.tex#exercise-62 |
| X5GGCHQ79Y | X5GGCHQ79Y | statement | record (an 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.01561#1EKK |
| X5H04T5JMP | X5H04T5JMP | statement | record (an 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.12116#QRRM |
| 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 |
| X5YQTWS9Y2 | X5YQTWS9Y2 | statement | record (an 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.22394#5OIG |
| 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 |
| X63TS78CVJ | X63TS78CVJ | statement | record (an 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.21339#5TWK |
| 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 |
| X64YPHQ630 | X64YPHQ630 | statement | record (an 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.21098#TDOI |
| 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 |