. . . "Soft Computing" . "6.6769999999999996021"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F68407700%3A21230%2F07%3A00123223!RIV10-MSM-21230___"^^ . "Alternative Proof of Standard Completeness Theorem for MTL" . . "RIV/68407700:21230/07:00123223!RIV10-MSM-21230___" . . "6.6769999999999996021"^^ . . . "0.5"^^ . "13.352999999999999758"^^ . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . . . "1.0"^^ . "FC8CEBADAB25A09D9274D5071AF80BC4188E0A25" . . "13.352999999999999758"^^ . .