Translation of "a prova de explosão" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| A explosão | The Blast |
| A ferramenta de explosão em acção | The blow up tool in action |
| A explosão destruiu tudo. | The blast destroyed everything. |
| A explosão seria inevitável. | burn of the DPS. |
| A embarcação de suporte Lowland Cavalier reportou a explosão inicial antes das 22h00, e a segunda explosão 22 minutos depois. | The nearby diving support vessel Lowland Cavalier reported the initial explosion just before 22 00, and the second explosion occurred twenty two minutes later. |
| T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )). | T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )). |
| Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))). | In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))). |
| A explosão populacional não parava. | The population explosion was unstoppable. |
| Uma explosão dilacerou a casa. | An explosion blew the house apart. |
| Anders Ynnerman Visualizando a explosão de dados médicos | Anders Ynnerman Visualizing the medical data explosion |
| A diferença é que ao invés de construir uma nova prova, o verificador de prova simplesmente checa se a prova formal fornecida (ou em instruções que podem ser seguidas para criar a prova formal) é correta. | The difference is that instead of constructing a new proof, the proof verifier simply checks that a provided formal proof (or, in instructions that can be followed to create a formal proof) is correct. |
| Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )). | In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )). |
| A explosão foi produzida por acidente. | The explosion came about by accident. |
| Qual foi a causa da explosão? | What was the cause of the explosion? |
| A imensa explosão matou seis pessoas. | The huge explosion killed six people. |
| Fazendo ( P ) representar o número de Gödel da fórmula P , a condição de derivabilidade diz Se T prova P , então T prova ProvA( ( P )). | Letting ( P ) represent the Gödel number of a formula P , the derivability conditions say If T proves P , then T proves ProvA( ( P )). |
| Isenção de prova alimenta a polêmica | Bootlegging doctors? |
| Como foi a prova de matemática? | How was the math test? |
| Como foi a prova de hoje? | How was today's test? |
| A prova de química foi fácil. | The chemistry exam was a doddle. |
| T prova que se T prova que ( P Q ) e T prova P então T prova Q . | T proves that if T proves that ( P Q ) and T proves P then T proves Q . |
| É a explosão de dados médicos que temos agora. | It's the medical data explosion that we're having right now. |
| A explosão foi causada por um acidente de carro. | The explosion was cause by a car accident. |
| Ouvi uma explosão. | I heard an explosion. |
| Houve uma explosão. | There was an explosion. |
| Teve uma explosão. | There was an explosion. |
| A explosão resultante teve um rendimento de explosão equivalente a 21 quilotons de TNT, aproximadamente o mesmo que a explosão da Trinity , mas foi confinada ao Vale de Urakami, e uma grande parte da cidade foi protegida pelas colinas intervenientes. | The resulting explosion had a blast yield equivalent to 21 kilotons of TNT, roughly the same as the Trinity blast, but was confined to the Urakami Valley, and a major portion of the city was protected by the intervening hills, resulting in the destruction of about 44 of the city. |
| Como foi a prova? | How did the exam go? |
| A prova é trivial. | The proof is trivial. |
| A prova é irrefutável. | The proof is irrefutable. |
| Quando é a prova? | When is the test? |
| A prova pareceu fácil. | The tryouts appeared easy. |
| A prova foi fácil. | The exam was easy. |
| Isso conclui a prova. | This concludes the proof. |
| A prova se chama Gaokao. E 80 milhões de estudantes Chineses já fizeram esta prova torturante. | It's called the Gaokao, and 80 million high school Chinese students have already taken this grueling test. |
| Porém a explosão imobiliária ocorreu em 1976. | But the real estate boom occurred in 1976. |
| A explosão Cambriana gerou debates científicos extensos. | The Cambrian explosion has generated extensive scientific debate. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Tenho de me preparar para a prova. | I've got to prepare for the test. |
| Essas janelas são a prova de balas. | These windows are bulletproof. |
| Portanto, uma prova de que formula_13 também prova que formula_4 é verdade. | Therefore, a proof that formula_13 also proves that formula_4 is true. |
| Eu causei uma explosão. | I had an explosion. |
| Eu ouvi uma explosão. | I heard an explosion. |
| Foi uma enorme explosão. | It was a huge explosion. |
| Isso pareceu uma explosão. | That sounded like an explosion. |
Pesquisas relacionadas : Prova De Explosão - Prova De Explosão - Prova De Explosão - Prova Não-explosão - Equipamentos à Prova De Explosão - Tipo à Prova De Explosão - Invólucro à Prova De Explosão - Certificado à Prova De Explosão - Motor à Prova De Explosão - Design à Prova De Explosão - Componentes à Prova De Explosão - Interruptor à Prova De Explosão - Fãs à Prova De Explosão - Explosão
