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 4001–4100 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DSFCAFKFG9 | DSFCAFKFG9 | statement | record (an 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.10481#I3S0 |
| DSFS8H88HT | DSFS8H88HT | statement | record (an 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.37747#9803 |
| DSFWKPHVR7 | DSFWKPHVR7 | statement | record (an 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.35360#XKCQ |
| DSFZ8J5B0S | DSFZ8J5B0S | statement | record (an 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.02689#P16V |
| DSHB4J5MZ8 | DSHB4J5MZ8 | statement | record (an 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.34551#EJ6T |
| DSHJEGQ5GQ | DSHJEGQ5GQ | statement | record (an 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#B5PH |
| DSJ925QS0E | DSJ925QS0E | unknown | open | arXiv math/0512416#DCTC |
| DSJ9HC04YF | DSJ9HC04YF | statement | record (an 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#XBJQ |
| DSJTZZX04D | DSJTZZX04D | statement | record (an 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.37197#J1IU |
| DSJXF3JVEE | DSJXF3JVEE | statement | record (an 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.09324#W45O |
| DSKAYVFEXX | DSKAYVFEXX | statement | record (an 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.16267#K3T2 |
| DSKCQ548CY | DSKCQ548CY | statement | record (an 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.21009#SWPB |
| DSMXVWAPTN | DSMXVWAPTN | 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.12371#7C17 |
| DSMZ62XEAT | DSMZ62XEAT | statement | record (an 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.00770#YCHB |
| DSNBT9S1Z6 | DSNBT9S1Z6 | statement | record (an 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.14154#MT79 |
| DSNKVQMV3Q | DSNKVQMV3Q | statement | record (an 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.34011#ANK1 |
| DSPRHR35X7 | DSPRHR35X7 | statement | record (an 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.37805#V9Z9 |
| DSPXGFZHQM | DSPXGFZHQM | statement | record (an 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.35307#26HF |
| DSQ65PXGHA | DSQ65PXGHA | statement | record (an 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.04431#DWMB |
| DSQVPBPEWQ | DSQVPBPEWQ | statement | record (an 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.25129#T3KR |
| DSS4G7DG6R | DSS4G7DG6R | 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.02017#46OX |
| DSSDFZQPBN | DSSDFZQPBN | statement | record (an 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.28540#F7LQ |
| DSTHY77GMW | DSTHY77GMW | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-24 |
| DSTQVTV1ZS | DSTQVTV1ZS | statement | record (an 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.12352#FBYJ |
| DSV1G9YRT1 | DSV1G9YRT1 | 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#GDPG |
| DSVPY9630B | DSVPY9630B | statement | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#thm:cong classes equal |
| DSW0H4JK3F | DSW0H4JK3F | statement | record (an 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.38014#RP0F |
| DSW81D7DMS | DSW81D7DMS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1709.08958#46AO |
| DSW8M4ET5Z | DSW8M4ET5Z | statement | record (an 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.16541#U995 |
| DSXKEVYTYM | DSXKEVYTYM | statement | record (an 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.32174#GWT4 |
| DSY56Y553C | DSY56Y553C | statement | record (an 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#MJ22 |
| DSYC3ZQZR0 | DSYC3ZQZR0 | statement | record (an 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.19357#3RGO |
| DSYMWEXTC8 | DSYMWEXTC8 | 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.19273#Z52B |
| DSYWNAE0AF | DSYWNAE0AF | statement | record (an 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.18803#YZJ2 |
| DSZ7CX27PT | DSZ7CX27PT | statement | record (an 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.01000#9B98 |
| DSZBY5Q6PZ | DSZBY5Q6PZ | statement | record (an 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.17479#KD17 |
| DSZQXEBZ5F | DSZQXEBZ5F | statement | record (an 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.13260#QHCN |
| DSZS2KY1BA | DSZS2KY1BA | statement | record (an 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.13076#SFKY |
| DT00Z1M8YY | DT00Z1M8YY | statement | record (an 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.00358#FJON |
| DT066A5DJM | DT066A5DJM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#QUIC |
| DT09YC991X | DT09YC991X | statement | record (an 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.28336#2NVD |
| DT0FZAJVA0 | DT0FZAJVA0 | statement | record (an 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.17602#S87K |
| DT0QDF89EQ | DT0QDF89EQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#2UXO |
| DT0SZ03CSF | DT0SZ03CSF | statement | record (an 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.29489#9PMD |
| DT0XBCKFPA | DT0XBCKFPA | statement | record (an 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.06806#K7BF |
| DT18TDYPQY | DT18TDYPQY | 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.20376#1L2Z |
| DT1JC8AT34 | DT1JC8AT34 | statement | record (an 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.27886#IJDM |
| DT1RXZ44RV | DT1RXZ44RV | 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.07508#JZD9 |
| DT1SP8DRQV | DT1SP8DRQV | statement | record (an 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.03864#E5KX |
| DT1TZHK24F | DT1TZHK24F | statement | record (an 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.16668#KOZ3 |
| DT1VN0BDBB | DT1VN0BDBB | statement | record (an 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.24451#DY8T |
| DT2AH86EHP | DT2AH86EHP | statement | record (an 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.07290#IOS3 |
| DT31S5VH05 | DT31S5VH05 | statement | record (an 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.36613#XR6S |
| DT35633A5R | DT35633A5R | statement | open | lebl_scv scv.tex#thm:codim1var |
| DT36BCV3AG | DT36BCV3AG | statement | record (an 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.17408#SDZE |
| DT4KHMNP89 | DT4KHMNP89 | statement | record (an 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#4VIY |
| DT4PKMTE80 | DT4PKMTE80 | statement | record (an 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.01268#U4OQ |
| DT4VRYW4NJ | DT4VRYW4NJ | statement | record (an 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.08042#3T1E |
| DT56G6AJ9X | DT56G6AJ9X | statement | record (an 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#VVNK |
| DT5GE91S3C | DT5GE91S3C | statement | open | hott_book setmath.tex#cor-4 |
| DT5MBWB72V | DT5MBWB72V | statement | record (an 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.13401#0HU2 |
| DT67032J00 | DT67032J00 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#O070 |
| DT6CSY0GN8 | DT6CSY0GN8 | 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#B99S |
| DT6FPQDMTA | DT6FPQDMTA | statement | record (an 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.29304#KFNF |
| DT6J07E65V | DT6J07E65V | statement | record (an 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.05486#KWQ4 |
| DT7HEPFPVG | DT7HEPFPVG | statement | record (an 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.30579#4I72 |
| DT7WJMHYSN | DT7WJMHYSN | statement | open | hott_book categories.tex#ct:pentagon |
| DT7YSY4ZCG | DT7YSY4ZCG | 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.37124#JLIO |
| DT849R8QBH | DT849R8QBH | statement | record (an 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.25435#12NV |
| DT89RWQGXC | DT89RWQGXC | statement | record (an 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.09300#56G7 |
| DT8DX4AB0H | DT8DX4AB0H | statement | record (an 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.34081#XQ1T |
| DT8JVSNY73 | DT8JVSNY73 | statement | record (an 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.38803#NTOV |
| DT9HCPQP1M | DT9HCPQP1M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.16151#7S98 |
| DT9J3A38TN | DT9J3A38TN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#Z0MM |
| DTATV7KZZV | DTATV7KZZV | statement | record (an 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.09506#N3ON |
| DTB5GKXTDE | DTB5GKXTDE | statement | record (an 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.17677#2ZT0 |
| DTCFB5M36J | DTCFB5M36J | statement | open | hott_book setmath.tex#thm:mono |
| DTD64AR6BD | DTD64AR6BD | statement | record (an 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#312H |
| DTDCJKE7CK | DTDCJKE7CK | 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.16962#26CB |
| DTDEJ6D6V2 | DTDEJ6D6V2 | proof | open | open_logic content/model-theory/basics/theory-of-m.tex#proof-1 |
| DTDHFWG6X5 | DTDHFWG6X5 | statement | record (an 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.30098#AS6E |
| DTDK1WD90Y | DTDK1WD90Y | 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.37520#DZ6B |
| DTDQJQC411 | DTDQJQC411 | statement | record (an 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#CXZM |
| DTEVD9GMHT | DTEVD9GMHT | statement | record (an 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#QJBF |
| DTF38QC85T | DTF38QC85T | statement | record (an 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#KG81 |
| DTFMVTFS90 | DTFMVTFS90 | statement | record (an 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.14458#36GB |
| DTFY5W63QC | DTFY5W63QC | statement | record (an 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.18078#TCUB |
| DTGQP0NQPR | DTGQP0NQPR | statement | record (an 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.01273#R8Y5 |
| DTH2395EX5 | DTH2395EX5 | statement | record (an 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#U2NG |
| DTHFXG50CD | DTHFXG50CD | statement | record (an 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.12141#VGZP |
| DTJ4XD290E | DTJ4XD290E | statement | record (an 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.30444#5XRU |
| DTJ6J1NNPE | DTJ6J1NNPE | 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.15720#F69A |
| DTJ71SB7MZ | DTJ71SB7MZ | statement | record (an 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.10095#NJQY |
| DTJEMKXEXS | DTJEMKXEXS | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-38 |
| DTJHDQE6PP | DTJHDQE6PP | 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.24545#4CZG |
| DTK2E9HY3Q | DTK2E9HY3Q | definition | open | austin_ula src/section6-2.xml#definition-2 |
| DTK3HFNQGD | DTK3HFNQGD | statement | record (an 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.16267#IQHF |
| DTKA1TZG2C | DTKA1TZG2C | statement | record (an 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#FU7P |
| DTKZ6TXH92 | DTKZ6TXH92 | statement | record (an 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.22317#ZB6U |
| DTMBZCH6PQ | DTMBZCH6PQ | statement | record (an 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.27931#69XH |