Lema yang dicari tidak ditemukan, namun berikut adalah data lain yang ditemukan mengenai lema ini.
| Bahasa Indonesia | Bahasa Asing | Kata kunci | Bidang | Sumber | |
|---|---|---|---|---|---|
| 1. | pembukti teorema berotomat | automated theorem-prover | berotomat; pembukti; teorema | Pendidikan | Pusba |
