Vortaro kun 210 mil tradukoj
Kajero

- Ĉefpaĝen
- Pri tiu ĉi retejo
- Ekzercejo
- Listoj
- Enkonduko en Esperanton (japanlingva)
- コラム
- Legilo
- Utilaj retejoj
- 表示言語
  - 日本語表示
  - Esperante

eo pruvo

Kapvorto:

Vortanalizo:

Supozeblaj:

Tradukoj

ja 証明 (fonto: pejv)
ja 証拠 (fonto: pejv)
ja 立証 (fonto: pejv)
en proof (fonto: ESPDIC)
en sign (fonto: ESPDIC)
en token (fonto: ESPDIC)
zh 证据 (fonto: 开放)

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

Programita de Sato kaj Cai Niao

Funkciigita de SWI-Prolog

2019-03-14 ver. 1

2023-09-01 ver. 2