×

ground instance造句

"ground instance"是什么意思   

例句与造句

  1. Moreover, Herbrand's theorem states that if " S " is unsatisfiable then there is a finite unsatisfiable set of ground instances from the Herbrand universe defined by " S ".
  2. Second, a logic program with variables is viewed as shorthand for the set of all ground instances of its rules, that is, for the result of substituting variable-free terms for variables in the rules of the program in all possible ways.
  3. An abductive explanation of a problem " G " is a set of positive ( and sometimes also negative ) ground instances of the abducible predicates, such that, when these are added to the logic program P, the problem " G " and the integrity constraints IC both hold.
  4. It's difficult to find ground instance in a sentence. 用ground instance造句挺难的

相关词汇

  1. "ground indicator"造句
  2. "ground induced current"造句
  3. "ground information"造句
  4. "ground inspection"造句
  5. "ground installation"造句
  6. "ground instructor"造句
  7. "ground instrument"造句
  8. "ground instrumentation"造句
  9. "ground interference"造句
  10. "ground into the dirt"造句
电脑版繁體版English日本語

相关阅读

Copyright © 2020 WordTech Co.