|
"Theorie/Aussage/Algorithmus, der diese Theorie/diese Aussage/diesen Algorithmus in verallgemeinert"@de
"bu ifade ile doğruluğu ima edilen ifade"@tr
"l'énoncé du sujet un cas particulier de cet énoncé objet, ou la véracité de cet énoncé objet est impliquée par celle de l'énoncé du sujet"@fr
"teorie/pojem/věta/algoritmus, jejímž zobecněním je tato teorie/pojem/věta/algoritmus"@cs
"teorija, jēdziens, apgalvojums, funkcija vai algoritms, kuru dotais objekts vispārina"@lv
"teorio, koncepto, aserto aŭ algoritmo, kiun ĝeneraligas ĉi tiu teorio, koncepto, aserto aŭ algoritmo"@eo
"theory/notion/statement/algorithm which in some sense this theory/notion/statement/algorithm generalizes"@en
"verklaring waarvan de waarheid wordt geïmpliceerd door deze verklaring"@nl
"правдивість елемента випливає з цього твердження"@uk
"主語の命題が特殊な場合に目的語の命題を与える、つまり主語の命題が真ならば目的語の命題は真である"@ja
"主體命題尤其可以推出客體命題，即客體是主體的推論或特例"@zh
"이 이론/개념/명제/알고리즘을 어떤 의미에서 일반화하는 이론/개념/명제/알고리즘"@ko
|