| VADMP1C233 | VADMP1C233 | 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 2512.16003#9IGT |
| VADP0GYR0A | VADP0GYR0A | statement | record (an 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.16203#MPUC |
| Vadym Adamyan | TJSXHC4J2W | topic | open | Wikipedia Vadym Adamyan, Wikidata Q4057382 |
| Vadym Gutzeit | R0T53P9VXH | unknown | open | Wikipedia List of Ukrainian Jews#L035 |
| VAEG5RZJF2 | VAEG5RZJF2 | exercise | open | lebl_scv scv.tex#exercise-67 |
| VAF11D5JXT | VAF11D5JXT | statement | record (an 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.02061#VTTU |
| VAF6F2JWR9 | VAF6F2JWR9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14699#L3DQ |
| Vafa–Witten equations | 3WTW26JKAQ | definition | open | Wikipedia Vafa–Witten equations, Wikidata Q140799970 |
| Vafa–Witten theorem | 2EYGA858XR | statement | open | mathlib_1000 Q10859514, Wikidata Q10859514, thousand_plus Q10859514, Wikipedia Vafa–Witten theorem |
| Vafa–Witten theorem | S9BRAPA4JF | statement | open | Wikipedia List of theorems#KBY3 |
| VAFMKKNMXS | VAFMKKNMXS | 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.18992#U77C |
| VAFR60M3TW | VAFR60M3TW | statement | record (an 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.09084#784Q |
| VAG7ZSZFBV | VAG7ZSZFBV | statement | record (an 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.11974#1I3Y |
| Vagif Rza Ibrahimov | ATGA3FCRHZ | topic | open | Wikipedia Vagif Rza Ibrahimov, Wikidata Q18594724 |
| VAGKCJ0P51 | VAGKCJ0P51 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2008.10035#HZNG |
| Vagn Lundsgaard Hansen | 53TX8MYKQY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q12340430, nLab Vagn Lundsgaard Hansen |
| Vagn Lunsgaard Hansen | 8JVV5KBW2S | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0Q7Y |
| Vagrant predicate | TPCZWXADPT | definition | open | Wikipedia Vagrant predicate, Wikidata Q7908552 |
| VAGRTGCSDP | VAGRTGCSDP | statement | record (an 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.37520#VCWW |
| Vague set | 1X6BRP80S0 | definition | open | Wikipedia Vague set, Wikidata Q7908559 |
| Vague topology | 4B6VN198SD | definition | open | Wikipedia Vague topology, Wikidata Q17125297 |
| Vague topology | AXTDCKFJEP | definition | open | Wikipedia List of topologies#DF38, Wikipedia List of topologies#WRSF |
| Vague torus | BZJW72JZR5 | definition | open | Wikipedia Vague torus, Wikidata Q7908561 |
| Vagueness | CJPDN7C0EP | definition | open | Wikipedia Vagueness, Wikidata Q1411921 |
| vagueness | W624DDKSJD | definition | open | Wikipedia Glossary of logic#BXNX |
| VAHNXTR1W7 | VAHNXTR1W7 | statement | record (an 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.15169#1QSR |
| VAHS229YP0 | VAHS229YP0 | statement | record (an 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.15982#IOZJ |
| Vaidya metric | 479NRCPKXJ | definition | open | Wikipedia Vaidya metric, Wikidata Q7908710 |
| Vaisheshika | T2W5WD6YGT | definition | open | Wikipedia Vaisheshika, Wikidata Q651387 |
| VAJG03QBBQ | VAJG03QBBQ | 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.00657#K1Z9 |
| VAJYNV89Y0 | VAJYNV89Y0 | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#proof-2 |
| VAKDKADZG0 | VAKDKADZG0 | statement | record (an 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.17276#KRGL |
| Vakhitov–Kolokolov stability criterion | 9T23J81KSR | statement | open | Wikipedia Vakhitov–Kolokolov stability criterion, Wikidata Q7908981 |
| VAKK46PFRA | VAKK46PFRA | statement | record (an 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.23629#EYX7 |
| VAKK83AYZ1 | VAKK83AYZ1 | statement | record (an 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.29158#6ZDW |
| Val Plumwood | BXTERZMY4B | unknown | open | Wikipedia List of women logicians#NZAR |
| valence | ME4B12SFRZ | definition | open | Wikipedia Glossary of classical algebraic geometry#DOWL |
| Valencia West | 8E8EY4TBG2 | unknown | open | Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#BBNX |
| Valencies | 91H2MN6KQW | 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.01731#F7NV |
| Valencies of $^2A_{2r-1}(q)$ | 6CPPAKDRTQ | statement | record (an 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.01731#0TJ0 |
| valency | WWGYMKENW6 | definition | open | Wikipedia Glossary of graph theory#8V3G |
| valency | ZFG4ZE3W8E | definition | open | Wikipedia Glossary of classical algebraic geometry#UPC2 |
| Valency of Finite Points | H2FVP9MJ49 | statement | record (an 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.28495#9FZU |
| Valentin Afraimovich | 32KKRQBKP0 | topic | open | Wikipedia Valentin Afraimovich, Wikidata Q7910727 |
| Valentin Asmus | 1HH1WZNGDW | topic | open | Wikipedia Valentin Asmus (philosopher), Wikidata Q731904 |
| Valentin Belousov | 838BH90EV1 | topic | open | Wikipedia Valentin Belousov, Wikidata Q12742990 |
| Valentin Danilovich Belousov | E4GQG2VA5T | topic | open | Wikipedia List of people by Erdős number#HEEL |
| Valentin Evgenyevich Voskresenskii | 1YV7PJSNHR | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2FC0 |
| Valentin Goranko | YK7WJ65ZHF | unknown | open | Wikipedia List of logicians#2KTJ |
| Valentin Naboth | DF414GYVNK | unknown | open | Wikipedia List of German mathematicians#DAOJ |
| Valentin Poénaru | A4JK601FQ4 | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2NQC |
| Valentin Poénaru | F3NZEFNSRN | topic | open | Wikipedia Valentin Poénaru, Wikidata Q1386168 |
| Valentin Turchin | CPB9YM937Z | unknown | open | Wikipedia List of Russian mathematicians#LEF6 |
| Valentina Borok | 87GBTXD7K3 | topic | open | Wikipedia List of Jewish mathematicians#O3XX |
| Valentina Borok | APG3V422SY | topic | open | Wikipedia Valentina Borok, Wikidata Q522359 |
| Valentina Escott-Price | V1AN49J3F8 | topic | open | Wikipedia Valentina Escott-Price, Wikidata Q56528787 |
| Valentina Gorbachuk | 40FCWGPMNS | topic | open | Wikipedia Valentina Gorbachuk, Wikidata Q64728403 |
| Valentina Harizanov | PCP491KFFF | topic | open | Wikipedia Valentina Harizanov, Wikidata Q7910869 |
| Valentine Bargmann | 8BCD4PDZ09 | topic | open | Wikipedia List of people by Erdős number#TSON |
| Valentine Bargmann | FSKQ8MWJZX | topic | open | Wikipedia Valentine Bargmann, Wikidata Q215977 |
| Valentine Bargmann | FW9243RJCC | topic | open | Wikipedia List of Jewish mathematicians#P09G |
| Valentine Joseph | W4FT1ZAPW7 | topic | open | Wikipedia Valentine Joseph, Wikidata Q37906157 |
| Valentino Tosatti | 30RE3EYTP3 | topic | open | Wikipedia Valentino Tosatti, Wikidata Q79677224 |
| Valentinus Otho | 3DF5BK0C77 | topic | open | Wikipedia Valentinus Otho, Wikidata Q91647 |
| Valentyn Mankin | RE24F16KS8 | unknown | open | Wikipedia List of Ukrainian Jews#KBY0 |
| Valeria de Paiva | 8NPAWYHKV0 | topic | open | Wikipedia List of women logicians#L0O2 |
| Valeria de Paiva | TEJX7KJCFB | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q20731777, nLab Valeria de Paiva, Wikipedia Valeria de Paiva |
| Valeria Maksyuta | HFX69CSPCE | unknown | open | Wikipedia List of Ukrainian Jews#JJKC |
| Valeria Simoncini | RG0PJY0BHR | topic | open | Wikipedia Valeria Simoncini, Wikidata Q36559492 |
| Valerie Isham | FPCMBCPMC5 | unknown | open | Wikipedia List of presidents of the Royal Statistical Society#2DNQ |
| Valerie King | 9ZACEPT2MX | unknown | open | Wikipedia List of people by Erdős number#9074 |
| Valerie Matsumoto | VZJHF88WRH | unknown | open | Wikipedia List of University of California, Los Angeles people#ON5M |
| Valerie Thomas | NEVD803RMC | topic | open | Wikipedia Valerie Thomas, Wikidata Q21469 |
| Valerio Lucarini | 4F9QFZYHES | topic | open | Wikipedia Valerio Lucarini, Wikidata Q57165690 |
| Valeriy Oseledets | HFM3D3DSWS | topic | open | Wikipedia Valeriy Oseledets, Wikidata Q23072478 |
| Valery A. Lunts | YSEB2TB328 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102111253, nLab Valery+Lunts |
| Valery Alexeev | 5ABQXPWRD3 | topic | open | Wikipedia List of people by Erdős number#11JB, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V30U |
| Valery Alexeev | 6X9DMP96G0 | topic | open | Wikipedia Valery Alexeev (mathematician), Wikidata Q30122479 |
| Valery Glivenko | QZHZHPEFGB | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q321515, ProofWiki Mathematician:Valery_Ivanovich_Glivenko, Wikipedia Valery Glivenko |
| Valery Goppa | J0BDWM3J75 | topic | open | Wikipedia Valery Goppa, Wikidata Q7911482 |
| Valery Goppa | Y2JNSQSBF1 | topic | open | Wikipedia List of Russian mathematicians#IRK6 |
| Valery Senderov | DQK3G8XP35 | topic | open | Wikipedia List of Jewish mathematicians#G11W |
| Valery Senderov | T0C4ZAEWCP | topic | open | Wikipedia Valery Senderov, Wikidata Q15079483 |
| Valery Vasilevich Kozlov | KZC67Z2G5H | topic | open | Wikipedia Valery Vasilevich Kozlov, Wikidata Q4226696 |
| Valiant's algorithm | 4F33653NVX | unknown | open | Wikipedia CYK algorithm#3FFU |
| Valiant–Vazirani theorem | 3PFSKBZVD7 | statement | open | Wikipedia List of theorems#LRQE |
| Valiant–Vazirani theorem | F732BKEDAD | statement | open | mathlib_1000 Q7911648, Wikidata Q7911648, thousand_plus Q7911648, Wikipedia Valiant–Vazirani theorem |
| valid | 5CQPJ1QS6B | concept | open | levin_dmoi index/4/valid |
| valid | DE9KBXJX8E | definition | open | Wikipedia Glossary of logic#ERF9 |
| Valid DAE-aware CBF | JK2XPXVTCM | 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.09634#MUQ3 |
| Valid formula | 5PDBF6S2E6 | statement | open | Wikipedia Validity (logic)#952Z |
| Valid principles and rules | XEH4HA35WZ | statement | open | Wikipedia Heyting arithmetic#C4O9 |
| Valid sequences | RYHZFC21TB | 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.25188#IMTP |
| Validated numerics | 62QX89J72X | definition | open | Wikipedia Validated numerics, Wikidata Q63307393 |
| Validated numerics | JBM0680DCE | definition | open | Wikipedia List of numerical analysis topics#7O5K |
| Validating power laws | YNJZNKYNT5 | statement | open | Wikipedia Power law#9P9P |
| Validation of QSAR models | 3VNTCJBE0C | unknown | open | Wikipedia Quantitative structure–activity relationship#OCQX |
| Validity | D138EJF605 | definition | open | open_logic content/second-order-logic/syntax-and-semantics/semantic-notions.tex#defn-1 |
| validity | T1F7TTFBVP | definition | open | Wikidata Q1047000, MathWorld Validity, Wikipedia Validity (logic) |
| Validity | V4ERRF0S6C | definition | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#defn-1 |