Jisho.org: Japanese Dictionary

自動定理証明

Links

Wikipedia definition

1. Automated theorem provingAutomated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.
Read “Automated theorem proving” on English Wikipedia
Read “自動定理証明” on Japanese Wikipedia
Read “Automated theorem proving” on DBpedia

Discussions

Kanji in this word

0.08287594053287778

6 strokes. JLPT N4. Jōyō kanji, taught in grade 2.

自

oneself

Kun: みずか.ら、おの.ずから、おの.ずと

On: ジ、シ

Details ▸

0.47762713096579557

11 strokes. JLPT N4. Jōyō kanji, taught in grade 3.

動

move, motion, change, confusion, shift, shake

Kun: うご.く、うご.かす

On: ドウ

Details ▸

0.20937079713569118

8 strokes. JLPT N3. Jōyō kanji, taught in grade 3.

定

determine, fix, establish, decide

Kun: さだ.める、さだ.まる、さだ.か

On: テイ、ジョウ

Details ▸

0.37512267820144674

11 strokes. JLPT N4. Jōyō kanji, taught in grade 2.

理

logic, arrangement, reason, justice, truth

Kun: ことわり

On: リ

Details ▸

1.1122823597833593

12 strokes. JLPT N1. Jōyō kanji, taught in grade 5.

証

evidence, proof, certificate

Kun: あかし

On: ショウ

Details ▸

0.292246737668569

8 strokes. JLPT N4. Jōyō kanji, taught in grade 2.

明

bright, light

Kun: あ.かり、あか.るい、あか.るむ、あか.らむ、あき.らか、あ.ける、 -あ.け、あ.く、あ.くる、あ.かす

On: メイ、ミョウ、ミン

Details ▸

Jisho

Draw

Radicals

Voice

Discussions