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 3301–3400 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DKCW1QYGT4 | DKCW1QYGT4 | statement | record (an 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#8579 |
| DKCY2YH23G | DKCY2YH23G | exercise | open | lebl_ra ch-der.tex#exercise-25 |
| DKD5C37Y29 | DKD5C37Y29 | 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.05628#7ROG |
| DKDAZJEN8X | DKDAZJEN8X | statement | record (an 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#JXI0 |
| DKDHQ05GY2 | DKDHQ05GY2 | statement | record (an 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.14979#Z8MY |
| DKDR95QD8Y | DKDR95QD8Y | statement | record (an 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#2KE0 |
| DKE4PE6FGW | DKE4PE6FGW | statement | record (an 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.36423#J4JK |
| DKF718K25H | DKF718K25H | statement | record (an 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.15169#3D1X |
| DKFFG6BYQW | DKFFG6BYQW | statement | record (an 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.09809#I95D |
| DKGHRJTZPX | DKGHRJTZPX | statement | record (an 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.09561#45P5 |
| DKGJ6NB73W | DKGJ6NB73W | definition | open | open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-4 |
| DKGT8TTS2W | DKGT8TTS2W | 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.34918#XT6F |
| DKH82D0A37 | DKH82D0A37 | 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.00134#5YYS |
| DKHBBFZEXR | DKHBBFZEXR | statement | record (an 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.31242#XHB4 |
| DKHQ8NP4BD | DKHQ8NP4BD | statement | record (an 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.04466#42DU |
| DKJ2D9X9BF | DKJ2D9X9BF | 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.10973#ES3R |
| DKJ4Y7T4WM | DKJ4Y7T4WM | example | open | austin_ula src/section7-2.xml#example-1 |
| DKJGQE119C | DKJGQE119C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.02473#PQOW |
| DKJKSJVM0B | DKJKSJVM0B | 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.20911#H5XI |
| DKJYGWH3XJ | DKJYGWH3XJ | statement | record (an 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.24353#DM2Q |
| DKK145MNNN | DKK145MNNN | statement | open | austin_ula src/section6-5.xml#proposition-1 |
| DKK6Z335NE | DKK6Z335NE | statement | record (an 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.14189#QLVT |
| DKMCR52Y06 | DKMCR52Y06 | statement | record (an 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.11507#311K |
| DKMHG5ZH8K | DKMHG5ZH8K | definition | open | napkin tex/alg-geom/mor-scheme.tex#definition-6 |
| DKMZ497218 | DKMZ497218 | statement | record (an 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.11047#DJQ4 |
| DKMZ6A3YCS | DKMZ6A3YCS | statement | record (an 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.15926#BOFK |
| DKNBB6HT5T | DKNBB6HT5T | statement | record (an 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.38250#SI3M |
| DKPKG5FN5G | DKPKG5FN5G | statement | record (an 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.11336#EZXI |
| DKPPM822XY | DKPPM822XY | statement | record (an 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.38844#QBN9 |
| DKQ3D38G8M | DKQ3D38G8M | 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.30544#7IIY |
| DKQCG8FSGQ | DKQCG8FSGQ | 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 2412.14956#D4MB |
| DKR0GDP48K | DKR0GDP48K | example | open | lebl_diffyqs ch-first-order-ode.tex#example-6 |
| DKRAEA5CZX | DKRAEA5CZX | statement | record (an 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.22681#0DBM |
| DKRXSPEDR2 | DKRXSPEDR2 | statement | record (an 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.10221#5PUN |
| DKS8A4WDT5 | DKS8A4WDT5 | exercise | open | austin_ula src/exercises/exercises7-1.xml#exercise-3 |
| DKS97XV1KD | DKS97XV1KD | 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.18302#4HZK |
| DKSRBF6KY7 | DKSRBF6KY7 | 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.10930#92DR |
| DKSWWH7TN7 | DKSWWH7TN7 | statement | record (an 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.13392#CFT0 |
| DKT04SK862 | DKT04SK862 | statement | record (an 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.15291#Z41G |
| DKT1HS6NE4 | DKT1HS6NE4 | 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.01433#47EZ |
| DKT6HWE5A4 | DKT6HWE5A4 | statement | record (an 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.21507#GQ8G |
| DKTEP299MX | DKTEP299MX | 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 2210.02997#XRUX |
| DKVTA0T9WQ | DKVTA0T9WQ | statement | record (an 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.38772#O52L |
| DKVW275A6N | DKVW275A6N | statement | record (an 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.30527#YU2F |
| DKW3AWGH1K | DKW3AWGH1K | statement | record (an 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.12846#3XDC |
| DKX8WKM8KC | DKX8WKM8KC | statement | record (an 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.01121#HVLG |
| DKXG468JT3 | DKXG468JT3 | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#defn-2 |
| DKYVZ8EAAT | DKYVZ8EAAT | statement | record (an 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.26357#D4GI |
| DKZ4VNWZEG | DKZ4VNWZEG | exercise | open | applied_combinatorics source/s_graphs_exercises.ptx#exercise-30 |
| DKZTP3VW79 | DKZTP3VW79 | definition | open | lebl_scv scv.tex#defn-33 |
| DM00Z072Z4 | DM00Z072Z4 | statement | record (an 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.20739#HYEP |
| DM032RQ42W | DM032RQ42W | statement | record (an 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.19463#LOH4 |
| DM0D9JVZN0 | DM0D9JVZN0 | statement | record (an 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#9OM0 |
| DM0YX6P4NQ | DM0YX6P4NQ | statement | record (an 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.21258#6WPW |
| DM13FXHREV | DM13FXHREV | exercise | open | napkin tex/measure/martingale.tex#exer:martingale |
| DM1X009NYF | DM1X009NYF | statement | record (an 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.04164#VHVP |
| DM20910V8G | DM20910V8G | exercise | open | austin_ula src/exercises/exercises4-2.xml#exercise-4 |
| DM247YCBC3 | DM247YCBC3 | 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.10930#F8WC |
| DM2NMTAR0A | DM2NMTAR0A | statement | record (an 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.11301#XR1O |
| DM2YNR8ZHV | DM2YNR8ZHV | statement | record (an 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#ZHB1 |
| DM337ZXMYG | DM337ZXMYG | statement | record (an 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.34570#1B5K |
| DM3H5DMPRM | DM3H5DMPRM | exercise | open | levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-12 |
| DM3K0QKZFY | DM3K0QKZFY | 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 2109.12716#Q2M6 |
| DM4VZXHG7J | DM4VZXHG7J | statement | record (an 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.28509#FANQ |
| DM559927SA | DM559927SA | statement | record (an 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#RBJP |
| DM5CA46E34 | DM5CA46E34 | statement | record (an 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.19311#JNVK |
| DM5KXGX253 | DM5KXGX253 | statement | record (an 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.14097#CG03 |
| DM5MFWKVZS | DM5MFWKVZS | 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.10930#F4QH |
| DM5SQ2679S | DM5SQ2679S | statement | record (an 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.28265#EYVS |
| DM6G7C82TN | DM6G7C82TN | statement | record (an 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.03288#0KTL |
| DM6Q67CF3F | DM6Q67CF3F | statement | record (an 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.15700#M386 |
| DM6Q85F6ET | DM6Q85F6ET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#E829 |
| DM6S4SS4R4 | DM6S4SS4R4 | exercise | open | lebl_scv scv.tex#exercise-94 |
| DM6T7ZA4VG | DM6T7ZA4VG | statement | record (an 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.05354#B546 |
| DM754E4ZE6 | DM754E4ZE6 | 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 1209.5343#6XKG |
| DM7K8RDHQF | DM7K8RDHQF | 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.35095#VO6U |
| DM7Q033AA6 | DM7Q033AA6 | 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 2311.00585#GZLT |
| DM875SH7EJ | DM875SH7EJ | statement | record (an 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#P4H7 |
| DM8863FSQ5 | DM8863FSQ5 | statement | record (an 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#XD77 |
| DM8W3F4ZSQ | DM8W3F4ZSQ | statement | record (an 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.16381#WO8W |
| DM8WKVJDBW | DM8WKVJDBW | statement | record (an 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.18016#UYBM |
| DM951XED83 | DM951XED83 | statement | record (an 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.11974#1OJT |
| DM97HNP8XH | DM97HNP8XH | 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.14143#JIES |
| DMA5FN4B2F | DMA5FN4B2F | statement | record (an 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.06441#DROS |
| DMAET6KQGP | DMAET6KQGP | statement | record (an 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.10268#I4EG |
| DMAWVN66RK | DMAWVN66RK | statement | record (an 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.13510#TNZV |
| DMB42RM9J5 | DMB42RM9J5 | statement | record (an 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.00440#7UM6 |
| DMBCGA58YP | DMBCGA58YP | statement | record (an 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.27270#1MCQ |
| DMBESGKDWY | DMBESGKDWY | statement | record (an 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.10801#TBI9 |
| DMC5CM7WKR | DMC5CM7WKR | statement | record (an 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#66JZ |
| DMCEZ3VWXW | DMCEZ3VWXW | statement | record (an 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.13670#XLQ7 |
| DMCSG3H3JJ | DMCSG3H3JJ | statement | record (an 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#ITPG |
| DMCYN1THG9 | DMCYN1THG9 | statement | record (an 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.17825#6HGN |
| DMDKQ77V22 | DMDKQ77V22 | statement | record (an 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.02079#VK2W |
| DME3AME0AV | DME3AME0AV | statement | record (an 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.09812#XWG9 |
| DMEBN2BP66 | DMEBN2BP66 | exercise | open | hott_book induction.tex#ex:loop2 |
| DMEQ8RPYTQ | DMEQ8RPYTQ | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-75 |
| DMEXYR37R6 | DMEXYR37R6 | exercise | open | napkin tex/measure/martingale.tex#problem-4 |
| DMF1PH2S88 | DMF1PH2S88 | statement | record (an 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.21489#3SSV |
| DMFBF8A37Y | DMFBF8A37Y | 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.21080#SWDH |