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 201–300 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| D1AH885TPQ | D1AH885TPQ | statement | record (an 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.07122#IP0J |
| D1AMB20GWW | D1AMB20GWW | statement | record (an 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.13213#UCLM |
| D1B2DNJ2NC | D1B2DNJ2NC | statement | record (an 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#254S |
| D1B4TCE5RR | D1B4TCE5RR | statement | record (an 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.05066#84FI |
| D1B8YK1BM1 | D1B8YK1BM1 | 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 2508.07340#8GTP |
| D1CJYGGW65 | D1CJYGGW65 | 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 2508.17135#23YR |
| D1CPRZG4NQ | D1CPRZG4NQ | statement | record (an 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.37489#X5HT |
| D1D65KAZHJ | D1D65KAZHJ | 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 1903.07030#WXT4 |
| D1ED2V5RFX | D1ED2V5RFX | statement | record (an 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.20678#PLAJ |
| D1EF6CMKQQ | D1EF6CMKQQ | 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.29022#M3D2 |
| D1EFTYBZYN | D1EFTYBZYN | statement | record (an 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.04145#M1W6 |
| D1EQGAHK1F | D1EQGAHK1F | statement | record (an 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.08583#1JQ8 |
| D1FKWD7TWD | D1FKWD7TWD | statement | record (an 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.21017#R0BB |
| D1GB8RWTB8 | D1GB8RWTB8 | statement | record (an 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#0ZAQ |
| D1GXQ1508X | D1GXQ1508X | statement | record (an 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.30664#LUUF |
| D1GZCEA8NR | D1GZCEA8NR | statement | record (an 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.21768#CEAM |
| D1H6FKHH4F | D1H6FKHH4F | 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.05193#OYOS |
| D1J174Q3B5 | D1J174Q3B5 | statement | record (an 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.12014#BP3C |
| D1J5B2301V | D1J5B2301V | statement | record (an 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.07001#R48P |
| D1J60P063R | D1J60P063R | statement | record (an 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#KAOW |
| D1J9KQFVV9 | D1J9KQFVV9 | definition | open | napkin tex/alg-geom/spec-zariski.tex#definition-3 |
| D1JCZ45RQ0 | D1JCZ45RQ0 | statement | record (an 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.12120#D7AC |
| D1M7DXY0MR | D1M7DXY0MR | statement | record (an 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.00596#VN83 |
| D1MT156V4C | D1MT156V4C | statement | record (an 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.02407#87CL |
| D1N27C94RQ | D1N27C94RQ | 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 2607.28337#OVW2 |
| D1NBZCGTXE | D1NBZCGTXE | example | open | open_logic content/normal-modal-logic/tableaux/countermodels.tex#ex-2 |
| D1NCDME63R | D1NCDME63R | statement | record (an 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.11038#N765 |
| D1NGXXETD2 | D1NGXXETD2 | statement | record (an 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.01753#WPXU |
| D1NWHV102T | D1NWHV102T | statement | record (an 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.26201#QXOO |
| D1P61GSN5E | D1P61GSN5E | statement | record (an 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#XN33 |
| D1PP40RCPG | D1PP40RCPG | statement | record (an 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.16877#35B8 |
| D1Q4BH8SMS | D1Q4BH8SMS | 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.23424#21DI |
| D1QFG8K863 | D1QFG8K863 | statement | record (an 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#GBS7 |
| D1R5FV0MZ3 | D1R5FV0MZ3 | statement | record (an 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.24901#PBOB |
| D1RBQEQP9N | D1RBQEQP9N | 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.00934#IN49 |
| D1S3CSMFZ7 | D1S3CSMFZ7 | proof | open | hott_book hits.tex#proof-10 |
| D1S99QE4F2 | D1S99QE4F2 | statement | record (an 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.05194#VWOI |
| D1SS7T9C91 | D1SS7T9C91 | 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 1408.1555#B7JG |
| D1SZ9V62GQ | D1SZ9V62GQ | statement | record (an 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.01329#Q57L |
| D1TJCZ69KB | D1TJCZ69KB | statement | record (an 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.17677#BGDS |
| D1VSA9QZK3 | D1VSA9QZK3 | statement | record (an 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.31907#ZA5O |
| D1VSGV6JEZ | D1VSGV6JEZ | definition | open | napkin tex/rep-theory/characters.tex#definition-5 |
| D1VYQGDV5J | D1VYQGDV5J | statement | record (an 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#NWTS |
| D1W9JD0ME1 | D1W9JD0ME1 | statement | record (an 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#RL72 |
| D1WDCVW166 | D1WDCVW166 | statement | record (an 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#S3CG |
| D1X5KH2TWP | D1X5KH2TWP | statement | record (an 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#HGNO |
| D1Z6PD7A1C | D1Z6PD7A1C | statement | record (an 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.04876#T19Z |
| D1ZF2WB4V6 | D1ZF2WB4V6 | statement | record (an 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.03909#W73D |
| D1ZNYHKYQF | D1ZNYHKYQF | statement | record (an 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.36412#L58E |
| D1ZPH61SSS | D1ZPH61SSS | statement | record (an 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.26723#L757 |
| D1ZZDAX4MV | D1ZZDAX4MV | statement | record (an 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.07790#NQ1Z |
| D20F2TG41G | D20F2TG41G | statement | record (an 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.20758#VUSY |
| D20NTKB88S | D20NTKB88S | statement | record (an 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.31615#Y6EG |
| D21 – Janeček method | NSFPR7Q1TB | unknown | open | Wikipedia List of mathematics-based methods#AVU6 |
| D213Y7S3E9 | D213Y7S3E9 | statement | record (an 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.26382#VOGP |
| D21FSVS0TX | D21FSVS0TX | statement | record (an 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.24465#F7N2 |
| D22EWQ9KGW | D22EWQ9KGW | unknown | open | arXiv 2610.13680#SM9Y |
| D22K8ZAYGB | D22K8ZAYGB | 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.25973#0C3I |
| D22R0CZGDK | D22R0CZGDK | 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.07671#WY80 |
| D23W1Y1E90 | D23W1Y1E90 | statement | record (an 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.19260#C0PK |
| D23Y907C1J | D23Y907C1J | 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#NARK |
| D2400B7WWE | D2400B7WWE | statement | record (an 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#TCV5 |
| D24E4FVSK0 | D24E4FVSK0 | statement | record (an 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.02686#6WMS |
| D25CFACSMC | D25CFACSMC | 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 2409.00806#S2G2 |
| D2740WJ8K2 | D2740WJ8K2 | statement | record (an 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#JC9Y |
| D277T6YFQS | D277T6YFQS | exercise | open | open_logic content/first-order-logic/completeness/complete-consistent-sets.tex#prob-1 |
| D27BFC9ETC | D27BFC9ETC | 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 2309.08900#W4F1 |
| D27CEFW3TE | D27CEFW3TE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#2RW1 |
| D27DXWWDCM | D27DXWWDCM | 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 1903.11969#X5N7 |
| D27EPV68EG | D27EPV68EG | statement | record (an 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.24206#03TE |
| D27RD4FHR0 | D27RD4FHR0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#D6O0 |
| D28NH020JK | D28NH020JK | statement | record (an 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.20577#A8JG |
| D290KZG7Z5 | D290KZG7Z5 | exercise | open | levin_dmoi ptx/sec_counting-combperm.ptx#investigation-1 |
| D29MHH53C5 | D29MHH53C5 | exercise | open | lebl_scv scv.tex#exercise-123 |
| D2A63RX30E | D2A63RX30E | statement | record (an 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.28203#RNCN |
| D2A7TD6DQZ | D2A7TD6DQZ | statement | record (an 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#XG3N |
| D2AF38DJPT | D2AF38DJPT | statement | record (an 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.11939#DZ64 |
| D2AQWA15SW | D2AQWA15SW | statement | record (an 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#6GZ6 |
| D2B1PFXEZ9 | D2B1PFXEZ9 | statement | record (an 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.02215#K39T |
| D2BA8DZ5Y6 | D2BA8DZ5Y6 | statement | record (an 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.21047#QGQL |
| D2BKH9FJW6 | D2BKH9FJW6 | statement | record (an 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.40138#2DG6 |
| D2BR4M619V | D2BR4M619V | statement | record (an 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.09379#7JBK |
| D2BXMZ5J1B | D2BXMZ5J1B | 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 2411.01837#MSTJ |
| D2CS35AGJZ | D2CS35AGJZ | statement | record (an 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.05268#WYYY |
| D2D9KTYBDY | D2D9KTYBDY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.06310#6MGW |
| D2DNENRR4K | D2DNENRR4K | 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.14099#TED3 |
| D2DNKPX3S7 | D2DNKPX3S7 | exercise | open | open_logic content/turing-machines/machines-computations/unary-numbers.tex#prob-6 |
| D2DVKQY10K | D2DVKQY10K | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#prop:dual |
| D2DZDCGT26 | D2DZDCGT26 | statement | record (an 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.26500#MTYR |
| D2E2GKZVXX | D2E2GKZVXX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2204.13401#BUJ6 |
| D2E9D04984 | D2E9D04984 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.14274#ZS2N |
| D2ENFPFVY9 | D2ENFPFVY9 | statement | record (an 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#U95S |
| D2F6T20AX4 | D2F6T20AX4 | statement | record (an 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/9201244#HMZ3 |
| D2FBE2Z2A8 | D2FBE2Z2A8 | statement | record (an 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.20207#TGLT |
| D2G4HEK2SJ | D2G4HEK2SJ | 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 math/9602216#C1DH |
| D2GEZGPGTM | D2GEZGPGTM | statement | record (an 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#QO2Q |
| D2GJKB222N | D2GJKB222N | exercise | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prob-1 |
| D2H56ZD5XQ | D2H56ZD5XQ | proof | open | open_logic content/computability/computability-theory/halting-problem.tex#proof-1 |
| D2HTVE6VHR | D2HTVE6VHR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.1817#DYJH |
| D2JVYA4F06 | D2JVYA4F06 | statement | record (an 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#UOJJ |