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 101–200 of 2715.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| X17YBJNK58 | X17YBJNK58 | example | open | lebl_ra ch-several-vars-ders.tex#example-1 |
| X1877DRPK4 | X1877DRPK4 | 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.12108#R1HH |
| X18EQHA6SS | X18EQHA6SS | statement | record (an 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.25345#S1QA |
| X18FRF3X6P | X18FRF3X6P | statement | record (an 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.28336#1ILH |
| X18PE8C61T | X18PE8C61T | statement | record (an 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.28297#6W9W |
| X18W0YPW81 | X18W0YPW81 | statement | record (an 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.02216#KY98 |
| X19MRNV988 | X19MRNV988 | 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 2507.05417#KF1Y |
| X19TZKZCD1 | X19TZKZCD1 | exercise | open | austin_ula src/section7-3.xml#activity-2 |
| X1AMM6GXZG | X1AMM6GXZG | statement | record (an 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.37794#L8PL |
| X1B3YMZJ33 | X1B3YMZJ33 | statement | record (an 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.20165#6GFV |
| X1BE02FXY6 | X1BE02FXY6 | statement | record (an 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.15403#DBKT |
| X1BH8EDHMB | X1BH8EDHMB | statement | record (an 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.34570#VTL8 |
| X1BP976ZJF | X1BP976ZJF | statement | record (an 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.37425#8V35 |
| X1BTFAZPT2 | X1BTFAZPT2 | 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.36181#9YRK |
| X1C0W1E4WS | X1C0W1E4WS | proof | open | open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#proof-2 |
| X1C737X1KN | X1C737X1KN | proof | open | lebl_ra ch-riemann.tex#proof-6 |
| X1C7VN7126 | X1C7VN7126 | statement | record (an 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.24541#OYVN |
| X1CJ2KATR4 | X1CJ2KATR4 | statement | record (an 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.24584#ON6J |
| X1DQJTW479 | X1DQJTW479 | 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 2402.08944#QUQU |
| X1DW26YSP1 | X1DW26YSP1 | statement | record (an 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#5S1T |
| X1E6K2KT4G | X1E6K2KT4G | 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#4143 |
| X1EYA3S4MK | X1EYA3S4MK | statement | record (an 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.01586#EFFX |
| X1F07TATK9 | X1F07TATK9 | statement | record (an 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.09129#SB5C |
| X1F4QJHXAD | X1F4QJHXAD | statement | record (an 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.00512#SLSY |
| X1G9T81ZGV | X1G9T81ZGV | statement | record (an 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.07401#SPRO |
| X1H3DDV5X0 | X1H3DDV5X0 | 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.18016#BPOR |
| X1H6TH142B | X1H6TH142B | 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 2603.07541#7PIJ |
| X1JMT38M0F | X1JMT38M0F | statement | record (an 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#SV2P |
| X1K3XS6M06 | X1K3XS6M06 | statement | record (an 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.33771#VBRM |
| X1K6DEK1K0 | X1K6DEK1K0 | statement | record (an 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.20916#NQEG |
| X1KGYS43H9 | X1KGYS43H9 | statement | record (an 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.03384#NANB |
| X1KHKB70M3 | X1KHKB70M3 | statement | record (an 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.22002#9BC4 |
| X1KK8BNZJ0 | X1KK8BNZJ0 | exercise | open | austin_ula src/exercises/exercises4-1.xml#exercise-2 |
| X1KMKDXR6P | X1KMKDXR6P | statement | open | ernst_ibl MAAPressVersion/Topology.tex#theorem-2 |
| X1MMGMG3N3 | X1MMGMG3N3 | statement | record (an 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.08028#XW8L |
| X1N618ZNQ6 | X1N618ZNQ6 | statement | record (an 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#RJL1 |
| X1P1T34DNY | X1P1T34DNY | 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.35927#W40K |
| X1PD9W2MJZ | X1PD9W2MJZ | 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.24465#TWGC |
| X1PHYF4W4E | X1PHYF4W4E | statement | record (an 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#857F |
| X1PYX64A22 | X1PYX64A22 | statement | record (an 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.32829#DW97 |
| X1Q49AE8N6 | X1Q49AE8N6 | statement | record (an 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.16180#NQYQ |
| X1QD10EH97 | X1QD10EH97 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.20176#Z25U |
| X1QDSBS2ES | X1QDSBS2ES | statement | record (an 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.14838#9QA4 |
| X1QF1S4GGJ | X1QF1S4GGJ | 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 1903.07030#BCPD |
| X1QH1D6H5E | X1QH1D6H5E | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#ex_networkflow_update |
| X1QTG8CDAS | X1QTG8CDAS | statement | record (an 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.14847#UKLZ |
| X1RECPQK2H | X1RECPQK2H | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-37 |
| X1RZZ68VE8 | X1RZZ68VE8 | statement | record (an 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.33679#D04J |
| X1SBTM2Q8J | X1SBTM2Q8J | statement | record (an 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.09390#XCTK |
| X1T72VT2TX | X1T72VT2TX | statement | record (an 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#5FXU |
| X1TB2MW8ZC | X1TB2MW8ZC | 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.27301#30E6 |
| X1TFVKH8N0 | X1TFVKH8N0 | statement | record (an 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.20126#EDS3 |
| X1TKS7QVGQ | X1TKS7QVGQ | statement | record (an 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#IYQE |
| X1TQ3MEM54 | X1TQ3MEM54 | statement | record (an 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#8CHY |
| X1VDVWGWK9 | X1VDVWGWK9 | 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.34020#2DG4 |
| X1VFBVPPRS | X1VFBVPPRS | statement | record (an 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.20299#05Y1 |
| X1WAMDMMCP | X1WAMDMMCP | statement | record (an 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.35642#O4Z4 |
| X1WV6PM2G2 | X1WV6PM2G2 | proof | open | hott_book induction.tex#proof-1 |
| X1X0KE0BAN | X1X0KE0BAN | statement | record (an 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.37450#LTL0 |
| X1X2G6MFYB | X1X2G6MFYB | statement | record (an 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.03611#5CCX |
| X1XA3JVX2F | X1XA3JVX2F | statement | record (an 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.20385#S6LT |
| X1XEWERGS0 | X1XEWERGS0 | statement | record (an 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#V5GD |
| X1Y2740BRQ | X1Y2740BRQ | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-25 |
| X1YEBHM0AN | X1YEBHM0AN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.18195#N29O |
| X1ZA0CVQ5Q | X1ZA0CVQ5Q | example | open | applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_prop-inject |
| X1ZFJYCMSM | X1ZFJYCMSM | statement | record (an 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#KKIP |
| X1ZNJ9ZGDS | X1ZNJ9ZGDS | statement | record (an 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.13734#AOG1 |
| X1ZWRA760T | X1ZWRA760T | statement | record (an 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#4E38 |
| X200TS9Z8M | X200TS9Z8M | example | open | napkin tex/alg-geom/mor-scheme.tex#example-4 |
| X206TAG0MM | X206TAG0MM | 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 2207.11097#JBQU |
| X20KH0CTC3 | X20KH0CTC3 | statement | record (an 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.01919#R1YP |
| X20VS1EMDA | X20VS1EMDA | statement | record (an 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.08123#BNZD |
| X20ZRF62FR | X20ZRF62FR | statement | record (an 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.05652#I6KZ |
| X21D07T8CR | X21D07T8CR | statement | record (an 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.35632#59LY |
| X21KHNNYST | X21KHNNYST | statement | record (an 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#G7ZE |
| X22DJXJ8SG | X22DJXJ8SG | 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.20891#8PPX |
| X22H0TE4BY | X22H0TE4BY | statement | record (an 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#Z1KT |
| X23Q3H6RSR | X23Q3H6RSR | statement | record (an 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.32446#2CTS |
| X23QF9RPPB | X23QF9RPPB | proof | open | open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#proof-1 |
| X249J0E164 | X249J0E164 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#59M0 |
| X24KZGDNBM | X24KZGDNBM | statement | record (an 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.19360#K6I9 |
| X24M4XFFXT | X24M4XFFXT | 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#A5K9 |
| X24NXMW4KK | X24NXMW4KK | exercise | open | lebl_scv scv.tex#exercise-278 |
| X24WNF1XBG | X24WNF1XBG | statement | record (an 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.08081#8PHR |
| X250HTG5CY | X250HTG5CY | statement | record (an 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.32104#R6OG |
| X256GQWWBG | X256GQWWBG | statement | record (an 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#5GHS |
| X25J6PM6B0 | X25J6PM6B0 | statement | record (an 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.18277#9GBQ |
| X26MH09TP7 | X26MH09TP7 | 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.05428#A3WW |
| X26MYP5SJ8 | X26MYP5SJ8 | 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 2602.07485#34DC |
| X26PHN55D0 | X26PHN55D0 | statement | record (an 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.10860#PK1Y |
| X270VP6ACT | X270VP6ACT | statement | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#lem:cons-G-unprov |
| X279CPJB46 | X279CPJB46 | statement | record (an 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.28674#8MHA |
| X27GAPC0MT | X27GAPC0MT | 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.36412#9KCN |
| X27NN3S8PA | X27NN3S8PA | unknown | open | arXiv 2610.13680#79H0 |
| X27WPWN0TG | X27WPWN0TG | 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 2208.06310#OSSZ |
| X288FPRXTM | X288FPRXTM | statement | record (an 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.36113#FG41 |
| X28BNJCMX4 | X28BNJCMX4 | 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 2510.01873#VQLI |
| X29M3NF7A9 | X29M3NF7A9 | 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.26581#1Z5E |
| X29MK7AR11 | X29MK7AR11 | exercise | open | lebl_scv scv.tex#exercise-289 |
| X2A55GSCEN | X2A55GSCEN | 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.27301#VD46 |