KAJERO

Cấu trúc từ
演繹するdedukt集合ar ...
Inferencoj: 6,113,888, CPU-sekundoj: 0.501, Reale pasintaj sekundoj: 0.567.