OpenLLM-France/wikimedia huggingface dataset:
# Ordeal by Innocence

Ordeal by Innocence (Punição para a inocência, no Brasil / Cabo da víbora ou A Provação do Inocente, em Portugal) é um romance policial de Agatha Christie, publicado em 1958. Este era um dos dois livros favoritos da autora; o outro era A Casa Torta, publicado em 1949.

## Enredo

Jacko Argyle morre na prisão após ser condenado pelo brutal assassinato da própria mãe, Rachel Argyle. Dois anos depois, volta de viagem um cientista chamado Arthur Calgary, que possui provas da inocência de Jacko. Ao fazer essa revelação, Arthur se surpreende ao perceber que nenhum dos familiares de Jacko parece feliz ou aliviado pela notícia, mas sim preocupados com o fato de que um deles seja o verdadeiro assassino. A atmosfera de desconfiança e medo toma da família Argyle, com todos os seus membros questionando qual deles pode ser o assassino. Se sentindo culpado por ter causado essa situação, Arthur Calgary resolve ajudar a polícia a investigar o caso.

## Adaptações

O romance foi adaptado para o cinema em 1985, com o mesmo título do livro, dirigido por Desmond Davis e com Faye Dunaway, Donald Sutherland, Christopher Plummer e Sarah Miles no elenco principal.
Em 2018 foi adaptada em formato de minissérie pela BBC.
# Michelle Giudice

Michelle del Giudice Gouveia (São Paulo, 16 de janeiro de 1995) é uma atriz, dubladora e cantora brasileira. Muito conhecida por ser voz fixa da atriz Dove Cameron no Brasil.

## Biografia

Michelle começou a carreira artística na TV, aos 3 anos. Ela esteve ao lado da apresentadora Jackeline Petkovic, no programa Bom Dia & Cia, no SBT, interagindo em quadros de jogos e fazendo cenas, o que durou até seus 8 anos. De lá, foi para participações no humorístico A Praça É Nossa, no mesmo canal. Fez novela na TV Record. Aos 12 anos, fez um teste de locução para o canal infantil Discovery Kids, em um estúdio de dublagem. Foi quando viu a carreira de dar a voz a produções do entretenimento estrangeiras como algo mais sólido.
No ano de 2019, Michelle Giudice desenvolveu e lançou seu próprio curso de dublagem, passando a atuar também como professora de técnicas para dublagem, originalmente realizado de forma presencial. O curso teve duração de um ano e, em consequência da pandemia de Covid-19, tornou-se um curso online durante o primeiro semestre de 2020.

## Dublagem
### Voz Original

| Ano | Título | Papel |
| 2019 | Turma da Mônica Jovem | Denise Dutra |
| 2016 | Glitter Model | Camille Window |

### Filmes

| Ano | Título | Papel | Atriz |
| 2014 | 3 Dias para Matar | Zooey Renner | Hailee Steinfeld |
| 2014 | Mamãe: Operação Balada | Bridget | Abbie Cobb |
| 2014 | Alexandre e o Dia Terrível, Horrível, Espantoso e Horroroso | Emily Cooper | Kerris Dorsey |
| 2015-2019 | Descendentes | Mal Bertha | Dove Cameron |
| 2015-2019 | Descendentes 2 | Mal Bertha | Dove Cameron |
| 2015-2019 | Descendentes 3 | Mal Bertha | Dove Cameron |
| 2021 | O Predador: A Caçada | Naru | Amber Midthunder |

### Filmes de Animação

| Ano | Título | Papel | Voz Original |
| 2017 | Your Name | Mitsuha Miyamizu | Mone Kamishiraishi |
| 2018 | My Hero Academia: Dois Heróis | Tooru Hagakure | Kaori Nazuka |
| 2020 | A Caminho da Lua | Fei Fei | Cathy Ang |

### Séries

| Ano | Título | Papel | Atriz |
| 2013-2017 | Liv e Maddie | Liv e Maddie Rooney | Dove Cameron |
| 2014-20 | How to Get Away with Murder | Michaela Pratt | Aja Naomi King |
| 2017-2020 | Anne with an E | Anne Shirley-Cuthberth | Amybeth McNulty |
| 2017-2020 | 13 Reasons Why | Jessica Davis | Alisha Boe |
| 2016-2019 | Game of Thrones | Sansa Stark | Sophie Turner |
| 2019 | O Cristal Encantado: A Era da Resistência | Deet | Nathalie Emmanuel (voz) |
| 2022 | Rock Island Mysteries | Taylor Young | Alexa Curtis |

### Animes

| Ano | Título | Papel | Atriz |
| 2015-16 | Pokémon XY | Serena | Mayuki Makiguchi |
| 2019- | Mob Psycho 100 | Tsubomi Takane | Uki Satake |
| 2021- | Kimetsu no Yaiba | Kanao Tsuyuri | Reina Ueda |
| 2021- | Boruto: Naruto Next Generations | Sumire Kakei | Aya Endō |

### Jogos

| Ano | Título | Papel | Atriz |
| 2020 | Avengers | Kamala Khan / Ms. Marvel | Sandra Saad |
| 2023 | Resident Evil 4 | Ashley Graham | Genevieve Buechner |
# Mercury-Atlas 4

A Mercury-Atlas 4 (MA-4) foi a quarta missão do Programa Mercury a utilizar o foguete Atlas LV-3B. O lançamento, ocorreu em 13 de setembro de 1961 a partir do Estação da Força Aérea de Cabo Canaveral na Flórida. A capsula Mercury dessa missão (a de numero 8A), conduzia um conjunto de instrumentos para simular um tripulante, uma espécie de astronauta robô. Essa missão efetuou uma única órbita.
A missão foi um teste em voo da rede de rastreamento e o primeiro voo orbital bem sucedido do Programa Mercury. O sistema simulador de tripulante, consistia de: um simulador de pilotagem, duas fitas de áudio, um sistema de suporte de vida, três câmeras, e instrumentos para monitorar níveis de ruído, vibração e radiação. A missão certificou: a capacidade do foguete de colocar a capsula Mercury em órbita, da capsula e seus sistemas funcionarem de forma autônoma, e produzir fotos da superfície da Terra.
O voo da capsula Mercury teve a duração de 1 hora e 49 minutos, A capsula foi recuperada 22 minutos depois da amerrissagem, 283 km a Leste das ilhas Bermudas, no Oceano Atlântico.
# Mark Bennett

Mark Bennett (3 de fevereiro de 1993) é um jogador de rugby escocês, medalhista olímpico

## Carreira

Mark Bennett intregrou o elenco da Seleção Britânica de Rugbi de Sevens, na Rio 2016, conquistando a medalha de prata.
# Elmis latreillei

Elmis latreillei é uma espécie de insetos coleópteros polífagos pertencente à família Elmidae.
A autoridade científica da espécie é Bedel, tendo sido descrita no ano de 1878.
Trata-se de uma espécie presente no território português.
# Silos (Colômbia)

Silos é um município da Colômbia, localizado no departamento de Norte de Santander.
# Cristian Becerine

Cristian Daniel Becerine (Comodoro Rivadavia, 17 de abril de 1977) é um ciclista olímpico argentino. Becerine representou sua nação nos Jogos Olímpicos de Verão de 2008 na prova de BMX masculino, em Pequim.
# Ptilophorus dufouri

Ptilophorus dufouri é uma espécie de insetos coleópteros polífagos pertencente à família Ripiphoridae.
A autoridade científica da espécie é Latreille, tendo sido descrita no ano de 1817.
Trata-se de uma espécie presente no território português.
# Ord

* Esta é uma página de desambiguação que lista os artigos que podem ser associados a um ou vários títulos. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao artigo adequado.
ORD pode significar:
* ORD, Aeroporto Internacional de O'Hare localizado em Chicago
* ORD, um tipo de sistema de gerenciamento de banco de dados
* Ord (Nebraska)
* Ord (Dragon Tales), um personagem de Dragon Tales
* ORD (sigla de Operador de Rede de Distribuição), termo utilizado em Portugal para designar transportador de energia a nível industrial.
# Miguel Gutiérrez

Miguel Gutiérrez (7 de maio de 1931 - 1 de fevereiro de 2016) foi um ex-futebolista mexicano que competiu na Copa do Mundo FIFA de 1958.
# Microtus umbrosus

Microtus umbrosus é uma espécie de roedor da família Cricetidae.
Apenas pode ser encontrada no México.
# Maura de Senna Pereira

Maura de Senna Pereira (Florianópolis, 10 de março de 1904 — Rio de Janeiro, 21 de janeiro de 1992) foi uma professora, jornalista, cronista e poeta brasileira.

## Carreira

Após o falecimento de seu pai, José de Senna Pereira, assumiu responsabilidade pelo família e engajou-se na luta pelos direitos das mulheres. Escreveu para diversos jornais, tendo destaque pela coluna "Nós e o mundo". Na prosa, abordou temas como o direito ao voto e ao divórcio.
Fundou a cadeira 38 na Academia Catarinense de Letras, da qual é patrono Roberto Trompowski.
Sua obra está disponível no Portal Catarina.

## Obras

* "Cântaro de Ternura" (1931)
* Círculo Sexto (1959)
* Busco a palavra
* Nós e o mundo (1976)
* A Dríade e os Dardos (1978)
* Espoema (1980)
* Cantiga de amiga (1981)
* Verbo solto (1982)
* Poesias reunidas e outros textos

## Representação na cultura

* Patrona da cadeira 14 da Academia Catarinense de Letras e Arte, fundada por Heralda Victor
* Cede o nome à Escola de Ensino Básico Professora Maura Senna Pereira, em Pinheiro Preto, Santa Catarina
# Eleição primária do Partido Republicano de Oklahoma em 2012

A eleição primária do Partido Republicano no Oklahoma em 2012 será realizada em 6 de março de 2012. Oklahoma terá 43 delegados na Convenção Nacional Republicana.

## Resultados

Eleição primária do Partido Republicano de Oklahoma em 2012 :
| Candidato | Votos | Percentagem | Estimativa de delegados nacionais |
| Newt Gingrich | 0 | 0% | 0 |
| Ron Paul | 0 | 0% | 0 |
| Mitt Romney | 0 | 0% | 0 |
| Rick Santorum | 0 | 0% | 0 |
| Michele Bachmann | 0 | 0% | 0 |
| Herman Cain | 0 | 0% | 0 |
| Jon Huntsman | 0 | 0% | 0 |
| Gary Johnson | 0 | 0% | 0 |
| Rick Perry | 0 | 0% | 0 |
| Totais | | | |
| Obs: | Desistiu da disputa |
# Silogismo disjuntivo

O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo:
    P ou Q
    Não P
    Logo, Q
Um exemplo cotidiano:
Ele tem mais que 16 anos ou ele é criança.
    Ele não tem mais que 16 anos.
       Logo, ele é criança
Na notação logica:
$P\vee Q$, $\neg P$ $\vdash Q$
onde $\vdash$ representa a relação de consequência lógica.
A razão para este argumento anterior ser chamado de "silogismo disjuntivo" é: primeiro, é um silogismo de um argumento com três passos e, finalmente, por conter uma disjunção.

## Disjunção inclusiva Vs Disjunção exclusiva

Existem dois tipos de disjunção logica : a inclusiva e a exclusiva.
* Inclusiva: significa que pelo menos uma das sentenças tem que ser verdadeira ou as duas têm que ser verdadeiras.
Por exemplo:
Comerei algo hoje ou passarei fome.
    Não comerei algo hoje.
       Logo, passarei fome.
* Exclusiva: significa que uma das sentenças tem que ser verdadeira e a outra tem que ser falsa, ou seja, ambas as sentenças não podem ser verdadeiras ou falsas.
Por exemplo:
Comerei algo hoje ou passarei fome.
    Comerei algo hoje.
       Logo, não passarei fome.

## Relação regra da eliminação dos literais complementares e o Silogismo disjuntivo

A regra de resolução é aplicada a todos os possíveis pares de cláusulas que contém literais (Lógica) complementares. Após cada aplicação da regra de resolução, a cláusula resultante é simplificada removendo-se os literais repetidos. Se a cláusula contém literais complementares, ele é descartada (como tautologia), esse descarte é possível pela utilização da regra da eliminação dos literais complementares, que é uma generalização do silogismo disjuntivo
Um exemplo simples dessa relação acima e:
Seja $C$ um conjunto de cláusulas, seja $C'$ um conjunto de cláusulas diferente de $C$ e "," uma representação da disjunção V (Saiba mais em "Ver também").
Aplica-se então a regra de inferência (Generalização do Silogismo Disjuntivo):
* ${\frac {\{C,p\}\quad \{C',\neg p\}}{\{C,C'\}}}$

## Formas de argumento relacionadas

Diferente de modus ponendo ponens e modus ponendo tollens, com os quais não deve ser confundido, silogismo disjuntivo muitas vezes não é feito através de regras ou axiomas de sistemas lógicos, já que os argumentos acima podem ser provados através da combinação das regras de redução ao absurdo e eliminação da disjunção.
# Cristian Bonilla

Cristian Harson Bonilla Garzón, mais conhecido como Cristian Bonilla (Manizales, 2 de junho de 1993), é um ex-futebolista colombiano que atuava como goleiro.

## Carreira

Bonilla fez sua estréia no profissional com apenas 16 anos de idade no Boyacá Chicó, antes de ser contratado pelo gigante do futebol colombiano Atlético Nacional, onde ele foi campeão da Copa Colômbia e da Superliga Colombiana. ainda com apenas 19 anos de idade.
Ele representou a Seleção Colombiana no Torneio Internacional de Toulon de 2011 e no Campeonato Sul-Americano Sub-20 de 2009, aonde foi o grande destaque da equipe. Ainda foi campeão em 2013
Chegou a ser anunciado que Bonilla iria para o Manchester City, mas a negociação acabou não se concretizando.

## Títulos
### Atlético Nacional

* Campeonato Colombiano: 2013-I, 2013-II, 2014-I
* Copa Colômbia: 2012, 2013
* Copa Libertadores da América: 2016
* Recopa Sul-Americana: 2017

### Seleção Colombiana

* Torneio Internacional de Toulon: 2011
* Campeonato Sul-Americano Sub-20: 2013
# Miguel Gutiérrez (desambiguação)

* Esta é uma página de desambiguação que lista os artigos que podem ser associados a um ou vários títulos. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao artigo adequado.
Miguel Gutiérrez pode referir-se a:
* Miguel Gutiérrez Gutiérrez — futebolista mexicano (n. 1951 – f. 2016)
* Miguel Ángel Gutiérrez la Rosa — futebolista peruano (n. 1956)
* Miguel Gutiérrez Ortega — futebolista espanhol (n. 2001)
# Michel Kuipers

Michel Kuipers (Amesterdão, 26 de junho de 1974) é um ex-futebolista neerlandês que atuava como goleiro. Atualmente, trabalha como agente de jogadores.

## Carreira

Formado nas categorias de base do Blauw-Wit Amsterdam, Kuipers iniciou sua carreira em outro clube de sua cidade, o SDW, onde jogaria até 1999, quando foi jogar na Inglaterra.
Sua primeira experiência no futebol inglês foi no Bristol Rovers, onde atuou por um jogo. Emprestado ao Chester City, não chegou a jogar nenhuma vez. Dispensado pelos Piratas ao final de seu contrato, o goleiro assinou com o Brighton & Hove Albion, onde se destacou por 10 anos. Embora fosse um dos favoritos da torcida por sua agilidade embaixo das traves, Kuipers foi prejudicado por lesões - ele chegou a sofrer um acidente de carro em 2003. Durante sua estadia no Brighton, foi emprestado para Hull City (3 jogos) e Boston United (dois empréstimos, em 2005 e 2006).
Após 247 jogos, o goleiro deixou o Brighton em 2010, indo jogar no Crawley Town, outro clube da região de Sussex. Em 2 temporadas e meia pelos Reds, Kuipers disputou 41 partidas, e em janeiro de 2013 rescindiu o contrato. Em março do mesmo ano, assinou com o Barnet, como alternativa ao titular Graham Stack. Após o término da temporada, Kuipers não renovou o contrato e encerrou a carreira aos 38 anos.
# Correspondência numérica 3-dimensional

Correspondência numérica 3-dimensional é um problema de decisão NP-completo. Ela é dada por três multisets de inteiros $X$, $Y$ and $Z$, cada um contendo $k$ elementos , e um limitante $b$ vinculado. O objetivo é selecionar um subconjunto $M$ de $X\times Y\times Z$ tal que todo inteiro em $X$, $Y$ and $Z$ ocorre apenas uma vez e que, para cada tripla $(x,y,z)$ no subconjunto de$x+y+z=b$ se mantenha . Este problema é rotulado como [ SP16 ] em.

## Exemplos

Pegue um $X=\{3,4,4\}$, $Y=\{1,4,6\}$ e$Z=\{1,2,5\}$, e $b=10$. Este exemplo tem uma solução, ou seja, $\{(3,6,1),(4,4,2),(4,1,5)\}$. Note-se que cada somas tripla para $b=10$. O conjunto $\{(3,6,1),(3,4,2),(4,1,5)\}$ não é uma solução, por diversas razões: nem todo o número é usado $4\in X$ está ausente), um número é usado com muita freqüência ($3\in X$) e nem toda tripla se soma à $b$ (desde $3+4+2=9\neq b=10$). No entanto, existe pelo menos uma solução para este problema, que é a propriedade que nos interessa dos problemas de decisão. Se nós atribuíssemos $b=11$ para o mesmo $X$, $Y$ e $Z$, este problema teria nenhuma solução (todos os números de somam $30$, o que não é igual a $k\cdot b=33$ neste caso).

## Problemas relacionados

Cada instância do problema de correspondência numérica 3-dimensional é uma instância de tanto o Problema das 3 Partições, e o problema de correspondência 3-dimensional.

## Prova de NP-Completo

A NP-completude do problema de 3-partição é afirmado por Garey e Johnson em "Computers and Intractability; A Guide to the Theory of NP-Completeness", que as referências a este problema com o código [ SP16 ]. Isto é feito por uma redução de correspondência 3-dimensional através de 4-partição. Para provar NP-completude da correspondente numérica 3-dimensional, a prova é semelhante, mas a redução de correspondência 3-dimensional através de 4-partição deve ser usado.
# Pré-dreadnought

Pré-dreadnought é o termo geral para encouraçados construídos entre 1890 e 1905, antes do HMS Dreadnought. Os navios de guerra pré-dreadnoughts substituíram os navios feitos de ferro, predominantes nas décadas de 1870 e 1880. Construído em aço, e protegido por uma armadura de aço temperado, o típico pré-dreadnought levava uma bateria principal de armas de calibre muito pesado em torres de artilharia suportadas por uma bateria secundária mais leve. Eles eram impulsionados por motores a vapor a carvão de tripla expansão.
Em contraste com o desenvolvimento caótico dos navios feitos de ferro nas décadas anteriores, a década de 1890 viu as marinhas armadas do mundo construindo navios de guerra de projetos similares, essencialmente seguindo o padrão estabelecido pela Classe Majestic britânica. A semelhança nos navios de guerra na década de 1890 foi ressaltada pelo aumento do número de navios construídos. Novas potências navais como Alemanha, Japão e Estados Unidos começaram a estabelecer suas frotas pré-dreadnought, enquanto marinhas como as da Grã-Bretanha, França e Rússia se expandiram com elas para enfrentar estas novas ameaças. O confronto decisivo entre as frotas pré-dreadnought ocorreu entre a Marinha Imperial Russa e a Marinha Imperial Japonesa durante a Batalha de Tsushima, em 27 de maio de 1905.
Estas dezenas de navios de guerra foram repentinamente tornados obsoletos pelo aparecimento do HMS Dreadnought em 1906. O Dreadnought seguiu a tendência de adotar um projeto de artilharia de cano cheio, assim como o novo navio, que tinha um layout de 10 peças de 12" (305 mm). Suas inovadoras máquinas de turbinas a vapor também a tornaram mais rápida. Os navios de guerra anteriores estavam desatualizados e marcados como pré-dreadnought, enquanto os novos navios de guerra, que seguiam as diretrizes de projeto estabelecidas pelo novo navio, seriam conhecidos como dreadnought a partir de então. Apesar disso, os navios de guerra pré-dreadnought desempenharam um papel importante na Primeira Guerra Mundial, e algumas unidades participaram até mesmo da Segunda Guerra Mundial.
# Midnight Bottle

"Midnight Bottle" é o segundo single oficial no Brasil da cantora de pop/folk norte-americana Colbie Caillat de seu primeiro álbum Coco. Este single foi lançado somente no Brasil devido a música estar sendo executada na novela Três Irmãs da Rede Globo.
# Michel Laurence

Michel Edouard Marius Laurence (Marselha, 5 de setembro de 1938 — São Paulo, 25 de outubro de 2014) foi um jornalista franco-brasileiro.
Foi um dos fundadores da revista Placar e criador, ao lado do fotógrafo Manoel Motta, do troféu Bola de Prata.
Participou da cobertura de oito Copas do Mundo.

## Carreira

Começou a carreira no jornal Última Hora, seguindo depois para o Jornal do Brasil. Em 1969, trabalhando na Edição de Esportes, suplemento semanal esportivo d'O Estado, conquistou um Prêmio Esso de jornalismo, concedido a ele e a José Maria de Aquino, com o artigo "O jogador é um escravo".
Em 1970, ajudou a fundar a revista Placar e criou o troféu Bola de Prata, dado anualmente pela revista aos melhores jogadores do Campeonato Nacional desde 1970. Ainda naquele ano, assinou, junto com Narciso James, uma série de reportagens chamada "A falência dos cartolas", em que eram propostas diversas mudanças no futebol brasileiro, inclusive a criação de um campeonato verdadeiramente nacional, o que ocorreria em 1971. Deixou a revista após a Copa do Mundo de 1974, voltando ao jornal O Estado de S. Paulo, onde já tinha trabalhado antes de ir para a Editora Abril.
Como repórter, fez a última entrevista de Pelé como jogador do Santos, no dia em que se despediu do clube paulista, em 2 de outubro de 1974.
Na televisão, teve passagens por Globo, Record, Bandeirantes, Manchete e Cultura. Nesta última, foi um dos idealizadores dos programas Cartão Verde e Grandes Momentos do Esporte. Na TV Globo, participou do nascimento do Globo Esporte e da transformação do Esporte Espetacular (que era composto por vídeos norte-americanos) em um programa feito no Brasil.
Teve textos publicados em 2010 em dois livros, Pelé 70 e 11 Gols de Placa, este último com a reprodução de "O jogador é um escravo".

### Homenagens

Recebeu homenagem (in memorian) em 1 de dezembro de 2014, com o Troféu Ford ACEESP/Ely Coimbra, recebido por seu amigo José Maria de Aquino, em cerimônia realizada no Esporte Clube Sírio, zona sul da capital paulista.
Em 2015, foi homenageado com um livro de "causos" sobre futebol e jornalismo. Intitulado Michel Laurence — Causos da Bola, o livro, que tem prefácio dos narradores Galvão Bueno e Cléber Machado, reúne histórias narradas pelo próprio Laurence, muitas delas contados no blog Jogo Mais que Perfeito, mantido por Michel.

## Vida pessoal

Era filho de Albert Laurence, ex-editor de esportes do jornal Última Hora. Era irmão da atriz Jacqueline Laurence e pai de seis filhos, sendo cinco deles também jornalistas, dentre eles Bruno Laurence e Gerard Laurence, com passagens pelo Grupo Globo.
Era torcedor do Santos.

### Morte

Faleceu no Hospital São Camilo, em São Paulo, devido a uma septicemia — infecção generalizada —, após passar por uma cirurgia no braço.
# Mathew Kojo Kum

Mathew Kojo Kum (nascido em 31 de agosto de 1945) é um político ganense e ex-membro do primeiro Parlamento da Quarta República, representando o círculo eleitoral de Tarkwa-Nsuaem na região ocidental do Gana. Ele representou o Congresso Nacional Democrata.

## Política

Kum foi eleito para o Parlamento pela primeira vez pela lista do Congresso Nacional Democrático para o Grupo Constituinte de Tarkwa-Nsuaem na Região Ocidental do Gana durante as eleições gerais de 1992 no Gana. Ele foi derrotado por Joseph Ghansah do Partido do Povo.
Kum é Gerente Administrativo por Profissão e ex-membro do Parlamento do Grupo Constituinte Tarkwa-Nsuaem na Região Ocidental de Gana.

## Vida pessoal

Kum é cristão.