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 4301–4400 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DW2W9FZTTV | DW2W9FZTTV | statement | record (an 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.02790#MBEH |
| DW38BXJTVK | DW38BXJTVK | statement | record (an 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.17737#TJPA |
| DW40QN1EQZ | DW40QN1EQZ | unknown | open | arXiv 2106.06387#T4UD |
| DW56DWNEAQ | DW56DWNEAQ | statement | record (an 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.35421#XV72 |
| DW5PEMF2S7 | DW5PEMF2S7 | statement | record (an 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.06066#HK1Z |
| DW61DC31DP | DW61DC31DP | statement | record (an 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.25289#5Y5H |
| DW69C5ATTN | DW69C5ATTN | statement | record (an 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.19461#Q3CC |
| DW6P5AZXND | DW6P5AZXND | statement | record (an 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.05421#4YYE |
| DW6SVYKW1B | DW6SVYKW1B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2002.01498#7JBI |
| DW6WVAH7Q8 | DW6WVAH7Q8 | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-5 |
| DW750RSPYS | DW750RSPYS | example | open | napkin tex/topology/constructions.tex#example-8 |
| DW7578PPPH | DW7578PPPH | statement | record (an 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.13875#AYJ4 |
| DW7DY6JA2S | DW7DY6JA2S | statement | record (an 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.06637#9XVM |
| DW7MFKM3K4 | DW7MFKM3K4 | statement | record (an 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.18324#RUMQ |
| DW7VKMWZ62 | DW7VKMWZ62 | 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.38118#00FE |
| DW88Q963XG | DW88Q963XG | statement | record (an 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.00560#8KE4 |
| DW8GFD830C | DW8GFD830C | statement | record (an 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.37313#DOYU |
| DW8QJ2BEHN | DW8QJ2BEHN | statement | record (an 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.15402#6NSS |
| DW8RBM1QMP | DW8RBM1QMP | 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.39745#Q2UF |
| DW94HD3NDF | DW94HD3NDF | statement | record (an 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#6P8B |
| DWA4GRZ4ET | DWA4GRZ4ET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1802.02910#MS3Z |
| DWA9CNQJC7 | DWA9CNQJC7 | statement | record (an 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.11056#DB3Q |
| DWAAM61MPT | DWAAM61MPT | proof | open | open_logic content/set-theory/spine/rank.tex#proof-1 |
| DWAF58EZ0T | DWAF58EZ0T | statement | record (an 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#DJ9E |
| dwarf planet | E08SYA2634 | definition | open | Wikidata Q2199, ProofWiki Definition:Dwarf_Planet |
| DWAVA7B3H4 | DWAVA7B3H4 | statement | record (an 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.02141#2EAC |
| DWBB5Z5P00 | DWBB5Z5P00 | statement | record (an 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.05784#EY5O |
| DWBY0SZW6P | DWBY0SZW6P | exercise | open | napkin tex/diffgeo/manifolds.tex#ques-1 |
| DWC2QMG614 | DWC2QMG614 | unknown | open | arXiv alg-geom/9506022#MY69 |
| DWCPQ1Z5CG | DWCPQ1Z5CG | statement | record (an 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.12105#5HKE |
| DWCSZT5CSQ | DWCSZT5CSQ | definition | open | napkin tex/measure/martingale.tex#definition-5 |
| DWCVDZ9PS3 | DWCVDZ9PS3 | statement | record (an 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.38396#K757 |
| DWD0V18J86 | DWD0V18J86 | statement | record (an 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.05784#A12C |
| DWD57VC9QJ | DWD57VC9QJ | statement | record (an 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.03517#H84W |
| DWD81HRJGH | DWD81HRJGH | statement | record (an 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.34013#2GA0 |
| DWD854KRW2 | DWD854KRW2 | definition | open | napkin tex/linalg/vector-space.tex#def:vector_space_direct_sum |
| DWD9MMTJCB | DWD9MMTJCB | statement | record (an 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#Z07Q |
| DWDH982AA3 | DWDH982AA3 | statement | record (an 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.15643#4AF7 |
| DWDPBMS18C | DWDPBMS18C | statement | record (an 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.09084#ZP20 |
| DWDVHYT0Z0 | DWDVHYT0Z0 | 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.27518#UPKA |
| Dwell period | FB3FWX562R | 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 math/0003117#M0SM |
| Dwell period lower bound | 3SRNSD72TP | 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 math/0003117#0Y81 |
| DWEMAN1FJV | DWEMAN1FJV | statement | record (an 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.29943#XXOM |
| DWEXCJY2J3 | DWEXCJY2J3 | 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 1002.0879#3TZY |
| DWEZ36ATHJ | DWEZ36ATHJ | statement | record (an 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.02848#DV9Z |
| DWF2WF1C0M | DWF2WF1C0M | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-52 |
| DWFG594J63 | DWFG594J63 | 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#EOLD |
| DWFTKBCNR2 | DWFTKBCNR2 | statement | record (an 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.18335#VR5Z |
| DWGA08DQ7R | DWGA08DQ7R | statement | record (an 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#0R3O |
| DWGM6EV1MT | DWGM6EV1MT | 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.26337#CJXB |
| DWGTB167NT | DWGTB167NT | statement | record (an 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.13699#7NEZ |
| DWGWDXKRWY | DWGWDXKRWY | 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 2502.08738#FNXL |
| DWH52CKCPJ | DWH52CKCPJ | statement | record (an 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.30675#I420 |
| DWH9ZTESJB | DWH9ZTESJB | proof | open | open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#proof-2 |
| DWHTBGJPRV | DWHTBGJPRV | statement | record (an 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.08682#SLME |
| DWHW8H19W6 | DWHW8H19W6 | statement | record (an 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.17737#A2M5 |
| DWJ38KY3V8 | DWJ38KY3V8 | exercise | open | napkin tex/topology/fundamental-group.tex#dproblem-1 |
| DWK1SR7P4B | DWK1SR7P4B | exercise | open | napkin tex/set-theory/ordinal.tex#ques-5 |
| DWK9PBZRQW | DWK9PBZRQW | statement | record (an 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#X545 |
| DWKK9NF4VG | DWKK9NF4VG | 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.30203#8256 |
| DWKW0JTTQQ | DWKW0JTTQQ | statement | record (an 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#J34U |
| DWM5WCBQXF | DWM5WCBQXF | statement | open | ernst_ibl MAAPressVersion/FiniteSets.tex#thm:decreaseCardinality |
| DWMD3CG0W8 | DWMD3CG0W8 | statement | record (an 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.19791#HD6O |
| DWMKW32F7H | DWMKW32F7H | statement | record (an 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.31278#ALPY |
| DWMQWKQZ9Y | DWMQWKQZ9Y | statement | record (an 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.33590#MB4L |
| DWMWMRGDCY | DWMWMRGDCY | statement | record (an 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.16655#9KA1 |
| DWNE3200K2 | DWNE3200K2 | statement | record (an 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#6LV3 |
| DWPBEGWAAF | DWPBEGWAAF | statement | record (an 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.36332#FJ0D |
| DWQ2EJEHAA | DWQ2EJEHAA | statement | record (an 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.05398#FDE3 |
| DWR6B81Q9A | DWR6B81Q9A | unknown | open | arXiv 2306.00590#NDUG |
| DWRE6J6KSV | DWRE6J6KSV | statement | record (an 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.02407#3983 |
| DWRKNN03JY | DWRKNN03JY | statement | record (an 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.37425#LAIV |
| DWRRCVHHEY | DWRRCVHHEY | exercise | open | lebl_ra ch-approximate.tex#exercise-63 |
| DWRRXR3MJF | DWRRXR3MJF | 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.03384#42PO |
| DWRZ7M6TM9 | DWRZ7M6TM9 | statement | open | lebl_ra ch-seq-ser.tex#convzero:prop |
| DWS97A23FH | DWS97A23FH | exercise | open | austin_ula src/section7-1.xml#activity-3 |
| DWSRV01AC4 | DWSRV01AC4 | 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 2405.14678#586R |
| DWSWNKSJ6C | DWSWNKSJ6C | statement | record (an 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.23812#F3Y8 |
| DWT8E30822 | DWT8E30822 | statement | record (an 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.29653#9INO |
| DWTA7VHEKA | DWTA7VHEKA | statement | record (an 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.15444#GDM6 |
| DWTQQNWPRT | DWTQQNWPRT | 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 2207.11097#YHC1 |
| DWTYK1N9QC | DWTYK1N9QC | 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.07508#F35R |
| DWV14A80DP | DWV14A80DP | 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 2406.06762#HND1 |
| DWV8QJH8RE | DWV8QJH8RE | statement | record (an 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.16655#26XL |
| DWVCHQ2DPF | DWVCHQ2DPF | statement | record (an 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.28365#JINQ |
| DWW34RTQ2Y | DWW34RTQ2Y | statement | record (an 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.01837#OK1P |
| DWW4NX56FQ | DWW4NX56FQ | statement | record (an 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.39274#NQJL |
| DWWD6G6MJ3 | DWWD6G6MJ3 | example | open | napkin tex/linalg/vector-space.tex#example-9 |
| DWWKVP2FT9 | DWWKVP2FT9 | statement | record (an 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.21489#8NPG |
| DWXDANKY84 | DWXDANKY84 | statement | record (an 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.11336#DNG5 |
| DWXJABT68K | DWXJABT68K | statement | record (an 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.21715#TL02 |
| DWXJQQMTGK | DWXJQQMTGK | statement | record (an 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.38556#P9B4 |
| DWXTXAMZWF | DWXTXAMZWF | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-28 |
| DWY9DHGT9C | DWY9DHGT9C | 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 2204.13401#UNV8 |
| DWYNTF5K95 | DWYNTF5K95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.13105#M2QC |
| DWZREMQR7E | DWZREMQR7E | 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.26600#PTFF |
| DX16CS4DGT | DX16CS4DGT | statement | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#theorem-1 |
| DX1G9RYVNA | DX1G9RYVNA | statement | record (an 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.08226#6F8I |
| DX1TWCYSYN | DX1TWCYSYN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0904.2839#6BV5 |
| DX2JH116XC | DX2JH116XC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.14143#JBZ8 |