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 11101–11200 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DJG412EP97 | DJG412EP97 | statement | record (an 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#AE8A |
| DJH51VAKBJ | DJH51VAKBJ | statement | record (an 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.22288#UNVB |
| DJJ29TP8DJ | DJJ29TP8DJ | 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.21475#YYWQ |
| DJK60E1FFA | DJK60E1FFA | statement | record (an 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#WBEC |
| DJKWPPWP5N | DJKWPPWP5N | statement | record (an 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.04135#BUEC |
| DJM411E7SE | DJM411E7SE | statement | record (an 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.21765#8XF8 |
| DJMFT6234J | DJMFT6234J | statement | record (an 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.00109#GP8L |
| DJN1TWVC76 | DJN1TWVC76 | example | open | lebl_ra ch-seq-ser.tex#example-11 |
| DJN9YZNKTH | DJN9YZNKTH | statement | open | open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-D |
| DJNSRFMZWF | DJNSRFMZWF | statement | record (an 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#ES3B |
| DJNZNY212R | DJNZNY212R | proof | open | napkin tex/H113/structure.tex#proof-2 |
| DJPF69TB9H | DJPF69TB9H | statement | record (an 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.33238#TQ09 |
| DJQ865NTTJ | DJQ865NTTJ | statement | record (an 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.12502#M8KC |
| DJQBM6HRFJ | DJQBM6HRFJ | statement | record (an 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.08426#40W6 |
| DJQNSY4970 | DJQNSY4970 | statement | record (an 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.21494#STRW |
| DJQPGJ0HAQ | DJQPGJ0HAQ | statement | record (an 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#N6S3 |
| DJQZH3XGHJ | DJQZH3XGHJ | statement | record (an 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.26619#CJM5 |
| DJQZWYECAK | DJQZWYECAK | statement | record (an 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.05652#FJEL |
| DJRHTN4W8M | DJRHTN4W8M | statement | record (an 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.37897#YX1V |
| DJT69J3XN7 | DJT69J3XN7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.07710#V7H8 |
| DJT6SN5Y5Z | DJT6SN5Y5Z | statement | record (an 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.06466#5P5J |
| DJV3DQEK0T | DJV3DQEK0T | statement | record (an 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.35320#X20F |
| DJVDVDT30M | DJVDVDT30M | proof | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-4 |
| DJVSZXPM31 | DJVSZXPM31 | statement | record (an 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.31274#59V6 |
| DJW3RMKTEP | DJW3RMKTEP | definition | open | napkin tex/topology/cover-project.tex#definition-4 |
| DJWDA5RHQ4 | DJWDA5RHQ4 | problem | open | Wikipedia Kalai's 3^d conjecture#TQTL |
| DJWPZ57ZCW | DJWPZ57ZCW | definition | open | lebl_ra ch-contfunc.tex#defn:onesidedlimits |
| DJWW54ZJBA | DJWW54ZJBA | statement | record (an 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.21444#I87H |
| DJXXJC5WZ6 | DJXXJC5WZ6 | statement | record (an 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.22288#83L2 |
| DJXYC7H8WR | DJXYC7H8WR | statement | open | hott_book categories.tex#ct:representable-prop |
| DJY1FPY5Y3 | DJY1FPY5Y3 | 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.31090#QI8S |
| DJYCSW58YD | DJYCSW58YD | 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.22551#QO56 |
| DJYGJCXB64 | DJYGJCXB64 | statement | record (an 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.03050#EPSC |
| DJYKMMMVZ4 | DJYKMMMVZ4 | statement | record (an 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.32446#CAM4 |
| DJYTXJXJTE | DJYTXJXJTE | statement | record (an 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.30679#CLH0 |
| DJZGWCSSQ5 | DJZGWCSSQ5 | definition | open | lebl_ra ch-metric.tex#defn-17 |
| DK05HXQX2Y | DK05HXQX2Y | exercise | open | open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#prob-1 |
| DK0H2R7JNV | DK0H2R7JNV | statement | record (an 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.24190#WI8C |
| DK15HFJ4BV | DK15HFJ4BV | 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.26386#L1W7 |
| DK17NXZ3QH | DK17NXZ3QH | statement | open | hott_book homotopy.tex#cor-2 |
| DK18017JEC | DK18017JEC | statement | record (an 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.38131#JDDN |
| DK220CR0FJ | DK220CR0FJ | definition | open | lebl_scv scv.tex#defn-15 |
| DK22TSBYBN | DK22TSBYBN | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-33 |
| DK2C6E8ZGS | DK2C6E8ZGS | statement | record (an 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#ATUX |
| DK2JWZ8EAK | DK2JWZ8EAK | statement | record (an 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.31476#JHIV |
| DK2MJEZ6WA | DK2MJEZ6WA | statement | record (an 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.12413#SGI4 |
| DK3A9WHTQ9 | DK3A9WHTQ9 | 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.26337#ZBUF |
| DK473B55PQ | DK473B55PQ | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise:increasing |
| DK47XP78W4 | DK47XP78W4 | statement | record (an 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.27820#QPBP |
| DK4BT668DQ | DK4BT668DQ | statement | record (an 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.16518#VW64 |
| DK4WH2EP2M | DK4WH2EP2M | statement | record (an 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.34339#UH01 |
| DK4ZW4SFYG | DK4ZW4SFYG | statement | record (an 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.17240#XTJS |
| DK55ZG07QZ | DK55ZG07QZ | statement | record (an 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.03231#BJAR |
| DK5MSH685K | DK5MSH685K | 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.11545#J0EE |
| DK6WM6G15G | DK6WM6G15G | statement | record (an 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.00162#OD2K |
| DK861RN8HD | DK861RN8HD | statement | record (an 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.29498#EY1K |
| DK8VYQB6JK | DK8VYQB6JK | exercise | open | napkin tex/alg-NT/classgrp.tex#problem-6 |
| DK8WZ8EWRQ | DK8WZ8EWRQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.02766#4GIM |
| DK9B40G433 | DK9B40G433 | 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.19300#ZDLW |
| DK9CX238J5 | DK9CX238J5 | statement | record (an 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.32233#FGYO |
| DK9Q5V2GGG | DK9Q5V2GGG | statement | record (an 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#IBAD |
| DK9WQXTQK6 | DK9WQXTQK6 | proof | open | lebl_ra ch-riemann.tex#proof-21 |
| DK9Y5HAS7D | DK9Y5HAS7D | statement | open | open_logic content/incompleteness/incompleteness-provability/second-incompleteness-thm.tex#thm:second-incompleteness |
| DKA8RXM9HM | DKA8RXM9HM | statement | record (an 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.39793#OXWX |
| DKAZGT8BG9 | DKAZGT8BG9 | statement | record (an 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.23202#5EZZ |
| DKB8Q27PMQ | DKB8Q27PMQ | 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 2507.03563#8LIS |
| DKBB9MZEZ0 | DKBB9MZEZ0 | statement | record (an 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.06707#9DN9 |
| DKBZEJ2Y38 | DKBZEJ2Y38 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise:dirichproblemxy |
| DKC1767QY4 | DKC1767QY4 | statement | record (an 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.01656#RX6G |
| DKCW1QYGT4 | DKCW1QYGT4 | statement | record (an 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.34295#8579 |
| DKCY2YH23G | DKCY2YH23G | exercise | open | lebl_ra ch-der.tex#exercise-25 |
| DKD5C37Y29 | DKD5C37Y29 | 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 2207.05628#7ROG |
| DKDAZJEN8X | DKDAZJEN8X | statement | record (an 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.21080#JXI0 |
| DKDHQ05GY2 | DKDHQ05GY2 | statement | record (an 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.14979#Z8MY |
| DKDMPB3023 | DKDMPB3023 | statement | record (an 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.20522#8STU |
| DKDR95QD8Y | DKDR95QD8Y | statement | record (an 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#2KE0 |
| DKE4PE6FGW | DKE4PE6FGW | statement | record (an 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.36423#J4JK |
| DKF718K25H | DKF718K25H | statement | record (an 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.15169#3D1X |
| DKFFG6BYQW | DKFFG6BYQW | statement | record (an 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.09809#I95D |
| DKGHRJTZPX | DKGHRJTZPX | statement | record (an 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.09561#45P5 |
| DKGJ6NB73W | DKGJ6NB73W | definition | open | open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-4 |
| DKGT8TTS2W | DKGT8TTS2W | 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.34918#XT6F |
| DKH82D0A37 | DKH82D0A37 | 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.00134#5YYS |
| DKHBBFZEXR | DKHBBFZEXR | statement | record (an 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.31242#XHB4 |
| DKHQ8NP4BD | DKHQ8NP4BD | statement | record (an 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.04466#42DU |
| DKJ2D9X9BF | DKJ2D9X9BF | 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.10973#ES3R |
| DKJ4Y7T4WM | DKJ4Y7T4WM | example | open | austin_ula src/section7-2.xml#example-1 |
| DKJGQE119C | DKJGQE119C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.02473#PQOW |
| DKJKSJVM0B | DKJKSJVM0B | 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.20911#H5XI |
| DKJYGWH3XJ | DKJYGWH3XJ | statement | record (an 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.24353#DM2Q |
| DKK145MNNN | DKK145MNNN | statement | open | austin_ula src/section6-5.xml#proposition-1 |
| DKK6Z335NE | DKK6Z335NE | statement | record (an 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.14189#QLVT |
| DKMCR52Y06 | DKMCR52Y06 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#311K |
| DKMHG5ZH8K | DKMHG5ZH8K | definition | open | napkin tex/alg-geom/mor-scheme.tex#definition-6 |
| DKMZ497218 | DKMZ497218 | statement | record (an 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.11047#DJQ4 |
| DKMZ6A3YCS | DKMZ6A3YCS | statement | record (an 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.15926#BOFK |
| DKNBB6HT5T | DKNBB6HT5T | statement | record (an 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.38250#SI3M |
| DKPKG5FN5G | DKPKG5FN5G | statement | record (an 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#EZXI |
| DKPPM822XY | DKPPM822XY | statement | record (an 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.38844#QBN9 |
| DKQ3D38G8M | DKQ3D38G8M | 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.30544#7IIY |