Vortaro kun 230 mil tradukoj
Kajero


Trovi parte kongruajn (Uzeblas regulaj esprimoj)

eo pruvebla

Supozeblaj vortanalizoj:
pruv/ebl/a
Prononco per kanaoj:
プルヴェブラ▼

Tradukoj

eo pruvi

Kapvorto:
pruv/i
Vortanalizo:
pruv/i
Supozeblaj vortanalizoj:
pru/vi
Prononco per kanaoj:
プルーヴィ
« Verboj ofte uzataj »
« BRO8 »
« EJV * »

Tradukoj

Sinonimoj

  • eo argumenti (fonto: VES)
  • eo dokumenti (fonto: VES)
  • eo demonstri (laŭ la signifo en la unuopaj okazoj) (fonto: Ssv)

    • eo pruvo

    Kapvorto:
    pruv/i
    Vortanalizo:
    pruv/o
    Supozeblaj vortanalizoj:
    pru/vo
    Prononco per kanaoj:
    プルーヴォ

    Tradukoj

    Sinonimoj

  • eo signo (fonto: VES)

    • Ekzemploj

  • eo negativa pruvo (fonto: pejv)
  • eo pozitiva pruvo (fonto: pejv)
  • eo priprograma pruvo (fonto: ESPDIC)
  • eo pruvo de ekzisto (fonto: ESPDIC)
  • eo pruvo per indukto (fonto: ESPDIC)
  • eo pruvo per redukto al absurdo (fonto: ESPDIC)

    • Babilejo

    Kajero

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

    De Cainiao Tech.

    Funkciigita de SWI-Prolog

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