OpenLLM-France/wikimedia huggingface dataset:
# Propriedades de normalização forte e fraca

Na matemática lógica e ciência da computação teórica, um Sistema de Reescrita tem a propriedade de normalização forte ou é terminante (brevemente: a propriedade da normalização ou da terminação) se todos termos são fortemente normalizantes; isto é, se todas as sequências de reescrita eventualmente terminam em um termo irredutível também chamado de forma normal. Um sistema de reescrita também pode ter a propriedade de normalização fraca, isto significa que para cada termo, existe pelo menos uma sequência específica de reescrita que eventualmente conduz a uma forma normal, i.e. a um termo irredutível.

## Cálculo lambda
### Cálculo lambda não tipado

O Cálculo lambda puro não-tipado não satisfaz a propriedade da normalização forte, e nem mesmo a propriedade da normalização fraca. Considere o termo $\lambda x.xxx$. Ele tem a seguinte regra de reescrita: para qualquer termo, $t$,
    $(\mathbf {\lambda } x.xxx)t\rightarrow ttt$
Mas considere o que acontece quando aplicamos $\lambda x.xxx$ a si mesmo:
* $\rightarrow (\mathbf {\lambda } x.xxx)(\lambda x.xxx)(\lambda x.xxx)$
* $\rightarrow (\mathbf {\lambda } x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)$
* $\rightarrow (\mathbf {\lambda } x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)(\lambda x.xxx)$
* $\ldots \,$
Portanto o termo $(\lambda x.xxx)(\lambda x.xxx)$ não é nem fortemente nem fracamente normalizante.

### Cálculo lambda tipado

Vários sistemas de cálculo lambda tipado incluindo o cálculo lambda simplesmente tipado, o Sistema F de Jean-Yves Girard, e o cálculo de construções de Thierry Coquand, são fortemente normalizantes.
Um sistema de cálculo lambda com a propriedade da normalização pode ser visto como uma linguagem de programação com a propriedade de que todo programa para. Embora esta seja uma propriedade muito útil, há uma desvantagem: uma linguagem de programação com a propriedade de normalização não pode ser Turing-completa. Isto significa que há funções computáveis que não podem ser definidas simplesmente usando o cálculo lambda simplesmente tipado (de forma similar, há funções computáveis que não podem ser calculadas, no cálculo das construções ou Sistema F). Por exemplo, é impossível definir um auto-interpretador em qualquer um dos cálculos citados acima.
# Hemilienardia chrysoleuca

Hemilienardia chrysoleuca é uma espécie de gastrópode do gênero Hemilienardia, pertencente a família Raphitomidae.
# Ribeira de Santa Ana

Santa Ana é um ribeira international que nasce em Espanha e entra em Portugal pelo distrito de Avelanso até desaguar no Rio Angueira.
# Society of Composers, Authors and Music Publishers of Canada

A Society of Composers, Authors and Music Publishers of Canada é uma organização sem fins lucrativos canadense que representa e defende os direitos autorais de mais de 135 mil compositores, produtores e membros de editoras fonográficas, compartilhando da mesma atuação da American Society of Composers, Authors and Publishers (ASCAP) e da Broadcast Music, Inc. (BMI) nos Estados Unidos. Além disso, a entidade realiza de forma anual uma cerimônia de premiação intitulada SOCAN Awards, destinadas a reconhecer e homenagear compositores, produtores e musicistas envolvidos nos trabalhos de maior êxito em vendas em território canadense, baseando-se em dados fornecidos pela Music Canada (MC).
# Lino Benech

Lino Benech (nascido em 15 de outubro de 1947) é um ex-ciclista uruguaio. Representou sua nação durante os Jogos Olímpicos de Verão de 1972, na prova de contrarrelógio.
# Rodobrana

Rodobrana (literalmente Defesa da Pátria/Defesa da Nação) foi uma organização paramilitar na Eslováquia do Partido Popular Eslovaco do começo dos anos vinte.. A organização existiu entre 1923 e 1927 na Checoslováquia, quando as autoridades ordenaram a sua dissolução, embora muitos de seus membros continuaram a atuar em outras organizações partidárias. Ressurgiu durante a Segunda Guerra Mundial como uma nova seção e uma predecessora da Guarda de Hlinka.
# Shinjuku Incident

Shinjuku Incident (Brasil: Massacre no Bairro Chinês / Portugal: Acidente em Shinjuku) é um filme honconguês, do gênero drama, dirigido por Derek Yee e estrelado por Jackie Chan, sendo lançado em 2009.
Muitos comentário na imprensa descrevem o gênero do filme mais como um drama, o diretor do fime, Derek Yee, em uma entrevista citou: "As pessoas estão muito familiarizadas com as imagens Jackie Chan lutando, é hora de ele atuar em dramas." Em uma entrevista posterior, o próprio Chan descreveu o filme como dramático com "talvez um por cento de ação."

## Sinopse

Com a ajuda de seu "irmão" Jie (Daniel Wu), o mecânico apelidado de Steelhead (Jackie Chan) entra no Japão a partir da China à procura de sua noiva, Xiu Xiu (Xu Jinglei).
Uma noite, enquanto trabalhava em um restaurante com Jie, Steelhead encontra Xiu Xiu com Eguchi (Masaya Kato), o líder local da Yakuza. Entristecido ao ver sua noiva com outro homem, ele passa a noite com Jie bebendo e festejando com prostitutas. Uma vez sóbrio, Steelhead decide tornar-se um cidadão legal do Japão por todos os meios possíveis.

## Elenco

* Jackie Chan como Steelhead/ Nick
* Naoto Takenaka como Inspetor Kitano
* Daniel Wu como Jie
* Chin Kar-Lok como Hongkie/ Garoto de Hong Kong
* Xu Jinglei como Xiu Xiu
* Fan Bingbing como Lily
* Masaya Kato como Eguchi
* Jack Kao como Gao Jie/ Membro da Gang de Taiwan
* Yasuaki Kuata como Tago Watagawa
* Lam Sebo como Velho Santo
* Ken Lo como Pequena Tai
* Kenya Sagawa como Nakajima
* Paul Chun como Tio Tak
* kathy Yuen Ka Yi como Shizuko
* Teddy Lin como Tai Bao/ Teddy Lin Chun
* Hayama Go Togawa Kyohei/ Hiro Hayama
* Randy Muscles como Gaijin
* Gladys Fung como Gladys Fung Ho Sze
* Ka Leong Chan como Ringo Chan Ka Leong

## Desenvolvimento

O diretor Derek Yee tinha planejado o filme cerca de 10 anos antes. Suas gravações eram para começar em maio de 2006, mas Jackie Chan estava ocupado gravando Rush Hour 3 e Shinjuku Incident teve que ser adiado. O diretor Derek Yee disse que não se importaria em esperar se a agenda de Jackie Chan estivesse lotada, e como os dois sempre foram bons amigos, sentia que Jackie Chan iria aceitar o papel de Steelhead. Em 26 de Setembro de 2007, o site de Jackie Chan divulgou que as filmagens começariam em "algumas semanas", no Japão. As filmagens começaram em novembro de 2007.
No entanto, devido a quantidades significativas de violência no filme, diretor Yee tomou a decisão de não lançar o filme na China continental.
# Primeiro-ministro da Suécia

O Primeiro-ministro da Suécia (em sueco: Sveriges statsminister, que traduzido significa literalmente "Ministro de Estado", os suecos usam a palavra premiärminister quando se referem a primeiro-ministros de outros países) é o Chefe de governo na Suécia. Desde 1976, o Ministro de Estado é eleito pelo Parlamento da Suécia - Riksdagen, cabendo a ele dirigir o governo, nomear os ministros e chefiar a Chancelaria do Governo.
O cargo de Ministro de Estado - statsminister - foi criado em 1876, substituindo o antigo cargo de Ministro de Estado e da Justiça - justitiestatsminister, o qual foi dividido em dois novos cargos: Ministro de Estado - statsminister - e Ministro da Justiça - justitieminister. Louis Gerhard De Geer, foi o arquiteto do novo parlamento bicameral de 1866, que substituiu o Sveriges ståndsriksdag, e foi o 1° Primeiro-ministro em 1876.
Desde 1995, o Ministro de Estado tem com residência oficial a Casa Sagerska, no centro de Estocolmo, e como residência dos tempos livres a mansão de Harpsund, na Sudermânia.
# Hermitage (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.
Hermitage pode referir-se a:

## Localidades

Estados Unidos
* Hermitage (Arkansas)
* Hermitage (Missouri)
* Hermitage (Pensilvânia)
# Ribeira de Santa Bárbara

A Ribeira de Santa Bárbara é um curso de água português localizado no concelho das Lajes do Pico, ilha do Pico, arquipélago dos Açores.
Este curso de água tem origem a cerca de 800 metros de altitude. A sua bacia hidrográfica recebe as águas de escorrência da encosta de parte da Caldeira de Santa Bárbara.
O seu curso de água que desagua no Oceano Atlântico, fá-lo na costa entre a Ponta dos Biscoitos e a localidade das Ribeiras.
# Smeeni

Smeeni é uma comuna romena localizada no distrito de Buzău, na região de Muntênia. A comuna possui uma área de km² e sua população era de 6893 habitantes segundo o censo de 2007.
# Limosella aquatica

Limosella aquatica é uma espécie de planta com flor pertencente à família Scrophulariaceae.
A autoridade científica da espécie é L., tendo sido publicada em Species Plantarum 2: 631–632. 1753.

## Portugal

Trata-se de uma espécie presente no território português, nomeadamente em Portugal Continental.
Em termos de naturalidade é nativa da região atrás indicada.

## Protecção

Não se encontra protegida por legislação portuguesa ou da Comunidade Europeia.
# Rio Grande (Terra do Fogo)

Rio Grande é uma cidade da Argentina, localizada na costa noroeste da ilha principal da Terra do Fogo, banhada pelo Oceano Atlântico. Sua população soma 55 131 habitantes (censo de 2001) com uma densidade de 4,5 hab/km².
# Simba Football Club

Simba FC é um clube de futebol com sede em Lugazi, Uganda. Eles eram uma força dominante na década de 1970 e 1980, quando todos os jogadores estavam servindo as Forças Armadas do Exército ugandês.

## Títulos

* Liga dos Campeões da CAF:0
       Finalista : 1972
* Campeonato Ugandense de Futebol:2
       1971, 1978
* Ugandan Cup: 2
       1977, 2011

## Jogadores notáveis

* Simrit Singh
* Jeffrey Ntuka-Pule
* Ibrahim Buwembo
* Henry Kabeta
* David Kalungi
* Moses Lule
* Lawrence Musoke
* Bruno Olobo
* Robert Ssentongo
* Godfrey Wakaza
* Patrick Phiri
# Live in Berlin (álbum de Sting)

Live in Berlin é o quinto álbum ao vivo do cantor Sting, lançado em 2010.
O álbum traz o registro de um show do cantor realizado no dia 21 de setembro de 2010, no O2 World Arena, em Berlim, Alemanha. O show fez parte da turnê de divulgação do álbum "Symphonicities", lançado também em 2010, e que traz os grandes sucessos do cantor com novos arranjos orquestrados. Assim, "Live in Berlin" traz Sting acompanhado pela Royal Philharmonic Concert Orchestra apresentando músicas como "Every Little Thing She Does Is Magic", "Desert Rose" e "Russians", entre outros clássicos. O interessante, e ao mesmo tempo curioso, é que todos os músicos da orquestra participam ativamente do show, brincando, dançando e fazendo coreografias ao ritmo das músicas.

## Faixas
### CD

* "If I Ever Lose My Faith in You" - 4:46
* "Englishman in New York" - 4:38
* "Fields of Gold" - 3:35
* "Why Should I Cry for You?" - 7:45
* "All Would Envy" - 5:36
* "Tomorrow We'll See" - 4:48
* "The End of the Game" - 6:21
* "Whenever I Say Your Name" - 7:21
* "Shape of My Heart" - 4:49
* "Moon Over Bourbon Street" - 6:04
* "Mad About You" - 4:45
* "King of Pain" - 5:39
* "Desert Rose" - 4:44
* "Fragile" - 4:50

### DVD

* A Thousand Years
* Every Little Thing She Does Is Magic
* Englishman in New York
* Roxanne
* When We Dance
* Russians
* I Hung My Head
* Why Should I Cry for You?
* Whenever I Say Your Name
* This Cowboy Song
* Tomorrow We'll See
* Moon Over Bourbon Street
* The End of the Game
* You Will Be My Ain True Love
* All Would Envy
* Mad About You
* King of Pain
* Every Breath You Take
* Desert Rose
* She's Too Good for Me
* Fragile

## Paradas

| Parada | Posições |
| Portugal - Top 50 Nacional Português | 10 |
# QRIO

QRIO ("Quest for cuRIOsity", nome original do Sony Dream Robot ou SDR) era para ser um robô bípede humanóide de entretenimento desenvolvido e comercializado (mas nunca vendido) pela Sony para acompanhar o sucesso de seu brinquedo AIBO. QRIO tinha aproximadamente 0,6 metros de altura e pesava 7,3 kg. O slogan do QRIO slogan era "faz a vida divertida, faz você feliz!".
Em 26 de janeiro de 2006, no mesmo dia em que anunciou a descontinuação do AIBO e de outros produtos, a Sony anunciou que iria parar o desenvolvimento do QRIO.
# Hexacloreto de tungsténio

O hexacloreto de tungsténio ou cloreto de tungsténio (VI) é um composto de tungsténio e cloro com a fórmula WCl$_6$. Esta espécie de cor azul-violeta escura chumbada existe na forma de um sólido volátil em condições padrão. É um importante reagente inicial na preparação de compostos de tungsténio. WCl$_6$ é um exemplo raro de um hexacloreto com carga neutra, sendo outro exemplo ReCl$_6$. Mais bem conhecido que WCl$_6$ é o ainda mais volátil WF$_6$.
Sendo um ião d$^0$, W(VI) forma derivados diamagnéticos. O hexacloreto é octaédrico com distâncias W-Cl equivalentes de 2,24 - 2,26 Å. No WCl$_6$, os ligandos de cloreto são dadores.
A metilação com trimetilalumínio produz hexametil tungsténio. O tratamento com butil lítio produz um reagente útil na desoxigenação de epóxidos.
Os ligandos cloreto em WCl$_6$ podem ser substituídos por muitos ligandos aniónicos incluindo Br$^−$, NCS$^−$, e RO$^−$ (R = alquila, arila).

## Considerações sobre segurança

WCl$_6$ é um oxidante muito corrosivo, e hidrolisa libertando cloreto de hidrogénio.
# Ribeira de Póvoas

A Ribeira de Póvoas (ou Ribeira das Póvoas) é uma ribeira de Portugal que nasce na freguesia de São Sebastião (concelho de Rio Maior), mais precisamente na fazenda do Ramalhal (norte da Freguesia, perto do lugar de Lavradio), e que se junta ao Rio do Penegral para formar a Ribeira dos Pisões que é afluente da Ribeira das Alcobertas, que por sua vez é afluente da margem esquerda do Rio Maior.
A junção com o Rio do Penegral ocorre na freguesia de Arruda dos Pisões.
O nome seu provém do facto de a ribeira em questão passar pelo lugar de Póvoas, na freguesia de Fráguas.
# Solto Collina

Solto Collina é uma comuna italiana da região da Lombardia, província de Bérgamo, com cerca de 1.512 habitantes. Estende-se por uma área de 12 km², tendo uma densidade populacional de 126 hab/km². Faz fronteira com Castro, Endine Gaiano, Fonteno, Pianico, Pisogne (BS), Riva di Solto, Sovere.

## Demografia

* Variação demográfica do município entre 1861 e 2011
* Fonte: Istituto Nazionale di Statistica (ISTAT) - Elaboração gráfica da Wikipedia
# Rio Grande (Lourinhã)

Rio Grande é um rio que atravessa o concelho da Lourinhã. Deságua no Oceano Atlântico, na praia da Areia Branca.
# Live in Brooklyn

Live In Brooklyn é um extended play (EP) do cantor americano Jay-Z. O EP foi lançado em 9 de outubro de 2012 pela gravadora Warner no formato de download digital. É constituído por 8 faixas de áudio e 8 de vídeos, sendo considerado um projeto Audio-visual. Foi gravado no dia 6 de outubro do mesmo ano e colocado em pré-venda no dia seguinte.

## Gravação e lançamento

Entre os dias 28 de setembro de 2012 e 6 de outubro do mesmo ano, o cantor Jay-Z performou no Barclays Center em sua inauguração. Estes shows foram gravados e foram selecionadas as 8 melhores performances para constituir o extended play (EP) Live In Brooklyn pelo cantor.

## Faixas

O álbum foi colocado em pré-venda sendo não identificado os nomes das faixas. Após o seu lançamento, serão revelados seus nomes.

## Histórico de lançamento

| País | Data | Formato(s) | Gravadora |
| Estados Unidos | October 9, 2012 | download digital | Roc Nation, Atlantic Records |
# Pristimantis fenestratus

Pristimantis fenestratus é uma espécie de anfíbio da família Craugastoridae.
Pode ser encontrada nos seguintes países: Bolívia, Brasil e Peru.
Os seus habitats naturais são: florestas subtropicais ou tropicais húmidas de baixa altitude, regiões subtropicais ou tropicais húmidas de alta altitude, lagos de água doce e marismas de água doce.

## Descrição

Os machos possuem 3 cm e as fêmeas, 4 cm.
A espécie possui o dorso marrom claro a escuro com bandas formando um X. Os membros traseiros são maiores que o corpo. Seus lábios possuem faixas alternadas claras e escuras. Seus dedos são longos e possuem ponta em T. Seu ventre é creme, podendo haver manchas marrons.

## Hábitos

É um animal terrestre, arborícola e noturna. É encontrada dentro de matas ou em encostas de morrarias próximas a córregos. Os machos vocalizam em cima de pedras ou troncos caídos. O tamanho da desova e o local de disposição dos ovos são desconhecidos.

## Fase larval

Esta espécie não possuem fase larval aquática, como todas as espécies deste gênero, e seu ovos são depositados no chão da mata, tendo desenvolvimento direto.
# Hexaclorofeno

Hexaclorofeno é um antisséptico, derivado halogenado do fenol que possui ação bacteriostática e detergente. É usado em sabões, óleos de banho e detergentes.
# Ribeira de Santiago

Ribeira de Santiago é uma aldeia da freguesia de Santa Ovaia, concelho de Oliveira do Hospital e situa-se no inicio da estrada N.230 Vendas de Galizes-Covilhã. Tem 18 habitações e cerca de 60 habitantes.
O seu nome tem origem numa pequenina ribeira que nasce na aldeia, na qual corre água habitualmente até ao mês de Julho (época do Santo Tiago).
É uma aldeia de fundação recente.
# Soltinho

O soltinho é um gênero de dança de salão brasileiro, uma variação da dança americana swing/jazz e lindy-hop, dançado geralmente com rock que combina a ginga e a improvisação brasileira dos EUA.
Soltinho é o nome de uma dança. Não existe um gênero musical chamado "soltinho"; o que existem são músicas com as quais pode-se dançar soltinho. Essas músicas geralmente são rock clássico, disco e swing norte-americano. Algumas formas de sertanejo clássico e pop podem ser usadas também, bem como músicas de Lindy Hop e Cha-cha-cha. Mas geralmente é dançado com Rock brasileiro das décadas de 60, 70 e 80.
Chama-se soltinho porque, ao contrário de outras danças de salão, é dançado solto segurando as mãos, sem abraçar. Seu passo básico é uma abertura lateral para os dois lados. Usa predominantemente condução pelos braços, tem uma variedade de giros e abre muito espaço para improvisação.
O Soltinho surgiu nas gafieiras do Rio de Janeiro na década de 80 para dançar a dois músicas populares da época que não tinham dança correspondente. Depois se espalhou pelas escolas de dança do Brasil por seguidores de Carlinhos de Jesus e Jaime Aroxa, junto com o samba de gafieira e o bolero, popularizando-se em São Paulo na década de 90.
# Li Wenliang

* 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.
Li Wenliang pode referir-se a:
* Li Wenliang (jogador de xadrez) (nascido em 1967), jogador de xadrez chinês
* Li Wenliang (médico) (1986—2020), o primeiro a avisar do surto de coronavírus em Wuhan de 2019—20, e que morreu devido ao vírus.
# Rio Turvo (Goiás)

Rio Turvo é um curso de água no Brasil. Está localizado no estado de Goiás, região sudeste do país, 300 km a sudoeste da capital Brasília .
A área ao redor do Rio Turvo consiste principalmente de terras agrícolas. Rio Turvo é muito pouco povoado, com 3 habitantes por quilômetro quadrado. Clima de Savannah prevalece na área. Temperatura média anual na área é de 25 ° C. O mês mais quente é outubro, quando a temperatura média é 30 ° C, e o mais frio é julho, com 22 ° C. A precipitação média anual 1 662 milímetros. O mês mais chuvoso é março, com uma média de 276 mm de precipitação, e o mais seco é agosto, com 1 mm de precipitação.
Gráfico climático para Rio Turvo :
| J | F | M | A | M | J | J | A | S | O | N | D |
| 273   28 20 | 245   27 19 | 276   31 20 | 103   31 19 | 24   30 17 | 52   31 16 | 33   31 14 | 1   37 19 | 70   41 17 | 65   40 20 | 255   35 20 | 265   29 19 |
| Temperaturas em °C • Precipitações em mm ||||||||||||
# Sibila

Sibilas (em grego clássico: Σῐ́βυλλαι; romaniz.: Síbyllai; em latim: Sibyllae), na Antiguidade, eram mulheres oraculares. Pensa-se que o nome foi formado por Διος e βουλή, significando conselho de Zeus. A primeira Sibila, da qual o nome das demais derivou, segundo a mitologia grega, era filha de Dardano e Neso. Alguns autores citam quatro delas (Eritreia, Sâmia, Egípcia e Sárdia), mas comumente se acredita que eram 10: Babilônia, Líbia, Délfica (uma mais velha, filha de Zeus e Lâmia, e uma mais jovem), Ciméria, Eritreia (uma mais velha e outra mais jovem, chamada Herófila), Sâmia, Cumana (às vezes identificada com a Eritreia), a Helespôntica ou Troiana, Frígia e Tiburtina.
A mais célebre delas é a Cumana, citada sob os nomes de Herófila, Demo, Femonoé, Deífoba, Demófila e Amalteia. Foi consultada por Eneias antes dele descer ao mundo inferior e dizem que foi à Itália pelo Oriente, onde apareceu diante do rei Tarquínio, oferecendo-lhe os Livros Sibilinos. Pausânias também menciona uma Sibila Hebraica com o nome de Sabe, filha de Beroso e Erimante.
# Lista de primeiras-damas do Distrito Federal (Brasil)

Esta é a lista que reúne as primeiras-damas e os primeiros-cavalheiros do Distrito Federal brasileiro.
O termo é usado pelo cônjuge do(a) governador(a) do Distrito Federal quando este(a) está exercendo os plenos direitos do cargo. Em uma ocasião especial, o título pode ser aplicado a outra pessoa, quando o(a) governador(a) é solteiro(a) ou viúvo(a). A atual primeira-dama é Mayara Noronha Rocha, esposa do 19.º governador brasiliense Ibaneis Rocha.
| Nº | Nome | Imagem | Início do mandato | Fim do mandato | Governador(a) |
| 1 | Vera Prates da Silveira | | 12 de novembro de 1969 | 24 de janeiro de 1973 | Hélio Prates da Silveira |
| não consta; governador interino | não consta; governador interino | não consta; governador interino | 24 de janeiro de 1973 | 29 de janeiro de 1973 | Antônio Avancini Fragomeni |
| 1 | Vera Prates da Silveira | | 29 de janeiro de 1973 | 14 de março de 1974 | Hélio Prates da Silveira |
| não consta; governador interino | não consta; governador interino | não consta; governador interino | 14 de março de 1974 | 2 de abril de 1974 | Octávio Odílio de Oliveira Bittencourt |
| 2 | Edvaltriz de Amorim Pithon Farias | | 2 de abril de 1974 | 29 de março de 1979 | Elmo Serejo |
| 3 | Vely Lamaison | | 29 de março de 1979 | 2 de julho de 1982 | Aimé Lamaison |
| 4 | Zeli Ornellas | | 2 de julho de 1982 | 8 de abril de 1985 | José Ornellas |
| 5 | Virgínia Barbosa de Vasconcelos | | 8 de abril de 1985 | 9 de maio de 1985 | Ronaldo Costa Couto |
| 6 | Maria Leonor Gonçalves de Oliveira | | 9 de maio de 1985 | 19 de setembro de 1988 | José Aparecido de Oliveira |
| 7 | Weslian Roriz | | 19 de setembro de 1988 | 9 de março de 1990 | Joaquim Roriz |
| 8 | Regina Célia Valim | | 9 de março de 1990 | 15 de março de 1991 | Wanderley Vallim |
| 9 | Weslian Roriz | | 15 de março de 1991 | 1º de janeiro de 1995 | Joaquim Roriz |
| 10 | Gladys Buarque | | 1º de janeiro de 1995 | 1º de janeiro de 1999 | Cristovam Buarque |
| 11 | Weslian Roriz | | 1º de janeiro de 1999 | 31 de março de 2006 | Joaquim Roriz |
| não encontrado | não encontrado | não encontrado | 31 de março de 2006 | 1º de janeiro de 2007 | Maria de Lourdes Abadia |
| 12 | Mariane Vicentini | | 1º de janeiro de 2007 | 2007 | José Roberto Arruda |
| 13 | Flávia Arruda | | 2007 | 16 de março de 2010 | José Roberto Arruda |
| 14 | Anna Christina Kubitschek Barbará | | 11 de fevereiro de 2010 | 23 de fevereiro de 2010 | Paulo Octávio |
| 15 | Márcia Lima | | 23 de fevereiro de 2010 | 19 de abril de 2010 | Wilson Lima |
| 16 | Karina Curi Rosso | | 19 de abril de 2010 | 1º de janeiro de 2011 | Rogério Rosso |
| 17 | lza Queiroz | | 1º de janeiro de 2011 | 1º de janeiro de 2015 | Agnelo Queiroz |
| 18 | Márcia Rollemberg | | 1° de janeiro de 2015 | 1º de janeiro de 2019 | Rodrigo Rollemberg |
| 19 | Mayara Noronha Rocha | | 1º de janeiro de 2019 | até a atualidade | Ibaneis Rocha |
# Pristimantis floridus

Pristimantis floridus é uma espécie de anfíbio da família Craugastoridae.
É endémica do Equador.
Os seus habitats naturais são: florestas subtropicais ou tropicais húmidas de baixa altitude e regiões subtropicais ou tropicais húmidas de alta altitude.
Está ameaçada por perda de habitat.