Inventory: V
The rows of the inventory whose names start with V. 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 1801–1900 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VH9Q6KYQZX | VH9Q6KYQZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02261#LTKP |
| VHA99KY2PA | VHA99KY2PA | 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.12480#I3L2 |
| VHB24HTPGV | VHB24HTPGV | 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 math/0406514#5BL7 |
| VHBD6ZPG7Z | VHBD6ZPG7Z | 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#SHCF |
| VHBGW3RK2E | VHBGW3RK2E | statement | record (an 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.01433#BRCM |
| VHCJBBE453 | VHCJBBE453 | 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.13833#XW0J |
| VHDJPG3STV | VHDJPG3STV | statement | record (an 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.40200#GT5F |
| VHEQGJT8CX | VHEQGJT8CX | statement | record (an 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.17267#6764 |
| VHEV1WJZY2 | VHEV1WJZY2 | 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.38556#60UX |
| VHF5WTGX7P | VHF5WTGX7P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2007.14459#Z3I7 |
| VHF8NH4RYS | VHF8NH4RYS | 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.27420#7KQQ |
| VHG3G73WYD | VHG3G73WYD | statement | record (an 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.12736#9PSW |
| VHG3SR77YQ | VHG3SR77YQ | statement | record (an 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#M9FU |
| VHG539W7RJ | VHG539W7RJ | 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.13972#3CFD |
| VHG60KPC5V | VHG60KPC5V | statement | record (an 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.35287#E1SE |
| VHGDR33B4X | VHGDR33B4X | statement | record (an 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#7ZJE |
| VHGF0FFB56 | VHGF0FFB56 | statement | record (an 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#L6FO |
| VHGSWW04CD | VHGSWW04CD | statement | record (an 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.27168#R0Q8 |
| VHH7XFYWQW | VHH7XFYWQW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.07490#DXS9 |
| VHH8HKGJ12 | VHH8HKGJ12 | 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.18226#4ALB |
| VHHGD50M0J | VHHGD50M0J | statement | record (an 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.31781#P7YK |
| VHJ2YXPQ91 | VHJ2YXPQ91 | statement | record (an 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.25656#FZF6 |
| VHJ5XXA18H | VHJ5XXA18H | statement | record (an 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.02912#O8JI |
| VHJ5ZFJ7VX | VHJ5ZFJ7VX | 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.22288#AA43 |
| VHK21BGS5Y | VHK21BGS5Y | statement | record (an 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.2839#TPIP |
| VHK6KG88KN | VHK6KG88KN | statement | record (an 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.04179#MN3I |
| VHM1Y8NNDF | VHM1Y8NNDF | proof | open | lebl_ra ch-seq-funcs.tex#proof-3 |
| VHM1ZSKYJC | VHM1ZSKYJC | statement | record (an 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.11441#YNCR |
| VHM61NMDJQ | VHM61NMDJQ | statement | record (an 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.09882#BZKK |
| VHMAN45X8Z | VHMAN45X8Z | 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.03497#7K9S |
| VHMZ5V08AF | VHMZ5V08AF | statement | record (an 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#ELWP |
| VHP87YJ8PX | VHP87YJ8PX | 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.27518#M0JN |
| VHQ8EA2GZ8 | VHQ8EA2GZ8 | statement | record (an 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.29148#SWKQ |
| VHQNPGB798 | VHQNPGB798 | exercise | open | levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-4 |
| VHQV17J52Q | VHQV17J52Q | proof | open | open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#proof-2 |
| VHS29DG83N | VHS29DG83N | statement | record (an 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.07114#FM35 |
| VHSXS17R2A | VHSXS17R2A | statement | record (an 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.25449#5DHX |
| VHV96K82AK | VHV96K82AK | exercise | open | lebl_ra ch-seq-ser.tex#exercise-81 |
| VHVPN54VPB | VHVPN54VPB | statement | record (an 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.10452#BVQ4 |
| VHW05KVWBS | VHW05KVWBS | statement | record (an 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.11974#TK3J |
| VHWPB5E941 | VHWPB5E941 | statement | record (an 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.18929#M4VR |
| VHWS3TCAF6 | VHWS3TCAF6 | statement | open | lebl_ra ch-seq-ser.tex#prop-4 |
| VHXA90RT86 | VHXA90RT86 | 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#C1AP |
| VHXE8H447M | VHXE8H447M | statement | record (an 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.08638#8TG7 |
| VHYAKW59GT | VHYAKW59GT | proof | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#proof-2 |
| VHYGKRRPDB | VHYGKRRPDB | statement | record (an 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.33300#0YT5 |
| VHYKQEZYBR | VHYKQEZYBR | statement | record (an 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.26410#VPTA |
| VHYYP888CR | VHYYP888CR | statement | record (an 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.27635#SLVG |
| VHZ5RJZX93 | VHZ5RJZX93 | statement | record (an 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.06521#PNDI |
| VHZVQ29K6W | VHZVQ29K6W | statement | record (an 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.34458#VNCR |
| VHZYZFKEV1 | VHZYZFKEV1 | statement | record (an 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.24325#381I |
| Vi Hart | 4P2ADF40E7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q677871, ProofWiki Mathematician:Victoria_Hart |
| Viatcheslav Mukhanov | JDXT81VGMR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1844592, nLab Viatcheslav Mukhanov |
| Vicente Montesinos Santalucía | 48Y5F5Q769 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q59727702, ProofWiki Mathematician:Vicente_Montesinos_Santalucía |
| Vicinal preorder and Dilworth number | QPWVJGEWS7 | 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.08599#BMNK |
| Vickrey auction | Z83ZZ8QV5S | unknown | open | Wikidata Q243758, MathWorld VickreyAuction |
| Vicsek fractal | DF510X1XXN | unknown | open | Wikidata Q3080268, MathWorld BoxFractal |
| Victor Ginzburg | 7RCFKYJ9E4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2522358, nLab Victor Ginzburg |
| Victor Guillemin | B4Z6QTCRWF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q367252, nLab Victor Guillemin |
| Victor Kac | 6R314YAK8R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1385427, nLab Victor Kac |
| Victor Levin | 2BWGHVC3RY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1554689, MathWorld HilbertsConstants |
| Victor Maslov | ZW4B7F6Z6Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q374205, nLab Victor Maslov |
| Victor Snaith | 46JJKXFX0W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15455462, nLab Victor Snaith |
| Victoria Lebed | NG3T91Q0PP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102413530, nLab Victoria Lebed |
| Vienna Circle | 3JE03V25MS | unknown | open | Wikidata Q208238, nLab Vienna Circle |
| Vieta's formulas | NBQNWGJJ30 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q570779, Mathlib Multiset.prod_X_add_C_eq_sum_esymm, Wikidata Q570779, thousand_plus Q570779, Wikipedia Vieta's formulas, MathWorld VietasFormulas |
| Vietoris–Begle mapping theorem | QDCG7CP7DM | statement | open | mathlib_1000 Q7928688, Wikidata Q7928688, thousand_plus Q7928688, Wikipedia Vietoris–Begle mapping theorem |
| vigesimal | KJ4G16BDF6 | definition | open | Wikidata Q842387, MathWorld Vigesimal, ProofWiki Definition:Vigesimal_System |
| Vigleik Angeltveit | 33GFY8J8YR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57483898, nLab Vigleik Angeltveit |
| Vigoda-profile coupling for newly pinned laws | V5VVZZA7A5 | statement | record (an 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.12456#5HDX |
| Vigon's conjecture fails | C81DX5X763 | statement | record (an 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.20916#0O0I |
| Viktor Buchstaber | W5W8K2RBJQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2570007, nLab Victor Buchstaber |
| Viktor Bunyakovsky | GGS9JX4SM7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q370151, ProofWiki Mathematician:Viktor_Yakovlevich_Bunyakovsky |
| Vilalta | N80V95J7VR | statement | record (an 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.01915#JZYA |
| Vilfredo Pareto | 5PY4BNRHXQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q11031, EoM Pareto,_Vilfredo_Federigo_Samaso |
| Villarceau circles | PPKGS1MW29 | unknown | open | Wikidata Q2510719, MathWorld VillarceauCircles |
| Ville's inequality | 6SYJK8KMCA | statement | record (an 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.08210#JWUW |
| Ville's inequality | BAHFCSF71P | statement | record (an 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.27765#DBWZ |
| Ville's inequality | XANFXE47QT | statement | record (an 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.27766#CTA6 |
| Vincent Lafforgue | F7W72X8414 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2526664, nLab Vincent Lafforgue |
| Vincent Rijmen | XPRH198G2Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q433933, ProofWiki Mathematician:Vincent_Stefaan_Rijmen |
| vinculum | F24Z1RK11N | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q2917134, MathWorld Vinculum, ProofWiki Symbols:Brackets/Vinculum |
| Vinh-type bound for rich flats | XZR8CEMJ28 | statement | record (an 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.33365#HJS8 |
| Vinogradov's theorem | 7QADB6KRJT | statement | open | mathlib_1000 Q1694565, Wikidata Q1694565, thousand_plus Q1694565, Wikipedia Vinogradov's theorem, MathWorld VinogradovsTheorem |
| Viorel P. Barbu | STJ7PSXDNE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q18537707, ProofWiki Mathematician:Viorel_P._Barbu |
| Virasoro algebra | ST8ZEGXX8G | unknown | open | Wikidata Q1366201, EoM Virasoro_algebra, nLab Virasoro algebra |
| Virasoro conformal block | XM00M10SSV | unknown | open | Wikidata Q57660431, nLab conformal block |
| virgule | 62B9R3JD29 | unknown | open | Wikidata Q141150577, MathWorld Virgule |
| Virial identity | 1H7TQS8JKM | statement | record (an 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.02933#LMDK |
| Virial theorem | 2AMQDPWSZH | statement | open | mathlib_1000 Q620602, Wikidata Q620602, thousand_plus Q620602, Wikipedia Virial theorem |
| virtual holonomy | Y2NXR7YZPR | 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.12497#14MT |
| Virtual holonomy rigidity from many Levi-flats | KPSR3MNRGT | statement | record (an 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.12497#G7LT |
| virtual machine | P6K24HK5C7 | unknown | open | Wikidata Q192726, MathWorld VirtualMachine |
| virtual particle | W6ADYY3J0D | unknown | open | Wikidata Q849940, nLab virtual particle |
| Virtual reduction | 7MDAPA7Y5D | statement | record (an 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.10828#7CWJ |
| Virtual reduction | S9CKZSRS3H | statement | record (an 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.10821#K35S |
| virtual representation | RXTZH9BBHE | unknown | open | Wikidata Q7935160, nLab virtual representation |
| virtually fibered conjecture | TG3GZXSEFA | conjecture | open | Wikidata Q7935204, nLab virtually fibered conjecture |
| Virtually solvable characteristic images | A6DYS56A5P | statement | record (an 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.27204#K9EM |
| viscosity | KXWQ1BC64S | definition | open | Wikidata Q128709, nLab viscosity, ProofWiki Definition:Viscosity |