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 4401–4500 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DX2TMQ2P81 | DX2TMQ2P81 | 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.17004#GU09 |
| DX2XCHA720 | DX2XCHA720 | statement | record (an 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.26500#AHSK |
| DX3BRGF80H | DX3BRGF80H | statement | record (an 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.00105#UH0W |
| DX40V6AQHP | DX40V6AQHP | 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.14154#6T8F |
| DX44VZFZAP | DX44VZFZAP | statement | record (an 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.21260#HZ26 |
| DX481AGDB9 | DX481AGDB9 | statement | record (an 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.03272#BSO5 |
| DX4FDDG78K | DX4FDDG78K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.05499#2NAF |
| DX4JXJH60S | DX4JXJH60S | statement | record (an 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.03144#7IGP |
| DX4MVFF4TG | DX4MVFF4TG | exercise | open | lebl_ra ch-der.tex#exercise-27 |
| DX5014ZFH8 | DX5014ZFH8 | statement | record (an 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.27800#N426 |
| DX5QGB224E | DX5QGB224E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.17852#4K2G |
| DX637S2BQN | DX637S2BQN | statement | record (an 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#E0L2 |
| DX679J0S1Q | DX679J0S1Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#RTBC |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |