61.116.242.150の投稿記録
2018年5月26日 (土)
- 10:442018年5月26日 (土) 10:44 差分 履歴 −84 自動推論 「プレスブルガーの決定手続き」を「プレスバーガー算術」とした上で当該ページへのリンクを修正 タグ: ビジュアルエディター
- 10:432018年5月26日 (土) 10:43 差分 履歴 −38 自動定理証明 「プレスブルガー算術」を「プレスバーガー算術」とした上で当該ページへのリンクを修正 タグ: ビジュアルエディター
- 10:402018年5月26日 (土) 10:40 差分 履歴 0 決定可能性 「プレスブルガー算術」を「プレスバーガー算術」とした上で当該ページへのリンクを修正 タグ: ビジュアルエディター