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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 13201–13300 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DX6F897S70 | DX6F897S70 | statement | record (an 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#1I87 |
| DX6GWBDWHG | DX6GWBDWHG | statement | record (an 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#ZSG8 |
| DX6Y4C1FB4 | DX6Y4C1FB4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.18744#Q9NC |
| DX6YDS4F0N | DX6YDS4F0N | statement | record (an 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.21622#MC3H |
| DX72XVXCW3 | DX72XVXCW3 | statement | record (an 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.11455#SHIN |
| DX79KHC0HZ | DX79KHC0HZ | statement | record (an 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.36410#EDZW |
| DX7A8MJAMN | DX7A8MJAMN | statement | record (an 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#6B22 |
| DX7Q2BBH70 | DX7Q2BBH70 | 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.10469#KBNP |
| DX7SGY6FDE | DX7SGY6FDE | statement | record (an 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#8XJV |
| DX7VCKHRXZ | DX7VCKHRXZ | statement | open | hott_book setmath.tex#epis-surj |
| DX7VXRXS0S | DX7VXRXS0S | 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 2104.12015#DRO3 |
| DX890FWB5K | DX890FWB5K | statement | record (an 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#OEQ5 |
| DX8C6JA5R5 | DX8C6JA5R5 | statement | record (an 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.12479#OF1O |
| DX8DVY062D | DX8DVY062D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0911.1417#29J7 |
| DX8JJMV0A3 | DX8JJMV0A3 | 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.31484#HE4G |
| DX8XH90ADC | DX8XH90ADC | statement | record (an 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#Q10N |
| DX8YGGVKBA | DX8YGGVKBA | 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 2205.09049#6PKO |
| DX90QCPVCW | DX90QCPVCW | 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.20801#N8KH |
| DX933W73HY | DX933W73HY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.08789#FQIU |
| DX99NWA8GA | DX99NWA8GA | statement | record (an 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.14249#01WZ |
| DX9DQBKBV7 | DX9DQBKBV7 | statement | record (an 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.10074#6UCD |
| DX9S4KJ71N | DX9S4KJ71N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0809.4587#HJOZ |
| DX9SKNNMWA | DX9SKNNMWA | 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.12497#EM20 |
| DX9V04NJPE | DX9V04NJPE | statement | record (an 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#L3NI |
| DXA2QQ2REN | DXA2QQ2REN | exercise | open | napkin tex/set-theory/CH.tex#ques-4 |
| DXA85FKV58 | DXA85FKV58 | statement | open | napkin tex/set-theory/ordinal.tex#theorem-6 |
| DXABTCVNE1 | DXABTCVNE1 | statement | record (an 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#7H27 |
| DXACMETYF1 | DXACMETYF1 | statement | record (an 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.08594#MJIG |
| DXCSNH52YK | DXCSNH52YK | statement | record (an 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.12047#9V7A |
| DXCZQHDGYB | DXCZQHDGYB | 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.27518#BVMK |
| DXDGW4F9HR | DXDGW4F9HR | statement | record (an 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.19945#7I2C |
| DXE9XSMTTR | DXE9XSMTTR | statement | record (an 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.33185#6NQI |
| DXED86ZMHM | DXED86ZMHM | statement | record (an 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.10527#ZQX0 |
| DXER5V2XGE | DXER5V2XGE | 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.22205#KZM4 |
| DXF1R7SX10 | DXF1R7SX10 | statement | record (an 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.21578#49Z5 |
| DXFJBMTY2R | DXFJBMTY2R | 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.10927#KBHQ |
| DXG63T8KHW | DXG63T8KHW | statement | record (an 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.16853#JHDI |
| DXGR081GR5 | DXGR081GR5 | statement | record (an 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.13100#VC2K |
| DXGWBER1GN | DXGWBER1GN | statement | record (an 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#ALGN |
| DXGXAKJYW8 | DXGXAKJYW8 | 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.05611#K919 |
| DXHJ4SSBA1 | DXHJ4SSBA1 | statement | record (an 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.09483#9ATG |
| DXJ3832E8C | DXJ3832E8C | statement | record (an 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.37593#LJTQ |
| DXJWXX6J74 | DXJWXX6J74 | statement | record (an 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.10968#AOY8 |
| DXJYB6WZ66 | DXJYB6WZ66 | 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#MUDF |
| DXKAC9YZ4K | DXKAC9YZ4K | statement | record (an 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#JENC |
| DXKBTZD6NR | DXKBTZD6NR | statement | record (an 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.11143#EIEK |
| DXKV8J58HG | DXKV8J58HG | statement | record (an 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.07905#68L7 |
| DXN3SZHV7X | DXN3SZHV7X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#6J1C |
| DXNVYZRFF9 | DXNVYZRFF9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.24355#LCZX |
| DXP56BD2KX | DXP56BD2KX | statement | record (an 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.23833#752K |
| DXQ5Y97SQS | DXQ5Y97SQS | 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 2301.04933#5HVE |
| DXQJ8GX9PQ | DXQJ8GX9PQ | statement | record (an 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.10697#US72 |
| DXQTBPN7JX | DXQTBPN7JX | statement | record (an 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.15588#VBCG |
| DXR5MK14KA | DXR5MK14KA | 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 2503.16884#SFAU |
| DXRJH66GRG | DXRJH66GRG | statement | record (an 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.20131#SMZV |
| DXS3E79NPW | DXS3E79NPW | 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 2308.09645#NW7I |
| DXS4CW5MJV | DXS4CW5MJV | statement | record (an 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.10600#PB3M |
| DXST5WAJBT | DXST5WAJBT | 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.28211#BOSJ |
| DXSX4N35AX | DXSX4N35AX | 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 1509.00950#891O |
| DXSYM12X0D | DXSYM12X0D | 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.17825#1VGJ |
| DXT6R2XXH0 | DXT6R2XXH0 | exercise | open | lebl_ra ch-seq-ser.tex#exercise:badnocauchy |
| DXVQW6A2KZ | DXVQW6A2KZ | 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.01596#9C9Y |
| DXWQ9KQP71 | DXWQ9KQP71 | 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.31365#K9GW |
| DXX078DF9X | DXX078DF9X | definition | open | napkin tex/alg-geom/mor-scheme.tex#definition-3 |
| DXX19M04PP | DXX19M04PP | statement | record (an 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.18101#ABYX |
| DXXB8QSXDJ | DXXB8QSXDJ | statement | record (an 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.23332#D4WK |
| DXXFV6PRB7 | DXXFV6PRB7 | 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.22074#MOS0 |
| DXXGEWG8D3 | DXXGEWG8D3 | statement | record (an 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.27114#WIB1 |
| DXXJ7TBHVP | DXXJ7TBHVP | statement | record (an 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.20718#4NGE |
| DXXK00RCQF | DXXK00RCQF | exercise | open | napkin tex/alg-NT/galois.tex#problem-1 |
| DXXKQ7VT76 | DXXKQ7VT76 | statement | record (an 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.28664#OO34 |
| DXY9XSGZ63 | DXY9XSGZ63 | statement | record (an 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#9URB |
| DXYMVJ117Y | DXYMVJ117Y | 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#C7BT |
| DXYNXEFBDB | DXYNXEFBDB | statement | record (an 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.22657#ACFE |
| DXZFJBET0N | DXZFJBET0N | statement | record (an 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.25960#R1LB |
| DXZQ8HXD18 | DXZQ8HXD18 | statement | record (an 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.30113#PLXZ |
| DXZW1VKP68 | DXZW1VKP68 | statement | record (an 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#AAIG |
| DY0811CZY9 | DY0811CZY9 | 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.07451#W1WN |
| DY08MNT722 | DY08MNT722 | definition | open | napkin tex/set-theory/CH.tex#definition-4 |
| DY0F3NB1XC | DY0F3NB1XC | statement | record (an 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#JJ28 |
| DY0G2AX59R | DY0G2AX59R | proof | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#proof-2 |
| DY1MTX262J | DY1MTX262J | statement | record (an 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.27911#SCE0 |
| DY2133PDMQ | DY2133PDMQ | statement | record (an 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.24917#B49K |
| DY228PXBDW | DY228PXBDW | 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.31910#ABID |
| DY286ZSZTA | DY286ZSZTA | statement | record (an 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/0008020#SX78 |
| DY3571GKW1 | DY3571GKW1 | 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 2110.11143#L3YJ |
| DY3RFSATJ0 | DY3RFSATJ0 | statement | record (an 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.4651#PSG5 |
| DY3VQ1R61Y | DY3VQ1R61Y | statement | record (an 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.06488#PIM9 |
| DY3XR5Y3VR | DY3XR5Y3VR | 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.32916#NXQZ |
| DY3YTBV8PR | DY3YTBV8PR | statement | record (an 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.19707#XCIP |
| DY42DCJ41D | DY42DCJ41D | statement | record (an 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.09594#AWFL |
| DY447EJM15 | DY447EJM15 | proof | open | open_logic content/model-theory/basics/isomorphism.tex#proof-1 |
| DY46Y97M2E | DY46Y97M2E | 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.15217#I2FC |
| DY4DJQ4ZQ1 | DY4DJQ4ZQ1 | statement | record (an 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#M9BL |
| DY4JY49W0Z | DY4JY49W0Z | 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.35577#WRKC |
| DY4TGEHEJ1 | DY4TGEHEJ1 | statement | record (an 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.26386#HC1Z |
| DY59CZFDJE | DY59CZFDJE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1002.0879#EU8X |
| DY5YB1ZFW2 | DY5YB1ZFW2 | statement | record (an 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.08237#125X |
| DY678JX2ZQ | DY678JX2ZQ | example | open | napkin tex/H113/ring-intro.tex#example-5 |
| DY6A9TQE09 | DY6A9TQE09 | example | open | napkin tex/linalg/vector-space.tex#example-10 |