provable أمثلة على

• the empirically provable answer to the question "who's the boss?" is...
  الإجابة التي يمكن إثباتها بالتجربه "للسؤال "من هو المدير؟
• You perjured yourself, Edgar, and the lie was an easily provable one.
  لقد حنثت بقسمك، يا (إدغار) كانت كذبتك من السهل فضحها،
• There are several lines of research in provable security.
  وهناك عدة خطوط بحثية في مجال الأمن المبرهن.
• Well, those are facts... provable facts.
  كل هذا حقيقي حقائق ثابتة
• And the single most important provable fact of this proceeding is that Alexander Cullen was somewhere else when these horrible crimes took place.
  والشىء الوحيد الذى سنحاول إثباته هنا هو أن ألكساندر كولين كان فى مكان آخر حينما
• Further to that, for any consistent formal theory that proves certain basic arithmetic truths, there is an arithmetical statement that is true, but not provable in the theory.
  على وجه الخصوص، من أجل أي نظرية راسخة مولدة بشكل كفء والتي تبرهن حقيقة حسابية بسيطة، فإنه يوجد عبارة حسابية تكون محققة ولكنها غير مبرهنة بالنظرية.
• Rouleau appeared to have acted of his own accord as a 'lone rat' (that is, consistent with and in furtherance of known ISIL political views but without provable direct and overt conspiracy with ISIL).
  يبدو أن روليو قد تصرف من تلقاء نفسه على أنه "جرذ وحيد" (أي يتفق مع الآراء السياسية المعروفة لتنظيم الدولة الإسلامية في العراق والشام وتعزيزها ولكن بدون مؤامرة مباشرة ومسبقة مع تنظيم داعش).
• Soundness of a deductive system is the property that any sentence that is provable in that deductive system is also true on all interpretations or structures of the semantic theory for the language upon which that theory is based.
  إن سلامة نظام الاستنباط هي خاصية أن كل جملة يمكن إثباتها في نظام الاستنباط هذا هي جملة حقيقية أيضًا من حيث جميع تفسيرات أو بنيات النظرية الدلالية الخاصة باللغة التي تعتمد عليها تلك النظرية.
• "Exact security" or "concrete security" is the name given to provable security reductions where one quantifies security by computing precise bounds on computational effort, rather than an asymptotic bound which is guaranteed to hold for "sufficiently large" values of the security parameter.
  "الأمن المحدد" أو "الأمن الملموس" هو الاسم الذي يُعطى للاختزالات الأمنية المبرهنة حيث يقوم المرء بتحديد مقدار الأمن عن طريق حساب الحدود الدقيقة على أساس جهد حسابي، وليس على أساس حد مقارب يكون مكفولاً لقيم "كبيرة على نحو كافٍ" خاصة بـ معلمة الأمن.
• Although police detected no provable conspiracy between Zehauf-Bibeau and ISIL (and therefore in that narrow legal sense, Zehauf-Bibeau could only be deemed to have acted alone) Prime Minister of Canada Stephen Harper explained in a televised address to the Canadian People after the attack that it remains the position of the Governor-in-Council that the attacks were motivated to assist ISIL in response to Operation Impact, Canada's participation in the 2014 military intervention against the Islamic State of Iraq and the Levant.
  على الرغم من أن الشرطة لم تكتشف أي مؤامرة يمكن إثباتها بين زهاوف-بيبيو وداعش (وبالتالي في هذا المعنى القانوني الضيق زهوف-بيبيو يمكن أن يعتبر فقط تصرف وحده) فقد أوضح رئيس الوزراء الكندي ستيفن هاربر في خطاب متلفز إلى الشعب الكندي بعد موقف نائب الملكة هو أن الهجمات كانت بدافع مساعدة تنظيم الدولة الإسلامية في العراق والشام ردا على عملية التأثير التي شاركت بها كندا في التدخل العسكري ضد داعش.