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 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 2101–2200 of 4994.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VCFKT38FP8 | VCFKT38FP8 | 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 2212.11038#ZBA4 |
| VCGCF4YMJR | VCGCF4YMJR | 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.25275#6NDW |
| VCH1YMAJTD | VCH1YMAJTD | 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.23464#XDG5 |
| VCH7WJW823 | VCH7WJW823 | example | open | napkin tex/riemann-surface/morphism.tex#example-1 |
| VCHB0JMRNH | VCHB0JMRNH | 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.28742#7MKY |
| VCHB2BRGF1 | VCHB2BRGF1 | 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.39293#3U6V |
| VCK3KP2G8J | VCK3KP2G8J | 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.38815#XQTX |
| VCKV34X086 | VCKV34X086 | 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.19945#ZZKH |
| VCKZT73J7N | VCKZT73J7N | 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 1911.06467#41B2 |
| VCMQQDXBT6 | VCMQQDXBT6 | 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 2208.06310#715M |
| VCMY7Q6EDX | VCMY7Q6EDX | 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.24043#84MD |
| VCN2ENJ42J | VCN2ENJ42J | 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.01737#11EJ |
| VCN5G16FFJ | VCN5G16FFJ | 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.40345#BOZO |
| VCN88DFE1Z | VCN88DFE1Z | 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.04673#D9YM |
| VCNFVHWE2G | VCNFVHWE2G | 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.27366#S9MC |
| VCNREFZ6EE | VCNREFZ6EE | 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 2510.05499#Y54W |
| VCNXRRQGRW | VCNXRRQGRW | 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.06200#L3RT |
| VCPK1PKXE5 | VCPK1PKXE5 | 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.05276#2N00 |
| VCPPXE1Q6C | VCPPXE1Q6C | statement | open | lebl_ra ch-contfunc.tex#IVT:lemma |
| VCR98EDKV1 | VCR98EDKV1 | 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#RUQV |
| VCRCWAQ39S | VCRCWAQ39S | 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.30444#CFBV |
| VCRGS95PHX | VCRGS95PHX | 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.35927#37K2 |
| VCRHH1R13Z | VCRHH1R13Z | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#ordinaladditionisnice |
| VCRX9R95EJ | VCRX9R95EJ | 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.21914#TUCH |
| VCRXSA5APH | VCRXSA5APH | 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#NF8T |
| VCSEGYXAS5 | VCSEGYXAS5 | exercise | open | active_calculus source/activities/act-3-5-2.xml#act-3-5-2 |
| VCSV0ANZ99 | VCSV0ANZ99 | 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.00134#LHZY |
| VCSV82GY2T | VCSV82GY2T | 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.10927#3L1L |
| VCSZPE1CF4 | VCSZPE1CF4 | 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 2411.07596#HK49 |
| VCT4EPD21M | VCT4EPD21M | 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.20513#27S8 |
| VCTE13V7JJ | VCTE13V7JJ | 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.12169#MMHT |
| VCTMZN1XX6 | VCTMZN1XX6 | 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.16931#SPHQ |
| VCTNYYWGCQ | VCTNYYWGCQ | 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.07285#24O2 |
| VCTR7SCQ3M | VCTR7SCQ3M | 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.14240#VU3M |
| VCTYAFJD1K | VCTYAFJD1K | statement | open | open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#thm:DedekindInfiniteAlgebra |
| VCWTPXJ2V2 | VCWTPXJ2V2 | 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 1806.05002#BFJ4 |
| VCXCBKDN4P | VCXCBKDN4P | 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 2602.07485#Q9VO |
| VCXCGXQ43Z | VCXCGXQ43Z | 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.11145#5OKZ |
| VCXQT5CWC5 | VCXQT5CWC5 | 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.31489#UKQU |
| VCY7NCYFR5 | VCY7NCYFR5 | 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.21899#I1U8 |
| VCYDS3TTRX | VCYDS3TTRX | 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 2104.12015#QQS1 |
| VCYTNKR0NC | VCYTNKR0NC | 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.05506#LO58 |
| VCZ2W9X499 | VCZ2W9X499 | 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.03611#DH9Z |
| VCZ42ZET2X | VCZ42ZET2X | 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.14318#JN3N |
| VCZBBHNMYG | VCZBBHNMYG | 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 2407.02022#EJXJ |
| VD16FKK1EZ | VD16FKK1EZ | 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.14266#NTQZ |
| VD1FMGW5YQ | VD1FMGW5YQ | 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.26546#7A61 |
| VD1HX43ZVE | VD1HX43ZVE | 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.22218#V8EL |
| VD1Q7013JB | VD1Q7013JB | 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.09390#68SM |
| VD316W039R | VD316W039R | 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.16779#R23P |
| VD3CWNNDTF | VD3CWNNDTF | 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.19333#N6VL |
| VD3DWYJ83Z | VD3DWYJ83Z | 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.4254#H9Y3 |
| VD3GADF76M | VD3GADF76M | 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.38068#PFP2 |
| VD42W0SVEF | VD42W0SVEF | 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.01653#UYIF |
| VD478F5S27 | VD478F5S27 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-14 |
| VD4AK0T7QR | VD4AK0T7QR | 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 2303.14022#HEUD |
| VD4B6Q375F | VD4B6Q375F | 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.00789#ZQUJ |
| VD5CEG2Q5N | VD5CEG2Q5N | 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.13618#JKPR |
| VD5MNJKVC7 | VD5MNJKVC7 | 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.29877#EGN7 |
| VD5NNQ47VN | VD5NNQ47VN | 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.33019#3NBD |
| VD69BWKXP4 | VD69BWKXP4 | statement | open | ernst_ibl MAAPressVersion/Topology.tex#theorem-8 |
| VD6BMDW79X | VD6BMDW79X | 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.18242#GUWK |
| VD6BV3HKVY | VD6BV3HKVY | definition | open | lebl_ra ch-seq-funcs.tex#def:unifnorm |
| VD6QQ4R0VY | VD6QQ4R0VY | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-113 |
| VD706BSHTY | VD706BSHTY | 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 1912.13357#AYXF |
| VD72SKT86X | VD72SKT86X | 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.22002#99TB |
| VD8KRNPT9T | VD8KRNPT9T | 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.13888#XL2E |
| VD930F7W62 | VD930F7W62 | 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.33808#O79G |
| VD9370TRDJ | VD9370TRDJ | 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.11478#N40R |
| VD9DV3T1J8 | VD9DV3T1J8 | 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.02689#8NAN |
| VDAH2YH181 | VDAH2YH181 | 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.04675#5Q16 |
| VDAQ3TXWYX | VDAQ3TXWYX | 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.14681#LARQ |
| VDB8DDZCPZ | VDB8DDZCPZ | 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.07285#IQ02 |
| VDCAE2KZ2J | VDCAE2KZ2J | 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.19260#WUYB |
| VDD3QB0XNX | VDD3QB0XNX | 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.31220#QPH8 |
| VDDCK57K25 | VDDCK57K25 | 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.13931#X3J0 |
| VDDHV89N51 | VDDHV89N51 | 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.38250#7QP2 |
| VDDR7CYWQ8 | VDDR7CYWQ8 | 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 2212.11038#ISDI |
| VDE53WZQX8 | VDE53WZQX8 | example | open | austin_ula src/section2-4.xml#example-span-plane |
| VDE70JE44Z | VDE70JE44Z | 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.39254#QY3D |
| VDEGTJB60D | VDEGTJB60D | 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.14380#9KXC |
| VDEJCQMBDH | VDEJCQMBDH | 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.38068#Z6ZQ |
| VDF1DHT7A2 | VDF1DHT7A2 | 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.02111#JBMM |
| VDFZMTDZ03 | VDFZMTDZ03 | exercise | open | open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#prob-2 |
| VDHDAQZBHM | VDHDAQZBHM | 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#BGSK |
| VDJC3FFWA8 | VDJC3FFWA8 | 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 1512.06981#TWGD |
| VDJFH5S3YD | VDJFH5S3YD | 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.26896#27FO |
| VDJMNNW4CE | VDJMNNW4CE | 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.06556#DZ9U |
| VDK5B1B90T | VDK5B1B90T | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-6 |
| VDKCK05PTD | VDKCK05PTD | 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#F11O |
| VDKF1G49VC | VDKF1G49VC | 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.39260#UZ07 |
| VDKM5F03BF | VDKM5F03BF | 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.35669#1TJA |
| VDKW2C822K | VDKW2C822K | 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.35180#4FUV |
| VDM7E6BXXW | VDM7E6BXXW | 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 2201.04174#IN09 |
| VDN2N1RHBB | VDN2N1RHBB | example | open | levin_dmoi ptx/sec_seq-basics.ptx#example-5 |
| VDNG7Q22MD | VDNG7Q22MD | 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.10365#NUOM |
| VDPERPT6C7 | VDPERPT6C7 | 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.31489#TW3F |
| VDPVXHC725 | VDPVXHC725 | 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 2309.15228#8SYM |
| VDPZ956ZM5 | VDPZ956ZM5 | 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#UD1X |
| VDQ4P5ZEZB | VDQ4P5ZEZB | 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.17785#LP9I |