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 1901–2000 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Davydov reduction | JPR8YQMSKF | 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.06372#E2J0 |
| Davydov--Simmons construction in the chosen tensor convention | H9SCXN2NTQ | 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.21414#ISDY |
| DAW0RAJDNB | DAW0RAJDNB | 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.04645#T189 |
| DAWBFA30CJ | DAWBFA30CJ | 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.21005#72R1 |
| Dawid Kielak | N6N5VA9C9E | topic | open | Wikipedia Dawid Kielak, Wikidata Q57957939 |
| Dawid, Philip | F50V7E0XVJ | unknown | open | Wikipedia List of statisticians#B7HX |
| DAWJ3PEVT9 | DAWJ3PEVT9 | 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.19285#9M0B |
| DAWMJZ51Y3 | DAWMJZ51Y3 | 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.18929#Y1SW |
| Dawn C. Porter | 6VMMX1431K | topic | open | Wikipedia Dawn C. Porter, Wikidata Q120450801 |
| Dawn Harper | EARD0F96A1 | unknown | open | Wikipedia List of University of California, Los Angeles people#GF8A |
| Dawn Lott | 1S9MXBVGVV | topic | open | Wikipedia Dawn Lott, Wikidata Q16946001 |
| Dawson function | RSYWGA2FAB | concept | open | Wikidata Q3055353, MathWorld DawsonsIntegral, Wikipedia Dawson function |
| Dawson–Gärtner theorem | 1M51CH0NAD | statement | open | Wikipedia List of theorems#ONFE |
| Dawson–Gärtner theorem | 7KW61FV476 | statement | open | mathlib_1000 Q5242704, Wikidata Q5242704, thousand_plus Q5242704, Wikipedia Dawson–Gärtner theorem |
| DAX02ACC55 | DAX02ACC55 | 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.13850#DZ9R |
| DAX0HZK5VW | DAX0HZK5VW | 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.24701#VLVB |
| DAX4289Y5Q | DAX4289Y5Q | 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.26386#FKYI |
| DAXBDQSMRD | DAXBDQSMRD | 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.20577#EE74 |
| DAXD1MTPFN | DAXD1MTPFN | 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.22078#SRVJ |
| DAXKRCY2GH | DAXKRCY2GH | 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.21388#IVN7 |
| day | AF3TD5GK0A | definition | open | Wikidata Q573, ProofWiki Definition:Time/Unit/Day |
| Day convolution | 1QRPJ58QVR | definition | open | Wikipedia Glossary of category theory#7R66 |
| Day convolution | G1Q2QHR2KK | definition | open | Wikidata Q85755931, nLab Day convolution, Wikipedia Day convolution |
| Day length fluctuations | 7EB17FN46N | definition | open | Wikipedia Day length fluctuations, Wikidata Q5462620 |
| Day, Besse | MM54ZFA4GE | unknown | open | Wikipedia List of statisticians#8EK3 |
| DAY0NXAFS1 | DAY0NXAFS1 | 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 2207.12181#VCYU |
| Daya-Nand Verma | 375X11HMJD | topic | open | Wikipedia List of Indian mathematicians#XNAY |
| Daya-Nand Verma | 4ASG8B6JBW | topic | open | Wikipedia Daya-Nand Verma, Wikidata Q4014684 |
| DAYEADQ1D6 | DAYEADQ1D6 | 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.05066#EGN5 |
| Daykin, Christopher | D3S7ZVWVQC | unknown | open | Wikipedia List of statisticians#PCYK |
| DAYZGNDRDY | DAYZGNDRDY | 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 2409.01237#QKAQ |
| DAZ02QSMKM | DAZ02QSMKM | 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.05512#0YIT |
| DAZCQP99AX | DAZCQP99AX | 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.21649#SA25 |
| DAZMA9GCV8 | DAZMA9GCV8 | 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.04434#I6UV |
| DAZN9RAXQY | DAZN9RAXQY | 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.21931#VG8N |
| DB Lytix | S3A9ZE43R4 | unknown | open | Wikipedia List of statistical software#QEYL |
| DB08EBGMFS | DB08EBGMFS | 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.15535#RFZQ |
| DB0C1SQFP9 | DB0C1SQFP9 | 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.10178#UVWI |
| DB0M037HJ0 | DB0M037HJ0 | 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.20391#HSGN |
| DB0Y8R7HP9 | DB0Y8R7HP9 | 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.09171#R2BK |
| DB175S1318 | DB175S1318 | exercise | open | levin_dmoi ptx/sec_seq-conc.ptx#investigation-1 |
| DB1CBQEJ82 | DB1CBQEJ82 | 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.29478#HP7N |
| DB1DJHYB2A | DB1DJHYB2A | 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.35204#Z0T9 |
| DB1T6F421R | DB1T6F421R | exercise | open | napkin tex/linalg/dets.tex#problem-6 |
| DB3E9GHPJ7 | DB3E9GHPJ7 | 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.25255#NI5W |
| DB402GKP6P | DB402GKP6P | 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.25188#6NAL |
| DB40SPW96W | DB40SPW96W | 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.28669#F9UE |
| DB414433KP | DB414433KP | 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.27360#F64B |
| DB4RW11MTP | DB4RW11MTP | 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.21000#YF8N |
| DB4Y3EGN0B | DB4Y3EGN0B | 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.28742#DQKU |
| DB526F7RRX | DB526F7RRX | 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 2405.02275#6DVL |
| DB5C4HE58V | DB5C4HE58V | 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.35360#SKHY |
| DB5C65EHTJ | DB5C65EHTJ | 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.23595#P1JQ |
| DB5MJXNMJQ | DB5MJXNMJQ | 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.05784#0FIV |
| DB5WDYJBP0 | DB5WDYJBP0 | 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.05715#YG7N |
| DB694XZVQR | DB694XZVQR | 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#X9Y3 |
| DB6PD235HF | DB6PD235HF | 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#DHVD |
| DB7744XA69 | DB7744XA69 | 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.16554#HVY2 |
| DB8364BAZS | DB8364BAZS | 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.19360#SCZR |
| DB8E83NRBH | DB8E83NRBH | proof | open | hott_book reals.tex#proof-3 |
| DB8EQZQA3G | DB8EQZQA3G | 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.37026#57S3 |
| DB8GTYMQFA | DB8GTYMQFA | statement | open | napkin tex/H113/sylow.tex#theorem-2 |
| DB935783D8 | DB935783D8 | 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.39505#KIS9 |
| DB969MK59Z | DB969MK59Z | 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 2205.13464#GS6K |
| DB977GR8SR | DB977GR8SR | 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.05486#G81K |
| DB9B8T2GQH | DB9B8T2GQH | 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.00312#69Q1 |
| DB9C10S7MR | DB9C10S7MR | 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.20740#LHEB |
| DB9SB2C1Z0 | DB9SB2C1Z0 | statement | open | napkin tex/calculus/differentiate.tex#theorem-3 |
| DBAFRRJAAC | DBAFRRJAAC | 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#THHB |
| DBANA7V4X1 | DBANA7V4X1 | 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.06621#Y1PE |
| DBAR problem | KZK7BK89YD | problem | open | Wikipedia DBAR problem, Wikidata Q5204385 |
| DBASE6N41V | DBASE6N41V | 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 2211.10178#B6QQ |
| DBBPYA87TW | DBBPYA87TW | 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.27798#LFRY |
| DBBQ8KKXH4 | DBBQ8KKXH4 | 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.36411#6X2W |
| DBBRXRCPPZ | DBBRXRCPPZ | 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.03337#H8WZ |
| DBC75HQK5N | DBC75HQK5N | 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.20798#0I75 |
| DBCHXN327C | DBCHXN327C | 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.04833#LYBY |
| DBCW3DD54D | DBCW3DD54D | 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.25168#Z2CP |
| DBD8VGS66D | DBD8VGS66D | 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.31269#TQIR |
| DBDX5DT3S2 | DBDX5DT3S2 | 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.30685#JXBV |
| DBE7E7J4SS | DBE7E7J4SS | 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.25080#L7V7 |
| DBEDGXM0N0 | DBEDGXM0N0 | exercise | open | austin_ula src/exercises/exercises7-1.xml#exercise-4 |
| DBEV5J5VNR | DBEV5J5VNR | 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.15593#ROZT |
| DBEWMN93M7 | DBEWMN93M7 | 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.10930#8EAW |
| DBF5M20TMA | DBF5M20TMA | unknown | open | arXiv 2205.15365#QCQR |
| DBF7H36SJ6 | DBF7H36SJ6 | 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.15257#674T |
| DBFA5FFX5N | DBFA5FFX5N | 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.27641#FKYY |
| DBG1AJ6KTZ | DBG1AJ6KTZ | 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 2406.06762#CE1H |
| DBG4BTQ9WN | DBG4BTQ9WN | 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.15393#RDWH |
| DBGD80ZA4C | DBGD80ZA4C | 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.09949#P6LP |
| DBGR4P2X8K | DBGR4P2X8K | 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#9UAB |
| DBGTNECZWQ | DBGTNECZWQ | 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.20599#SK6Y |
| DBHSXWH0MW | DBHSXWH0MW | 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.22205#SLWB |
| DBJTH6PTTQ | DBJTH6PTTQ | exercise | open | napkin tex/measure/caratheodory.tex#pr:construct_outer_measure |
| DBK1PM5RBT | DBK1PM5RBT | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-8 |
| DBK2XKQYDX | DBK2XKQYDX | 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 2105.08875#V7KB |
| DBKFHS2YMY | DBKFHS2YMY | 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.10935#UT24 |
| DBKWY3F4A2 | DBKWY3F4A2 | 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.10828#7K1O |
| DBM5S40VGT | DBM5S40VGT | 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 2505.04063#T0F4 |
| DBN2CH6YRA | DBN2CH6YRA | proof | open | hott_book categories.tex#proof-3 |