Inventory: W
The rows of the inventory whose names start with W. 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 1201–1300 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WCHD1JK03A | WCHD1JK03A | statement | record (an 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.15160#O8UC |
| WCHXBYMR7R | WCHXBYMR7R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#19QG |
| WCJH0ZSXS3 | WCJH0ZSXS3 | statement | record (an 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#HSS7 |
| WCKCHZ1W40 | WCKCHZ1W40 | example | open | napkin tex/H113/action.tex#example-3 |
| WCKK0FF2BW | WCKK0FF2BW | proof | open | open_logic content/incompleteness/representability-in-q/undecidability.tex#proof-1 |
| WCKN4MD93T | WCKN4MD93T | statement | record (an 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.03327#GDY8 |
| WCKP5QNRGS | WCKP5QNRGS | 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.09171#YX1T |
| WCKQ3KAF3V | WCKQ3KAF3V | 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.03619#MU5H |
| WCM19Y1NH7 | WCM19Y1NH7 | 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.36181#40II |
| WCM2BQ92JA | WCM2BQ92JA | 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.10930#Z14M |
| WCMGNMSX4B | WCMGNMSX4B | statement | record (an 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.11301#TIV5 |
| WCN99SKQ5M | WCN99SKQ5M | unknown | open | |
| WCNTP9CSYJ | WCNTP9CSYJ | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-3 |
| WCPDXPRVCC | WCPDXPRVCC | statement | record (an 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.19787#Y30N |
| WCPMF1E5XZ | WCPMF1E5XZ | 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 2605.02634#9U7X |
| WCQ131WH2P | WCQ131WH2P | statement | record (an 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.39293#XYCR |
| WCQ3HFSA4J | WCQ3HFSA4J | statement | record (an 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.31910#NR4B |
| WCQNHS5GW8 | WCQNHS5GW8 | statement | record (an 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.06621#WTJN |
| WCQQ8M7EYR | WCQQ8M7EYR | statement | record (an 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.10338#KA2V |
| WCR4V3W0WT | WCR4V3W0WT | statement | record (an 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.35252#1J35 |
| WCRKYD7R9N | WCRKYD7R9N | statement | record (an 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.14217#BJGA |
| WCRQG414BJ | WCRQG414BJ | statement | record (an 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.14841#4RGW |
| WCRR7BWKBQ | WCRR7BWKBQ | statement | record (an 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.27918#MX2J |
| WCT8ZQBPZX | WCT8ZQBPZX | statement | record (an 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#DSLM |
| WCTCXHNN54 | WCTCXHNN54 | 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.38567#L40A |
| WCTNRVWT3C | WCTNRVWT3C | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-39 |
| WCTSJD0CN4 | WCTSJD0CN4 | statement | record (an 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.01324#NBHQ |
| WCTYX5GJBZ | WCTYX5GJBZ | statement | record (an 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.12817#GKJY |
| WCVGVHW9QV | WCVGVHW9QV | statement | record (an 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.07240#1QP2 |
| WCVSF3G1YB | WCVSF3G1YB | 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.15926#S37D |
| WCVXZZ8F34 | WCVXZZ8F34 | statement | record (an 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.16491#TBIU |
| WCW6H8R8ZS | WCW6H8R8ZS | statement | record (an 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.12852#ES1F |
| WCX0AMJXDW | WCX0AMJXDW | statement | record (an 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.31445#R85D |
| WCXFWTQDTD | WCXFWTQDTD | statement | record (an 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.01669#QS1S |
| WCXMKN55TC | WCXMKN55TC | statement | record (an 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.16267#QE4L |
| WCY6PZX627 | WCY6PZX627 | statement | record (an 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.27056#4XMZ |
| WCY71PDTXG | WCY71PDTXG | example | open | lebl_ra ch-vol1-intro.tex#example-3 |
| WCYXWFAJP6 | WCYXWFAJP6 | statement | record (an 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.06461#T3MR |
| WCZ0WNYJ5N | WCZ0WNYJ5N | statement | record (an 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.31757#38E1 |
| WCZWGTQ1BZ | WCZWGTQ1BZ | statement | record (an 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.27360#V351 |
| WD0GQ6F0A3 | WD0GQ6F0A3 | statement | record (an 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.09544#7O97 |
| WD0WACM4BV | WD0WACM4BV | example | open | lebl_ra ch-one-dim-ints-sv.tex#example:mv:irrotoneformint |
| WD0ZK7RP22 | WD0ZK7RP22 | exercise | open | open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-1 |
| WD10CXASJH | WD10CXASJH | 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.21475#E9HT |
| WD12V51RGZ | WD12V51RGZ | 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.36309#UQPY |
| WD155CAQ66 | WD155CAQ66 | statement | record (an 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.25094#K71F |
| WD18V19YEC | WD18V19YEC | statement | record (an 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.16541#TUUX |
| WD1BQQ1EPA | WD1BQQ1EPA | statement | record (an 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.20077#C8LO |
| WD2NNFVQ5F | WD2NNFVQ5F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2043#2UJF |
| WD2VKFFER8 | WD2VKFFER8 | definition | open | napkin tex/measure/martingale.tex#definition-1 |
| WD31PT4HHG | WD31PT4HHG | statement | record (an 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.08323#CVJG |
| WD3N6Q8T3C | WD3N6Q8T3C | statement | record (an 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.20932#H7V9 |
| WD3P8789DM | WD3P8789DM | 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 1804.05688#WJUL |
| WD4KWZB7FC | WD4KWZB7FC | statement | record (an 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.26738#2RRP |
| WD4M127NXW | WD4M127NXW | statement | record (an 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.15877#FBP7 |
| WD5GZ62M7N | WD5GZ62M7N | statement | record (an 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.16821#ZFO0 |
| WD5K803HVZ | WD5K803HVZ | statement | record (an 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.15013#4JC8 |
| WD6W0CHKP3 | WD6W0CHKP3 | statement | record (an 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.11965#CI09 |
| WD6WXP6D24 | WD6WXP6D24 | 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.28411#NW8Q |
| WD709MSD8P | WD709MSD8P | 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.01247#FR27 |
| WD7EY5Q5CG | WD7EY5Q5CG | 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.31269#EBRI |
| WD7X4D2DNY | WD7X4D2DNY | statement | record (an 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#RTG1 |
| WD8QS2KE09 | WD8QS2KE09 | statement | record (an 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.08583#JXA3 |
| WD94RD6VF1 | WD94RD6VF1 | statement | record (an 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#8CUY |
| WD95VZPA78 | WD95VZPA78 | statement | record (an 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.20956#726Y |
| WD9PR79A9C | WD9PR79A9C | statement | record (an 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.26191#Q1EA |
| WD9R1TNPP6 | WD9R1TNPP6 | statement | record (an 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.15094#ET04 |
| WDAC045AY5 | WDAC045AY5 | statement | record (an 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.26650#VZQR |
| WDAMXR8XR1 | WDAMXR8XR1 | statement | record (an 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.11276#7KVB |
| WDAXFWH424 | WDAXFWH424 | statement | record (an 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.02634#Q2SX |
| WDBB6G52AX | WDBB6G52AX | statement | record (an 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.28265#ZHRC |
| WDBCG3B72K | WDBCG3B72K | statement | record (an 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.15744#SQAU |
| WDBD9JE6TW | WDBD9JE6TW | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-32 |
| WDBM34HNDM | WDBM34HNDM | definition | open | napkin tex/set-theory/ordinal.tex#definition-1 |
| WDBWJ0Q9M2 | WDBWJ0Q9M2 | proof | open | napkin tex/H113/grp-intro.tex#proof-1 |
| WDC87V150A | WDC87V150A | 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.28011#ENQW |
| WDC8TCK339 | WDC8TCK339 | statement | record (an 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#IICI |
| WDD2FXDV8Y | WDD2FXDV8Y | 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.12181#OP7E |
| WDDTYQMGR8 | WDDTYQMGR8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.25960#G8TQ |
| WDE8MMKKHW | WDE8MMKKHW | statement | record (an 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.15472#688K |
| WDEJ2S3GZT | WDEJ2S3GZT | statement | record (an 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.00379#DJ0S |
| WDEN253BVR | WDEN253BVR | 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.09390#ETBY |
| WDF42X3W1K | WDF42X3W1K | statement | record (an 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.21828#0FF2 |
| WDFEBDEZ48 | WDFEBDEZ48 | unknown | open | arXiv 2610.13680#9BHA |
| WDFMZDV2RJ | WDFMZDV2RJ | 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.14681#58EI |
| WDGCZ0DV4H | WDGCZ0DV4H | statement | record (an 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.33050#I14H |
| WDGPHH0WP6 | WDGPHH0WP6 | statement | record (an 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.40345#U15P |
| WDGQMYYFTT | WDGQMYYFTT | statement | record (an 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.11869#QZXT |
| WDGTJDNPZD | WDGTJDNPZD | 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.07963#GYEN |
| WDH6131VN4 | WDH6131VN4 | statement | record (an 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.22288#2XK4 |
| WDHNWD4076 | WDHNWD4076 | statement | record (an 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.04264#49U0 |
| WDHWRCQ3YF | WDHWRCQ3YF | statement | record (an 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.29712#FXK2 |
| WDJ0693FPY | WDJ0693FPY | statement | record (an 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.16475#212O |
| WDJ582DEDW | WDJ582DEDW | statement | record (an 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.13670#94NE |
| WDJ925F3HZ | WDJ925F3HZ | statement | record (an 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.28350#RBEH |
| WDJ9R3N2H8 | WDJ9R3N2H8 | statement | record (an 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#39U6 |
| WDJFH079BP | WDJFH079BP | statement | record (an 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.09133#3Y7V |
| WDJJRRRR1F | WDJJRRRR1F | statement | record (an 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.36811#HB8B |
| WDJTZBY14B | WDJTZBY14B | 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/0406514#B3JM |
| WDJZ0S0SWB | WDJZ0S0SWB | proof | open | hott_book categories.tex#proof-24 |