KAJERO

Cấu trúc từ
演繹するdedukt集合ar ...
Inferencoj: 6,114,324, CPU-sekundoj: 0.494, Reale pasintaj sekundoj: 0.864.