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 3201–3300 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DJ0254NBGD | DJ0254NBGD | statement | record (an 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.18070#S9U7 |
| DJ0RHWQZFH | DJ0RHWQZFH | 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 1711.00219#ER0Z |
| DJ0ZKNFBTV | DJ0ZKNFBTV | 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#TL1S |
| DJ1NWNJ8RH | DJ1NWNJ8RH | 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.12481#EN7O |
| DJ21DEVPMH | DJ21DEVPMH | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/language-modal-logic.tex#defn-3 |
| DJ2SHT6JW3 | DJ2SHT6JW3 | statement | record (an 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#P3QG |
| DJ3B96GXTR | DJ3B96GXTR | statement | record (an 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.00343#KG62 |
| DJ3D73ECZ9 | DJ3D73ECZ9 | statement | record (an 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#Z7X1 |
| DJ46B74BB0 | DJ46B74BB0 | statement | record (an 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.32860#3BSO |
| DJ5V57PAG6 | DJ5V57PAG6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv dg-ga/9612010#GW17 |
| DJ672WSJD2 | DJ672WSJD2 | statement | record (an 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.33283#C2QX |
| DJ74QBHW8S | DJ74QBHW8S | statement | record (an 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.38206#P3WL |
| DJ74YQ9KJ4 | DJ74YQ9KJ4 | 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 2504.19468#762U |
| DJ7VQTRQFW | DJ7VQTRQFW | statement | record (an 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#OT6V |
| DJ8DKRVCKE | DJ8DKRVCKE | 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 1209.3562#8M2J |
| DJ8HYX3XQ7 | DJ8HYX3XQ7 | statement | record (an 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.10230#PFVI |
| DJ8JR9AQ45 | DJ8JR9AQ45 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.00589#JGBV |
| DJ8P0EKVT9 | DJ8P0EKVT9 | statement | record (an 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.16844#29M1 |
| DJ9C3ASB24 | DJ9C3ASB24 | statement | record (an 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.05506#5E3O |
| DJA8TW45A6 | DJA8TW45A6 | 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.04730#35A0 |
| DJAKJ9KGVH | DJAKJ9KGVH | statement | open | ernst_ibl MAAPressVersion/Partitions.tex#thm:pairwise disjoint yields transitive |
| DJBEV7ABDS | DJBEV7ABDS | statement | record (an 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.28141#MQHF |
| DJBP569V8V | DJBP569V8V | statement | record (an 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.16333#RCAE |
| DJBWTKD2HV | DJBWTKD2HV | 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.33529#O3W8 |
| DJBZAVP0X8 | DJBZAVP0X8 | statement | record (an 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.06746#Y0XE |
| DJCG20AKVA | DJCG20AKVA | 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.35682#9S2I |
| DJCMXWVHDF | DJCMXWVHDF | statement | record (an 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#AZLZ |
| DJD300QMMB | DJD300QMMB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15255#W8EE |
| DJD629D6G6 | DJD629D6G6 | statement | record (an 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.21045#IOFT |
| DJDE74A18N | DJDE74A18N | 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.38220#XIPE |
| DJE2TSQ33G | DJE2TSQ33G | statement | record (an 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.03688#3OGU |
| DJE9WNSQR6 | DJE9WNSQR6 | statement | record (an 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.36811#DB45 |
| DJED01EASH | DJED01EASH | statement | record (an 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.08007#CPNI |
| DJEJJC5VJB | DJEJJC5VJB | statement | record (an 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.35467#GY7Z |
| DJET17TYHZ | DJET17TYHZ | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-18 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |