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 3701–3800 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DP17MQPVTA | DP17MQPVTA | 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 1011.5443#EHFT |
| DP22S6WQMR | DP22S6WQMR | 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.16252#KG7J |
| DP2449978E | DP2449978E | 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.10930#YZXI |
| DP26KEJ4TK | DP26KEJ4TK | 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.03336#SDHU |
| DP484QC9Z1 | DP484QC9Z1 | 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.01928#GGKF |
| DP4PN3YXG9 | DP4PN3YXG9 | 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.05539#23V7 |
| DP4VHTZEZ4 | DP4VHTZEZ4 | 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.24577#AEXY |
| DP4ZSM82P3 | DP4ZSM82P3 | 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.05499#N138 |
| DP6JR90QW8 | DP6JR90QW8 | 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.37606#43GN |
| DP6RAPW05Z | DP6RAPW05Z | 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.39948#IIKF |
| DP71KF4Y05 | DP71KF4Y05 | 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.40260#MA9W |
| DP74GS6ZA5 | DP74GS6ZA5 | 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.33162#ZHDA |
| DP7KGVRGBW | DP7KGVRGBW | 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.29152#8DPM |
| DP7QXP09DQ | DP7QXP09DQ | 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.14445#H3CP |
| DP7R4TGK76 | DP7R4TGK76 | 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.15454#Q0NX |
| DP7V5CD6JC | DP7V5CD6JC | 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 2601.15010#WMRZ |
| DP7VKH7RSP | DP7VKH7RSP | exercise | open | napkin tex/alg-NT/dedekind.tex#exercise-3 |
| DP98HRBDHN | DP98HRBDHN | 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#0H9W |
| DPAEXGGM46 | DPAEXGGM46 | 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.04317#4Q6V |
| DPAJ4NK9MM | DPAJ4NK9MM | 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#MPO3 |
| DPANDTKD5N | DPANDTKD5N | 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.38742#9EHF |
| DPBBACBT4Q | DPBBACBT4Q | 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#I6AH |
| DPC31M1B0J | DPC31M1B0J | example | open | napkin tex/diffgeo/forms.tex#example-4 |
| DPCZK34QTV | DPCZK34QTV | 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 2102.12931#ONWU |
| DPDJ0XMD81 | DPDJ0XMD81 | proof | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#proof-1 |
| DPDXA8G1S8 | DPDXA8G1S8 | 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.04600#ZDEA |
| DPE772Q4ZB | DPE772Q4ZB | 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.08976#UHS5 |
| DPEJAY7HAX | DPEJAY7HAX | 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.31979#WP8K |
| DPFA87P5V8 | DPFA87P5V8 | 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.03756#FCA6 |
| DPFCXM07K9 | DPFCXM07K9 | 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 2609.27360#8D91 |
| DPG6VSZZMJ | DPG6VSZZMJ | proof | open | napkin tex/homology/excision.tex#proof-4 |
| DPHCQNM2CT | DPHCQNM2CT | 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.08039#ZHA3 |
| DPHD8DXD7D | DPHD8DXD7D | 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.40189#OW4L |
| DPJ8CRAKK5 | DPJ8CRAKK5 | 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.38532#LXQY |
| DPK97F6558 | DPK97F6558 | definition | open | open_logic content/turing-machines/undecidability/halting-problem.tex#defn-3 |
| DPKD81ZVGG | DPKD81ZVGG | 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#U7KV |
| DPKZWJZZX6 | DPKZWJZZX6 | 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.27673#5A0M |
| DPM3X75AAT | DPM3X75AAT | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-67 |
| DPMGHMR4K4 | DPMGHMR4K4 | 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.38567#D3B6 |
| DPN2D1WNKK | DPN2D1WNKK | 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.19451#CMRV |
| DPNA5Z217Z | DPNA5Z217Z | 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 2510.05499#W77A |
| DPNZHDQWGA | DPNZHDQWGA | exercise | open | lebl_scv scv.tex#exercise-167 |
| DPP $\Theta_k$ on $(X,\phi)$ | H8KDSQV0QH | 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.17669#2GUD |
| DPP ordered trace and conditional unordered descent | 8A3R9N7FZ5 | 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.27799#VRCX |
| DPP-compatible monoidal logarithmic functions | P63G8T9768 | 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.27799#KQ53 |
| DPPDEFG5E9 | DPPDEFG5E9 | definition | open | open_logic content/set-theory/ord-arithmetic/multiplication.tex#defn-1 |
| DPPRXFGD91 | DPPRXFGD91 | exercise | open | austin_ula src/exercises/exercises1-3.xml#exercise-2 |
| DPQ2HPNPH2 | DPQ2HPNPH2 | proof | open | hott_book reals.tex#proof-23 |
| DPQ77XV6BW | DPQ77XV6BW | 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.17751#SVL5 |
| DPQ939HVSR | DPQ939HVSR | statement | open | applied_combinatorics source/s_graphs_color.ptx#thm_graphs_bipartite |
| DPQKXN9218 | DPQKXN9218 | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-59 |
| DPR062G8TK | DPR062G8TK | 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.18287#1G4Q |
| DPR48W9P9N | DPR48W9P9N | 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.12736#MGMP |
| DPRD3S93ZZ | DPRD3S93ZZ | 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.22326#HDEP |
| DPS2KS0SSF | DPS2KS0SSF | 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#7N1K |
| DPS8EHMX7M | DPS8EHMX7M | 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.18436#GXMM |
| DPT1NBV4ED | DPT1NBV4ED | 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 2208.05288#6GB9 |
| DPT3B7M3N4 | DPT3B7M3N4 | 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 2103.02468#C7PH |
| DPT6QE6SS0 | DPT6QE6SS0 | 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.16844#UV7Z |
| DPT8R7GDST | DPT8R7GDST | 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.26127#G35P |
| DPTFQNNTVC | DPTFQNNTVC | 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.16358#M7ZT |
| DPVRQRHW4K | DPVRQRHW4K | 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.30675#V3DM |
| DPW0BTW1K6 | DPW0BTW1K6 | 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.12912#N99Z |
| DPX5V7WKMX | DPX5V7WKMX | 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.19288#J2IE |
| DPX799CTNP | DPX799CTNP | 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.07461#L65F |
| DPY9V7JHHK | DPY9V7JHHK | 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.26496#TKBH |
| DPYFMDV6DQ | DPYFMDV6DQ | 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.35577#LOIC |
| DPYHZEGBNY | DPYHZEGBNY | 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.08837#KHW1 |
| DPYJ3MVYFM | DPYJ3MVYFM | 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.01932#X58G |
| DPYSSP2227 | DPYSSP2227 | example | open | lebl_scv scv.tex#example:discriminantnotsingset |
| DPYXAV2J49 | DPYXAV2J49 | 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.12689#PO8J |
| DPZDBVV00W | DPZDBVV00W | 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.07608#OZ29 |
| DQ1KAEYPPR | DQ1KAEYPPR | 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.16235#OZLP |
| DQ2BN99HCH | DQ2BN99HCH | 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 2602.03909#W70G |
| DQ2NSVVRJM | DQ2NSVVRJM | example | open | lebl_scv scv.tex#sqrt:example |
| DQ2YX06EV1 | DQ2YX06EV1 | 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.02579#T7J5 |
| DQ36E05HK5 | DQ36E05HK5 | 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.14741#OOG4 |
| DQ3880485Q | DQ3880485Q | 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.17516#M278 |
| DQ3JMVWABT | DQ3JMVWABT | 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#JAZ7 |
| DQ3M93RT77 | DQ3M93RT77 | 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.21963#M3SG |
| DQ41DT1NX0 | DQ41DT1NX0 | 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.12576#4TYZ |
| DQ4RKMR16P | DQ4RKMR16P | 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 2410.22607#XGON |
| DQ4TPPCGMS | DQ4TPPCGMS | 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.21408#6LDZ |
| DQ65S1RCXJ | DQ65S1RCXJ | 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.17875#AHDU |
| DQ6JF1PB2P | DQ6JF1PB2P | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-27 |
| DQ6SRSCS55 | DQ6SRSCS55 | 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.14045#F1E9 |
| DQ6SRSJMMY | DQ6SRSJMMY | 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 2310.10361#XLCE |
| DQ7CZH1AGR | DQ7CZH1AGR | 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.38436#48CR |
| DQ7ZE0KNH7 | DQ7ZE0KNH7 | 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.20385#C7YT |
| DQ8AV6G946 | DQ8AV6G946 | 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#962S |
| DQ8F55PANZ | DQ8F55PANZ | 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 2508.02432#X6NB |
| DQ8JQPC9QR | DQ8JQPC9QR | 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.01970#1XFK |
| DQ9Q381PNN | DQ9Q381PNN | 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.03422#1T57 |
| DQ9Y34PHQ8 | DQ9Y34PHQ8 | 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.22074#LHZR |
| DQA8J77DVN | DQA8J77DVN | 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#8FRU |
| DQAHCJGS14 | DQAHCJGS14 | exercise | open | lebl_ra ch-seq-ser.tex#exercise-20 |
| DQAK6BBFYF | DQAK6BBFYF | 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.04068#MJ22 |
| DQAPQ47VCH | DQAPQ47VCH | 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 2608.23797#TR26 |
| DQB39PQTMW | DQB39PQTMW | 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.09704#TM78 |
| DQB574B2FC | DQB574B2FC | 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.19088#3ERW |