KAJERO

語

単語

エスペラントlema0

レ^▼ｰマ

(推定) 補助定理に関連した, 副命題に関連した

情

詳細情報

語構成

補助定理lema ...

出典

情報

形容詞 lema

似た単語

推論回数: 393,041, CPU秒: 0.160, 実時間秒: 0.231.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

Programita de
Sato kaj Cainiao 2019-2026 Subtenu nin per taso da kafo

Funkciigata de
SWI-Prolog