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 801–900 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| D8Z0B6BPYT | D8Z0B6BPYT | statement | record (an 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.07340#GPY2 |
| D8Z3YP38V4 | D8Z3YP38V4 | 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.18016#5HWS |
| D8ZQ0H7TP2 | D8ZQ0H7TP2 | statement | record (an 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#3U69 |
| D90G0P4D02 | D90G0P4D02 | statement | record (an 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.08382#HC8T |
| D90PE82D90 | D90PE82D90 | statement | record (an 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.10233#UD2N |
| D90PHVFVRZ | D90PHVFVRZ | statement | record (an 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.10243#3JKG |
| D90V6HB5CJ | D90V6HB5CJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#140P |
| D915YA34E9 | D915YA34E9 | 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.12669#LI6J |
| D91B88HPKR | D91B88HPKR | statement | open | open_logic content/turing-machines/undecidability/verification.tex#lem:halt-config-implies-halt |
| D91KBBN04M | D91KBBN04M | statement | record (an 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/0411039#KJH3 |
| D922ZAP02X | D922ZAP02X | unknown | open | |
| D924EAWNY4 | D924EAWNY4 | unknown | open | |
| D9278JCSW6 | D9278JCSW6 | statement | record (an 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#3M3J |
| D92M4FKEKJ | D92M4FKEKJ | statement | record (an 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.07511#0VFO |
| D92MXQGPZX | D92MXQGPZX | statement | record (an 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#MQDI |
| D92ZYVGPZC | D92ZYVGPZC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#Y7TL |
| D94C10004Z | D94C10004Z | example | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#example-3 |
| D94N96XA2Z | D94N96XA2Z | exercise | open | lebl_ra ch-riemann.tex#exercise-14 |
| D951E52X56 | D951E52X56 | statement | record (an 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.21533#OS7F |
| D95ECQE288 | D95ECQE288 | 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 2205.06433#XE9A |
| D95FJ3RYK6 | D95FJ3RYK6 | statement | record (an 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.01057#H95H |
| D95HW7WEX0 | D95HW7WEX0 | statement | record (an 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.00909#P57P |
| D97F6SQEJS | D97F6SQEJS | unknown | open | arXiv 2609.25111#FAOS |
| D98HGQADZ4 | D98HGQADZ4 | exercise | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-3 |
| D98PPE6155 | D98PPE6155 | exercise | open | applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-2 |
| D98WGHD77G | D98WGHD77G | statement | record (an 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.40191#M8K4 |
| D993YNDD0F | D993YNDD0F | proof | open | open_logic content/model-theory/lindstrom/ls-property.tex#proof-1 |
| D99Q1Z81KV | D99Q1Z81KV | statement | record (an 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.19309#XW77 |
| D9AJT6B0H3 | D9AJT6B0H3 | statement | record (an 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.31274#4861 |
| D9AV67HZMG | D9AV67HZMG | 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.37520#X7RD |
| D9AY38ZRSK | D9AY38ZRSK | statement | record (an 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.35275#UQH2 |
| D9BAK8209R | D9BAK8209R | statement | record (an 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.40274#GE2N |
| D9BW75D4V3 | D9BW75D4V3 | 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.08293#ISXY |
| D9BYY2RCHA | D9BYY2RCHA | statement | record (an 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.35632#2Q1V |
| D9C4H4XC75 | D9C4H4XC75 | statement | record (an 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.07092#7L5A |
| D9CFCAKBX7 | D9CFCAKBX7 | 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.07318#2O13 |
| D9D7B63AYK | D9D7B63AYK | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-7 |
| D9DBKVYHVH | D9DBKVYHVH | statement | record (an 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#64YL |
| D9DXPW4ZT1 | D9DXPW4ZT1 | statement | record (an 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.24325#MNKB |
| D9ED3633X4 | D9ED3633X4 | statement | record (an 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.04498#6B3H |
| D9EHGS9PFG | D9EHGS9PFG | proof | open | levin_dmoi ptx/exercises/logic-proofs.ptx#proof-3 |
| D9FPWPFB65 | D9FPWPFB65 | 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.09809#QI9X |
| D9FQ08MAFF | D9FQ08MAFF | statement | record (an 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#0QR8 |
| D9G5XFJ6BC | D9G5XFJ6BC | statement | record (an 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.05661#JBGY |
| D9GCK9XPXM | D9GCK9XPXM | statement | record (an 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.21675#EZ7B |
| D9GFKCD1HW | D9GFKCD1HW | statement | record (an 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.07855#4NKX |
| D9GGYY830Y | D9GGYY830Y | 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#0PGN |
| D9GMB2893H | D9GMB2893H | statement | record (an 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.21929#SSFX |
| D9GYFY0K39 | D9GYFY0K39 | statement | record (an 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#C2N1 |
| D9HAM15JNZ | D9HAM15JNZ | statement | record (an 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.08004#AJGU |
| D9J5K80X5X | D9J5K80X5X | 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.12633#GCP2 |
| D9JRR9FAF0 | D9JRR9FAF0 | 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 2505.05539#4VQ9 |
| D9JTXVYTCS | D9JTXVYTCS | statement | record (an 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.00048#KQFH |
| D9K3B37HRA | D9K3B37HRA | statement | record (an 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.22291#PHYZ |
| D9KCNTZYSN | D9KCNTZYSN | statement | record (an 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.27078#36CI |
| D9KMEMCXMM | D9KMEMCXMM | example | open | austin_ula src/section4-2.xml#example-2 |
| D9KMJKYEZ0 | D9KMJKYEZ0 | statement | record (an 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.15942#DJS6 |
| D9KTZSF0Z7 | D9KTZSF0Z7 | 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.28254#CPXK |
| D9MKRDYEGQ | D9MKRDYEGQ | 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 2412.20238#F8MN |
| D9MNB3XAD7 | D9MNB3XAD7 | statement | record (an 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.08865#1UTG |
| D9MS5WXB8Z | D9MS5WXB8Z | proof | open | napkin tex/calculus/limits.tex#proof-1 |
| D9MVW3Z3YY | D9MVW3Z3YY | statement | record (an 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.05365#L13A |
| D9NP1KHRH9 | D9NP1KHRH9 | statement | record (an 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.31781#IRUH |
| D9NRQCD9B6 | D9NRQCD9B6 | statement | record (an 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#RC9W |
| D9NT9JNNYQ | D9NT9JNNYQ | definition | open | napkin tex/riemann-surface/complex-structure.tex#definition-2 |
| D9PFBS6DKJ | D9PFBS6DKJ | 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.32077#5IES |
| D9PJ4ZWY1Y | D9PJ4ZWY1Y | statement | record (an 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.02489#DFRW |
| D9PY090BD4 | D9PY090BD4 | definition | open | lebl_scv scv.tex#defn-36 |
| D9QC280K7N | D9QC280K7N | statement | record (an 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.19590#ELLA |
| D9QQZ5W3Q8 | D9QQZ5W3Q8 | statement | record (an 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.08480#IZ6K |
| D9RPYARSCD | D9RPYARSCD | statement | record (an 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.36403#91KY |
| D9SSEXB8HQ | D9SSEXB8HQ | 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 1705.04310#DX3V |
| D9SZA6VQCB | D9SZA6VQCB | 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.03011#PE8Z |
| D9T1NZPP1R | D9T1NZPP1R | statement | record (an 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.18992#Z671 |
| D9TKM7QW98 | D9TKM7QW98 | statement | record (an 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.18620#WNQE |
| D9TRGM50M8 | D9TRGM50M8 | statement | record (an 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.28594#C5ZD |
| D9WE0C94DT | D9WE0C94DT | statement | record (an 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.06899#XZD1 |
| D9X3YR8DAS | D9X3YR8DAS | statement | record (an 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#W4WP |
| D9XHXBDRA5 | D9XHXBDRA5 | statement | record (an 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.38069#7K23 |
| D9XXHTHMWR | D9XXHTHMWR | statement | record (an 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#MKA6 |
| D9Y7T7GYV7 | D9Y7T7GYV7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.15223#6HHS |
| D9YW1SDWFN | D9YW1SDWFN | 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 2509.21121#OUL6 |
| D9ZG582C8W | D9ZG582C8W | exercise | open | levin_dmoi ptx/exercises/gt-intro.ptx#exercise-2 |
| D9ZKRHYWRZ | D9ZKRHYWRZ | statement | record (an 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.29498#7270 |
| DA1JKZ5SMP | DA1JKZ5SMP | 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 1204.5958#VU70 |
| DA202M02T9 | DA202M02T9 | statement | record (an 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.06455#GI4F |
| DA2308RV01 | DA2308RV01 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.02831#5JOE |
| DA2H4G0SJH | DA2H4G0SJH | statement | record (an 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#MWON |
| DA2M8GJKZD | DA2M8GJKZD | statement | record (an 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.04876#4DH4 |
| DA2RM1SZ7P | DA2RM1SZ7P | exercise | open | napkin tex/alg-NT/finite-field.tex#ques-3 |
| DA3BP3MCXB | DA3BP3MCXB | statement | record (an 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.12852#D0YM |
| DA3F1T913J | DA3F1T913J | statement | record (an 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#GH8F |
| DA3YCPNSSK | DA3YCPNSSK | statement | record (an 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.09599#567O |
| DA44AQFFC0 | DA44AQFFC0 | statement | record (an 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.07401#4Z1A |
| DA50CTBHQA | DA50CTBHQA | statement | record (an 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.33856#2DJT |
| DA6PAYYX9W | DA6PAYYX9W | 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.31445#PLC7 |
| DA79WZAW7F | DA79WZAW7F | statement | record (an 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#V63T |
| DA7S7E26XM | DA7S7E26XM | exercise | open | lebl_scv scv.tex#exercise:dolbeaultlemmaballs |
| DA7SFHQ7AW | DA7SFHQ7AW | statement | record (an 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.07340#PDYM |
| DA84NCFK5P | DA84NCFK5P | exercise | open | open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#prob-1 |