| Information | |
|---|---|
| has URI | http://lexvo.org/id/term/fas/%D8%A7%D8%AB%D8%A8%D8%A7%D8%AA%20%D9%82%D8%B6%DB%8C%D9%87%20%D8%AE%D9%88%D8%AF%DA%A9%D8%A7%D8%B1 |
| Meaning | |
|---|---|
| means | e/Automated theorem proving |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint