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 901–1000 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| D8TP6WMN8X | D8TP6WMN8X | statement | record (an 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.21860#4QSP |
| 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 |
| D8Z0B6BPYT | D8Z0B6BPYT | statement | record (an 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.07340#GPY2 |
| D8Z3YP38V4 | D8Z3YP38V4 | 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.18016#5HWS |
| D8ZQ0H7TP2 | D8ZQ0H7TP2 | statement | record (an 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#3U69 |
| D90G0P4D02 | D90G0P4D02 | statement | record (an 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.08382#HC8T |
| D90PE82D90 | D90PE82D90 | statement | record (an 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#UD2N |
| D90PHVFVRZ | D90PHVFVRZ | statement | record (an 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.10243#3JKG |
| D90V6HB5CJ | D90V6HB5CJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1512.06981#140P |
| D915YA34E9 | D915YA34E9 | 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.12669#LI6J |
| D91B88HPKR | D91B88HPKR | statement | open | open_logic content/turing-machines/undecidability/verification.tex#lem:halt-config-implies-halt |
| D91KBBN04M | D91KBBN04M | statement | record (an 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#KJH3 |
| D922ZAP02X | D922ZAP02X | unknown | open | |
| D924EAWNY4 | D924EAWNY4 | unknown | open | |
| D9278JCSW6 | D9278JCSW6 | statement | record (an 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#3M3J |
| D92M4FKEKJ | D92M4FKEKJ | statement | record (an 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.07511#0VFO |
| D92MXQGPZX | D92MXQGPZX | statement | record (an 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.17516#MQDI |
| D92ZYVGPZC | D92ZYVGPZC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#Y7TL |
| D94C10004Z | D94C10004Z | example | open | ernst_ibl MAAPressVersion/IntroCardinality.tex#example-3 |
| D94N96XA2Z | D94N96XA2Z | exercise | open | lebl_ra ch-riemann.tex#exercise-14 |
| D951E52X56 | D951E52X56 | statement | record (an 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.21533#OS7F |
| D95ECQE288 | D95ECQE288 | 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 2205.06433#XE9A |
| D95FJ3RYK6 | D95FJ3RYK6 | statement | record (an 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.01057#H95H |
| D95HW7WEX0 | D95HW7WEX0 | statement | record (an 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.00909#P57P |
| D97F6SQEJS | D97F6SQEJS | unknown | open | arXiv 2609.25111#FAOS |
| D97MN1CQ2W | D97MN1CQ2W | statement | record (an 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.22413#14AI |
| D98HGQADZ4 | D98HGQADZ4 | exercise | open | open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-3 |
| D98PPE6155 | D98PPE6155 | exercise | open | applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-2 |
| D98WGHD77G | D98WGHD77G | statement | record (an 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.40191#M8K4 |
| D993YNDD0F | D993YNDD0F | proof | open | open_logic content/model-theory/lindstrom/ls-property.tex#proof-1 |
| D99Q1Z81KV | D99Q1Z81KV | statement | record (an 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.19309#XW77 |
| D9AJT6B0H3 | D9AJT6B0H3 | statement | record (an 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#4861 |
| D9AV67HZMG | D9AV67HZMG | 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#X7RD |
| D9AXJNQP53 | D9AXJNQP53 | 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.24082#BDTC |
| D9AY38ZRSK | D9AY38ZRSK | statement | record (an 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.35275#UQH2 |
| D9BAK8209R | D9BAK8209R | statement | record (an 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.40274#GE2N |
| D9BW75D4V3 | D9BW75D4V3 | 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.08293#ISXY |
| D9BYY2RCHA | D9BYY2RCHA | statement | record (an 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.35632#2Q1V |
| D9C4H4XC75 | D9C4H4XC75 | statement | record (an 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#7L5A |
| D9CFCAKBX7 | D9CFCAKBX7 | 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.07318#2O13 |
| D9D7B63AYK | D9D7B63AYK | exercise | open | lebl_ra ch-one-dim-ints-sv.tex#exercise-7 |
| D9DBKVYHVH | D9DBKVYHVH | statement | record (an 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.05539#64YL |
| D9DXPW4ZT1 | D9DXPW4ZT1 | statement | record (an 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#MNKB |
| D9ED3633X4 | D9ED3633X4 | statement | record (an 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.04498#6B3H |
| D9EHGS9PFG | D9EHGS9PFG | proof | open | levin_dmoi ptx/exercises/logic-proofs.ptx#proof-3 |
| D9FPWPFB65 | D9FPWPFB65 | 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.09809#QI9X |
| D9FQ08MAFF | D9FQ08MAFF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#0QR8 |
| D9G5XFJ6BC | D9G5XFJ6BC | statement | record (an 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.05661#JBGY |
| D9GCK9XPXM | D9GCK9XPXM | statement | record (an 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.21675#EZ7B |
| D9GFKCD1HW | D9GFKCD1HW | statement | record (an 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.07855#4NKX |
| D9GGYY830Y | D9GGYY830Y | 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#0PGN |
| D9GMB2893H | D9GMB2893H | statement | record (an 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.21929#SSFX |
| D9GYFY0K39 | D9GYFY0K39 | statement | record (an 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.10801#C2N1 |
| D9HAM15JNZ | D9HAM15JNZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.08004#AJGU |
| D9HP5HSV5H | D9HP5HSV5H | statement | record (an 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.20998#YL3B |
| D9J5K80X5X | D9J5K80X5X | 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.12633#GCP2 |
| D9JRR9FAF0 | D9JRR9FAF0 | 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 2505.05539#4VQ9 |
| D9JTXVYTCS | D9JTXVYTCS | statement | record (an 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.00048#KQFH |
| D9K3B37HRA | D9K3B37HRA | statement | record (an 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.22291#PHYZ |
| D9KCNTZYSN | D9KCNTZYSN | statement | record (an 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.27078#36CI |
| D9KMEMCXMM | D9KMEMCXMM | example | open | austin_ula src/section4-2.xml#example-2 |
| D9KMJKYEZ0 | D9KMJKYEZ0 | statement | record (an 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.15942#DJS6 |
| D9KTZSF0Z7 | D9KTZSF0Z7 | 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.28254#CPXK |
| D9MKRDYEGQ | D9MKRDYEGQ | 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 2412.20238#F8MN |
| D9MNB3XAD7 | D9MNB3XAD7 | statement | record (an 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.08865#1UTG |
| D9MNXAZSQK | D9MNXAZSQK | statement | record (an 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.20225#7I50 |
| D9MS5WXB8Z | D9MS5WXB8Z | proof | open | napkin tex/calculus/limits.tex#proof-1 |
| D9MVW3Z3YY | D9MVW3Z3YY | statement | record (an 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.05365#L13A |
| D9NP1KHRH9 | D9NP1KHRH9 | statement | record (an 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.31781#IRUH |
| D9NRQCD9B6 | D9NRQCD9B6 | statement | record (an 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.26496#RC9W |
| D9NT9JNNYQ | D9NT9JNNYQ | definition | open | napkin tex/riemann-surface/complex-structure.tex#definition-2 |
| D9PFBS6DKJ | D9PFBS6DKJ | 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.32077#5IES |
| D9PJ4ZWY1Y | D9PJ4ZWY1Y | statement | record (an 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.02489#DFRW |
| D9PY090BD4 | D9PY090BD4 | definition | open | lebl_scv scv.tex#defn-36 |
| D9QC280K7N | D9QC280K7N | statement | record (an 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.19590#ELLA |
| D9QQZ5W3Q8 | D9QQZ5W3Q8 | statement | record (an 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.08480#IZ6K |
| D9RPYARSCD | D9RPYARSCD | statement | record (an 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.36403#91KY |
| D9SSEXB8HQ | D9SSEXB8HQ | 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 1705.04310#DX3V |
| D9SZA6VQCB | D9SZA6VQCB | 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.03011#PE8Z |
| D9T1NZPP1R | D9T1NZPP1R | statement | record (an 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.18992#Z671 |
| D9TKM7QW98 | D9TKM7QW98 | statement | record (an 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#WNQE |