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 1101–1200 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DB8364BAZS | DB8364BAZS | statement | record (an 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.19360#SCZR |
| DB8E83NRBH | DB8E83NRBH | proof | open | hott_book reals.tex#proof-3 |
| DB8EQZQA3G | DB8EQZQA3G | statement | record (an 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.37026#57S3 |
| DB8GTYMQFA | DB8GTYMQFA | statement | open | napkin tex/H113/sylow.tex#theorem-2 |
| DB935783D8 | DB935783D8 | statement | record (an 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.39505#KIS9 |
| DB969MK59Z | DB969MK59Z | statement | record (an 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.13464#GS6K |
| DB977GR8SR | DB977GR8SR | statement | record (an 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.05486#G81K |
| DB9B8T2GQH | DB9B8T2GQH | statement | record (an 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.00312#69Q1 |
| DB9SB2C1Z0 | DB9SB2C1Z0 | statement | open | napkin tex/calculus/differentiate.tex#theorem-3 |
| DBAFRRJAAC | DBAFRRJAAC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#THHB |
| DBANA7V4X1 | DBANA7V4X1 | statement | record (an 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.06621#Y1PE |
| DBASE6N41V | DBASE6N41V | 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 2211.10178#B6QQ |
| DBBPYA87TW | DBBPYA87TW | statement | record (an 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.27798#LFRY |
| DBBQ8KKXH4 | DBBQ8KKXH4 | statement | record (an 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#6X2W |
| DBBRXRCPPZ | DBBRXRCPPZ | statement | record (an 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.03337#H8WZ |
| DBCHXN327C | DBCHXN327C | statement | record (an 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.04833#LYBY |
| DBCW3DD54D | DBCW3DD54D | 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.25168#Z2CP |
| DBD8VGS66D | DBD8VGS66D | statement | record (an 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.31269#TQIR |
| DBDX5DT3S2 | DBDX5DT3S2 | statement | record (an 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.30685#JXBV |
| DBE7E7J4SS | DBE7E7J4SS | statement | record (an 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.25080#L7V7 |
| DBEDGXM0N0 | DBEDGXM0N0 | exercise | open | austin_ula src/exercises/exercises7-1.xml#exercise-4 |
| DBEV5J5VNR | DBEV5J5VNR | statement | record (an 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.15593#ROZT |
| DBEWMN93M7 | DBEWMN93M7 | 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.10930#8EAW |
| DBF5M20TMA | DBF5M20TMA | unknown | open | arXiv 2205.15365#QCQR |
| DBF7H36SJ6 | DBF7H36SJ6 | statement | record (an 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.15257#674T |
| DBFA5FFX5N | DBFA5FFX5N | statement | record (an 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.27641#FKYY |
| DBG1AJ6KTZ | DBG1AJ6KTZ | statement | record (an 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#CE1H |
| DBG4BTQ9WN | DBG4BTQ9WN | statement | record (an 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.15393#RDWH |
| DBGD80ZA4C | DBGD80ZA4C | 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.09949#P6LP |
| DBGR4P2X8K | DBGR4P2X8K | statement | record (an 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.05191#9UAB |
| DBHSXWH0MW | DBHSXWH0MW | statement | record (an 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#SLWB |
| DBJTH6PTTQ | DBJTH6PTTQ | exercise | open | napkin tex/measure/caratheodory.tex#pr:construct_outer_measure |
| DBK1PM5RBT | DBK1PM5RBT | exercise | open | levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-8 |
| DBK2XKQYDX | DBK2XKQYDX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.08875#V7KB |
| DBKFHS2YMY | DBKFHS2YMY | statement | record (an 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.10935#UT24 |
| DBKWY3F4A2 | DBKWY3F4A2 | statement | record (an 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.10828#7K1O |
| DBM5S40VGT | DBM5S40VGT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04063#T0F4 |
| DBN2CH6YRA | DBN2CH6YRA | proof | open | hott_book categories.tex#proof-3 |
| DBN8202NFD | DBN8202NFD | 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 2410.14097#O0D8 |
| DBN8GQZS7A | DBN8GQZS7A | example | open | austin_ula src/section6-1.xml#example-2 |
| DBN972C8DX | DBN972C8DX | statement | record (an 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.24610#X347 |
| DBNBA1BS1Z | DBNBA1BS1Z | statement | record (an 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.27834#WXJB |
| DBNHXM3MGN | DBNHXM3MGN | definition | open | napkin tex/alg-geom/proj-var.tex#definition-7 |
| DBNK2BFSPA | DBNK2BFSPA | 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.05314#ATRI |
| DBQ7456SZM | DBQ7456SZM | statement | record (an 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.07092#LKZ4 |
| DBQBRJG9FP | DBQBRJG9FP | statement | record (an 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.14236#C0SX |
| DBR3JVC0ZG | DBR3JVC0ZG | statement | record (an 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.12486#UAUP |
| DBR4SDBQHP | DBR4SDBQHP | statement | record (an 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.14236#WSD4 |
| DBRJNG3285 | DBRJNG3285 | statement | record (an 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.40282#6N7C |
| DBRJWYN8VQ | DBRJWYN8VQ | exercise | open | napkin tex/topology/compactness.tex#ques-7 |
| DBSGMTMBF3 | DBSGMTMBF3 | statement | record (an 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.03081#PQK0 |
| DBT8N1HA21 | DBT8N1HA21 | exercise | open | hott_book equivalences.tex#ex:qinv-univalence |
| DBTCHY0SPK | DBTCHY0SPK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.07061#9UBY |
| DBTQS0QBQK | DBTQS0QBQK | statement | record (an 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.00786#S7RY |
| DBV69F3P2X | DBV69F3P2X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0806.0033#KO6P |
| DBV8J3PB2R | DBV8J3PB2R | 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.38793#3XS9 |
| DBVCVXNWV6 | DBVCVXNWV6 | statement | record (an 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/0512416#SPPS |
| DBVXGX8MCD | DBVXGX8MCD | statement | record (an 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#297E |
| DBW2S09Z4M | DBW2S09Z4M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0905.3937#2YRC |
| DBW3H6YBDM | DBW3H6YBDM | 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.31783#MW0P |
| DBWEZY9TM2 | DBWEZY9TM2 | 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.13898#1EW0 |
| DBXDKYCKG2 | DBXDKYCKG2 | statement | record (an 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#AVH8 |
| DBXEXG2VPV | DBXEXG2VPV | statement | record (an 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.03138#NZYS |
| DBXK7BYCSR | DBXK7BYCSR | statement | record (an 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.39103#CTLS |
| DBXRM9G80D | DBXRM9G80D | statement | record (an 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.02495#7EWT |
| DBXTCTAHTT | DBXTCTAHTT | example | open | applied_combinatorics source/s_recurrence_solving.ptx#ex_recurrence_lines-solved |
| DBY5Z3RDGR | DBY5Z3RDGR | exercise | open | lebl_ra ch-contfunc.tex#exercise-31 |
| DBZ6AW63NC | DBZ6AW63NC | statement | record (an 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.25656#T0FN |
| DBZZ7XNFV1 | DBZZ7XNFV1 | statement | record (an 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.19249#IIE2 |
| DC formulation with linear constraints | JXJ76C9DT6 | statement | record (an 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.16429#D1IX |
| DC06PECJEK | DC06PECJEK | statement | record (an 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.24297#L4UN |
| DC09QAMN5G | DC09QAMN5G | statement | record (an 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.06872#1TQV |
| DC0N3MR5NA | DC0N3MR5NA | statement | record (an 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.00407#NEYU |
| DC0VYJZD5T | DC0VYJZD5T | statement | record (an 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#3E5C |
| DC14DVMVPE | DC14DVMVPE | statement | record (an 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.12908#YUFA |
| DC1D4G84X4 | DC1D4G84X4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.13510#Q4M8 |
| DC1E1CHCRW | DC1E1CHCRW | statement | record (an 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.20944#IUU7 |
| DC1R8MEH1D | DC1R8MEH1D | statement | record (an 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.16875#GCOM |
| DC26PRN1MP | DC26PRN1MP | 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#84G3 |
| DC296SSP7H | DC296SSP7H | statement | record (an 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#27TH |
| DC35755Q6F | DC35755Q6F | statement | record (an 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.20316#20QX |
| DC3CDD3DXK | DC3CDD3DXK | statement | record (an 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.07092#VYC7 |
| DC4TBAJDTH | DC4TBAJDTH | 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.09171#3FY2 |
| DC4TGV97VC | DC4TGV97VC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#5QX1 |
| DC58859TRP | DC58859TRP | statement | record (an 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.15160#RL5M |
| DC5JV2DX2A | DC5JV2DX2A | 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.38250#VJZV |
| DC5QXD3ABB | DC5QXD3ABB | statement | record (an 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.17045#4KID |
| DC5YD69TY9 | DC5YD69TY9 | statement | record (an 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#B1H2 |
| DC5YR85QPB | DC5YR85QPB | statement | record (an 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.31986#VMAA |
| DC60EA882C | DC60EA882C | example | open | levin_dmoi ptx/sec_intro-sets.ptx#example-8 |
| DC610XWMH0 | DC610XWMH0 | 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.37520#H442 |
| DC6C2YGMXG | DC6C2YGMXG | 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.22326#HC9C |
| DC6HGMCC4W | DC6HGMCC4W | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-51 |
| DC6S8621FW | DC6S8621FW | statement | record (an 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.17482#3VCB |
| DC6ZTRZYY8 | DC6ZTRZYY8 | statement | record (an 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.17325#P18H |
| DC7A6FKMXH | DC7A6FKMXH | proof | open | hott_book basics.tex#proof-28 |
| DC7AXR2BHX | DC7AXR2BHX | 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.02061#K2ND |
| DC7H4JBJJM | DC7H4JBJJM | statement | record (an 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.02079#DFVL |
| DC98E7R9E7 | DC98E7R9E7 | statement | record (an 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.33027#KO2M |
| DC9JTRBEPR | DC9JTRBEPR | statement | record (an 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.20991#EFF8 |