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 1101–1200 of 3154.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Varying bottom topography | XNX8WV84H2 | 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.14555#51TK |
| Varying-coefficient rare-refresh checkerboard | 8MHCWJ669Y | 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.10860#KG15 |
| Varying-population CG approximation with mutation | W98P32GSGN | 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.02669#I7K0 |
| VAS4ETB5KG | VAS4ETB5KG | 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.30663#MGDI |
| VAS6ZDFFGC | VAS6ZDFFGC | proof | open | napkin tex/alg-NT/finite-field.tex#proof-6 |
| Vaserstein *{Theorem 4 | SBN62YAHCJ | 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.26808#KCRU |
| VASHPBH896 | VASHPBH896 | 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 2606.18859#L7QA |
| Vatter | 3S9NFP32KQ | 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#7SZ0 |
| Vaughan Jones | 1CCXE8TPSV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q369638, nLab Vaughan Jones, ProofWiki Mathematician:Vaughan_Frederick_Randal_Jones |
| Vaughan Ronald Pratt | V1N5N13BC3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7917308, nLab Vaughan Pratt |
| VAV2FD4MRE | VAV2FD4MRE | definition | open | lebl_ra ch-seq-ser.tex#defn-2 |
| VAVR6CWX7M | VAVR6CWX7M | 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.08042#1E6R |
| VAW325N518 | VAW325N518 | 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.28364#W406 |
| VAW87G3XC5 | VAW87G3XC5 | 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.27151#F79F |
| VAWE06F51D | VAWE06F51D | 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.26340#OZ8E |
| VAWWJE1D9P | VAWWJE1D9P | 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.16834#LMMW |
| VAX3Y85P5J | VAX3Y85P5J | 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.29712#2VDF |
| VAX4283WKB | VAX4283WKB | 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#1DTZ |
| VAX7Q3EY3B | VAX7Q3EY3B | 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 2610.18061#B1VB |
| VAY3MR69WG | VAY3MR69WG | 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.10736#287W |
| VAYRNZPC8Q | VAYRNZPC8Q | 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#ZCOW |
| VAZAHCAF4W | VAZAHCAF4W | 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.04730#XUSI |
| VAZGXBC0YN | VAZGXBC0YN | 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.36818#GF8V |
| VAZMG1SENY | VAZMG1SENY | 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.25718#8RB5 |
| VAZV65RR6Z | VAZV65RR6Z | 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.24465#K10Z |
| VB0N68Q69E | VB0N68Q69E | 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.26019#3XUA |
| VB0Y6VVQTP | VB0Y6VVQTP | 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.11836#RSF1 |
| VB102Q1GAV | VB102Q1GAV | 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.12413#G7MQ |
| VB1AF85H3B | VB1AF85H3B | proof | open | hott_book setmath.tex#proof-36 |
| VB25Q616HN | VB25Q616HN | 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 0810.0962#XUKQ |
| VB2B6FG8YE | VB2B6FG8YE | 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#UM8N |
| VB2CDPQTT0 | VB2CDPQTT0 | 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.14076#L54B |
| VB2EMMJ7E7 | VB2EMMJ7E7 | 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 2307.02473#52KL |
| VB2G7R9NGW | VB2G7R9NGW | 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.38548#U2TR |
| VB2J6405CV | VB2J6405CV | example | open | levin_dmoi ptx/sec_counting-proofs.ptx#ex-comb-proof-3elemsets |
| VB2XSEVF1M | VB2XSEVF1M | 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.35404#7Z24 |
| VB2Y07HNA9 | VB2Y07HNA9 | 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 2204.01073#AIQ2 |
| VB30EN0PHE | VB30EN0PHE | 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.05611#TQAS |
| VB3B5562N5 | VB3B5562N5 | 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.16875#VMAH |
| VB3GNM59VZ | VB3GNM59VZ | 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.07451#R0MJ |
| VB3J05F19G | VB3J05F19G | 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.14455#ZDIT |
| VB448PWAFB | VB448PWAFB | 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.18803#GAL4 |
| VB476DNGGT | VB476DNGGT | 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.11210#2K1O |
| VB4A375FKZ | VB4A375FKZ | 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.32650#925O |
| VB4C5H5DZS | VB4C5H5DZS | 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 2504.00596#GHHH |
| VB5444K41Q | VB5444K41Q | 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 2610.13556#NOHV |
| VB5GRSQDMN | VB5GRSQDMN | exercise | open | hott_book categories.tex#ex:functor-equiv-right-adjoint |
| VB5J3474KZ | VB5J3474KZ | 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.13518#LVBS |
| VB5MZYSC8M | VB5MZYSC8M | 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#QXXW |
| VB5RGBG9PS | VB5RGBG9PS | 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.30310#G41P |
| VB67T7Y7M2 | VB67T7Y7M2 | 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.17116#79YG |
| VB68B8X8NY | VB68B8X8NY | 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.13100#5SP8 |
| VB6B5D5XTM | VB6B5D5XTM | 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.39845#E4BV |
| VB6F6N22QD | VB6F6N22QD | 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.29759#AKR7 |
| VB7CNHGW7X | VB7CNHGW7X | 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 1903.07030#D1U3 |
| VB7DFM8V7R | VB7DFM8V7R | 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.08935#LPFW |
| VB98B1ABQZ | VB98B1ABQZ | 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#CIZE |
| VB9CW0SZP8 | VB9CW0SZP8 | 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 0910.5574#JGSC |
| VB9E3APSZ9 | VB9E3APSZ9 | 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.22074#5SVJ |
| VB9YBDDV86 | VB9YBDDV86 | exercise | open | austin_ula src/exercises/exercises2-2.xml#exercise-4 |
| VBAA52SR17 | VBAA52SR17 | 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 2604.07243#FSUG |
| VBAJPVD60G | VBAJPVD60G | 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.09557#AWQ6 |
| VBARVMN5EV | VBARVMN5EV | 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#JDW3 |
| VBB6SF8832 | VBB6SF8832 | 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.16358#L9JO |
| VBBX902QZZ | VBBX902QZZ | exercise | open | napkin tex/homology/excision.tex#problem-3 |
| VBC7S5GXBK | VBC7S5GXBK | 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.32058#1N1H |
| VBCG4VZ70D | VBCG4VZ70D | 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 0808.1331#D9V6 |
| VBDS1X50G1 | VBDS1X50G1 | 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.21092#FESH |
| VBDWCT88AA | VBDWCT88AA | 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 1011.5380#EAV3 |
| VBE3P6T11M | VBE3P6T11M | 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.36412#JSBV |
| VBE90NM9TX | VBE90NM9TX | 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 2510.12502#597Y |
| VBEC6QRNFF | VBEC6QRNFF | 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.20025#478X |
| VBEG4H1Z96 | VBEG4H1Z96 | 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.01802#069L |
| VBEJ3YA864 | VBEJ3YA864 | 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.05403#BW4U |
| VBF088KRJ4 | VBF088KRJ4 | exercise | open | applied_combinatorics source/s_recurrence_exercises.ptx#exercise-15 |
| VBF88Z2TAQ | VBF88Z2TAQ | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prop:prov-incons |
| VBFAZ415YF | VBFAZ415YF | 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.01498#JLVT |
| VBFJEYXR9F | VBFJEYXR9F | 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.31910#Y62E |
| VBFTFS7DTZ | VBFTFS7DTZ | definition | open | open_logic content/sets-functions-relations/arithmetization/checking-details.tex#defn-1 |
| VBGBC964E5 | VBGBC964E5 | 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.07260#VDVH |
| VBGW594NBV | VBGW594NBV | 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 2610.19249#XGTO |
| VBGXFNTFAN | VBGXFNTFAN | 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.04876#7142 |
| VBH60MZJP3 | VBH60MZJP3 | 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.19590#LWMI |
| VBHF826ZXM | VBHF826ZXM | 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#N5Q1 |
| VBHKXGVQ39 | VBHKXGVQ39 | 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.06895#MXJ7 |
| VBHQMH5DGJ | VBHQMH5DGJ | 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.11481#VVAS |
| VBHYSN48TG | VBHYSN48TG | 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.10248#W1IR |
| VBJJHETZD8 | VBJJHETZD8 | exercise | open | napkin tex/riemann-surface/line-bundles.tex#ques-5 |
| VBJR2NRW2Q | VBJR2NRW2Q | 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.12691#4G7E |
| VBJVJ77QRW | VBJVJ77QRW | exercise | open | lebl_ra ch-approximate.tex#exercise-23 |
| VBK1E65R4A | VBK1E65R4A | 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.20909#B3A5 |
| VBKPTY9W4R | VBKPTY9W4R | 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#GHVD |
| VBKTKGDYZF | VBKTKGDYZF | 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.30200#0UWW |
| VBM9A7EYA3 | VBM9A7EYA3 | 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.21578#KW1L |
| VBMNAJMZKB | VBMNAJMZKB | statement | open | open_logic content/methods/proofs/using-definitions.tex#prop-2 |
| VBMPHR95CN | VBMPHR95CN | 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.34570#DG7Z |
| VBN2VDPVVE | VBN2VDPVVE | definition | open | napkin tex/H113/action.tex#definition-2 |
| VBN6FP9FDY | VBN6FP9FDY | 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.17720#ZZ5T |
| VBNS81BT0S | VBNS81BT0S | 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.25120#QAGJ |
| VBNXQSECBG | VBNXQSECBG | proof | open | lebl_scv scv.tex#proof-46 |