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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 3201–3253 of 3253.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| VZEADXVPAC | VZEADXVPAC | 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 2506.09840#SID2 |
| VZEAPF0R80 | VZEAPF0R80 | 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.33771#KH37 |
| VZEKYSHHSY | VZEKYSHHSY | 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#JCZI |
| VZF3W6YKKK | VZF3W6YKKK | exercise | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prob-4 |
| VZF4JYNJQS | VZF4JYNJQS | 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.02663#TSKR |
| VZF5DC90TT | VZF5DC90TT | 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.15344#SRLE |
| VZFEYD94D4 | VZFEYD94D4 | 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.19333#QMFS |
| VZGTD961Y2 | VZGTD961Y2 | definition | open | napkin tex/alg-geom/zariski.tex#definition-6 |
| VZGTKWZF3R | VZGTKWZF3R | 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 2401.05118#T2RB |
| VZGWWK8XKD | VZGWWK8XKD | 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 alg-geom/9506022#2OBC |
| VZH45E2C5H | VZH45E2C5H | 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.26089#UAQK |
| VZH7P5BGEC | VZH7P5BGEC | 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.39246#FGA2 |
| VZHB1PB9AH | VZHB1PB9AH | 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#S76J |
| VZHYXHTD99 | VZHYXHTD99 | 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.12116#ME7T |
| VZJ0Q25RZK | VZJ0Q25RZK | 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.16606#46P1 |
| VZKJJ7GJP5 | VZKJJ7GJP5 | 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.32829#HWF1 |
| VZKZTAJNWJ | VZKZTAJNWJ | 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.40096#5HDR |
| VZM6FYAWCQ | VZM6FYAWCQ | 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.04844#OC0E |
| VZMCK3EVS1 | VZMCK3EVS1 | 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.21037#G743 |
| VZMTPW6GBC | VZMTPW6GBC | 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 2104.05191#LQ1T |
| VZMWCHFNH6 | VZMWCHFNH6 | 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.03835#VGT6 |
| VZPASF10N4 | VZPASF10N4 | 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.37520#7WMB |
| VZPB5Q0J0Z | VZPB5Q0J0Z | 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 2207.11097#UVJ6 |
| VZQ1KA1YVJ | VZQ1KA1YVJ | 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.30067#X0QZ |
| VZQRDWJSYJ | VZQRDWJSYJ | 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.23128#K2NN |
| VZRDVC7YD3 | VZRDVC7YD3 | 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.20944#AJG7 |
| VZS9CCGM0N | VZS9CCGM0N | 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.10968#649K |
| VZSEEXGP2N | VZSEEXGP2N | 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#HZ0X |
| VZSTXWDZJ8 | VZSTXWDZJ8 | proof | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-1 |
| VZT7NHGN4M | VZT7NHGN4M | 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.21080#3B6Y |
| VZTN8FKS4S | VZTN8FKS4S | 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.03555#DWA6 |
| VZTR05TCCZ | VZTR05TCCZ | 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.10525#B3J1 |
| VZV0KCZ5PF | VZV0KCZ5PF | 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.29531#7IL9 |
| VZV5A2001P | VZV5A2001P | 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.09314#P4BR |
| VZV895BPFA | VZV895BPFA | 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.20050#QG60 |
| VZVKA0QNPV | VZVKA0QNPV | 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.34295#EYYV |
| VZVQQRWVF3 | VZVQQRWVF3 | 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.32916#JEOB |
| VZVYZ9Q6V1 | VZVYZ9Q6V1 | 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.11545#1M4P |
| VZWC1SMN9T | VZWC1SMN9T | 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.21914#8HIM |
| VZWNQH0K7V | VZWNQH0K7V | exercise | open | hott_book basics.tex#ex:pullback-pasting |
| VZX0QK1FV5 | VZX0QK1FV5 | 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.03138#N1C0 |
| VZX8BBKKPZ | VZX8BBKKPZ | 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.25468#F0VM |
| VZXDEJ02M9 | VZXDEJ02M9 | 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.40261#JXLI |
| VZXV2W62AJ | VZXV2W62AJ | 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.31413#7N14 |
| VZXZW4EKVD | VZXZW4EKVD | 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.15674#WHQQ |
| VZY22XMJAV | VZY22XMJAV | exercise | open | hott_book categories.tex#ct:2cat |
| VZYAPD9S8E | VZYAPD9S8E | 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.33856#U3Z0 |
| VZYBNQF5RC | VZYBNQF5RC | 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 math/9602216#BJD8 |
| VZYP9VRWA9 | VZYP9VRWA9 | 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.01208#1HXC |
| VZZ1AQ5Q2T | VZZ1AQ5Q2T | 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.03488#YI1G |
| VZZDJGNSXA | VZZDJGNSXA | 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.33027#JD3H |
| Vázsonyi problem , solved by Grünbaum, Heppes, and Straszewicz | GEB62958ZQ | 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.06300#9848 |
| Věra Trnková | 5R8GFE40RS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q68642069, nLab Věra Trnková |