Inventory: D
The rows of the inventory whose names start with D. 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 13001–13100 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DV5HTY2PE7 | DV5HTY2PE7 | 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.12108#HZBI |
| DV5T0RZM4M | DV5T0RZM4M | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:unique additive inverse |
| DV67S7GSG3 | DV67S7GSG3 | 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.05032#FGU5 |
| DV75KNABX2 | DV75KNABX2 | statement | open | open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#thm:strong-generalization |
| DV7SXH94X7 | DV7SXH94X7 | statement | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#thm:canonical projection |
| DV7ZZJRZ1V | DV7ZZJRZ1V | exercise | open | lebl_ra ch-riemann.tex#exercise-55 |
| DV85S526R3 | DV85S526R3 | 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.22759#TM09 |
| DV8EH5SCCE | DV8EH5SCCE | 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#RDSF |
| DV8PPJJVPS | DV8PPJJVPS | 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#4EAF |
| DVC4GYMFXX | DVC4GYMFXX | 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.25703#A5KQ |
| DVCBK0Z4E2 | DVCBK0Z4E2 | 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.02061#05SO |
| DVCPJ8S9DT | DVCPJ8S9DT | 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.23634#NL0E |
| DVD0HRFMMV | DVD0HRFMMV | 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 2403.15255#EH7I |
| DVF4MRV3XK | DVF4MRV3XK | 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 2509.21444#J2LN |
| DVF60M6DD0 | DVF60M6DD0 | 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.39353#LJZS |
| DVG595S9FM | DVG595S9FM | 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.11276#EBIZ |
| DVG6NKPHTK | DVG6NKPHTK | 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.19658#048N |
| DVGBC16Y3P | DVGBC16Y3P | 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.28597#6NKF |
| DVGBMH7Y0S | DVGBMH7Y0S | 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.22909#OILL |
| DVGN3667R5 | DVGN3667R5 | 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 2301.07434#VCLA |
| DVGTM4HM60 | DVGTM4HM60 | 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#8EL8 |
| DVHHZZP7NT | DVHHZZP7NT | 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.04434#L3FC |
| DVHJMS3GT9 | DVHJMS3GT9 | 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.33651#79PS |
| Dvigrad | KMWX9DM0AK | unknown | open | Wikipedia List of places with numeric names#M7VF |
| DVJC2HBA8N | DVJC2HBA8N | 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.17565#VNAX |
| DVJJDV09ET | DVJJDV09ET | 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.13847#1K7T |
| DVJSRR9BF9 | DVJSRR9BF9 | 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 2012.05048#AN6N |
| DVKX9NJ3XX | DVKX9NJ3XX | 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.16123#W3C3 |
| DVM4XKGZAW | DVM4XKGZAW | 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 2308.08081#EIFQ |
| DVM7RNFXFW | DVM7RNFXFW | statement | open | lebl_scv scv.tex#prop-16 |
| DVN0EWN0C5 | DVN0EWN0C5 | 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.03851#S7LM |
| DVN5NC6WGV | DVN5NC6WGV | 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.24212#B3WT |
| Dvo\v{r}\'{a}k, Ossona de Mendez, Wu | YVN367T5ST | 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.16465#ZL01 |
| Dvoretzky's theorem | B6KP4BJ0WP | statement | open | Wikipedia List of probabilistic proofs of non-probabilistic theorems#KDD2 |
| Dvoretzky's theorem | F0KY68XETB | statement | open | Wikipedia Dvoretzky's theorem, Wikidata Q5317821 |
| Dvoretzky's Theorem | GMSNVEERJ5 | statement | open | Wikipedia Asymptotic geometry#QI9O |
| Dvoretzky, Aryeh | BJRTWXY5JG | topic | open | Wikipedia List of statisticians#8CKV |
| Dvoretzky–Kiefer–Wolfowitz inequality | 1YYD5GYN8T | statement | open | Wikipedia List of statistics articles#04V4, Wikipedia List of inequalities#QIJ9 |
| Dvoretzky–Kiefer–Wolfowitz inequality | GXTC9RKR0R | statement | open | Wikipedia Dvoretzky–Kiefer–Wolfowitz inequality, Wikidata Q5317822 |
| Dvoretzky–Kiefer–Wolfowitz inequality | P47DBNS169 | statement | open | Wikipedia Concentration inequality#FNK9 |
| DVPEGVQ8ZY | DVPEGVQ8ZY | 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.37739#FGMT |
| DVQ5WC6SCN | DVQ5WC6SCN | 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.27771#TIM9 |
| DVQ77WH9Z0 | DVQ77WH9Z0 | 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 1711.00219#OV4D |
| DVQJQMVC3Y | DVQJQMVC3Y | 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 1006.3331#6WR1 |
| DVR | 1JK7DPD4BT | definition | open | Wikipedia Glossary of commutative algebra#SSM2 |
| DVR34SS69B | DVR34SS69B | 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 2211.16099#1LPK |
| DVR84P1TXX | DVR84P1TXX | 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.14446#R8IY |
| DVRD8X6Y86 | DVRD8X6Y86 | 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.13833#I4KZ |
| DVRZR25HJ8 | DVRZR25HJ8 | 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.24185#QSRJ |
| DVSHPKH25R | DVSHPKH25R | 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#JDK8 |
| DVSJ8NBP2H | DVSJ8NBP2H | 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.20376#BH9I |
| DVT9D786JH | DVT9D786JH | 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 2311.01874#UTAU |
| DVTEH8Z4XZ | DVTEH8Z4XZ | 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.11346#BK0G |
| DVTJ4BB63F | DVTJ4BB63F | 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.00856#ER9L |
| DVTVCEEW1V | DVTVCEEW1V | 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.15744#45ND |
| DVVJ6FQTB8 | DVVJ6FQTB8 | 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 2607.01109#9DXE |
| DVVQ01F0MN | DVVQ01F0MN | example | open | lebl_ra ch-approximate.tex#example-13 |
| DVVVR3B625 | DVVVR3B625 | 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.25823#SH63 |
| DVW7CXBHQ0 | DVW7CXBHQ0 | 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.22393#23PW |
| DVWK3YSBE1 | DVWK3YSBE1 | 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 2306.00212#D19H |
| DVWNXHT2PD | DVWNXHT2PD | 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.17181#VRFO |
| DVWSTAF8JF | DVWSTAF8JF | 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.27800#UHV7 |
| DVWTA3AC4S | DVWTA3AC4S | 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.09990#D8EZ |
| DVYSMA9KQE | DVYSMA9KQE | 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.16883#FO3O |
| DVYY8H1N6C | DVYY8H1N6C | 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.39593#TCN8 |
| DW09Z4M2S0 | DW09Z4M2S0 | 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.12736#HZZJ |
| DW0EVPDH8M | DW0EVPDH8M | 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 2403.01959#UCY1 |
| DW0G79BPR6 | DW0G79BPR6 | 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.05056#7BRM |
| DW0GJYC887 | DW0GJYC887 | exercise | open | lebl_scv scv.tex#exercise-33 |
| DW1PHD8H4S | DW1PHD8H4S | 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.33584#SVPQ |
| DW2HG6MKWS | DW2HG6MKWS | 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.32997#GSJB |
| DW2W9FZTTV | DW2W9FZTTV | 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.02790#MBEH |
| DW38BXJTVK | DW38BXJTVK | 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.17737#TJPA |
| DW40QN1EQZ | DW40QN1EQZ | unknown | open | arXiv 2106.06387#T4UD |
| DW56DWNEAQ | DW56DWNEAQ | 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.35421#XV72 |
| DW5PEMF2S7 | DW5PEMF2S7 | 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.06066#HK1Z |
| DW61DC31DP | DW61DC31DP | 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.25289#5Y5H |
| DW69C5ATTN | DW69C5ATTN | 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.19461#Q3CC |
| DW6P5AZXND | DW6P5AZXND | 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.05421#4YYE |
| DW6SVYKW1B | DW6SVYKW1B | 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 2002.01498#7JBI |
| DW6WVAH7Q8 | DW6WVAH7Q8 | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-5 |
| DW750RSPYS | DW750RSPYS | example | open | napkin tex/topology/constructions.tex#example-8 |
| DW7578PPPH | DW7578PPPH | 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.13875#AYJ4 |
| DW7DY6JA2S | DW7DY6JA2S | 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 2011.06637#9XVM |
| DW7MFKM3K4 | DW7MFKM3K4 | 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.18324#RUMQ |
| DW7VKMWZ62 | DW7VKMWZ62 | 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.38118#00FE |
| DW88Q963XG | DW88Q963XG | 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.00560#8KE4 |
| DW8GFD830C | DW8GFD830C | 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.37313#DOYU |
| DW8N0RKM90 | DW8N0RKM90 | 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.22708#72UY |
| DW8QJ2BEHN | DW8QJ2BEHN | 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.15402#6NSS |
| DW8RBM1QMP | DW8RBM1QMP | 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.39745#Q2UF |
| DW94HD3NDF | DW94HD3NDF | 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 2110.11143#6P8B |
| DWA4GRZ4ET | DWA4GRZ4ET | 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 1802.02910#MS3Z |
| DWA9CNQJC7 | DWA9CNQJC7 | 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.11056#DB3Q |
| DWAAM61MPT | DWAAM61MPT | proof | open | open_logic content/set-theory/spine/rank.tex#proof-1 |
| DWAF58EZ0T | DWAF58EZ0T | 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#DJ9E |
| dwarf planet | E08SYA2634 | definition | open | Wikidata Q2199, ProofWiki Definition:Dwarf_Planet |
| DWAVA7B3H4 | DWAVA7B3H4 | 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.02141#2EAC |
| DWB1W8Z2BV | DWB1W8Z2BV | 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.20568#AF9W |
| DWBA | ARKDZZ9WR3 | unknown | open | Wikipedia Born approximation#YT84 |