Math 2.0

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.

Rows 2301–2400 of 3154.

NameIdKindOutcomeSources
VP7EWVN6P5VP7EWVN6P5statementrecord (an 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.12054#2XGB
VP7RFNPPT2VP7RFNPPT2statementrecord (an 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.00379#TF4N
VP7YV5CVZSVP7YV5CVZSexerciseopenaustin_ula src/section4-4.xml#activity-4
VP826YE2W0VP826YE2W0conjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2212.05398#2SFL
VP84JZWQZCVP84JZWQZCexampleopenaustin_ula src/section7-4.xml#example-3
VP854S1TF3VP854S1TF3definitionrecord (an 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.21632#WFQS
VP98BX9X0QVP98BX9X0Qstatementrecord (an 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.34193#GSKP
VP9GQ1KPCCVP9GQ1KPCCconjecturerecord (an 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.27046#U08K
VP9Q6ZCEQAVP9Q6ZCEQAstatementrecord (an 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.05314#GQ0C
VP9SG6X45RVP9SG6X45Rstatementrecord (an 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.15736#B224
VP9TVHT68MVP9TVHT68Mstatementrecord (an 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.28669#F0OA
VPA4YCCSRGVPA4YCCSRGstatementrecord (an 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.04069#V72Q
VPA974BWWSVPA974BWWSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0905.1489#OTP1
VPAPAX7FZWVPAPAX7FZWdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2308.02672#CWIW
VPAQCND2W6VPAQCND2W6statementrecord (an 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.00443#S6C8
VPAWCCAPR4VPAWCCAPR4statementrecord (an 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.02436#E144
VPBN1V87MBVPBN1V87MBstatementrecord (an 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.07401#BVOE
VPBP1N7ZD9VPBP1N7ZD9statementrecord (an 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.07299#6PG5
VPBRFET28JVPBRFET28Jexamplerecord (an 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.01858#87HK
VPCAJ2X89NVPCAJ2X89Nstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1612.08394#0U3F
VPCDMM4W37VPCDMM4W37statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2603.26376#RGA9
VPCEYSH2BWVPCEYSH2BWexamplerecord (an 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#KOJ7
VPCJQNM08CVPCJQNM08Cproofopenlevin_dmoi ptx/exercises/logic-proofs.ptx#proof-4
VPCSRRKZWTVPCSRRKZWTstatementrecord (an 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.37562#ZEZ3
VPCZD51X9CVPCZD51X9Cexamplerecord (an 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.14803#Z2P7
VPD2HVSPXNVPD2HVSPXNstatementrecord (an 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#XHIZ
VPD8M4HEHGVPD8M4HEHGdefinitionrecord (an 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#HT33
VPDB19EC3NVPDB19EC3Nstatementrecord (an 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.28189#XLEH
VPDHH45954VPDHH45954definitionopenopen_logic content/set-theory/ordinals/milestone.tex#defn-1
VPDSJ7ECTQVPDSJ7ECTQstatementrecord (an 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.31212#WJ7B
VPE14ZM0CEVPE14ZM0CEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2608.23797#C39T
VPE25T684NVPE25T684Nstatementrecord (an 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#K48J
VPEA250EQ7VPEA250EQ7examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0804.0248#7SHX
VPECHCFCGHVPECHCFCGHstatementrecord (an 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#UB0W
VPEY486ZMNVPEY486ZMNexampleopennapkin tex/diffgeo/forms.tex#example-1
VPF4RJ03BNVPF4RJ03BNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.13428#37YF
VPF9N64JRGVPF9N64JRGstatementrecord (an 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.02436#Q624
VPFBRD1FD1VPFBRD1FD1definitionrecord (an 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.14985#VGRX
VPGA9SGYW5VPGA9SGYW5statementrecord (an 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.21298#8BJV
VPGDZEK9AMVPGDZEK9AMexampleopenopen_logic content/first-order-logic/tableaux/proving-things-quant.tex#ex-3
VPGS1RZNQWVPGS1RZNQWstatementrecord (an 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.15013#TOI6
VPGSD554EGVPGSD554EGstatementrecord (an 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.38051#X88K
VPHFENVDEGVPHFENVDEGstatementrecord (an 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.28803#G4I3
VPJ2WCPMF8VPJ2WCPMF8statementrecord (an 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.14692#OEH3
VPJ48F5CYRVPJ48F5CYRstatementopenapplied_combinatorics source/s_recurrence_rigorous.ptx#lem_base
VPJ4CBNA0JVPJ4CBNA0Jstatementrecord (an 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.06045#GH41
VPJF7V6ANNVPJF7V6ANNstatementrecord (an 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.39307#OFUS
VPJM5CZW41VPJM5CZW41statementrecord (an 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.07909#SXVL
VPJPX9BT04VPJPX9BT04statementrecord (an 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.13385#2A88
VPMN4XZD6RVPMN4XZD6Rstatementrecord (an 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#BW9M
VPNNSV2X7PVPNNSV2X7Pstatementrecord (an 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.39317#VUG4
VPNWJHFJXBVPNWJHFJXBstatementrecord (an 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.16003#UFH7
VPP1W3GD4KVPP1W3GD4Kexamplerecord (an 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.26762#OAQQ
VPPB33VR03VPPB33VR03statementrecord (an 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.07490#QEXU
VPPGN68MX6VPPGN68MX6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1907.01440#RDEG
VPQ245VFSWVPQ245VFSWexerciseopenlebl_diffyqs ch-intro.tex#exercise-1
VPQC04AMCMVPQC04AMCMexerciseopenlebl_diffyqs ap-linear-algebra.tex#exercise-54
VPQES4TNNAVPQES4TNNAstatementrecord (an 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.04870#D5KM
VPQHRFG6ARVPQHRFG6ARstatementrecord (an 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#IVSQ
VPR98RDJ8NVPR98RDJ8Nstatementrecord (an 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.33552#YH9W
VPRB19KNXNVPRB19KNXNproblemrecord (an 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.39745#GJ14
VPRC10KAH0VPRC10KAH0statementrecord (an 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.10505#TZBK
VPRF3PJDY8VPRF3PJDY8statementrecord (an 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.15217#39R6
VPS077W7BNVPS077W7BNstatementrecord (an 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.13855#WRNI
VPSJAV138AVPSJAV138Astatementrecord (an 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.26496#D6X1
VPSQ616E2YVPSQ616E2Ystatementrecord (an 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.33932#A2L1
VPT0289MQXVPT0289MQXstatementrecord (an 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.22317#RTDG
VPT7Y9WCBPVPT7Y9WCBPexerciseopenapplied_combinatorics source/s_strings_exercises.ptx#exercise-31
VPTD67C85MVPTD67C85Mexerciseopenernst_ibl MAAPressVersion/IntroQuantification.tex#prob:ways to quantify
VPTEGEW5RJVPTEGEW5RJexerciseopenopen_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-2
VPTX728GBVVPTX728GBVstatementrecord (an 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.39593#0U4P
VPVHKBDBVXVPVHKBDBVXstatementrecord (an 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.12531#I130
VPW3V32XV5VPW3V32XV5statementrecord (an 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.02432#QC6S
VPWDE1JK2MVPWDE1JK2Mexamplerecord (an 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#EENR
VPWK2TX5RRVPWK2TX5RRstatementrecord (an 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.18777#ZKUM
VPXBK5HSH2VPXBK5HSH2definitionrecord (an 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.25289#6N88
VPXP376ZCJVPXP376ZCJstatementrecord (an 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.11034#S4AR
VPXV44TE46VPXV44TE46statementrecord (an 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#P4FP
VPYBM8YJ51VPYBM8YJ51statementrecord (an 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#1GB7
VPYH56508VVPYH56508Vproofopenopen_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-2
VPYSRN2EY8VPYSRN2EY8statementrecord (an 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.22063#63D0
VPZKDAVE7AVPZKDAVE7Astatementrecord (an 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.05259#UK3V
VPZPH35XAXVPZPH35XAXstatementrecord (an 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.27775#ACOU
VQ02HG7MYYVQ02HG7MYYstatementrecord (an 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.21752#G102
VQ0331XTVWVQ0331XTVWstatementrecord (an 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.24353#99BO
VQ06PE5T29VQ06PE5T29statementrecord (an 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.30302#G7EH
VQ07KMRB0MVQ07KMRB0Mstatementrecord (an 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.19687#8ZFX
VQ0J9R9ZH2VQ0J9R9ZH2definitionrecord (an 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.20801#A1JY
VQ1PCR8K23VQ1PCR8K23statementrecord (an 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.36300#HNCS
VQ2P8WDTS5VQ2P8WDTS5statementrecord (an 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.26058#NIJO
VQ3TT9Y4EQVQ3TT9Y4EQstatementrecord (an 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.09506#G1C2
VQ3WDRVHJHVQ3WDRVHJHstatementrecord (an 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.22082#AA8N
VQ3XNJP9V5VQ3XNJP9V5statementrecord (an 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.03081#IV7S
VQ49BW1X64VQ49BW1X64statementopenopen_logic content/computability/recursive-functions/sequences.tex#prop-2
VQ4CKD3YRNVQ4CKD3YRNstatementrecord (an 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.35030#AY30
VQ4DFRPA80VQ4DFRPA80statementrecord (an 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.21045#0JON
VQ4ZM6CBXYVQ4ZM6CBXYdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2411.00562#M7AQ
VQ5533RAC7VQ5533RAC7statementrecord (an 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.19528#H19D
VQ66G3ZATYVQ66G3ZATYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2605.16669#3ESQ
VQ6DAAKPT9VQ6DAAKPT9statementrecord (an 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.05299#R107