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 601–700 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| W6WJGJ7A19 | W6WJGJ7A19 | statement | record (an 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.13392#15OW |
| W6WZ2XY2J4 | W6WZ2XY2J4 | 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 2011.08789#VZ4B |
| W6X4CFVY30 | W6X4CFVY30 | 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.32599#6FRO |
| W6XCKMRMB4 | W6XCKMRMB4 | 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 2401.14162#MFPF |
| W6Z9NPAY14 | W6Z9NPAY14 | statement | record (an 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.10804#0JJF |
| W6ZYSZGC5V | W6ZYSZGC5V | 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#ROM2 |
| W702AXZQ6B | W702AXZQ6B | exercise | open | napkin tex/set-theory/cardinal.tex#ques-5 |
| W70HSAGGZ2 | W70HSAGGZ2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#NZIV |
| W70RX8CVEP | W70RX8CVEP | unknown | open | arXiv 2106.06387#5WA5 |
| W713YQK9Q8 | W713YQK9Q8 | 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.00134#Z5V1 |
| W7145DGJSX | W7145DGJSX | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-quantifiers.tex#prop:provability-quantifiers |
| W71NXV88EZ | W71NXV88EZ | statement | record (an 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#9BED |
| W722AA5W3G | W722AA5W3G | exercise | open | lebl_ra ch-seq-ser.tex#exercise-34 |
| W724JYNBB9 | W724JYNBB9 | statement | record (an 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.26129#OJ3H |
| W72EM407XZ | W72EM407XZ | 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.32338#ZY1R |
| W72QWQAZMS | W72QWQAZMS | statement | record (an 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.07243#TVUL |
| W734FABSSC | W734FABSSC | statement | record (an 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.16886#S4C1 |
| 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 |
| 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 |
| 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 |