ファイル:Inference Rules others.svg
提供: Mathpedia
この SVG ファイルのこの PNG プレビューのサイズ: 474 × 482 ピクセル. その他の解像度: 236 × 240 ピクセル。
元のファイル (SVG ファイル、474 × 482 ピクセル、ファイルサイズ: 101キロバイト)
CLKID の推論規則(ただし帰納的述語のためのものは除く)
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2020年11月28日 (土) 22:12 | 474 × 482 (101キロバイト) | そくらてす (トーク | 投稿記録) |
このファイルは上書きできません。
ファイルの使用状況
このファイルを使用しているページはありません。