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 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 701–800 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W73GGEPB11 | W73GGEPB11 | 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.01216#EWQE |
| W73S9VCJ18 | W73S9VCJ18 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#IRMR |
| W7472BVZM3 | W7472BVZM3 | statement | record (an 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.14914#6JY7 |
| W759PK1KEW | W759PK1KEW | statement | record (an 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.17325#02OB |
| W75FVMPCZ4 | W75FVMPCZ4 | statement | record (an 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.24638#F3J1 |
| W75MYDZWSA | W75MYDZWSA | exercise | open | hott_book setmath.tex#ex:monos-are-split-monos-iff-LEM-holds |
| W761Z8H1NX | W761Z8H1NX | statement | record (an 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.10221#SJRV |
| W765NZR8QX | W765NZR8QX | statement | record (an 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.16834#EB47 |
| W770Z43801 | W770Z43801 | statement | record (an 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.20825#GRQG |
| W7761GS5E6 | W7761GS5E6 | statement | record (an 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.07717#BM6T |
| W77EJQCXQ4 | W77EJQCXQ4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15454155, nLab Bruce Blackadar |
| W77ZZSK41E | W77ZZSK41E | statement | record (an 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#RWT8 |
| W78Q1TM5ZG | W78Q1TM5ZG | 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 1806.00877#WBPL |
| W78VBQN2T6 | W78VBQN2T6 | statement | record (an 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.20368#WT1T |
| W78Z4H431B | W78Z4H431B | statement | record (an 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.11671#07TM |
| W797Z7QMSB | W797Z7QMSB | statement | record (an 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.10567#N05H |
| W79E31JW0R | W79E31JW0R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.09548#XRKH |
| W7A36XQTKG | W7A36XQTKG | statement | record (an 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.17817#J5K5 |
| W7AZT2D43J | W7AZT2D43J | statement | record (an 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.37706#HB3T |
| W7B2DXF4JA | W7B2DXF4JA | 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 2311.16205#D315 |
| W7B2PVP32C | W7B2PVP32C | statement | record (an 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.21934#XNN1 |
| W7B55SPH12 | W7B55SPH12 | statement | record (an 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.03856#EVO4 |
| W7BKCAG59X | W7BKCAG59X | exercise | open | napkin tex/alg-NT/finite-field.tex#ques-2 |
| W7CW0MGTSA | W7CW0MGTSA | statement | record (an 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.27823#NDLZ |
| W7CZRR0TMX | W7CZRR0TMX | statement | record (an 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#LRVV |
| W7D9QT5J1P | W7D9QT5J1P | statement | record (an 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.14699#92W8 |
| W7DYPERH7X | W7DYPERH7X | 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.19260#2FAQ |
| W7E5908JPY | W7E5908JPY | example | open | hott_book hlevels.tex#eg-1 |
| W7E8JKN1HN | W7E8JKN1HN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#MLZT |
| W7EJ9PMF0J | W7EJ9PMF0J | statement | record (an 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.07162#2GTR |
| W7FF6WXF2X | W7FF6WXF2X | statement | record (an 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.25823#XVXS |
| W7FFVJ3AQB | W7FFVJ3AQB | statement | open | lebl_ra ch-approximate.tex#lemma-2 |
| W7G4MMM2DS | W7G4MMM2DS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.05177#GA9A |
| W7GKVH76SX | W7GKVH76SX | statement | record (an 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#YMEI |
| W7HEYF71KD | W7HEYF71KD | statement | record (an 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.30200#Y691 |
| W7HS8VWPCJ | W7HS8VWPCJ | statement | record (an 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#UAJS |
| W7HZ12F24J | W7HZ12F24J | statement | record (an 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.31858#MJNF |
| W7J1D888GZ | W7J1D888GZ | statement | record (an 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.11829#BBX5 |
| W7J42HPFAJ | W7J42HPFAJ | 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.06556#6SLO |
| W7JC7Z3CYK | W7JC7Z3CYK | statement | record (an 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.31986#TBHV |
| W7JZW59WYK | W7JZW59WYK | example | open | napkin tex/linalg/fourier.tex#example-3 |
| W7KK0AHEN0 | W7KK0AHEN0 | statement | record (an 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.02244#B0DL |
| W7KQ2Z3ZD0 | W7KQ2Z3ZD0 | statement | record (an 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.13213#MVAC |
| W7M370J2B9 | W7M370J2B9 | statement | record (an 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.28824#59CY |
| W7PKX26CJ6 | W7PKX26CJ6 | 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.07695#X7LX |
| W7PZT4YQNW | W7PZT4YQNW | statement | record (an 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.07340#3NOE |
| W7Q8K9MRWZ | W7Q8K9MRWZ | exercise | open | active_calculus source/activities/act-5-3-2.xml#act-5-3-2 |
| W7Q8WZAE47 | W7Q8WZAE47 | statement | record (an 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.12819#8TFL |
| W7RQQ8PR9A | W7RQQ8PR9A | 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 2204.01073#D3B3 |
| W7RTSZ7ECF | W7RTSZ7ECF | example | open | lebl_ra ch-approximate.tex#example-6 |
| W7SEZDEXC2 | W7SEZDEXC2 | 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.20376#XD8E |
| W7SS33VV89 | W7SS33VV89 | statement | record (an 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.16059#32CA |
| W7TDSM6KC0 | W7TDSM6KC0 | 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.32614#ZSU7 |
| W7TK3AYYK6 | W7TK3AYYK6 | exercise | open | austin_ula src/exercises/exercises3-1.xml#exercise-5 |
| W7TW7DXQSF | W7TW7DXQSF | statement | record (an 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.19590#JQT6 |
| W7V6HF6NXN | W7V6HF6NXN | statement | record (an 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.26771#OJ97 |
| W7V89F9Z55 | W7V89F9Z55 | statement | record (an 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.15169#4ECP |
| W7V8HZYDKE | W7V8HZYDKE | statement | record (an 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#D21H |
| W7VCGC8BKE | W7VCGC8BKE | 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.01328#G8NW |
| W7VGR718XW | W7VGR718XW | example | open | austin_ula src/section6-3.xml#example-orthogonal-set |
| W7VPCSRR4H | W7VPCSRR4H | exercise | open | lebl_scv scv.tex#exercise-66 |
| W7W268CRKT | W7W268CRKT | definition | open | lebl_scv scv.tex#defn-30 |
| W7W6YS8Q9J | W7W6YS8Q9J | statement | record (an 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#VZ9A |
| W7WCPZ9FFG | W7WCPZ9FFG | statement | record (an 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.09298#O64K |
| W7WZ9MGJHC | W7WZ9MGJHC | exercise | open | hott_book logic.tex#ex:not-brck-A-impl-A |
| W7X2VBQ0Q3 | W7X2VBQ0Q3 | statement | record (an 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.22847#UBW2 |
| W7X5S7K697 | W7X5S7K697 | statement | record (an 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#62IX |
| W7XQCBG0M1 | W7XQCBG0M1 | statement | record (an 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.39700#ON2F |
| W7Y0XTCPY3 | W7Y0XTCPY3 | statement | record (an 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.31335#HBN0 |
| W7Y1KW84RT | W7Y1KW84RT | statement | record (an 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.25314#50XW |
| W7YFVN7CFG | W7YFVN7CFG | exercise | open | lebl_scv scv.tex#exercise-84 |
| W7YJN0KC4B | W7YJN0KC4B | statement | record (an 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.25301#S3MS |
| W7ZAZD930P | W7ZAZD930P | proof | open | open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-3 |
| W8098JZX7A | W8098JZX7A | statement | record (an 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.16779#U8JM |
| W80D8B69HZ | W80D8B69HZ | statement | record (an 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.36045#WXQA |
| W80MD860B7 | W80MD860B7 | statement | record (an 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.36423#JUNX |
| W80R0Q4B3Q | W80R0Q4B3Q | statement | record (an 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.38013#W9I4 |
| W813Q4JT40 | W813Q4JT40 | statement | record (an 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.14741#4END |
| W8166B6852 | W8166B6852 | statement | record (an 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.11700#SU1A |
| W818ZYWBMB | W818ZYWBMB | 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.40282#RJ5J |
| W81TJ3D4B7 | W81TJ3D4B7 | statement | record (an 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.33733#GXBX |
| W81YF528N5 | W81YF528N5 | statement | record (an 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.19288#KU3D |
| W81ZA5QAGB | W81ZA5QAGB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.13891#TUM8 |
| W820Z9DNPQ | W820Z9DNPQ | 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 2104.00162#U1EV |
| W82CZYN14Y | W82CZYN14Y | 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.07280#VYD6 |
| W82DGDX7JS | W82DGDX7JS | 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#89L7 |
| W82G2BD69A | W82G2BD69A | statement | record (an 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.18106#AK3I |
| W82JA6XYDW | W82JA6XYDW | statement | record (an 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#FEDN |
| W82MX33F4C | W82MX33F4C | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-20 |
| W82PKXWRWQ | W82PKXWRWQ | statement | record (an 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.37920#8AZV |
| W83FXW6C2Q | W83FXW6C2Q | statement | record (an 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.03477#03VL |
| W83KT5C11H | W83KT5C11H | statement | record (an 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.29531#HTN8 |
| W83RPAXCE7 | W83RPAXCE7 | statement | record (an 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.21808#I0XM |
| W841D9DV7G | W841D9DV7G | statement | record (an 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.06645#RDL1 |
| W84NTFRKGS | W84NTFRKGS | statement | record (an 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.10902#7VT3 |
| W859J6E4HY | W859J6E4HY | statement | record (an 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.31173#9GXV |
| W85B1J4E5P | W85B1J4E5P | statement | record (an 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.39353#8D88 |
| W85KWYZWTV | W85KWYZWTV | statement | record (an 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.15643#P9L0 |
| W85Y4G86ZA | W85Y4G86ZA | 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.10338#BB7J |
| W877STMWFT | W877STMWFT | 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#3M8C |