en: A strategy for Eloise is `` uniform '' if , whenever formula _ 114 , formula _ 130 ; for Abelard , if formula _ 116 implies formula _ 130 . A strategy for Eloise is '' uniform `` if always Formula 114 , Formula 130 , if Abelard implies Formula 116 Formula 130 .
ms: Satu strategi untuk Eloise ialah "seragam" jika, bila-bila masa formula_114, formula_130; untuk Abelard, jika formula_116 membayangkan formula_130. Satu strategi untuk Eloise adalah ''uniform '' jika selalu Formula 114, Formula 130, jika Abelard membayangkan Formula 116 Formula 130.