×

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 © 2021 WordTech Co.