OpenLLM-France/wikimedia huggingface dataset:
# Museu de Arte Sacra de Pernambuco

O Museu de Arte Sacra de Pernambuco (MASPE) é um museu brasileiro localizado em um prédio histórico de Olinda, no estado de Pernambuco.

## Histórico

O prédio que hoje abriga o Museu de Arte Sacra foi construído no século XVII, no Alto da Sé, a colina sobre a qual Duarte Coelho fundou a cidade, em 1535. Inicialmente serviu como a Casa da Câmara do Senado de Olinda. Com a chegada do primeiro Bispo de Pernambuco, Dom Estevão Brioso de Figueiredo, em 1676, que ali também se instalou, passou a ser também Palácio Episcopal, função que se tornaria exclusiva a partir de 1690.
No século XIX o casarão sofreu novas modificações, servindo como residência coletiva de religiosos, colégio e quartel do exército durante a 2ª Guerra Mundial, mas preserva dois torreões originais e as doze janelas com balcões de madeira do piso superior. Na sua fachada ainda se encontra o antigo brasão episcopal e uma placa da UNESCO, que declara a cidade Monumento da Humanidade.
O museu ocupa o local desde 1974, e em 1977 a FUNDARPE realizou novas reformas, reinstalando na entrada do Museu seus azulejos portugueses.

## O acervo

Seu acervo é composto por imagens antigas eruditas policromadas e douradas, além de pinturas e arte sacra popular e objetos do culto nas igrejas. O acervo fixo do MASPE partiu de peças cedidas pela Arquidiocese de Olinda e Recife, sendo, posteriormente, enriquecido. Hoje, reúne peças religiosas do século XVI ao atual, incluindo importantes exemplares de arte popular contemporânea.
O espaço expositivo do museu divide-se em sete salas temáticas:
* Sala Olinda, Monumento Cultural, com fotos, mapas, pinturas, documentos e peças arqueológicas referentes à cidade.
* Sala dos Santos de Procissão, onde se mostram santos de roca (imagens apenas parcialmente esculpidas, e vestidas com roupas de tecido) e imagens processionais.
* Sala dos Santos e Relicários, com imagens do século XVIII e alguns relicários e braços-relicários.
* Sala dos Santos de Gesso, concentrando-se em estátuas de origem francesa do século XIX, algumas com estrutura de ferro e policromadas.
* Sala Aspectos da Arte Sacra em Pernambuco, que procura montar um painel da evolução da imaginária entre os séculos XVII e XIX.
* Sala O Altar na Igreja, recriando o interior de uma pequena igreja, com altar, imagens, confessionário, custódia, pinturas e objetos do culto.
* Sala da Via Sacra do Artesão e Presépio. Aqui estão expostas cenas da paixão, morte e ressurreição de Cristo, além de presépios de artesãos pernambucanos do interior e da capital, dentre os quais se destacam Ana Pamplona, Galdino, Mestre Saúba e Wandecock.
O museu desenvolve uma programação movimentada, com cursos, palestras e mostras que acompanham o ciclo litúrgico e o calendário religioso. Está localizado na rua Bispo Coutinho, 726.
* São Miguel
* Cristo açoitado
* Imagem de roca representando Cristo com os símbolos da Paixão
# Museu de Arte Sacra do Pará

O Museu de Arte Sacra do Pará é um museu brasileiro localizado no estado do Pará, mais precisamente no prédio da Igreja e Colégio de Santo Alexandre, uma construção tombada pelo IPHAN que data do século XVII. O museu também tem seu próprio acervo tombado, desta vez pelo Departamento de Patrimônio Histórico Artístico e Cultural (DPHAC) do estado.

## Acervo

O acervo do museu é composto por imaginárias datadas dos séculos 18 e 19 e objetos litúrgicos, somando cerca de 320 peças expostas no primeiro pavimento do palácio episcopal e no corpo da igreja. Dentre as centenas de peças que compõem o acervo, composto por esculturas, quadros e pratarias, destaca-se uma imagem feita em madeira de São Francisco de Borja, que tem um vão na parte atrás que era usado para esconder ouro, numa prática que deu origem à expressão ‘santo do pau oco’.
# Mutquín

Mutquín é um município da Argentina, localizada no departamento de Pomán, província de Catamarca.
# Mutiu Adepoju

Mutiu Adepoju (Ibadan, 22 de dezembro de 1970) é um ex-futebolista nigeriano que se destacou no futebol da Espanha, sobretudo no Racing Santander.

## Carreira em clubes
### O começo

Adepoju iniciou sua carreira na Nigéria, nos times do Shooting Stars e do Julius Berger. Saiu do país em 1989, quando foi contratado pelo Castilla (filial do Real Madrid). Começava aí a aventura de Mutiu (como passou a ser mais conhecido) em terras hispânicas.

### Na Espanha

Mutiu jogou pelo Castilla entre 1989 e 1992, ano em que foi contratado pelo Racing Santander.
Pelo clube da Cantábria, atuou até 1996, tendo disputado 123 partidas e marcado 26 gols. Sem espaço no Racing, transferiu-se para a Real Sociedad, sendo o segundo não-basco e o primeiro negro a jogar no segundo time do País Basco (antes dele, o primeiro jogador não-basco a ser contratado tinha sido o anglo-irlandês John Aldridge). Ficou por lá até 2000.

### Passagem apagada pela Arábia, volta à Espanha e final de carreira

Após 11 anos na Espanha, ele recebeu proposta do Al-Ittihad, mas sua estadia no time saudita não duraria mais que uma temporada. De volta à Espanha, assinou com o Salamanca, também jogando por uma temporada (14 jogos, nenhum gol).
Foi jogar na Turquia, pelo modesto Samsunspor, mas também não teve êxito e foi jogar pelo AEL Limassol, um dos principais clubes do Chipre, tendo jogado apenas cinco partidas, marcando um gol. Aposentou-se pela primeira vez depois de seu contrato com o AEL se encerrou. Voltou novamente à Espanha em 2004 para encerrar a carreira, jogando pelos inexpressivos Eldense e Cobeña, seu último clube como profissional.

## Seleção Nigeriana

Adepoju estreou na Seleção Nigeriana de Futebol em 1990, num amistoso contra o Togo, e a Copa das Nações Africanas de 1992 foi seu primeiro torneio oficial. Ele também jogou as Copas de 1994, 1998 (foi dele o gol que iniciou a reação nigeriana na partida contra a Espanha) e 2002, nesta última estava completamente fora de forma, não tendo entrado em campo em nenhuma das três partidas das Super Águias, que caíram na primeira fase. Também atuou na Copa Rei Fahd de 1995.

## Títulos
### Nigéria

* Copa das Nações Africanas: 1994
# Mário Cravo Neto

Mário Cravo Neto OMC (Salvador, 20 de abril de 1947 – Salvador, 9 de agosto de 2009) foi um fotógrafo e escultor brasileiro.

## Biografia

Filho do escultor Mário Cravo Júnior, viveu em Nova Iorque entre 1968 e 1970, onde estudou na Art Student League. Participou da Bienal Internacional de São Paulo em 1971, 1973, 1975, 1977 e 1983 e recebeu diversos prêmios nacionais de fotografia. Sua obra faz referências à sua cidade natal e faz parte do acervo de diversos museus como o Museu de Arte Moderna de Nova Iorque, o Museu de Arte Moderna do Rio de Janeiro e o Stedelijk Museum em Amsterdã, entre outros. Colaborou com as revistas Popular Photography e Câmera 35 e publicou onze livros. Em 1983, atuou na criação visual — capa, contracapa e selo — para o LP Homenagem de Leonardo Vincenzo Boccia.

## Prêmios e Homenagens

* 2006 — Agraciado com o título de Comendador da Ordem do Mérito Cultura, do Ministério da Cultura.
* 1978 — Prêmio-estímulo Caixa Econômica Federal Escultura 1978, no 10.º Panorama de Arte Atual Brasileira, no MAM-SP.
# Mário Cristina de Sousa

Mário Cristina de Sousa (1946 –) é um político português que foi ministro da Economia entre 14 de setembro de 2000 e 3 de julho de 2001, no segundo governo de António Guterres. Antes de ser ministro foi presidente da EDP. Licenciou-se em Economia pelo Instituto de Ciências Económicas e Financeiras e, ao longo da sua carreira, passou por cargos na CUF, EMMA, EDP, Cimpor, Grupo Vista Alegre, entre outros.
# Mário Correia Teles de Araújo e Albuquerque

Mário Correia Teles de Araújo e Albuquerque (Viseu, 9 de março de 1898 - 5 de janeiro de 1975) foi um professor universitário, académico, advogado e político português.

## Família

Filho de Alexandre Correia Teles de Araújo e Albuquerque e de sua mulher Isabel Maria da Conceição Ribeiro de Almeida.

## Biografia

Licenciado em Direito e em Ciências Históricas e Geográficas respetivamente pela Faculdade de Direito e pela Faculdade de Letras da Universidade de Coimbra, Diplomado pela Escola Normal Superior de Lisboa, Doutor em Ciências Históricas e Professor Jubilado da Faculdade de Letras da Universidade de Lisboa, Deputado da Assembleia Nacional em várias Legislaturas, Vereador da Câmara Municipal de Lisboa, Sócio da Academia Portuguesa da História, do Centro de Estudos Históricos Ultramarinos, da Comissão Nacional da União Latina, da Comissão Nacional do Comité Internationale des Sciences Historiques, do Instituto Português de Arqueologia, Presidente da Junta Central da Causa Monárquica, etc.

## Casamento e descendência

Casou em Almada, Almada, a 18 de Junho de 1932 com sua prima em segundo grau Maria Manuela Joana Ferreira Corte Real de Albuquerque (Oliveira de Azeméis, Pinheiro da Bemposta, Casa da Bemposta, 2 de Março de 1905 - ?), 13.ª Senhora da Casa da Bemposta,2.ª Viscondessa dos Lagos, Dama de Honra e Devoção da Ordem Soberana e Militar de Malta, filha de Eduardo de Albuquerque de Quadros Corte Real e de sua mulher Olívia Adelaide Luís Ferreira Tavares Pereira da Silva, sobrinha paterna do 1.º Visconde dos Lagos e do 1.º Barão do Cruzeiro, da qual teve dois filhos e três filhas:
* Rui Manuel Corte Real de Albuquerque (Sintra, Queluz, 7 de Outubro de 1933 - 19 de Janeiro de 2007), Professor Catedrático da Faculdade de Direito de Lisboa, Doutor em Direito, Advogado, 3.º Visconde dos Lagos
* Maria Manuela Corte Real de Albuquerque (Cascais, São Domingos de Rana, 12 de Janeiro de 1935), Licenciada em Ciências Histórico-Filosóficas, Professora efetiva do ensino preparatório, casada em Lisboa a 12 de Agosto de 1964 com Manuel José Antunes Ferreira (? - Lisboa, 8 de Março de 1979), Engenheiro, filho de José dos Santos Ferreira, Jr., Coronel, e de sua mulher Maria José de Oliveira Antunes, com geração
* Martim Eduardo Corte Real de Albuquerque (Cascais, São Domingos de Rana, 18 de Agosto de 1936), Professor Catedrático da Faculdade de Direito de Lisboa, Doutor em Direito, Advogado.
* Maria Leonor Corte Real de Albuquerque (Cascais, São Domingos de Rana, 26 de Agosto de 1939 - 2018), casada em Oliveira de Azeméis, Pinheiro da Bemposta, na Casa da Bemposta, a 9 de Setembro de 1968 com Carlos Soares Imaginário (Chamusca, Chamusca, 27 de Fevereiro de 1940), Major, filho de António Soares Imaginário e de sua mulher Rosa …, com descendência
* Maria Alexandra Corte Real de Albuquerque (Lisboa, 26 de Setembro de 1943), solteira e sem geração
# Mycena galericulata

Mycena galericulata é uma espécie de cogumelo da família Mycenaceae. É a espécie tipo do gênero Mycena.
# Mycena holoporphyra

Mycena holoporphyra é uma espécie de cogumelo da família Mycenaceae.
# Mário Castrim

Mário Castrim, pseudónimo de Manuel Nunes da Fonseca (Ílhavo, 31 de julho de 1920 - Lisboa, 15 de outubro de 2002), foi um jornalista, poeta, escritor, crítico da televisão e professor português.
Trabalhou no jornal Diário de Lisboa, no semanário Tal & Qual, e na revista para jovens Audácia, dos Missionários Combonianos. Era militante do Partido Comunista Português desde a década de 1940. É considerado o primeiro crítico de televisão em Portugal.
Deixou vasta obra publicada.

## Biografia

Foi casado com a também escritora e jornalista Alice Vieira, 23 mais nova . Conheceram-se quando ela foi trabalhar para o Diário de Lisboa. Após o início da relação, Alice mudou-se para o Diário Popular para evitar conflitos de interesse.
Com Alice, foi pai da jornalista e escritora Catarina Fonseca e de André Fonseca, professor universitário.

## Obras
### Obras para crianças e jovens

* Nasceu para Lutar (1964);
* Histórias Com Juízo (1969);
* As Mil Noites (1970) - adaptação;
* O Cavalo do Lenço Amarelo é Perigoso (1974);
* Estas São as Letras (1977);
* A Caminho de Fátima (1992);
* Váril, o herói (1993);
* O Caso da Rua Jau (1994);
* O Lugar do Televisor (3 vols., com as crónicas que publicou na revista Audácia) (1996);
* A Girafa Gira-Gira (9 vols.) (2001);
* A Moeda do Sol (2006).

### Teatro

* Com os Fantasmas Não se Brinca (1987);
* Contar e Cardar (2002).

### Poesia

* Viagens (1977);
* Nome de Flor (1979);
* Do Livro dos Salmos (2007).

### Ensaio e crónica

* Televisão e Censura (1996);
* Histórias da Televisão Portuguesa (1997).
# Mário da Rocha

Mário da Rocha (Vagos, 19 de Junho de 1931 - 27 de Dezembro de 2014) foi um escritor, jornalista e professor português.
Nascido na vila de Vagos, estudou no Liceu de Aveiro e na Universidade de Lisboa, onde se licenciou em 1954.
Publicou o primeiro livro, a colectânea de poemas Sinfonia Incompleta, em 1955. Ainda nos anos 50 do século XX colabora em diversos órgãos da imprensa, nomeadamente no jornal Litoral, de Aveiro, e no respectivo suplemento cultural, Companha - que dará título ao semanário que Mário da Rocha virá a fundar e dirigir, na década de 70.
Professor do ensino secundário, manteve uma intensa actividade intelectual e artística, participando na fundação do Círculo Experimental de Teatro de Aveiro (CETA) e na criação da Secção de Artes Plásticas do Clube dos Galitos.
Dirigiu o suplemento juvenil Vae Victis, publicado com o semanário Litoral (de onde nasceu a ideia da criação do CETA) e, em 1969, participou no «diálogo com os católicos» proposto por Mário Sacramento, de que resultaria o livro Frátria - Diálogo com os católicos (ou talvez não), considerado um marco na discussão intelectual entre cristãos e marxistas em Portugal.
Ainda em 1969 torna-se crítico literário no Diário de Lisboa. Organizou e dirigiu um programa semanal radiofónico de crítica de espectáculos intitulado de "Ribalta na Praça".
Foi fundador do Externato de São João, em Vagos, participou na organização do I Festival de Cinema Amador de Aveiro, e dirigiu, com Jaime Borges, a primeira galeria de arte de Aveiro.
Em 1978 fundou o semanário Companha, que se publicou em Aveiro durante cerca de um ano. Colaborou com diversos outros órgãos de Imprensa, como o Comércio do Porto.
Faleceu em 27 de Dezembro de 2014, no Silveiro - Oiã - O. do Bairro, após vários anos de doença incapacitante, deixando viúva a sua eterna esposa Dr.ª Fernanda Graça (de quem não teve filhos), que sempre lhe prestou todo o carinho, a quem doou uma grande e valiosa biblioteca com milhares de livros.

## Principais obras

* Sinfonia Incompleta (poemas), 1955
* Frátria (em co-autoria com Mário Sacramento), 1969;
* Tempo de Mudança (ensaios), 1978
* A Falência do Cristianismo Burguês (ensaios), 1984;
* Razão Secreta de uma Promoção (depoimento), 1985.
* Igreja, Povo de Deus. Mas que Povo, 1990.
# Mário Vázquez Raña

Mario Vázquez Raña (7 de Junho de 1932, Cidade do México — Cidade do México, 08 de fevereiro de 2015), foi um empresário mexicano e administrador desportivo nacional e olímpico. Em 5 de Abril de 2008, chamou atenção ao falar que a situação da China com o Tibete "é um problemas chinês e, não é uma questão para os Jogos Olímpicos".

## Carreira

* Presidente do Conselho de Administração da Companhia Hermanos Vásquez (1960-1980);
* Presidente e Diretor Geral das "Organizacion Editorial Mexicana" (1975-), o maior jornal empresarial da América Latina, "Cartones Ponderosa" (2001-) e proprietário da United Press International (1985-1988)

## Esportes

Participou de competições de tiroteio mexicano e internacional em 1960.

### Administração Desportiva

* Presidente da Federação Mexicana de Tiro (1969-1974);
* Presidente da American Shooting Confederation (1973-1979);
* Vice-presidente da Confederação Mexicana Desporto (1973-1976);
* Membro (1972-) e Presidente (1974-2001) do CON Mexicano;
* Presidente do Comite de Organização dos Jogos Pan-Americanos (1975);
* Presidente da Organização Desportiva Pan-Americana (ODEPA) (1975 -);
* Presidente da Comissão Internacional de Solidariedade Olímpica para o continente americano (1975 -);
* Presidente da Associação de Comitês Olímpicos Nacionais (ANOC) (1979 -)
# Mário da Graça Machungo

Mário Fernandes da Graça Machungo (1 de dezembro de 1940 – Lisboa, 17 de fevereiro de 2020) foi um político moçambicano.
Como membro da FRELIMO, ocupou vários cargos ministeriais após a independência de Moçambique. Foi Ministro da Indústria e Comércio de 1975 a 1976, Ministro da Indústria e Energia de 1976 a 1978, Ministro da Agricultura de 1978 a 1980 e Ministro do Planeamento e Desenvolvimento de 1980 a 1986. Entre 1983 e 1986 foi ao mesmo tempo governador da província da Zambézia. De 17 de julho de 1986 a 16 de dezembro de 1994 ocupou o posto de primeiro-ministro de Moçambique. Durante a sua administração, a FRELIMO renunciou à ideologia marxista e decidiu abandonar o sistema de partido único, estabelecendo um sistema multipartidário.
Posteriormente Mário Machungo envolveu-se no setor privado. A partir de 1995 tornou-se Presidente do Conselho Consultivo do maior banco do país, o Banco Internacional de Moçambique, que usa a Marca comercial Millennium bim.
Morreu no dia 17 de fevereiro de 2020.
# Mário Zaccaro

Mário Zaccaro é um maestro, compositor, arranjador e pianista brasileiro que atualmente ocupa o cargo de regente titular do Coro Lírico Municipal de São Paulo.

## Biografia

Estudou regência com Eleazar de Carvalho e Robert Shaw e orquestração com Cyro Pereira e Luis Arruda Paes. Foi regente assistente de Isaac Karabtchevsky na Orquestra Sinfônica Municipal de São Paulo e diretor artístico da Orquestra Jazz Sinfônica.
Em 1994 assumiu o cargo de regente titular do Coro Lírico Municipal de São Paulo. Zaccaro introduziu inovações nas técnicas de preparação musical do coro, o que levou à premiação de Melhor Conjunto Coral, pela APCA, em 1996, e o Prêmio Carlos Gomes, na categoria ópera, da Secretaria de Estado da Cultura de São Paulo em 1997. Neste mesmo ano também recebeu o prêmio de Melhor Regente Coral pela APCA.
Em 2013 o maestro foi removido do cargo de regente titular do Coro Lírico após desavenças com o maestro John Neschling. Em 2017, tanto o maestro Jamil Maluf quanto Mário Zaccaro foram reconduzidos aos seus respectivos cargos que perderam durante a gestão Neschling (2013-2016).
Considerado um dos maiores regentes corais e sinfônicos em atividade no Brasil, Mário Zaccaro foi também professor de Teoria, Harmonia e Percepção Musical na Escola Municipal de Música de São Paulo.
# Movimento pela aceitação de corpos gordos

O movimento pela aceitação de obesos, também lembrado como body positive, reúne indivíduos que lutam para que pessoas de aparência obesa não sejam perseguidas ou estigmatizadas pela sociedade. Os seguidores do movimento tentam encontrar maneiras para combater as idéias discriminatórias que as sociedades ocidentais têm a respeito da obesidade. Hoje o mercado da moda para obesas aumentou muito nos últimos tempos,os concursos plus-size vem ganhando seu espaço e visualização perante a mídia e as empresas nos últimos tempos ,porem a publicidade e eventos de modelos magras e de seus respectivos trabalhos ainda é muito maior e muito mais lucrativa do que a das "gordinhas".
Ao mesmo tempo que ganha adeptos e simpatizantes, médicos e especialistas não o aprovam, pois segundo eles, está causa corresponde a um risco à saúde, já que a obesidade é considerada uma doença e com ela vem vários outros males em longo prazo, que podem ser evitados com uma alimentação saudável.
# México nos Jogos Olímpicos de Verão de 1972

O México competiu nos Jogos Olímpicos de Verão de 1972, realizados em Munique, Alemanha Ocidental.
# Kadidiatou Diani

Kadidiatou Diani (Ivry-sur-Seine, 1 de abril de 1995) é uma futebolista profissional francesa que atua como atacante.

## Carreira

Kadidiatou Diani fez parte do elenco da Seleção Francesa de Futebol Feminino, nas Olimpíadas de 2016.
Foi titular na Copa do Mundo de Futebol Feminino de 2019, sediada em seu país, e teve atuação decisiva no jogo contra a Seleção Brasileira de Futebol Feminino nas oitavas-de-final.

## Títulos
### Artilharias

* Chuteira de Prata da Copa do Mundo de Futebol Feminino de 2023 (4 gols)
# Célula de Hamburgo

Célula de Hamburgo foi uma organização terrorista criada em Hamburgo, Alemanha, que atuou entre os anos de 1998 e 2001, tendo planejado e executado os Ataques de 11 de Setembro. O objetivo do grupo era cometer atos terroristas contra países ocidentais, em particular contra os EUA.

## Membros

* Mohamed Atta - um dos pilotos suicidas mortos no ataque
* Marwan al-Shehhi - um dos pilotos suicidas mortos no ataque
* Ziad Jarrah - um dos pilotos suicidas mortos no ataque. O avião caiu antes de chegar a seu destino, que seria o Capitólio, devido a uma luta entre terroristas e passageiros;
* Ramzi Binalshibh - preso nos EUA
* Said Bahaji - morto em 2013, segundo o Conselho de Segurança da ONU, entre a fronteira do Afeganistão com o Paquistão, após uma doença
* Mounir El Motassadeq - cumpriu pena na Alemanha por 15 anos e foi deportado para o Marrocos em outubro de 2018
* Abdelghani Mzoudi - julgado e absolvido em Hamburgo por falta de provas
* Mohammed Haidar Zammar - preso na Síria
* Zakariya Essabar - foi morto no Afeganistão
# Coluna de revestimento

Na tecnologia de perfuração de poços, coluna de revestimento (em inglês casing string) é uma longa seção de tubos de campo petrolífero conectados que são descidos em um poço e cimentados com a função básica de sustentar as formações perfuradas pela broca. Os segmentos de tubo (chamados "juntas", joints) são tipicamente de comprimento de cerca de 12 metros (40 pés), roscas macho em cada extremidade e conectados com tubos de comprimento curto de dupla rosca feminina chamados "acoplamentos" (couplings), conectores ou luvas especiais. Alguns revestimentos são fabricados especialmente numa só peça com uma rosca fêmea maquinada diretamente em uma extremidade.
# Um Rio Imita o Reno

Um rio imita o Reno é um romance brasileiro escrito por Vianna Moog e publicado em 1938. É uma história real sobre uma família alemã radicada no Sul do Brasil mergulhada nos preconceitos raciais inventados por Hitler.
O livro causou muita polêmica internacional e veemente protesto das autoridades alemãs. Os protagonistas Geraldo Torres, brasileiro moreno e Lore Wolf, imigrante alemã vivem um romance fracassado por questões raciais, onde a intolerância e o fanatismo arianos contra os valores da terra denunciam as ambições de Hitler em relação ao arianismo no mundo antes da Segunda Guerra
# Teorema de Church-Rosser

O Teorema de Church-Rosser é um resultado de confluência para o cálculo lambda e também uma propriedade sobre sistemas de redução abstratos equivalente à confluência e a semi-confluência.
(Se busca pela propriedade de Church-Rosser consulte confluência em sistemas de reescrita de termos.)

## Teorema de Church-Rosser e o Cálculo Lambda

O teorema de Church-Rosser enuncia que se existem duas conversões/reduções distintas iniciadas de um mesmo termo no cálculo lambda, então existe um termo que é alcançado através de uma cadeia de redução (possivelmente vazia) de ambas reduções. Olhando para o cálculo lambda como um sistema de reescrita de termos, o teorema de Church-Rosser é uma demonstração de confluência. O teorema foi demonstrado em 1936 por Alonzo Church e J. Barkley Rosser.
# Amorim do Valle

Edmundo Jordão Amorim do Valle (Rio de Janeiro, 1893 — Rio de Janeiro, novembro de 1971) foi um militar brasileiro. Atingiu a patente de vice-almirante.
Cursou a Escola Naval em 1909. Atuou da repressão à revolta tenentista de 5 de julho de 1922. Durante a Segunda Guerra Mundial foi adido naval junto à embaixada brasileira em Washington.
Foi ministro da Marinha do Brasil no governo do presidente Café Filho, de 27 de agosto de 1954 a 7 de novembro de 1955, e no curto mandato de Carlos Luz, de 8 de novembro de 1955 a 11 de novembro de 1955.
Foi homenageado em 1984, quando a Marinha do Brasil deu seu nome ao NHo Amorim do Valle (H-35).
# Automeris caeca

Automeris caeca é uma espécie de mariposa do gênero Automeris, da família Saturniidae.