{"tema_id":"33268","string":"Automatic theorem proving","created":"2015-01-22 16:04:14","code":null}