similaj al: deduktar

Similaj al: deduktar

Centang kotak () untuk berlatih di area latihan

Distanco	Vorto	Difino
1.0	dedukta	演繹的
1.8	dedukto	演繹

Faritaj 8,608,550 inferencoj, 0.579 CPU-sekundoj en 0.943 reale pasintaj sekundoj.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

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

Funkciigata de
SWI-Prolog