| Information | |
|---|---|
| has URI | http://lexvo.org/id/term/jpn/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E |
| character | Character U+81EA |
| character | Character U+52D5 |
| character | Character U+5B9A |
| character | Character U+7406 |
| character | Character U+8A3C |
| character | Character U+660E |
| Meaning | |
|---|---|
| means | e/Automated theorem proving |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint