أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

 _    _    _    _      _____   __   __   _    _   
| \  / || | || | ||   / ___//  \ \\/ // | || | || 
|  \/  || | || | ||   \___ \\   \ ` //  | || | || 
| .  . || | \\_/ ||   /    //    | ||   | \\_/ || 
|_|\/|_||  \____//   /____//     |_||    \____//  
`-`  `-`    `---`   `-----`      `-`'     `---`

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: On lexicographic proof rules for probabilistic termination