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 2301–2400 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VP7EWVN6P5 | VP7EWVN6P5 | 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.12054#2XGB |
| VP7RFNPPT2 | VP7RFNPPT2 | 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.00379#TF4N |
| VP7YV5CVZS | VP7YV5CVZS | exercise | open | austin_ula src/section4-4.xml#activity-4 |
| VP826YE2W0 | VP826YE2W0 | 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 2212.05398#2SFL |
| VP84JZWQZC | VP84JZWQZC | example | open | austin_ula src/section7-4.xml#example-3 |
| VP854S1TF3 | VP854S1TF3 | 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.21632#WFQS |
| VP98BX9X0Q | VP98BX9X0Q | 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.34193#GSKP |
| VP9GQ1KPCC | VP9GQ1KPCC | 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.27046#U08K |
| VP9Q6ZCEQA | VP9Q6ZCEQA | 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.05314#GQ0C |
| VP9SG6X45R | VP9SG6X45R | 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.15736#B224 |
| VP9TVHT68M | VP9TVHT68M | 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.28669#F0OA |
| VPA4YCCSRG | VPA4YCCSRG | 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.04069#V72Q |
| VPA974BWWS | VPA974BWWS | 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 0905.1489#OTP1 |
| VPAPAX7FZW | VPAPAX7FZW | 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 2308.02672#CWIW |
| VPAQCND2W6 | VPAQCND2W6 | 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.00443#S6C8 |
| VPAWCCAPR4 | VPAWCCAPR4 | 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.02436#E144 |
| VPBN1V87MB | VPBN1V87MB | 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.07401#BVOE |
| VPBP1N7ZD9 | VPBP1N7ZD9 | 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.07299#6PG5 |
| VPBRFET28J | VPBRFET28J | 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.01858#87HK |
| VPCAJ2X89N | VPCAJ2X89N | 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 1612.08394#0U3F |
| VPCDMM4W37 | VPCDMM4W37 | 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 2603.26376#RGA9 |
| VPCEYSH2BW | VPCEYSH2BW | 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 2207.05628#KOJ7 |
| VPCJQNM08C | VPCJQNM08C | proof | open | levin_dmoi ptx/exercises/logic-proofs.ptx#proof-4 |
| VPCSRRKZWT | VPCSRRKZWT | 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.37562#ZEZ3 |
| VPCZD51X9C | VPCZD51X9C | 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.14803#Z2P7 |
| VPD2HVSPXN | VPD2HVSPXN | 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#XHIZ |
| VPD8M4HEHG | VPD8M4HEHG | 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.17817#HT33 |
| VPDB19EC3N | VPDB19EC3N | 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.28189#XLEH |
| VPDHH45954 | VPDHH45954 | definition | open | open_logic content/set-theory/ordinals/milestone.tex#defn-1 |
| VPDSJ7ECTQ | VPDSJ7ECTQ | 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.31212#WJ7B |
| VPE14ZM0CE | VPE14ZM0CE | 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 2608.23797#C39T |
| VPE25T684N | VPE25T684N | 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.07461#K48J |
| VPEA250EQ7 | VPEA250EQ7 | 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 0804.0248#7SHX |
| VPECHCFCGH | VPECHCFCGH | 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#UB0W |
| VPEY486ZMN | VPEY486ZMN | example | open | napkin tex/diffgeo/forms.tex#example-1 |
| VPF4RJ03BN | VPF4RJ03BN | 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 2601.13428#37YF |
| VPF9N64JRG | VPF9N64JRG | 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.02436#Q624 |
| VPFBRD1FD1 | VPFBRD1FD1 | 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.14985#VGRX |
| VPGA9SGYW5 | VPGA9SGYW5 | 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.21298#8BJV |
| VPGDZEK9AM | VPGDZEK9AM | example | open | open_logic content/first-order-logic/tableaux/proving-things-quant.tex#ex-3 |
| VPGS1RZNQW | VPGS1RZNQW | 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.15013#TOI6 |
| VPGSD554EG | VPGSD554EG | 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.38051#X88K |
| VPHFENVDEG | VPHFENVDEG | 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.28803#G4I3 |
| VPJ2WCPMF8 | VPJ2WCPMF8 | 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.14692#OEH3 |
| VPJ48F5CYR | VPJ48F5CYR | statement | open | applied_combinatorics source/s_recurrence_rigorous.ptx#lem_base |
| VPJ4CBNA0J | VPJ4CBNA0J | 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.06045#GH41 |
| VPJF7V6ANN | VPJF7V6ANN | 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.39307#OFUS |
| VPJM5CZW41 | VPJM5CZW41 | 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.07909#SXVL |
| VPJPX9BT04 | VPJPX9BT04 | 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.13385#2A88 |
| VPMN4XZD6R | VPMN4XZD6R | 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#BW9M |
| VPNNSV2X7P | VPNNSV2X7P | 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.39317#VUG4 |
| VPNWJHFJXB | VPNWJHFJXB | 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.16003#UFH7 |
| VPP1W3GD4K | VPP1W3GD4K | 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.26762#OAQQ |
| VPPB33VR03 | VPPB33VR03 | 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.07490#QEXU |
| VPPGN68MX6 | VPPGN68MX6 | 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 1907.01440#RDEG |
| VPQ245VFSW | VPQ245VFSW | exercise | open | lebl_diffyqs ch-intro.tex#exercise-1 |
| VPQC04AMCM | VPQC04AMCM | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-54 |
| VPQES4TNNA | VPQES4TNNA | 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.04870#D5KM |
| VPQHRFG6AR | VPQHRFG6AR | 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 2108.09548#IVSQ |
| VPR98RDJ8N | VPR98RDJ8N | 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.33552#YH9W |
| VPRB19KNXN | VPRB19KNXN | 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 2609.39745#GJ14 |
| VPRC10KAH0 | VPRC10KAH0 | 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.10505#TZBK |
| VPRF3PJDY8 | VPRF3PJDY8 | 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.15217#39R6 |
| VPS077W7BN | VPS077W7BN | 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.13855#WRNI |
| VPSJAV138A | VPSJAV138A | 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.26496#D6X1 |
| VPSQ616E2Y | VPSQ616E2Y | 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.33932#A2L1 |
| VPT0289MQX | VPT0289MQX | 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.22317#RTDG |
| VPT7Y9WCBP | VPT7Y9WCBP | exercise | open | applied_combinatorics source/s_strings_exercises.ptx#exercise-31 |
| VPTD67C85M | VPTD67C85M | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#prob:ways to quantify |
| VPTEGEW5RJ | VPTEGEW5RJ | exercise | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-2 |
| VPTX728GBV | VPTX728GBV | 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.39593#0U4P |
| VPVHKBDBVX | VPVHKBDBVX | 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.12531#I130 |
| VPW3V32XV5 | VPW3V32XV5 | 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 2508.02432#QC6S |
| VPWDE1JK2M | VPWDE1JK2M | 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.32599#EENR |
| VPWK2TX5RR | VPWK2TX5RR | 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.18777#ZKUM |
| VPXBK5HSH2 | VPXBK5HSH2 | 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.25289#6N88 |
| VPXP376ZCJ | VPXP376ZCJ | 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.11034#S4AR |
| VPXV44TE46 | VPXV44TE46 | 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.07280#P4FP |
| VPYBM8YJ51 | VPYBM8YJ51 | 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.10206#1GB7 |
| VPYH56508V | VPYH56508V | proof | open | open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-2 |
| VPYSRN2EY8 | VPYSRN2EY8 | 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.22063#63D0 |
| VPZKDAVE7A | VPZKDAVE7A | 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.05259#UK3V |
| VPZPH35XAX | VPZPH35XAX | 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.27775#ACOU |
| VQ02HG7MYY | VQ02HG7MYY | 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.21752#G102 |
| VQ0331XTVW | VQ0331XTVW | 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.24353#99BO |
| VQ06PE5T29 | VQ06PE5T29 | 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.30302#G7EH |
| VQ07KMRB0M | VQ07KMRB0M | 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.19687#8ZFX |
| VQ0J9R9ZH2 | VQ0J9R9ZH2 | 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.20801#A1JY |
| VQ1PCR8K23 | VQ1PCR8K23 | 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.36300#HNCS |
| VQ2P8WDTS5 | VQ2P8WDTS5 | 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.26058#NIJO |
| VQ3TT9Y4EQ | VQ3TT9Y4EQ | 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.09506#G1C2 |
| VQ3WDRVHJH | VQ3WDRVHJH | 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.22082#AA8N |
| VQ3XNJP9V5 | VQ3XNJP9V5 | 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.03081#IV7S |
| VQ49BW1X64 | VQ49BW1X64 | statement | open | open_logic content/computability/recursive-functions/sequences.tex#prop-2 |
| VQ4CKD3YRN | VQ4CKD3YRN | 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.35030#AY30 |
| VQ4DFRPA80 | VQ4DFRPA80 | 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 2508.21045#0JON |
| VQ4ZM6CBXY | VQ4ZM6CBXY | 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 2411.00562#M7AQ |
| VQ5533RAC7 | VQ5533RAC7 | 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.19528#H19D |
| VQ66G3ZATY | VQ66G3ZATY | 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 2605.16669#3ESQ |
| VQ6DAAKPT9 | VQ6DAAKPT9 | 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.05299#R107 |