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 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 1201–1300 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DC9WDAEZTR | DC9WDAEZTR | 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.40282#X3FK |
| DC9XMWVM0V | DC9XMWVM0V | 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 1912.02769#62ZJ |
| DCAZ4BQ4AD | DCAZ4BQ4AD | statement | open | hott_book basics.tex#transport-Sigma |
| DCAZGKGM7G | DCAZGKGM7G | 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 2407.04161#XV9P |
| DCB1HE11SW | DCB1HE11SW | example | open | ernst_ibl MAAPressVersion/Relations.tex#example-5 |
| DCBYQ8V34D | DCBYQ8V34D | 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.05722#MNAX |
| DCBZ9S1HWE | DCBZ9S1HWE | 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.28489#UANK |
| DCC5H1XPVH | DCC5H1XPVH | 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.14278#XH8C |
| DCCN2FZGXG | DCCN2FZGXG | example | open | levin_dmoi ptx/sec_intro-sets.ptx#example-2 |
| DCCQVZYG40 | DCCQVZYG40 | 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 0904.3493#PTJ0 |
| DCCVP424ZF | DCCVP424ZF | 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.07352#VZNK |
| DCD6STKJ5A | DCD6STKJ5A | 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.14080#ULA6 |
| DCDRH7PBJ1 | DCDRH7PBJ1 | 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.08370#6OS5 |
| DCE19E83CJ | DCE19E83CJ | 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.19010#1SH6 |
| DCE67N13TV | DCE67N13TV | 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.15504#EEI7 |
| DCF19VR3QB | DCF19VR3QB | 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.24412#LAKZ |
| DCF4HBMYQM | DCF4HBMYQM | 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.16554#T59P |
| DCFFPE7D79 | DCFFPE7D79 | 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.17135#4JKN |
| DCFG2MWMCF | DCFG2MWMCF | 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.39726#RP1F |
| DCFH30033W | DCFH30033W | 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.29537#7VPB |
| DCFQD73MSQ | DCFQD73MSQ | 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.21934#12RJ |
| DCG49SVQFY | DCG49SVQFY | 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#D2NP |
| DCG6026GCX | DCG6026GCX | 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.06433#HKLN |
| DCGAR1DV32 | DCGAR1DV32 | 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.12857#85PY |
| DCH3PP8B1M | DCH3PP8B1M | 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.05582#N5F0 |
| DCH7VGTRC4 | DCH7VGTRC4 | exercise | open | napkin tex/linalg/dets.tex#problem-7 |
| DCJA6F1B03 | DCJA6F1B03 | 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.12330#SRV0 |
| DCJAVEXJ5F | DCJAVEXJ5F | 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.20466#8C3O |
| DCJG5C53MS | DCJG5C53MS | 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.38396#992C |
| DCJPH14R6F | DCJPH14R6F | 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.28403#MTBY |
| DCK3ZFXMYP | DCK3ZFXMYP | 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.24484#T7E6 |
| DCKBMV9N2S | DCKBMV9N2S | 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.05611#7D1L |
| DCKJAYD449 | DCKJAYD449 | exercise | open | napkin tex/H113/action.tex#problem-2 |
| DCKPCPNY14 | DCKPCPNY14 | 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.31102#5N6X |
| DCKPNMRBCA | DCKPNMRBCA | 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.11905#86XA |
| DCKW85QB24 | DCKW85QB24 | 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.05179#MB8T |
| DCNH7DT7PT | DCNH7DT7PT | 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#DN5I |
| DCNW5E6BY7 | DCNW5E6BY7 | 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 2511.12649#GN3W |
| DCP01F4MY3 | DCP01F4MY3 | 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.28020#NESF |
| DCP5VXQEXW | DCP5VXQEXW | 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.07695#Q892 |
| DCRTEWZ9HC | DCRTEWZ9HC | 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#00WX |
| DCRXRBE935 | DCRXRBE935 | 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.09645#OAGY |
| DCSBA7RRS5 | DCSBA7RRS5 | 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.20558#VKMV |
| DCSD2W8JWZ | DCSD2W8JWZ | 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.07409#N008 |
| DCSM06B98Y | DCSM06B98Y | 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.40251#GOGV |
| DCSPHEJ1ZV | DCSPHEJ1ZV | 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 2511.08099#O4IA |
| DCTE3N8218 | DCTE3N8218 | 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.12908#J65P |
| DCTX0BKZ2K | DCTX0BKZ2K | 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.03619#27AA |
| DCV5MTHTRD | DCV5MTHTRD | exercise | open | applied_combinatorics source/s_induction_exercises.ptx#exercise-9 |
| DCVFT82YP8 | DCVFT82YP8 | 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.17318#DJUL |
| DCVFVJ3M1F | DCVFVJ3M1F | 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 math/0406514#8IF1 |
| DCVTR7D5WS | DCVTR7D5WS | 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.31102#MXZC |
| DCVW3Z8WNB | DCVW3Z8WNB | 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.05990#RT9Q |
| DCWCQQH5QR | DCWCQQH5QR | 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#VAZ4 |
| DCWGEHDEFY | DCWGEHDEFY | statement | open | open_logic content/proof-theory/natural-deduction/grafting.tex#prop-1 |
| DCWQ1AEDKE | DCWQ1AEDKE | 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.21427#JZLY |
| DCWVYX702T | DCWVYX702T | 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.33704#CRHP |
| DCX0C0HN9X | DCX0C0HN9X | 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.35102#36JX |
| DCXV6AHFNH | DCXV6AHFNH | 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#QWM0 |
| DCYBZP1RBD | DCYBZP1RBD | 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 2608.24190#YIHT |
| DCYMK0SX90 | DCYMK0SX90 | 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.13931#8I0Y |
| DCYRGPBTZZ | DCYRGPBTZZ | 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.10078#84D9 |
| DCZ3PH7XQ0 | DCZ3PH7XQ0 | 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.00813#OY7Q |
| DCZDRP8665 | DCZDRP8665 | 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.00162#E0V9 |
| DCZJ5TX82Y | DCZJ5TX82Y | 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.11677#EM5R |
| DD03Y2MSKE | DD03Y2MSKE | 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.32078#T406 |
| DD144JT16Q | DD144JT16Q | 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.03756#HKUE |
| DD1AK57M8F | DD1AK57M8F | 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.20775#USYX |
| DD1DCH8C7Q | DD1DCH8C7Q | 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.25472#7TB3 |
| DD1Y8QBRE8 | DD1Y8QBRE8 | 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#L89C |
| DD28VMDARD | DD28VMDARD | 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.09390#JJ29 |
| DD2Q4AV7AT | DD2Q4AV7AT | 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.32140#TJD9 |
| DD315KX4T1 | DD315KX4T1 | 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#VBMR |
| DD3CH10JN6 | DD3CH10JN6 | 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.20932#56KG |
| DD3H2835M2 | DD3H2835M2 | 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.25656#WM3V |
| DD41GKS108 | DD41GKS108 | 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.31363#7NU1 |
| DD420JSZ35 | DD420JSZ35 | 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.35467#IBL6 |
| DD49DW6GCY | DD49DW6GCY | 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.22288#YVVX |
| DD4BBF623D | DD4BBF623D | 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.04870#MMFA |
| DD53VR928S | DD53VR928S | 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.15831#KEFO |
| DD55ECR7PX | DD55ECR7PX | 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.25524#HIP6 |
| DD59B90X7W | DD59B90X7W | 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.29631#1IT0 |
| DD5S23E04B | DD5S23E04B | 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.11997#305P |
| DD62TW5FVA | DD62TW5FVA | 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.29824#IBZH |
| DD6EF4NRGS | DD6EF4NRGS | 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.03601#51R6 |
| DD6FCT7KYE | DD6FCT7KYE | 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.30892#10W4 |
| DD75JD4PZQ | DD75JD4PZQ | 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 0905.1489#46FX |
| DD77KRQ383 | DD77KRQ383 | 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.33775#SIQO |
| DD79DNZNRE | DD79DNZNRE | 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.37562#JM55 |
| DD8RP8NMNJ | DD8RP8NMNJ | 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.00113#G7D6 |
| DD91TN5V2K | DD91TN5V2K | 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.12014#EFFW |
| DD93ZGG61C | DD93ZGG61C | 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.34852#BQJP |
| DD9A5VQ39M | DD9A5VQ39M | exercise | open | napkin tex/H113/ring-intro.tex#exercise-3 |
| DD9JFTJTB8 | DD9JFTJTB8 | exercise | open | levin_dmoi ptx/exercises/intro-statements.ptx#exercise-7 |
| DD9R344HDJ | DD9R344HDJ | 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.01656#BSNE |
| DDAECTNYRB | DDAECTNYRB | 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.16431#ZTF0 |
| DDAH3FYZ2Z | DDAH3FYZ2Z | 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 1303.4328#9IY9 |
| DDAQ56V46Q | DDAQ56V46Q | 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#H8RY |
| DDB6X1M096 | DDB6X1M096 | 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 2312.05005#F2RN |
| DDBFZYC32R | DDBFZYC32R | 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.04323#49ZN |