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 401–500 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| D4HA7V5N8X | D4HA7V5N8X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#63C8 |
| D4HGM60JZF | D4HGM60JZF | statement | record (an 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#3ELT |
| D4HHS52FRJ | D4HHS52FRJ | statement | open | lebl_scv scv.tex#prop:domainofconvergence |
| D4J7HVQEMJ | D4J7HVQEMJ | statement | open | hott_book reals.tex#RC-sim-eqv-le |
| D4JEXJ787Y | D4JEXJ787Y | statement | record (an 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.09544#2H0Z |
| D4JHM503V4 | D4JHM503V4 | proof | open | lebl_ra ch-metric.tex#proof-3 |
| D4JQ07G34K | D4JQ07G34K | statement | record (an 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#9E0O |
| D4K63A5198 | D4K63A5198 | 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 2406.07116#TCLQ |
| D4K7DG0RHF | D4K7DG0RHF | 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.18302#GUK9 |
| D4KBNR7BA0 | D4KBNR7BA0 | statement | record (an 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.08198#FOJG |
| D4KRGJ659D | D4KRGJ659D | statement | record (an 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.30200#6DPW |
| D4MBK006C9 | D4MBK006C9 | 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.20176#1KP8 |
| D4MX0VVHJM | D4MX0VVHJM | statement | record (an 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.14306#SLG8 |
| D4NA92N8PS | D4NA92N8PS | statement | record (an 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.24325#4O4X |
| D4NPDMDPWA | D4NPDMDPWA | statement | record (an 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.16094#7NWT |
| D4P6N7AB3R | D4P6N7AB3R | statement | record (an 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.30033#Q60Y |
| D4PDDGQJGW | D4PDDGQJGW | statement | record (an 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.21476#ICPT |
| D4QY8Q9W2W | D4QY8Q9W2W | exercise | open | lebl_diffyqs ch-intro.tex#exercise-2 |
| D4R9E9452J | D4R9E9452J | statement | record (an 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.37208#PKQ8 |
| D4RMJ7VRNQ | D4RMJ7VRNQ | statement | record (an 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.05715#40XO |
| D4RNHSAVZJ | D4RNHSAVZJ | conjecture | record (an 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.36411#9K3E |
| D4S9EQMWGD | D4S9EQMWGD | statement | record (an 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.06806#KVSN |
| D4SF5V65PX | D4SF5V65PX | unknown | open | arXiv 2610.13680#IZEC |
| D4SFZN84ND | D4SFZN84ND | 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#A5RY |
| D4SGM3S12V | D4SGM3S12V | statement | record (an 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.01818#6C6X |
| D4SK35R9HM | D4SK35R9HM | 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 2102.12931#79U1 |
| D4TE93S4P6 | D4TE93S4P6 | statement | record (an 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.11395#ETKC |
| D4TGRM969E | D4TGRM969E | statement | record (an 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.14859#C5U5 |
| D4TWTE4JWV | D4TWTE4JWV | statement | record (an 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#6F19 |
| D4V6PYT86H | D4V6PYT86H | statement | open | hott_book hits.tex#thm-3 |
| D4VDDCQ09Q | D4VDDCQ09Q | exercise | open | hott_book reals.tex#ex:RD-interval-arithmetic |
| D4VFCR9197 | D4VFCR9197 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#6WYG |
| D4VP9VXNFT | D4VP9VXNFT | 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 2604.10080#QZHR |
| D4VQE8E1ZM | D4VQE8E1ZM | statement | record (an 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.14380#XFB3 |
| D4WB6VPTHD | D4WB6VPTHD | statement | record (an 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#5TUJ |
| D4XB0DKDKM | D4XB0DKDKM | statement | record (an 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.36089#PBZQ |
| D4XGCGBDQX | D4XGCGBDQX | exercise | open | open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#prob-1 |
| D4XSBGDNT4 | D4XSBGDNT4 | 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.07445#0GJ8 |
| D4Y8FQDEW7 | D4Y8FQDEW7 | statement | record (an 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.00247#X24P |
| D4Y909Q4JV | D4Y909Q4JV | statement | record (an 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.18620#ZBU6 |
| D4YC1GQ10Q | D4YC1GQ10Q | proof | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-10 |
| D4YWCP3HX9 | D4YWCP3HX9 | statement | record (an 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.17204#ZS0T |
| D50C8H34WH | D50C8H34WH | statement | record (an 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.08091#I9PD |
| D51316X71G | D51316X71G | statement | record (an 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/0411039#WIHT |
| D514STYNA8 | D514STYNA8 | statement | record (an 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.15736#2I3S |
| D51CNQVXMM | D51CNQVXMM | statement | record (an 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.03520#6MQF |
| D51YFFCCEM | D51YFFCCEM | 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 2512.16003#ZZKQ |
| D525J6XH8H | D525J6XH8H | statement | record (an 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.07718#DB2O |
| D5332CNS4W | D5332CNS4W | 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.05715#X0C3 |
| D53RA3E246 | D53RA3E246 | 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 2007.14459#AZX6 |
| D548C7VR4V | D548C7VR4V | 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.37606#SQAG |
| D54AB8TGH9 | D54AB8TGH9 | statement | record (an 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.05391#F2SF |
| D54KWB86VN | D54KWB86VN | 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.01087#E8E4 |
| D54V0VHF81 | D54V0VHF81 | statement | record (an 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#AMCO |
| D552V2FEAW | D552V2FEAW | statement | record (an 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.12181#Z6OA |
| D55JQ0E6FP | D55JQ0E6FP | example | open | napkin tex/alg-NT/norm-trace.tex#example-5 |
| D562H4CY86 | D562H4CY86 | statement | record (an 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.05621#RHG8 |
| D56YEM7GVJ | D56YEM7GVJ | statement | record (an 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.13913#H3IB |
| D57EYBBN58 | D57EYBBN58 | 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.22040#CJVO |
| D57M677DBV | D57M677DBV | 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 2609.39169#3DDB |
| D57PH167MX | D57PH167MX | statement | record (an 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.31102#PRJM |
| D581MPFADF | D581MPFADF | statement | open | lebl_ra ch-real-nums.tex#prop-2 |
| D583BSRXGG | D583BSRXGG | statement | record (an 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.11120#LASP |
| D583SF175S | D583SF175S | statement | record (an 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.25897#5EBI |
| D58AF48093 | D58AF48093 | statement | record (an 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.02244#T6RM |
| D58PJYBB87 | D58PJYBB87 | statement | record (an 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.14741#MOTI |
| D594KCMCY6 | D594KCMCY6 | example | open | austin_ula src/section5-2.xml#example-1 |
| D595K3GK1A | D595K3GK1A | exercise | open | napkin tex/alg-NT/ramification.tex#ques-2 |
| D599A52X0C | D599A52X0C | statement | record (an 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.17135#Y53R |
| D5A4CYTVKW | D5A4CYTVKW | statement | record (an 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.16388#0Y54 |
| D5AHEYRV5C | D5AHEYRV5C | 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 1809.06512#ZXRL |
| D5AV0BZ82W | D5AV0BZ82W | statement | record (an 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.33957#G842 |
| D5BNT5PP3K | D5BNT5PP3K | statement | record (an 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.09042#CYPZ |
| D5BRSEGCY8 | D5BRSEGCY8 | statement | record (an 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#0KZT |
| D5BTGPHENY | D5BTGPHENY | statement | record (an 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.34845#NVL8 |
| D5BV8JZK8C | D5BV8JZK8C | 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 2609.38138#BF3N |
| D5C9Q6BA0B | D5C9Q6BA0B | statement | record (an 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.31300#YC75 |
| D5CRZA3YAG | D5CRZA3YAG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2210.02997#C1OM |
| D5DD621SR0 | D5DD621SR0 | statement | record (an 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.07260#9TQ4 |
| D5DQCQYNZG | D5DQCQYNZG | statement | record (an 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.17260#VAWO |
| D5DWTTQEW6 | D5DWTTQEW6 | 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.13931#W17I |
| D5EGWM9XT4 | D5EGWM9XT4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.15716#3OQ5 |
| D5EZ0CVYVE | D5EZ0CVYVE | statement | record (an 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.33771#DJV5 |
| D5F3CTNC6B | D5F3CTNC6B | statement | record (an 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.17408#8IYN |
| D5FFSFYT4K | D5FFSFYT4K | statement | open | open_logic content/set-theory/ordinals/iso.tex#wellordinitialsegment |
| D5FGG5XRJN | D5FGG5XRJN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.10202#8N74 |
| D5FH85HXV6 | D5FH85HXV6 | statement | record (an 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.09019#LJ7V |
| D5G269SFJ2 | D5G269SFJ2 | statement | record (an 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.25761#MEF5 |
| D5G53RAKWX | D5G53RAKWX | statement | record (an 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.17408#54UH |
| D5GCKRD07D | D5GCKRD07D | statement | record (an 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.32650#XEY6 |
| D5GCWGHKFQ | D5GCWGHKFQ | statement | record (an 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.19464#V1FC |
| D5H5EDSTTE | D5H5EDSTTE | statement | record (an 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.11968#70Z3 |
| D5HMWQHHSK | D5HMWQHHSK | statement | record (an 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.02432#XSH7 |
| D5HVMF1VAT | D5HVMF1VAT | statement | record (an 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.12810#195H |
| D5HVSHYNHA | D5HVSHYNHA | statement | record (an 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/0406514#B6B4 |
| D5HYY1ZM39 | D5HYY1ZM39 | exercise | open | lebl_scv scv.tex#exercise:regdimwelldef |
| D5J7313X19 | D5J7313X19 | 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.28011#QEQL |
| D5J85S05YF | D5J85S05YF | statement | record (an 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.15352#IQED |
| D5J8CBWV4N | D5J8CBWV4N | 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.09561#VX5C |
| D5J97A5HV9 | D5J97A5HV9 | statement | record (an 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.37606#CB9K |