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 901–1000 of 3560.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| WAFEX9TF5Z | WAFEX9TF5Z | exercise | open | napkin tex/topology/constructions.tex#problem-1 |
| WAFXJPJJ48 | WAFXJPJJ48 | statement | record (an 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.33820#IES2 |
| WAG4E4KPC3 | WAG4E4KPC3 | statement | record (an 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.37520#5EO7 |
| Wagner graph | H56GWHJ0J8 | unknown | open | Wikidata Q3115543, House of Graphs 640, MathWorld WagnerGraph |
| Wagner's theorem | 62ZJ2SK9BY | statement | open | mathlib_1000 Q7959587, Wikidata Q7959587, thousand_plus Q7959587, Wikipedia Wagner's theorem |
| Wagstaff prime | ZP21SE8VB4 | unknown | open | Wikidata Q281995, MathWorld WagstaffPrime, OEIS A000979 |
| WAGVA5A9FD | WAGVA5A9FD | statement | record (an 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.01970#NIXS |
| WAHAMA5HBC | WAHAMA5HBC | statement | record (an 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.01015#IU52 |
| WAHDYBS5FF | WAHDYBS5FF | 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.01919#J4OM |
| WAHKRSKCH7 | WAHKRSKCH7 | 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.11468#CX64 |
| Wahl | ZQNFTC1DJV | 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.21093#8PCH |
| Wahl's \(\mathbb{Q}\)-Gorenstein conjecture | 3DR97MFSJN | statement | record (an 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.21092#B9DJ |
| Wahl's Rational Conjecture | 3XPVHJWVM3 | statement | record (an 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.21092#8HRZ |
| Wahl's Rational Conjecture | BCEP3ESJXR | statement | record (an 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.20991#LG2Y |
| WAHSEW96GG | WAHSEW96GG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.08487#77SR |
| WAHX689HVF | WAHX689HVF | statement | record (an 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#MCW1 |
| WAHZVKA8ES | WAHZVKA8ES | statement | record (an 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.27799#D3IN |
| Waitlist Composition and Slot Utilization | 6PV65Z97GY | statement | record (an 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.12732#IBCU |
| WAJA3WCY94 | WAJA3WCY94 | statement | record (an 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.01567#TATY |
| WAJC23Y7X6 | WAJC23Y7X6 | statement | record (an 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.21258#7S8J |
| WAJDR46SWR | WAJDR46SWR | proof | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#proof-1 |
| WAJTE6F0X3 | WAJTE6F0X3 | statement | record (an 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.12513#848Y |
| WAJZ6J7WN6 | WAJZ6J7WN6 | statement | record (an 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#SUS1 |
| WAK41SC3QD | WAK41SC3QD | statement | record (an 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.19533#JHR0 |
| WAK5T0DRG9 | WAK5T0DRG9 | proof | open | hott_book hits.tex#proof-2 |
| WAKC30RW1N | WAKC30RW1N | statement | record (an 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.09812#LP7L |
| WAKCJXH91T | WAKCJXH91T | statement | record (an 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.19333#OM62 |
| WAKCYWB3V1 | WAKCYWB3V1 | 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.24795#AW9M |
| WAKFQQ4NZ5 | WAKFQQ4NZ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.16454#7AL1 |
| WAKFVJN0TY | WAKFVJN0TY | statement | record (an 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.25062#OO6D |
| WAKT5BCRPA | WAKT5BCRPA | statement | record (an 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.01121#K2VE |
| WAKTHSRXXQ | WAKTHSRXXQ | statement | record (an 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.04772#EBJY |
| Wald's equation | EZCWD71NQA | statement | open | Wikidata Q937458, EoM Wald_identity, MathWorld WaldsEquation |
| Waldhausen category | 33JXW91CXA | unknown | open | Wikidata Q7961511, nLab Waldhausen category |
| walk | 1DBB41MHK6 | concept | open | levin_dmoi index/5.1/walk |
| walk | 3Y6CAZ6112 | unknown | open | Wikidata Q12776184, MathWorld Walk |
| walk | Y1D5BC040X | concept | open | applied_combinatorics index/5.1/walk |
| Walk and pulled-back key | 57NYWDBXYG | 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.38668#2N75 |
| Wall certificate at zero field | N74DNEHHGB | statement | record (an 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.03823#4O60 |
| Wall's finiteness obstruction | ENBFH40FTZ | unknown | open | Wikidata Q7962581, nLab Wall's finiteness obstruction |
| Wallace–Bolyai–Gerwien theorem | 7X342SDG04 | statement | open | mathlib_1000 Q834211, Wikidata Q834211, thousand_plus Q834211, Wikipedia Wallace–Bolyai–Gerwien theorem, Wikipedia Bolyai–Gerwien theorem, MathWorld Wallace-Bolyai-GerwienTheorem |
| Wallis product | AZE9WGM3AZ | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1501324, MathWorld WallisFormula, ProofWiki Wallis's_Product |
| Wallis sieve | BGSD28S7FP | unknown | open | Wikidata Q124216700, MathWorld WallisSieve |
| Wallis's conical edge | BCYTW6YN4E | unknown | open | Wikidata Q2606830, MathWorld WallissConicalEdge |
| Wallman compactification | ZH6FNFGXY0 | unknown | open | Wikidata Q7963169, EoM Wallman_compactification, nLab Wallman compactification |
| wallpaper group | 1BGSMQ51SV | unknown | open | Wikidata Q906867, MathWorld WallpaperGroups, nLab wallpaper group |
| Wall–Sun–Sun prime | JA8JAW4ATR | unknown | open | Wikidata Q925617, MathWorld Wall-Sun-SunPrime |
| Walnut | RPAPVN8G8K | statement | record (an 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.05628#PF2T |
| Walsh function | V4YFRK89FY | concept | open | Wikidata Q1934233, MathWorld WalshFunction |
| Walsh triple-count formula | R58VMZZ3A1 | statement | record (an 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.07905#S36F |
| Walter Feit | 9BBGJMGDDW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q949521, nLab Walter Feit |
| Walter Felscher | 43N8SBCMFT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2544173, nLab Walter Felscher |
| Walter Gordon | H15A08Y02Z | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65751, nLab Walter Gordon |
| Walter Gubler | Z8SCRE2YW0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q27929284, nLab Walter Gubler |
| Walter Noll | YVMSEMKGV8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1403491, nLab Walter Noll |
| Walter Rudin | FK9NNDBXNJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q470503, nLab Walter Rudin |
| Walter theorem | Y573XHRGZ1 | statement | open | mathlib_1000 Q7966545, Wikidata Q7966545, thousand_plus Q7966545, Wikipedia Walter theorem |
| Walther graph | GV9VQXSCN1 | unknown | open | Wikidata Q3115540, House of Graphs 1425, MathWorld WaltherGraphs |
| WAM7MZV0RX | WAM7MZV0RX | statement | record (an 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.14502#9NZ1 |
| Wan's $K'^2$ evaluation | H2WP9GYFB8 | statement | record (an 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.34016#VUS3 |
| WAN66Y2WCA | WAN66Y2WCA | statement | record (an 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.19194#DLCZ |
| Wanda Szmielew | 79BTMG1ZW6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1606268, nLab Wanda Szmielew |
| Wang and Zahl, 2025 | D5AKAH1A8S | statement | record (an 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.40161#4S0T |
| Wang's Theorem | NCN31ZW6ZW | statement | record (an 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#L88R |
| Wang, Kang and Zhao | ZTZC5BWJJQ | statement | record (an 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.25038#J1Q3 |
| Wang--Wang--Yu | 67KZH2EY9P | statement | record (an 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.30315#C0VB |
| Wang--Wang--Yu | E1K3K0QYTG | statement | record (an 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.30315#NUPV |
| Wang--Wu | QCZA82YMPC | statement | record (an 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.16114#X5TW |
| Wang--Zahl | ZH6GFVWVYA | statement | record (an 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.16114#GKMS |
| Wang--Zhang, dimension three | 2EBM1D2GKT | 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.15787#ON2K |
| WANRRS16AM | WANRRS16AM | statement | record (an 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.35123#UHTL |
| WANYYMRPQD | WANYYMRPQD | statement | record (an 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.27941#2MMR |
| WAP1DYFRC9 | WAP1DYFRC9 | statement | record (an 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.37897#6NXI |
| WAP3817PB2 | WAP3817PB2 | statement | record (an 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.10559#C539 |
| WAP4GB34HK | WAP4GB34HK | statement | record (an 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.13100#4H1P |
| WAP5XP4058 | WAP5XP4058 | statement | record (an 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.10796#DL2E |
| WAPHYCCKJ6 | WAPHYCCKJ6 | exercise | open | open_logic content/first-order-logic/models-theories/expressing-relations.tex#prob-2 |
| WAPPEQY7D9 | WAPPEQY7D9 | exercise | open | lebl_ra ch-approximate.tex#exercise-51 |
| WAPXQRJT1B | WAPXQRJT1B | statement | record (an 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#9EBU |
| WAQKZE1TP5 | WAQKZE1TP5 | proof | open | napkin tex/measure/swapsum.tex#proof-1 |
| WAQTKTBSX9 | WAQTKTBSX9 | statement | record (an 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.30575#9KE0 |
| WAQVVSST1M | WAQVVSST1M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.3493#F9RT |
| WAR7M83MMH | WAR7M83MMH | statement | record (an 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.28323#K6WK |
| WAR8M2F2ZT | WAR8M2F2ZT | 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.26401#IBT9 |
| WARA6NC6E7 | WARA6NC6E7 | 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.32174#2UEB |
| WARCR9X00B | WARCR9X00B | statement | record (an 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/0411039#2R7J |
| Ward defect formula | K2W59Y9WHR | statement | record (an 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.20593#Z1X2 |
| Ward form of the product rule | 78NWWSJJ8A | statement | record (an 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.20593#6W01 |
| Ward regime | MY14C4G6BT | 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.20593#EJTN |
| Ward zero-defect criterion | BFZKQ97REF | statement | record (an 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.20593#A7WC |
| Ward–Takahashi identity | KHWREJS34B | unknown | open | Wikidata Q353202, nLab Ward identity |
| Waring rank of product of binary forms | BTXASNTQR6 | statement | record (an 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.18346#HMLJ |
| Waring's formula | 1SGGV64ADB | unknown | open | Wikidata Q3748393, MathWorld WaringFormula |
| Waring's prime number conjecture | PRSRK55ZA7 | conjecture | open | Wikidata Q7969432, MathWorld WaringsPrimeNumberConjecture |
| Waring's problem | YHPQN8DGFK | statement | open | mathlib_1000 Q657903, Wikidata Q657903, thousand_plus Q657903, Wikipedia Hilbert–Waring theorem, MathWorld WaringsProblem |
| Warm path comparison | Q123GTZTZP | statement | record (an 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.16248#QZXV |
| Warm-start removal | VJQBGH0NMD | statement | record (an 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.16248#6LYO |
| Warnaar | B6NFFT96HQ | statement | record (an 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.12326#B98P |
| Warning: the greedy policy of $\mathcal V_1$ can stay suboptimal | 19TCF1CVNQ | statement | record (an 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.12713#U9N6 |
| Warren Siegel | XB3PV67S1R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2549788, nLab Warren Siegel |