similaj al: deduktar

Similaj al: deduktar

Aktivieren Sie das Kästchen (), um im Übungsbereich zu üben

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

Faritaj 8,608,550 inferencoj, 0.582 CPU-sekundoj en 0.910 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