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 201–300 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |
| D2KEZ0H0BQ | D2KEZ0H0BQ | 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.03353#F22C |
| D2KGV1DWHW | D2KGV1DWHW | statement | record (an 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.39455#HCR6 |
| D2KMG0Q584 | D2KMG0Q584 | exercise | open | active_calculus source/activities/act-5-2-3.xml#act-5-2-3 |
| D2KQH4E0H0 | D2KQH4E0H0 | proof | open | lebl_scv scv.tex#proof-52 |
| D2MB297QY1 | D2MB297QY1 | statement | record (an 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.34193#75HX |
| D2MPSW7SSW | D2MPSW7SSW | statement | record (an 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#40R6 |
| D2MQS1CRRF | D2MQS1CRRF | statement | record (an 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.09678#VUHX |
| D2NRZG6TYF | D2NRZG6TYF | statement | record (an 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.24412#1RWE |
| D2P2SMQG55 | D2P2SMQG55 | statement | record (an 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.37103#BC5P |
| D2QDDE6QRC | D2QDDE6QRC | statement | record (an 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.13505#WGZV |
| D2QE5CD22H | D2QE5CD22H | statement | record (an 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.15648#JN71 |
| D2R59HBHTF | D2R59HBHTF | statement | record (an 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.02743#5GOB |
| D2R90HX6YV | D2R90HX6YV | 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.37252#KIK0 |
| D2SFZ815S1 | D2SFZ815S1 | statement | record (an 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.12047#4MUO |
| D2STABW51R | D2STABW51R | statement | record (an 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.03477#5S87 |
| D2SWB6DKN1 | D2SWB6DKN1 | statement | record (an 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.26169#DEJV |
| D2T6813JW7 | D2T6813JW7 | 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.33771#UJRL |
| D2VCXXNFYJ | D2VCXXNFYJ | statement | record (an 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.38532#OGSF |
| D2VP1JWZ19 | D2VP1JWZ19 | statement | record (an 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.13850#Q0CE |
| D2VRSNNBT2 | D2VRSNNBT2 | statement | record (an 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.11757#F5S5 |
| D2W9K0114G | D2W9K0114G | statement | record (an 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/0003117#WJOF |
| D2WCAQMXM5 | D2WCAQMXM5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2012.11507#ZSLZ |
| D2WCZHPMWN | D2WCZHPMWN | 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.17240#KJHU |
| D2WYRAQYBF | D2WYRAQYBF | 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.21358#MTCO |
| D2X3JP7FCP | D2X3JP7FCP | statement | record (an 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.37589#FW9B |
| D2X40T73HQ | D2X40T73HQ | statement | record (an 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.14838#GD2B |
| D2XYM1AB2Y | D2XYM1AB2Y | statement | record (an 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.28597#N59A |
| D2Y59MPGE3 | D2Y59MPGE3 | statement | open | napkin tex/topology/metric-prop.tex#theorem-1 |
| D2YEBVX8Y8 | D2YEBVX8Y8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#OBWZ |
| D2YWRS3TZ2 | D2YWRS3TZ2 | proof | open | open_logic content/first-order-logic/natural-deduction/provability-quantifiers.tex#proof-2 |
| D2Z2AZCC44 | D2Z2AZCC44 | statement | record (an 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.28540#2FNT |
| D2ZDPEWR8W | D2ZDPEWR8W | statement | record (an 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.02213#T26D |
| D2ZX9038AM | D2ZX9038AM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2301.02848#4G08 |
| D309FWFD0N | D309FWFD0N | 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 2311.00585#L28B |
| D30BX64Y9Z | D30BX64Y9Z | statement | record (an 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.18335#JF0A |
| D31GYCZE99 | D31GYCZE99 | statement | record (an 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.22132#HCGN |
| D325YE94S6 | D325YE94S6 | statement | record (an 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.25188#6N5Q |
| D327PY4N9Y | D327PY4N9Y | statement | record (an 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.03517#BWF8 |
| D32YGZGVAH | D32YGZGVAH | 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#18MV |
| D339NZH1KZ | D339NZH1KZ | statement | record (an 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.27965#VOPY |
| D33NF4P15E | D33NF4P15E | statement | record (an 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.37252#ZNKH |
| D3468HRY7Q | D3468HRY7Q | statement | record (an 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#PM8X |
| D34Z2SC2WC | D34Z2SC2WC | 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 2412.20001#Y4JB |
| D35ZTYANE2 | D35ZTYANE2 | statement | record (an 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.36332#ACJG |
| D36BQWTTCT | D36BQWTTCT | 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.02935#62GF |
| D36BR1FNXC | D36BR1FNXC | statement | record (an 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.12141#JFEL |
| D36QP6Y0SX | D36QP6Y0SX | statement | record (an 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#576V |
| D36SV0FJWY | D36SV0FJWY | statement | record (an 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.37237#AGVC |
| D36Y70AJBF | D36Y70AJBF | statement | record (an 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.03384#7U6O |
| D37T47VZ94 | D37T47VZ94 | statement | record (an 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#YD6Y |
| D383VXRHQB | D383VXRHQB | statement | record (an 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.33856#AIJZ |
| D38M0N5F73 | D38M0N5F73 | 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.21960#6XOL |
| D38TX4B98B | D38TX4B98B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1204.5958#EE7D |
| D39PGDY9AK | D39PGDY9AK | statement | record (an 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.10093#AVXH |
| D39S90Y4Y8 | D39S90Y4Y8 | statement | record (an 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.06886#5GBT |
| D3AFVNEEXF | D3AFVNEEXF | statement | record (an 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.07828#T83L |
| D3APHZPHXY | D3APHZPHXY | statement | record (an 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/0301148#WO9Y |
| D3B1W2BHZB | D3B1W2BHZB | statement | record (an 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.09945#WDD8 |
| D3BEWZ56DX | D3BEWZ56DX | 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.34168#RUME |
| D3BSXPWZ7X | D3BSXPWZ7X | statement | record (an 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.25595#K007 |
| D3C840QYP1 | D3C840QYP1 | 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.00116#A3DT |
| D3CWHJCSXE | D3CWHJCSXE | 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.04214#2U9W |
| D3D3JG2Q5C | D3D3JG2Q5C | 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.01915#QIV8 |
| D3D9QKPZP5 | D3D9QKPZP5 | statement | record (an 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.19357#84PJ |
| D3DBDX9RMM | D3DBDX9RMM | statement | record (an 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.09084#P8PY |
| D3DBXES5C5 | D3DBXES5C5 | statement | record (an 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.20311#A34W |
| D3DCNWFJCE | D3DCNWFJCE | statement | record (an 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.35180#ZFP8 |