Instance of: Lexical Entry

Language	Eng
Reliability Code	2 Integer
Term Type	Full Form
Is Entry of	En

Canonical Form

Written Rep

Automatic program proving

Sense

Reference

IATE-1303790