singular statement
A statement that contains only constants and no variables
plural of limit inferior
Third-person singular simple present indicative form of detether
A more humane method of killing a live fish which also helps keep it fresh.
一階述語論理では、定数のみで構成され変数を含まない文はそれ以上インスタンス化できません。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★