Esperanto Diksyunaryo na may 230,000 salin
Kajero


Bahagyang paghahanap (sinusuportahan ang regular expressions)

en axiom of complete induction

Mga salin

(?) axiom of complete inductio

Prononco per kanaoj:
アクスィーオム   オフ▼   ツォンプレ▼ーテ   インドゥツティーオ

Babilejo

Vi povas provi Legilon: axiom of complete induction

Prononco per kanaoj:
アクスィーオム   オフ▼   ツォンプレ▼ーテ   インドゥツティーオン

Kajero

Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統

De Sato kaj Cainiao

Funkciigata de SWI-Prolog

2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3; 2025-04-25 ver. 3.1