#?SuikaWiki/0.9

- [1] [[文書型]]の[[名前]]を、[DFN[文書型名]]といいます。文書型名は、[[文書要素]]の[[要素型名]]と同じです。
- [2] 文書型名は、同じ[[文書]]のほかの文書型名や[[連結型名]]とは異なっていなければなりません。
- [3] また、文書型名に対応する[[要素型宣言]]は必須です。 (>>2-3 [[JISX4151]]‐1992 10.1 参照。)

[4]
- [CODE(ABNF)[[DFN[文書型名]] := [[共通識別子]] / [CODE(SGML)[[[rni]]]] [[IMPLIED]] ;; [[WebSGML]] [111] ]]

文書型名は文書型宣言にわざわざ明記せずとも、
[[文書要素]]を見れば良いんです。ということで Web SGML
では文書型名として [SAMP(SGML)[#IMPLIED]]
と書けるようになりました。
(K.4.5 参照。)

但し、その場合、
- 文書要素の[[開始タグ]]が省略されている場合
- 文書要素の開始タグが[[共通識別子]]を含まない場合]]

は[[報告可能マーク誤り]]です。

また、 [CODE(SGML)[[[LINK]] [[EXPLICIT]] YES]]
([[明示連結機能]]使用) 又は
[CODE(SGML)[[[CONCUR]] YES]] のときは使えません。