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 701–800 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| D7S63DEDQV | D7S63DEDQV | 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.30049#2Y1L |
| D7S6GG0VZV | D7S6GG0VZV | definition | open | napkin tex/topology/constructions.tex#definition-4 |
| D7SJ070MD5 | D7SJ070MD5 | example | open | lebl_diffyqs ch-higher-order-ode.tex#example:expsecondorder |
| D7T33SHRN2 | D7T33SHRN2 | statement | record (an 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#6I5F |
| D7TH2BK53R | D7TH2BK53R | statement | record (an 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#9PYG |
| D7V11ABW25 | D7V11ABW25 | statement | record (an 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#8342 |
| D7V8K4G05A | D7V8K4G05A | statement | record (an 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.01561#JTD9 |
| D7VMR3KNY7 | D7VMR3KNY7 | statement | record (an 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.24795#NGAN |
| D7W2G6JQ5Q | D7W2G6JQ5Q | statement | record (an 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#W7GG |
| D7WCKVGM2Z | D7WCKVGM2Z | statement | record (an 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#G2UN |
| D7WQKB8NXX | D7WQKB8NXX | statement | record (an 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.30086#2GTA |
| D7XCV92BAN | D7XCV92BAN | 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 2103.14389#ELST |
| D7XR8GM67F | D7XR8GM67F | statement | record (an 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#8KJC |
| D7XRX1S4MG | D7XRX1S4MG | statement | record (an 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.24747#WWUX |
| D7XTRPCCGY | D7XTRPCCGY | statement | record (an 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.17571#0CN0 |
| D7Y3684SG9 | D7Y3684SG9 | statement | record (an 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.26479#3S4T |
| D7YABC50VN | D7YABC50VN | statement | record (an 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.12309#E567 |
| D7Z3W2G87B | D7Z3W2G87B | 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.16554#FS8O |
| D7ZNZC4M9J | D7ZNZC4M9J | exercise | open | napkin tex/topology/compactness.tex#prob:tychonoff |
| D806M8E39P | D806M8E39P | 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.13833#RGF5 |
| D807ZMRCZ8 | D807ZMRCZ8 | 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.08028#W1AN |
| D80DD5HDAE | D80DD5HDAE | 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.04434#4LYZ |
| D80GF8R71E | D80GF8R71E | statement | record (an 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.01970#77YB |
| D80ZP5EQ1R | D80ZP5EQ1R | statement | record (an 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.39246#83NU |
| D81D1XBA9Y | D81D1XBA9Y | statement | record (an 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.19469#Q5LE |
| D81J546JY1 | D81J546JY1 | statement | record (an 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#82MA |
| D81JBJ7QQE | D81JBJ7QQE | statement | record (an 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.35030#TUAL |
| D81XX6MC09 | D81XX6MC09 | proof | open | open_logic content/lambda-calculus/syntax/substitution.tex#proof-2 |
| D8204FHBFQ | D8204FHBFQ | statement | record (an 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#GD4Z |
| D82D5HJPR6 | D82D5HJPR6 | statement | record (an 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.34236#N58W |
| D82EW2Z02E | D82EW2Z02E | statement | record (an 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.14717#KL0W |
| D833Z5JH99 | D833Z5JH99 | statement | record (an 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.31294#CQTP |
| D83FFDZEKA | D83FFDZEKA | statement | record (an 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.24355#NCBF |
| D83ZBC0VKN | D83ZBC0VKN | 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.03661#01DO |
| D845JMP07X | D845JMP07X | statement | record (an 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.19669#3EPQ |
| D855R0ARHF | D855R0ARHF | statement | record (an 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.37580#Y16U |
| D857VJ8HD9 | D857VJ8HD9 | exercise | open | austin_ula src/exercises/exercises6-3.xml#exercise-7 |
| D858S5G1DR | D858S5G1DR | statement | record (an 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.03704#JJLU |
| D85EHFDFH8 | D85EHFDFH8 | proof | open | applied_combinatorics source/s_induction_recursion.ptx#proof-1 |
| D85M23YS3X | D85M23YS3X | statement | record (an 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.21298#CK5S |
| D85NGRQH7R | D85NGRQH7R | statement | record (an 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#W49J |
| D86KZX5C9V | D86KZX5C9V | 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.26401#SPR0 |
| D86X1VKYVW | D86X1VKYVW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.09601#U2L0 |
| D87EWFMFNQ | D87EWFMFNQ | statement | record (an 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.05611#JV3X |
| D87GFCVWMT | D87GFCVWMT | statement | record (an 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.10233#FTNI |
| D87W886ZVT | D87W886ZVT | statement | record (an 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#YK09 |
| D883HGP6XA | D883HGP6XA | statement | record (an 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.37508#8IQ4 |
| D88B6F0G96 | D88B6F0G96 | statement | record (an 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.09162#IAS9 |
| D88SBDC8R1 | D88SBDC8R1 | 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.39293#DTCS |
| D88ZS8QSCM | D88ZS8QSCM | statement | record (an 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.09882#Q3G3 |
| D891VCJG3D | D891VCJG3D | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-39 |
| D89Y7E21TR | D89Y7E21TR | statement | record (an 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.32916#KDDO |
| D8B27020CW | D8B27020CW | example | open | napkin tex/alg-geom/proj-var.tex#example-7 |
| D8B2WVF1VW | D8B2WVF1VW | exercise | open | hott_book reals.tex#ex:traditional-archimedean |
| D8BGBGMAX4 | D8BGBGMAX4 | 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.16941#0PZQ |
| D8C9EMXT7A | D8C9EMXT7A | statement | record (an 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#07Y7 |
| D8CR2PR52T | D8CR2PR52T | statement | record (an 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/9902147#CG36 |
| D8CTD0GV78 | D8CTD0GV78 | 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 2211.16099#DCMB |
| D8CZ9A776A | D8CZ9A776A | statement | record (an 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.17258#DORJ |
| D8DPWQE6ZX | D8DPWQE6ZX | statement | record (an 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.05512#66Q4 |
| D8DZKAAQWG | D8DZKAAQWG | statement | record (an 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.20087#HO7M |
| D8E5R3G8KS | D8E5R3G8KS | statement | record (an 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.04772#OUN6 |
| D8EB0TSX29 | D8EB0TSX29 | 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.00105#PFSC |
| D8EHXWKFRK | D8EHXWKFRK | statement | record (an 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.27125#NK9H |
| D8F3TRB5ZP | D8F3TRB5ZP | statement | record (an 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.17060#VRHG |
| D8FQ6AZN7H | D8FQ6AZN7H | statement | record (an 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.36300#CLE3 |
| D8G3Y8Q4X7 | D8G3Y8Q4X7 | statement | record (an 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.01888#U2GK |
| D8GB7V1M83 | D8GB7V1M83 | statement | record (an 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.37761#MWHC |
| D8H96PAHRT | D8H96PAHRT | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-52 |
| D8K15KF25F | D8K15KF25F | 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 0903.1504#JO7L |
| D8M02A6MBH | D8M02A6MBH | statement | record (an 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.14783#8SAD |
| D8M05CQXQ4 | D8M05CQXQ4 | statement | record (an 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.29531#9J6B |
| D8MBQWYFCV | D8MBQWYFCV | 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.14847#JPBW |
| D8N4NBCXMV | D8N4NBCXMV | statement | record (an 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#LSTC |
| D8N7TGWKT6 | D8N7TGWKT6 | statement | record (an 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.08633#ASQI |
| D8NR6JK8HB | D8NR6JK8HB | statement | record (an 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.16562#AAC7 |
| D8NZY0JCRN | D8NZY0JCRN | statement | record (an 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.05198#GRRS |
| D8P1N9C50Z | D8P1N9C50Z | statement | record (an 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.18580#9PJ4 |
| D8QJY2MPMP | D8QJY2MPMP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#QLXY |
| D8RJD6DC5B | D8RJD6DC5B | statement | record (an 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.00525#WD2R |
| D8RN8WNV7R | D8RN8WNV7R | statement | open | hott_book setmath.tex#thm:ordsucc |
| D8S5TQRE3N | D8S5TQRE3N | definition | open | open_logic content/lambda-calculus/lambda-definability/introduction.tex#defn-1 |
| D8SSARGNZH | D8SSARGNZH | statement | record (an 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.13723#I4XV |
| D8SY3M8NFG | D8SY3M8NFG | statement | record (an 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.02681#ZR72 |
| D8T78JB521 | D8T78JB521 | 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.17204#DK2N |
| D8TCC3118F | D8TCC3118F | statement | record (an 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.02216#A8VS |
| D8TDJJ5F9T | D8TDJJ5F9T | statement | record (an 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.30961#CY32 |
| D8TX5XM26E | D8TX5XM26E | statement | record (an 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.31458#0JBD |
| D8V0H04SE7 | D8V0H04SE7 | statement | record (an 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#UFUV |
| D8V5B4CZ57 | D8V5B4CZ57 | statement | record (an 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.16431#04CL |
| D8VBYJ4CPC | D8VBYJ4CPC | statement | record (an 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#DP2X |
| D8VM7MC8GG | D8VM7MC8GG | statement | record (an 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.24408#JZC3 |
| D8X0SPRTBS | D8X0SPRTBS | 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.33124#FO0P |
| D8X6RE4BPY | D8X6RE4BPY | statement | record (an 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.35597#LUK1 |
| D8Y429B585 | D8Y429B585 | statement | record (an 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.02628#FJO3 |
| D8Y6MRABT6 | D8Y6MRABT6 | statement | record (an 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.05423#BCR6 |
| D8YE2MMEH1 | D8YE2MMEH1 | statement | record (an 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.01411#7GBV |
| D8YHSZSTJC | D8YHSZSTJC | statement | record (an 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.06372#R0QW |
| D8YJT22P4P | D8YJT22P4P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.13523#ZFFA |
| D8YN7HCQY1 | D8YN7HCQY1 | exercise | open | open_logic content/first-order-logic/sequent-calculus/identity.tex#prob-1 |