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 2201–2300 of 3154.

Name	Id	Kind	Outcome	Sources
VNHBHKR8ME	VNHBHKR8ME	statement	record (an 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.21544#QH5E
VNJ56ZJ9YM	VNJ56ZJ9YM	statement	record (an 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.04145#MW8I
VNJFMFH5D6	VNJFMFH5D6	exercise	open	lebl_ra ch-metric.tex#exercise-2
VNKSTJ2WFF	VNKSTJ2WFF	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.09019#XYJE
VNKXN7YKSV	VNKXN7YKSV	statement	record (an 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.34516#GHLO
VNMKSXWB12	VNMKSXWB12	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 2304.07398#4MH1
VNMMZ3MSQ4	VNMMZ3MSQ4	statement	record (an 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.31604#03A9
VNN5G4QQ1Q	VNN5G4QQ1Q	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.37967#44VP
VNNW06KM9T	VNNW06KM9T	statement	record (an 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.05784#WQOX
VNP4WR2NXY	VNP4WR2NXY	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.11905#TDZX
VNPBYMRC1C	VNPBYMRC1C	statement	record (an 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.04323#BI3W
VNPH4PCMBP	VNPH4PCMBP	statement	record (an 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.02585#EW9I
VNQGY1ZAFG	VNQGY1ZAFG	example	open	lebl_ra ch-contfunc.tex#example-9
VNQXR5N1KZ	VNQXR5N1KZ	exercise	open	applied_combinatorics source/s_graphs_exercises.ptx#exercise-23
VNR639DV2N	VNR639DV2N	statement	record (an 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.32903#X15J
VNR6AJSPGD	VNR6AJSPGD	statement	record (an 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.10078#A2C5
VNRXXRQ2Z3	VNRXXRQ2Z3	statement	record (an 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.07608#2A5S
VNRY2XG19G	VNRY2XG19G	statement	record (an 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#E75O
VNSBW7JH6M	VNSBW7JH6M	exercise	open	active_calculus source/activities/act-6-3-1.xml#act-6-3-1
VNSEPK92D5	VNSEPK92D5	statement	record (an 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.07530#33I7
VNSQT6NVZA	VNSQT6NVZA	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2409.20170#CROH
VNSTYH5SA2	VNSTYH5SA2	statement	record (an 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.13114#FMDB
VNTACBF0N9	VNTACBF0N9	statement	record (an 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.32374#S1E3
VNTQA5C095	VNTQA5C095	statement	record (an 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/9602216#EOUZ
VNVQRGG0H1	VNVQRGG0H1	statement	record (an 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.33770#FKW2
VNWZCY3D3D	VNWZCY3D3D	proof	open	open_logic content/incompleteness/arithmetization-syntax/substitution.tex#proof-2
VNXGQMFRCR	VNXGQMFRCR	statement	record (an 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.25495#75RI
VNXX3FA5K7	VNXX3FA5K7	statement	record (an 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.20910#ODQD
VNY2JC344J	VNY2JC344J	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 2502.08738#IMID
VNYNEY6J50	VNYNEY6J50	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1001.3429#EMA9
VNYS2579X3	VNYS2579X3	statement	record (an 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.01802#IPV2
VNZ0X4PKFR	VNZ0X4PKFR	statement	record (an 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.31476#R37A
VNZ1A7HFMY	VNZ1A7HFMY	proof	open	hott_book hlevels.tex#proof-41
VNZ1Q5J4DX	VNZ1Q5J4DX	statement	record (an 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.39430#WGRX
VNZ1V32W3M	VNZ1V32W3M	statement	record (an 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.34852#C95Z
VNZVNVTFGF	VNZVNVTFGF	statement	record (an 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.04809#USRG
VNZW6RQKAZ	VNZW6RQKAZ	statement	record (an 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.00775#9FBE
Voinov	TCPJCG15M8	statement	record (an 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#YVWC
voir par exemple	JG4X02V3RS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1802.02910#8MFM
Vojta's conjecture	HCAYG208TZ	conjecture	open	Wikidata Q7939859, MathWorld VojtasConjecture, nLab Vojta's conjecture
Vojtěch Jarník	9TNAD7S431	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q730209, ProofWiki Mathematician:Vojtěch_Jarník
Vojtěch Pravda	75QPJ0G2SD	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q95084407, nLab Vojtěch Pravda
Volker Puppe	RKJHRB3QXJ	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q95225248, nLab Volker Puppe
Volker Schomerus	S42B88K2EX	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q63092983, nLab Volker Schomerus
Volodin space	434158TWED	unknown	open	Wikidata Q17083684, nLab Volodin space
Volovikov	XSZB5RZP0B	statement	record (an 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.19729#8DWC
Volterra integral equation	EK9JVG1VK2	unknown	open	Wikidata Q2632613, EoM Volterra_equation, MathWorld VolterraIntegralEquationoftheFirstKind
Volterra sweeping process	3PM59YE6E8	statement	record (an 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.27414#W23H
volume	84GQGB7V4Q	unknown	open	Wikidata Q39297, MathWorld Volume
volume	ATTYADH5NB	concept	open	lebl_ra index/5.5.1/volume
volume conjecture	2NS7KTECMV	unknown	open	Wikidata Q7940887, nLab volume conjecture
volume element	MYPM7KEQVD	unknown	open	Wikidata Q2327764, MathWorld VolumeElement
Volume estimate	FX55MEVVAS	statement	record (an 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.19273#JVF6
volume form	KCS9G2EPRB	unknown	open	Wikidata Q781415, MathWorld PermutationTensor, nLab volume form
volume integral	Y3V1M89VM1	unknown	open	Wikidata Q1788036, MathWorld VolumeIntegral
Volume law at Clifford cosets	P1M0QPKQKZ	statement	record (an 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.37368#LVU5
Volume loss for independent columns	NRWVX9D9W9	statement	record (an 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.05498#V0T0
Volume of an operator-norm section	MFFWNC6Z60	statement	record (an 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.38228#Y932
volume of rectangles	8QYSJQBVB0	concept	open	lebl_ra index/5.1.1/volume-of-rectangles
Volume ratios of trace-class quotients	HR7F3JJBKS	statement	record (an 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.38228#FH6O
Volume-preserving automorphisms	1HZWXX726Y	statement	record (an 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#PC3R
Volumes	GJNMH51KP4	statement	record (an 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.37368#BZIT
Von Mangoldt function	GCDRWN4XQZ	unknown	node (a node has the same name as the row)	Wikidata Q282327, MathWorld MangoldtFunction
von Mises distribution	TB71ZK0M9S	unknown	open	Wikidata Q7941490, MathWorld vonMisesDistribution
von Neumann algebra	QBBV3KR4BH	concept	open	Wikidata Q1970172, MathWorld vonNeumannAlgebra, nLab von Neumann algebra
von Neumann algebra factor	WDBS3AJCEE	unknown	open	Wikidata Q116838634, EoM Factor_algebra, nLab von Neumann algebra factor
von Neumann bicommutant theorem	Z9P1ENKF2Z	statement	open	mathlib_1000 Q528987, Wikidata Q528987, thousand_plus Q528987, Wikipedia Von Neumann bicommutant theorem, nLab bicommutant theorem
Von Neumann neighborhood	7MWCQAABAD	unknown	open	Wikidata Q1554323, MathWorld vonNeumannNeighborhood
von Neumann regular ring	CWFHD34HXC	concept	open	Wikidata Q2895315, MathWorld vonNeumannRegularRing
von Neumann's minimax theorem	PZQ87F7GY5	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1803.10042#QD34
Von Neumann's theorem	D0D9TNE794	statement	open	mathlib_1000 Q7941491, Wikidata Q7941491, thousand_plus Q7941491, Wikipedia Von Neumann's theorem
Von Neumann–Bernays–Gödel set theory	SVTBTF4PAW	unknown	open	Wikidata Q278770, MathWorld vonNeumann-Bernays-GoedelSetTheory
Von Staudt–Clausen theorem	6TM14A69BK	statement	open	mathlib_1000 Q3527230, Mathlib Bernoulli.vonStaudt_clausen, Wikidata Q3527230, thousand_plus Q3527230, Wikipedia Von Staudt–Clausen theorem, MathWorld vonStaudt-ClausenTheorem
Vop\v{e}nka--H\'ajek	3T6F93T6ES	statement	record (an 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.29641#V9V8
Vopěnka's principle	5TPSQYD8XC	unknown	open	Wikidata Q7941745, nLab Vopěnka's principle
Vorob'ev median	2AHFPMBY6Z	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.16795#YBUZ
Voronin's twisted-product lemma	ZW6MKZRRB0	statement	record (an 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.22107#XPJ4
Voronoi diagram	SSZEJGGVJH	unknown	open	Wikidata Q757267, MathWorld VoronoiDiagram
Voronoi restriction losslessness under enough spacing	1F7AZSX0TF	statement	record (an 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.08152#GI6P
voter model	F758SQC7KS	unknown	open	Wikidata Q7942158, MathWorld VoterModel
VP0SGMGSAQ	VP0SGMGSAQ	statement	record (an 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.36306#S9EQ
VP1956Z675	VP1956Z675	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 2106.01660#WEI2
VP1H5HG8S9	VP1H5HG8S9	statement	record (an 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.36313#S9RR
VP260V821T	VP260V821T	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2304.02722#ZEAW
VP2V9M4TAR	VP2V9M4TAR	exercise	open	open_logic content/first-order-logic/axiomatic-deduction/provability.tex#probtag-1
VP3BWAWNJC	VP3BWAWNJC	statement	record (an 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#5NU7
VP3NER25QC	VP3NER25QC	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 2508.07340#V310
VP3VPKRN44	VP3VPKRN44	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1008.4946#8JY2
VP49WTRRF8	VP49WTRRF8	statement	record (an 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.17204#OGW6
VP4JN6VK4P	VP4JN6VK4P	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.08193#3DSR
VP4KE2Z11R	VP4KE2Z11R	statement	record (an 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.11545#G0CI
VP58YFD5JH	VP58YFD5JH	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2310.02073#AOT0
VP5E5XH9EC	VP5E5XH9EC	statement	record (an 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.30579#KP8D
VP5KK8380S	VP5KK8380S	statement	record (an 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.10329#JOVL
VP5NFYGYT4	VP5NFYGYT4	unknown	open	arXiv 1712.02437#XUQO
VP6SDVTZKY	VP6SDVTZKY	statement	record (an 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.22268#UQ5V
VP74MX5271	VP74MX5271	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.06246#03OB
VP75DCP607	VP75DCP607	proof	open	levin_dmoi ptx/sec_gt-planar.ptx#proof-1
VP76QJPR0S	VP76QJPR0S	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.32997#I2MC
VP7B2ZQMTZ	VP7B2ZQMTZ	statement	record (an 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.01268#7QWD