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 1801–1900 of 5624.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| weak | ECGD51C4H0 | definition | open | Wikipedia Glossary of commutative algebra#4CS4 |
| Weak $\structord$-Connectivity | R4M84720WE | 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.26337#0DDI |
| Weak acylindricity | VQZXBW0HDS | 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.19787#CLW4 |
| Weak admissibility | WHW24YRCB2 | statement | record (an 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.04574#WFGK |
| Weak and strong cosmic censorship hypothesis | B5AB1Q61JV | statement | open | Wikipedia Cosmic censorship hypothesis#22DQ |
| Weak and strong normality along a step-line | 8859TPTS1T | 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.26066#P946 |
| Weak and strong slice genera | XEVVWZ76PC | 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.10206#5ZJ3 |
| Weak approximation | 9JAK0NFP44 | statement | record (an 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.01501#5T5R |
| Weak Arnold conjecture | 85YBBD9CSF | statement | open | Wikipedia Arnold conjecture#RL74 |
| Weak Arthur packet conjecture for microlocal packets | D3595C70BP | statement | record (an 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.16931#LWCQ |
| Weak asymptotic joint reduction | E7WTZ2KMM5 | 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.23202#D0BF |
| Weak axiom of infinity | P1S4AVFJZX | unknown | open | Wikipedia Axiom of infinity#50VT |
| Weak base change | BG6HS7W85R | statement | record (an 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.26500#MY4S |
| Weak Beckner monotonicity with the same rate function | 22RRAGK5VA | statement | record (an 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.21568#76G3 |
| Weak Bochner identity | 48H4Z9T2G9 | statement | record (an 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.00337#RE3L |
| Weak Church-Rosser Property | 6QB0C7WJ9B | statement | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#prop-1 |
| Weak coefficient localization | WP4M3Y5CT6 | statement | record (an 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.00115#YWOV |
| Weak coloring | 48XQR2WH3V | definition | open | Wikipedia Weak coloring, Wikidata Q7977939 |
| Weak compactness of probabilities | BX6QW3RXGZ | statement | record (an 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.18907#E581 |
| Weak comparison principle on exterior domains | TM9SX5YDZ3 | statement | record (an 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.02751#PZ1N |
| Weak completely bounded approximation property | J8MNGDM4NF | 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.22109#8GBO |
| weak completeness | TE7CW27DM4 | definition | open | Wikipedia Glossary of logic#QPTN |
| Weak continuity property | H8S6VSSB38 | statement | record (an 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.17519#NNS2 |
| Weak continuum hypothesis | 6E0E2F032Y | statement | open | Wikipedia Weak continuum hypothesis, Wikidata Q124096710 |
| Weak convergence | F978VM0HNW | 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/0003117#HQQP |
| Weak convergence | KJJBV8SVAP | 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.30049#CIAB |
| weak convergence | MT7WFC35AA | definition | open | Wikidata Q7977941, MathWorld WeakConvergence, Wikipedia Weak convergence (Hilbert space) |
| Weak convergence of locally finite Borel measures | T7HVRA8SMS | statement | record (an 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.17519#TFNH |
| Weak convergence of pyramids | 5W62S9FCG5 | 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.26262#KQX1 |
| Weak convergence of pyramids | ACX6K2C26G | 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.27752#CS3O |
| Weak convexity | 1TYSC7D8AS | statement | record (an 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.05204#TUYA |
| Weak core | W3F2WYYTJH | unknown | open | Wikipedia Core (game theory)#DI42 |
| weak counterexample | D7QRBBHEQQ | definition | open | Wikipedia Glossary of logic#AO79 |
| Weak derivative | F159MFDB81 | definition | open | Wikipedia Weak derivative, Wikidata Q2143116 |
| Weak dimension | EN4ZEVC70J | definition | open | Wikipedia Weak dimension, Wikidata Q17104628 |
| Weak division | JYWXDK0G34 | statement | record (an 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.16099#KLXS |
| Weak DR-submodularity | H1MQA0PK16 | 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.24569#MRN4 |
| Weak dual | VZ2PM2R8ZD | unknown | open | Wikipedia Dual graph#34RU |
| Weak dual EVI solutions and EVI flows | 8PGC58BYG6 | 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.20998#ZLK5 |
| Weak duality | JJYV7K2AKV | definition | open | Wikipedia Weak duality, Wikidata Q7977943 |
| Weak duality theorem | P8RWJYAW43 | statement | open | Wikipedia Weak duality#3O79 |
| Weak embedding theorem | AQ3GSM6KJM | statement | open | Wikipedia Whitney embedding theorem#C23T |
| Weak enrichment | MJBSK4NTG5 | 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 2302.04566#SOQ9 |
| weak equivalence | QGSM7TCN6S | definition | open | Wikipedia Glossary of algebraic topology#W6TT |
| Weak equivalence | XPN4152TEZ | definition | open | Wikipedia List of algebraic topology topics#LFO1 |
| Weak equivalence principle | EGYB6ETPCF | statement | open | Wikipedia Equivalence principle#QS8G |
| weak equivalence, of precategories | PW5ZS2W3B7 | concept | open | hott_book index/C.4/weak-equivalence-of-precategories |
| weak equivalence, of precategories | SS92ZN5F75 | concept | open | hott_book index/2.9/weak-equivalence-of-precategories |
| Weak ETH controls exact local memory | GEZB7S5RMN | statement | record (an 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.16351#UBZ7 |
| Weak ETH plus finite-time mixing, without exponent loss | HTA7KWD9TD | statement | record (an 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.16351#J992 |
| weak excluded middle | SD85CP0FCP | definition | open | Wikipedia Glossary of logic#FQW6 |
| Weak extractability | D4YA71JN90 | 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.26258#HSTT |
| Weak factorization system | KVXMVQR8YB | unknown | open | Wikipedia Factorization system#6YMP |
| Weak field approximation | 5HWZCD6EZF | unknown | open | Wikipedia Linearized gravity#21T8 |
| Weak formulation | N2W18NBKDH | statement | open | arXiv 2609.32561#HNZO, mathlib_1000 Q9993851, Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851, mathlib_overview Analysis > Hilbert spaces > Lax-Milgram theorem, mathlib_undergrad Topology > Hilbert spaces > Lax-Milgram theorem, thousand_plus Q9993851, Wikipedia Lax–Milgram theorem, Wikipedia Weak formulation |
| Weak formulation | PGHCJY2GHT | definition | open | Wikipedia List of numerical analysis topics#0VLX |
| Weak geodesic PDE | 8NDKYSZ6S0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.06788#R7R1 |
| Weak gravitational lensing | 3G6SY4GYH2 | definition | open | Wikipedia Weak gravitational lensing, Wikidata Q2974316 |
| weak gravity conjecture | QA5QHHY1WV | statement | open | Wikidata Q25101334, nLab weak gravity conjecture, Wikipedia Weak gravity conjecture |
| Weak greedy convergence rates for RBM | B7506GRMB2 | statement | record (an 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.12017#O5K3 |
| Weak Hall | 78JFF6QHVV | 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 2609.35252#K938 |
| weak harmonic mappings | VAKA8A4SVW | 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.25801#IU08 |
| Weak Harnack estimate | GQN97BK0CW | statement | record (an 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.27957#86H2 |
| Weak Harnack inequality - Laplacian | 50YQW1G6C9 | statement | record (an 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.14638#389S |
| Weak Harnack inequality - uniformly elliptic | HZ3E5SQS6K | statement | record (an 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.14638#LFCB |
| Weak Harnack inequality for $u^1$ | D1WGVHKRWW | statement | record (an 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.25801#TCPM |
| Weak Harnack inequality for $u^2$ | XR0QEYZD9Y | statement | record (an 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.25801#R6P1 |
| Weak Hausdorff space | X9E8CR852F | definition | open | Wikipedia Weak Hausdorff space, Wikidata Q7977932 |
| Weak head normal form | KE01DAGFZQ | unknown | open | Wikipedia Beta normal form#2YOM |
| Weak Hedetniemi Conjecture | JJ0K9HZV2N | statement | open | Wikipedia Hedetniemi's conjecture#UN6W |
| weak homotopy equivalence | BQZB5S4Z1X | definition | open | Wikidata Q20878207, nLab weak homotopy equivalence, Wikipedia Weak equivalence (homotopy theory) |
| Weak instruments | WVNCNHH4BW | unknown | open | Wikipedia Instrumental variables#RD6M |
| weak interaction | YNM8Z2M6EH | topic | open | Wikidata Q11418 |
| Weak interpretability | HFS78G8QJ8 | definition | open | Wikipedia Weak interpretability, Wikidata Q7977955 |
| Weak interpretability | W9PZHF74J9 | definition | open | Wikipedia List of mathematical logic topics#BEV9 |
| weak inverse | 67ZB6WQW72 | definition | open | Wikidata Q7977954, nLab weak inverse, Wikipedia Weak inverse |
| Weak key | DS0J9BGXRF | definition | open | Wikipedia Weak key, Wikidata Q513687 |
| weak Kleene connectives | 7CJJ970Q4Q | definition | open | Wikipedia Glossary of logic#NKIB |
| Weak Kőnig's lemma WKL0 | SCRX0E1CT2 | statement | open | Wikipedia Reverse mathematics#O0CO |
| Weak l.s.c.\ of convex continuous functionals | QWYYC7A8W6 | statement | record (an 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.00033#VSI6 |
| Weak latent density upper bound | JB4RHX5PSX | statement | record (an 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.20944#SHFK |
| Weak law | V6KZ18DXMK | statement | open | Wikipedia Law of large numbers#C90W |
| weak law of large numbers | 820VWQ54P8 | unknown | open | mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > weak law of large numbers |
| Weak law of large numbers | DTGNJ35JJD | statement | open | Wikipedia List of probabilistic proofs of non-probabilistic theorems#DY9Y |
| weak law of large numbers | R6X5NN2WSP | statement | open | Wikidata Q25377496, MathWorld WeakLawofLargeNumbers, ProofWiki Khinchin's_Law |
| Weak Lefschetz | 2YF32T1YGY | statement | record (an 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.01731#QGLE |
| Weak limits of occupation measures | 161BC6S1S6 | statement | record (an 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.36143#BGLY |
| Weak Markov's principle | 375QKERDQG | statement | open | Wikipedia Markov's principle#MMD8 |
| weak mathematical induction | 2KEF52ZH4T | definition | open | Wikipedia Glossary of logic#XM5W |
| weak n-category | 8BE3PRX4BC | definition | open | Wikidata Q7977957, EoM Higher-dimensional_category, Wikipedia Weak n-category |
| weak negation | WJDYEKZ6G8 | definition | open | Wikipedia Glossary of logic#8T85 |
| Weak normality after retaining complete height groups | 2Y27Q7CQYH | statement | record (an 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.26066#HYBC |
| Weak normality at every scalar order in the coprime case | AKQK5MRYSQ | statement | record (an 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.26066#H160 |
| Weak NP-completeness | RV34G2GJHH | definition | open | Wikipedia Weak NP-completeness, Wikidata Q7977975 |
| Weak operator topology | H9Y7J2HMCT | definition | open | Wikipedia List of topologies#LF1X |
| Weak operator topology | NN8HFDBYNN | definition | open | Wikipedia Weak operator topology, Wikidata Q3277121 |
| Weak order | YZQK8MXN2A | definition | open | Wikipedia List of order structures in mathematics#GEK3 |
| Weak order of permutations | 7GHNRFR2Q8 | definition | open | Wikipedia List of order theory topics#L105, Wikipedia List of permutation topics#NHH4 |
| Weak order of permutations | ND937S4QRW | unknown | open | Wikipedia Inversion (discrete mathematics)#H4CW |
| Weak order unit | 5QWE5KYS8N | definition | open | Wikipedia Weak order unit, Wikidata Q96414357 |