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 301–400 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| D3DVGNP6XA | D3DVGNP6XA | 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.22218#R5HY |
| D3DWW91T2B | D3DWW91T2B | statement | record (an 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.00843#OW33 |
| D3DZWB88GD | D3DZWB88GD | statement | record (an 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.39707#6ET5 |
| D3E2MEAGQV | D3E2MEAGQV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#MNDT |
| D3EE5YTJZB | D3EE5YTJZB | statement | record (an 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.13745#L4X4 |
| D3G9G6ST21 | D3G9G6ST21 | statement | record (an 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#LM6G |
| D3GBGCE913 | D3GBGCE913 | exercise | open | napkin tex/alg-geom/spec-examples.tex#ques-2 |
| D3GGW0DE2D | D3GGW0DE2D | statement | record (an 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#F2N0 |
| D3H07EP6EN | D3H07EP6EN | statement | record (an 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.24599#S333 |
| D3H0WTCAFD | D3H0WTCAFD | statement | record (an 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.01473#UAXS |
| D3HGZCPHF9 | D3HGZCPHF9 | statement | record (an 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.19093#3X0W |
| D3J202W0JW | D3J202W0JW | proof | open | open_logic content/proof-theory/propositions-as-types/normalization.tex#proof-3 |
| D3J7EYRGX1 | D3J7EYRGX1 | statement | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#thm:related if and only if same class |
| D3J9TDNDQC | D3J9TDNDQC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.07243#G0JA |
| D3JGA1Y6T1 | D3JGA1Y6T1 | statement | record (an 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.09422#1IU6 |
| D3KQ30BKS3 | D3KQ30BKS3 | 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.28677#UZWU |
| D3KVAG4Q4P | D3KVAG4Q4P | statement | record (an 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.12188#N1P6 |
| D3MJ2AMY75 | D3MJ2AMY75 | statement | record (an 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.20915#IBIM |
| D3MSSBTP3J | D3MSSBTP3J | statement | record (an 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.10813#QEEE |
| D3N32VFA38 | D3N32VFA38 | statement | record (an 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.35001#FTQX |
| D3NEG6Q6M5 | D3NEG6Q6M5 | statement | record (an 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.34311#WYWV |
| D3NGYY32WC | D3NGYY32WC | statement | record (an 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#XPY8 |
| D3NQNPCQBV | D3NQNPCQBV | 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.17188#15TE |
| D3NXRQ2ATG | D3NXRQ2ATG | statement | record (an 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#H2BA |
| D3NZ2APT20 | D3NZ2APT20 | statement | record (an 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.14319#5USG |
| D3PC1JP7HZ | D3PC1JP7HZ | statement | record (an 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#HEWO |
| D3QFXEYNDG | D3QFXEYNDG | statement | record (an 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#MC8H |
| D3QRA7PQHT | D3QRA7PQHT | statement | record (an 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.06645#98V4 |
| D3QS0N74ZN | D3QS0N74ZN | 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.13833#UR6B |
| D3QTWCVCCT | D3QTWCVCCT | statement | record (an 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.13745#3FFN |
| D3RJR5Y061 | D3RJR5Y061 | 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.21929#TA8B |
| D3VM85P52D | D3VM85P52D | statement | record (an 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.33643#W2GH |
| D3W1ZW96FR | D3W1ZW96FR | statement | record (an 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.29747#V613 |
| D3W40KPCS7 | D3W40KPCS7 | statement | record (an 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#SH8D |
| D3WFX70MG4 | D3WFX70MG4 | statement | record (an 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.31910#DKPX |
| D3WVT3P7CB | D3WVT3P7CB | statement | record (an 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#597E |
| D3X45ZTD6D | D3X45ZTD6D | statement | record (an 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#PE9H |
| D3X4M29KS1 | D3X4M29KS1 | statement | record (an 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.16898#2T3M |
| D3X62ZD5MQ | D3X62ZD5MQ | 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.05179#SB7N |
| D3XCWWTXCX | D3XCWWTXCX | statement | record (an 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.25742#K8I0 |
| D3XGFMMP9N | D3XGFMMP9N | statement | record (an 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#5P5N |
| D3XQNK6GDX | D3XQNK6GDX | statement | record (an 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.10580#60JV |
| D3Y5PWPD8E | D3Y5PWPD8E | statement | record (an 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#60EY |
| D3Y6WKJV2G | D3Y6WKJV2G | statement | record (an 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.16779#TLP2 |
| D3YEVSN8P8 | D3YEVSN8P8 | statement | record (an 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.26713#E4GG |
| D3YRWNHJ7X | D3YRWNHJ7X | statement | record (an 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.25307#ZGYA |
| D3YWM3PDF6 | D3YWM3PDF6 | statement | record (an 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.37208#P5GO |
| D3Z1PF3X4W | D3Z1PF3X4W | exercise | open | applied_combinatorics source/s_networkflow_exercises.ptx#exercise-7 |
| D3Z91B209R | D3Z91B209R | 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 2504.19468#TWKG |
| D3Z9M7YTTZ | D3Z9M7YTTZ | statement | record (an 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.19437#LMZB |
| D3ZD6E3ETM | D3ZD6E3ETM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1810.06028#BIW9 |
| D404VMPNQ2 | D404VMPNQ2 | 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.13753#OEGC |
| D40GCJVJV8 | D40GCJVJV8 | statement | record (an 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.25151#WCOR |
| D40VN2J0ZP | D40VN2J0ZP | statement | open | open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#lem-1 |
| D40XP78HK9 | D40XP78HK9 | statement | record (an 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.39347#ZPSV |
| D41C62TFRH | D41C62TFRH | 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.04382#4QNP |
| D41KTS8MD1 | D41KTS8MD1 | statement | record (an 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#8NZK |
| D425ZS43XV | D425ZS43XV | statement | record (an 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.06541#F2H6 |
| D42EVWM076 | D42EVWM076 | statement | record (an 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.31615#K2BJ |
| D42N9QJ6DV | D42N9QJ6DV | statement | record (an 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.24448#JVZY |
| D4300RCF8D | D4300RCF8D | statement | record (an 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.17717#COV9 |
| D43203DFSV | D43203DFSV | statement | record (an 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.03661#3OP2 |
| D447QCWPWG | D447QCWPWG | statement | record (an 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.33957#ZYML |
| D448J5BSR8 | D448J5BSR8 | statement | record (an 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/9902147#SP81 |
| D44BCS00JS | D44BCS00JS | statement | record (an 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.30779#PYIC |
| D44GN0Q95X | D44GN0Q95X | statement | record (an 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.10077#GZBP |
| D45G11Y6Z3 | D45G11Y6Z3 | statement | record (an 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.29227#7CL8 |
| D45TA1XH6H | D45TA1XH6H | 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.08935#1FBP |
| D45XVMK89F | D45XVMK89F | statement | record (an 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.21092#BWK9 |
| D45ZKCCACC | D45ZKCCACC | statement | record (an 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.05299#BX10 |
| D46A7YVSQ1 | D46A7YVSQ1 | statement | record (an 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.24448#1YBG |
| D46SRWMK5A | D46SRWMK5A | statement | record (an 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.01087#L9WA |
| D46ZYM9DTJ | D46ZYM9DTJ | statement | record (an 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.26308#Z9V4 |
| D4757GHRR5 | D4757GHRR5 | 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.39317#1513 |
| D47X8BDSK2 | D47X8BDSK2 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-16 |
| D47ZZZXFCN | D47ZZZXFCN | statement | record (an 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.03437#WW0U |
| D486Y93NDH | D486Y93NDH | statement | record (an 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.28046#SLIL |
| D48H0JMA9A | D48H0JMA9A | 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.19845#F9LO |
| D48M56VVRB | D48M56VVRB | statement | record (an 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#G38Q |
| D48VE695T9 | D48VE695T9 | 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.31907#9K73 |
| D48VKV8KR1 | D48VKV8KR1 | statement | record (an 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#CG4Q |
| D48XSZPF23 | D48XSZPF23 | statement | record (an 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.20153#TK5C |
| D492K7W8NM | D492K7W8NM | 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.37606#67MJ |
| D495BGNJ24 | D495BGNJ24 | definition | open | open_logic content/applied-modal-logic/epistemic-logic/language-epistemic-logic.tex#defn-3 |
| D4AC69Z9Y8 | D4AC69Z9Y8 | statement | record (an 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.21045#AYTL |
| D4B3N05NHW | D4B3N05NHW | exercise | open | austin_ula src/exercises/exercises2-4.xml#exercise-6 |
| D4BGSEQGV5 | D4BGSEQGV5 | example | open | napkin tex/topology/constructions.tex#example-5 |
| D4BTD32X0M | D4BTD32X0M | statement | record (an 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.33383#C1FW |
| D4C7VZ80PG | D4C7VZ80PG | exercise | open | open_logic content/sets-functions-relations/size-of-sets/reduction.tex#prob-2 |
| D4CV0PC5FY | D4CV0PC5FY | statement | record (an 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.04252#0XE3 |
| D4D2SPQG4P | D4D2SPQG4P | statement | record (an 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.09294#2WBQ |
| D4D6VZA286 | D4D6VZA286 | statement | record (an 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.07442#ZMFQ |
| D4DR5EAVSP | D4DR5EAVSP | 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.36181#YX65 |
| D4EWJRSAN5 | D4EWJRSAN5 | statement | record (an 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.16157#5FBM |
| D4FCAW0S71 | D4FCAW0S71 | statement | record (an 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.24606#DZZ1 |
| D4FG761QQR | D4FG761QQR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q18719230, nLab Brooke Shipley |
| D4FWG37ZNC | D4FWG37ZNC | statement | record (an 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.15316#3OMD |
| D4FXS3G1M6 | D4FXS3G1M6 | statement | open | lebl_diffyqs ch-higher-order-ode.tex#theorem-3 |
| D4GHZV8SDK | D4GHZV8SDK | statement | record (an 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.30200#H52I |
| D4GJB149SM | D4GJB149SM | statement | record (an 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#FDOI |