OpenLLM-France/wikimedia huggingface dataset:
# Moses Schönfinkel

Moses Ilyich Schönfinkel (em russo: Моисей Исаевич Шейнфинкель) (Ekaterinoslav, 4 de setembro de 1889 – Moscou, 1942) foi um matemático soviético, conhecido pela invenção da lógica combinatória.

## Biografia

Schönfinkel estudou matemática na Universidade de Novorossiysk em Odessa, sob orientação de Samuil Osipovich Shatunovskii (1859-1929), que trabalhou em geometria e nas fundações da matemática. Entre 1914 e 1924, Schönfinkel foi membro do grupo de David Hilbert na Universidade de Göttingen. Em 7 de dezembro de 1920, ele ministrou uma primeira apresentação contendo o conceito da lógica combinatória. Um membro de grupo de Hilbert, Heinrich Behmann revisou posteriormente o texto e o publicou em 1924. Em 1929, ele teve outro de seus artigos publicados, em casos especiais do problema de decisão, desta vez preparado por Paul Bernays.
Após sua saída de Göttingen, retornou a Moscou. Já em 1927, citou-se que ele havia sido diagnosticado como doente mentalmente e estava em um sanatório. O fim de sua vida foi miserável, tendo morrido em algum momento de 1942.

## Trabalho

Schönfinkel desenvolveu um sistema formal que evitava o uso de variáveis livres. Seus sistema era essencialmente equivalente a uma lógica combinatória baseada nos combinadores $B$, $C$, $I$, $K$ e $S$. Schönfinkel ainda demonstrou que o sistema poderia ser reduzido a somente $K$ e $S$, e que uma versão desse sistema tinha o mesmo poder da lógica de primeira ordem.
Seu artigo ainda mostrou que funções com dois ou mais parâmetros podem ser substituídas por funções que tomam apenas um. Esse mecanismo de substituição simplificou o trabalho tanto na lógica combinatória quanto no cálculo lambda, sendo posteriormente chamado currying, em homenagem a Haskell Curry. Ainda que Haskell tenha atribuído o conceito a Schönfinkel, ele já havia sido usado por Frege.
# Amyema preissii

Amyema preissii é uma espécie de visco, uma planta epifítica, hemiparasitária da família Loranthaceae. É nativa da Austrália, onde foi registada em todos os estados do continente. As flores são vermelhas e podem ir até aos 26 mm de comprimento. As frutas são brancas ou cor-de-rosa, com a forma de uma esfera de 8-10 mm de diâmetro. O seu habitat é floresta esclerófila e bosques onde é frequentemente encontrada em Acácias. Na Península Bellarine, em Victoria, os seus anfitriões incluem acacia uncifolia, acácia dourada e Allocasuarina verticillata. As suas sementes pegajosas são comidas e dispersas por pequenas aves.
# Número primo de Sophie Germain

Um número primo p é um número primo de Sophie Germain se 2p + 1 é também primo. São famosos porque Sophie Germain provou que o Último Teorema de Fermat é verdadeiro para estes números. A existência de um número infinito de tais números primos é uma conjectura, ou seja, uma afirmação não provada.
Há 190 números primos de Sophie Germain no intervalo [1, 10$^4$] ((sequência A005384 na OEIS)):
O maior número primo de Sophie Germain conhecido até à data é o número $183027\cdot 2^{265440}-1$ que tem 79911 dígitos e foi descoberto em Março de 2010.
Uma sequência {p, 2p+1, 2(2p+1)+1, ...} de primos de Sophie Germain também recebe o nome de cadeia de Cunningham de primeira classe.
# Rio Bakoy

O rio Bakoy ou rio Bakoye é um rio da Guiné e Mali, que conflui com o rio Bafing para formarem o rio Senegal junto a Bafoulabé. Define parte da fronteira Guiné-Mali. Nas línguas mandinga, Bakoye significa "rio branco", Bafing "rio preto" e Baloué "rio vermelho".
O rio não é navegável, e é o único rio que nasce na região de Siguiri e que não é afluente do rio Níger. A fonte do Bakoy está a uma altitude de 760 m numa zona granítica dos montes Ménien, a noroeste da localidade de Siguiri, na Guiné. O rio corre para norte e define parte da fronteira internacional entre a Guiné e o Mali. Em seguida, serpenteia pelo Planalto de Manding e aí recebe o seu principal afluente, o rio Baloué, que chega até uma região a oeste de Bamako. O Bakoy tem 560 km de comprimento e drena uma bacia com cerca de 85.600 km$^2$.
O rio é sazonal com um fluxo máximo em setembro após o início da monção da África Ocidental e quase nenhum caudal entre janeiro e junho. A grande variação anual na intensidade da monção da África Ocidental dá origem a grandes mudanças na descarga do rio Bakoy. Para o ano excecionalmente seco de 1972, a vazão média na estação de medição de Oualia, 54 km a montante de Bafoulabé, foi de apenas 30 m$^3$/s, enquanto em 1958 o valor foi de 260 m$^3$/s. A vazão média no período 1951-1978 foi de 156 m$^3$/s, correspondendo a uma descarga anual de 4,9 km$^3$. Em Bafoulabé, a descarga média do Bakoy é entre um terço e metade da do rio Bafing.
# Scotts Mills

Coordenadas: 45° 2' 31" N 122° 40' 2" O
Scotts Mills é uma cidade localizada no estado norte-americano de Oregon, no Condado de Marion.

## Demografia

Segundo o censo norte-americano de 2000, a sua população era de 312 habitantes. Em 2006, foi estimada uma população de 332, um aumento de 20 (6.4%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 0,8 km², dos quais 0,8 km² cobertos por terra e 0,0 km² cobertos por água. Scotts Mills localiza-se a aproximadamente 387 m acima do nível do mar.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 20 km ao redor de Scotts Mills.
# ARSAT-2

O ARSAT-2 é um satélite de comunicação geoestacionário argentino da série ARSAT, que foi construído pela empresa argentina INVAP. Está localizado na posição orbital de 81 graus de longitude oeste e é operado pela ARSAT (Empresa Argentina de Soluciones Satelitales Sociedad Anonima). O satélite artificial foi baseado na plataforma ARSAT-3K bus e sua vida útil estimada é de 15 anos.

## Lançamento

O satélite foi lançado com sucesso ao espaço no dia 30 de setembro de 2015, às 20:30 UTC, por meio de um veículo Ariane 5 ECA a partir do Centro Espacial de Kourou, na Guiana Francesa juntamento com o satélite NBN-Co 1A. Ele tinha uma massa de lançamento de 2975 kg.

## Capacidade e cobertura

O ARSAT-2 é equipado com 26 transponders em banda Ku e 10 em banda C para fornecer uma ampla gama de serviços de telecomunicações como transmissão de dados, Internet e de televisão, principalmente nas Américas, da Argentina ao Canadá.
# Moses for Mere Mortals

Moses for Mere Mortals (MMM) é um conjunto de scripts de software livre que facilita a instalação e a utilização do sistema de tradução automática Moses.
A primeira versão foi publicada em novembro de 2009. A versão atualizada está disponível no sítio Web do sistema Moses.
Com esta aplicação, o utilizador pode instalar e treinar o Moses com os pares linguísticos que desejar, desde que disponha de uma quantidade significativa de textos (corpora) traduzidos para essa combinação linguística. Pode treinar-se o sistema com textos relevantes para o trabalho a realizar e/ou com corpora disponíveis na Internet.
# Andau

Andau :
| Gemeindeamt der Marktgemeinde Andau ||
| Brasão | Mapa |
| | AndauMapa da Áustria, posição de Andau acentuada |
| Dados gerais ||
| País: | Áustria |
| Estado: | Burgenland |
| Distrito: | Neusiedl am See |
| Coordenadas geográficas: | 47° 46' 35" N 17° 01' 48" E |
| Altitude: | 120 metros acima do nível do mar |
| Área: | 47.3 km² |
| População: | 2453 (2005-12-31) |
| Densidade populacional: | hab./km² |
| Placa de veículo: | ND |
| Código postal: | 7163 |
| Website: | sítio oficial |
| Prefeito: | Matthias Gelbmann |
| Partido no poder: | SPÖ |
| NUTS: | AT112 |
| Localização de Andau no distrito de Neusiedl am See ||
Andau é um município da Áustria localizado no distrito de Neusiedl am See, no estado de Burgenland.
# Mariano Giaquinta

Mariano Giaquinta (Caltagirone, 1947) é um matemático italiano, conhecido por suas contribuições nas áreas de cálculo de variações e teoria da regularidade de equações diferenciais parciais. É professor de matemática da Escola Normal Superior de Pisa.

## Prêmios e condecorações

Giaquinta recebeu o Prêmio Giuseppe Bartolozzi de 1979 da União Matemática Italiana, o Prêmio Humboldt de 1990 e o Prêmio Amerio de 2006. Foi palestrante convidado do Congresso Internacional de Matemáticos em Berkeley (1986).

## Publicações selecionadas

* Giaquinta, Mariano (1983), Multiple integrals in the calculus of variations and nonlinear elliptic systems, ISBN 0-691-08330-4, Annals of Mathematics Studies, 105, Princeton, New Jersey: Princeton University Press, pp. vii+297, MR 0717034, Zbl 0516.49003
* Giaquinta, Mariano; Hildebrandt, Stefan (1996), Calculus of Variations I. The Lagrangian Formalism, ISBN 3-540-50625-X, Grundlehren der Mathematischen Wissenschaften, 310 1st ed. , Berlin: Springer–Verlag, pp. xxix+475, MR 1368401, Zbl 0853.49001 .
* Giaquinta, Mariano; Hildebrandt, Stefan (1996), Calculus of Variations II. The Hamiltonian Formalism, ISBN 3-540-57961-3, Grundlehren der Mathematischen Wissenschaften, 311 1st ed. , Berlin: Springer–Verlag, pp. xxx+652, MR 1385926, Zbl 0853.49002
* Giaquinta, Mariano; Modica, Giuseppe; Souček, Jiří (1998), Cartesian Currents in the Calculus of Variation I. Cartesian Currents, ISBN 3-540-64009-6, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 37, Berlin-Heidelberg-New York: Springer Verlag, pp. xxiv+711, MR 1645086, Zbl 0914.49001 .
* Giaquinta, Mariano; Modica, Giuseppe; Souček, Jiří (1998), Cartesian Currents in the Calculus of Variation II. Variational integrals, ISBN 3-540-64010-X, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 38, Berlin-Heidelberg-New York: Springer Verlag, pp. xxiv+697, MR 1645082, Zbl 0914.49002
# OU812

OU812 é o oitavo álbum de estúdio da banda norte-americana de Hard rock Van Halen, lançado em 24 de Maio de 1988.

## Faixas

Todas as faixas por Edward Van Halen, Alex Van Halen, Sammy Hagar e Michael Anthony, exceto onde indicado.
| N.º | Título | Duração |
| 1. | "Mine All Mine" | 5:11 |
| 2. | "When It's Love" | 5:36 |
| 3. | "A.F.U. (Naturally Wired)" | 4:28 |
| 4. | "Cabo Wabo" | 5:48 |
| 5. | "Source of Infection" | 3:58 |
| 6. | "Feels So Good" | 4:27 |
| 7. | "Finish What Ya Started" | 4:20 |
| 8. | "Black and Blue" | 5:24 |
| 9. | "Sucker in a 3 Piece" | 5:52 |
| 10. | "A Apolitical Blues" (Lowell George) | 3:50 |
| Duração total: | Duração total: | 50:09 |

## Créditos

* Sammy Hagar - Vocal, guitarra rítmica
* Eddie Van Halen - Guitarra, teclados, vocal de apoio
* Michael Anthony - Baixo, vocal de apoio
* Alex Van Halen - Bateria, percussão

## Desempenho nas paradas
### Álbum

| Parada musical (1988) | Melhor posição |
| Estados Unidos (Billboard 200) | 1 |
| Suíça (Schweizer Hitparade) | 9 |
| Alemanha (Offizielle Deutsche Charts) | 12 |
| Áustria (Ö3 Austria Top 40) | 21 |
| Países Baixos (Dutch Charts) | 22 |
| Suécia (Sverigetopplistan) | 9 |
| Noruega (VG-lista) | 5 |
| Austrália (ARIA) | 9 |
| Nova Zelândia (RMNZ) | 35 |

### Singles

Billboard (América do Norte)
| Ano | Single | Parada musical | Posição |
| 1988 | "Black and Blue" | Mainstream Rock Tracks | 1 |
| 1988 | "Black and Blue" | The Billboard Hot 100 | 34 |
| 1988 | "Cabo Wabo" | Mainstream Rock Tracks | 31 |
| 1988 | "Feels So Good" | Mainstream Rock Tracks | 6 |
| 1988 | "Finish What Ya Started" | Mainstream Rock Tracks | 2 |
| 1988 | "Finish What Ya Started" | The Billboard Hot 100 | 13 |
| 1988 | "When It's Love" | Mainstream Rock Tracks | 1 |
| 1988 | "When It's Love" | The Billboard Hot 100 | 5 |
| 1988 | "Mine All Mine" | Mainstream Rock Tracks | 50 |
| 1989 | "Feels So Good" | The Billboard Hot 100 | 35 |

## Certificações

| País | Certificador | Certificação | Vendas |
| Estados Unidos | RIAA | 4× Platina | 4 000 000+ |
| Grã-Bretanha | BPI | Prata | 60 000+ |
# Rio Jataí

O rio Jataí é um rio brasileiro do estado de São Paulo.
# Acacia lasiopetala

Acacia lasiopetala é uma espécie de leguminosa do gênero Acacia, pertencente à família Fabaceae.
# Psebena pascoei

Psebena pascoei é uma espécie de cerambicídeo endêmica de Bornéu.

## Etimologia

O epíteto específico — pascoei — é uma homenagem ao entomólogo inglês Francis Polkinghorne Pascoe.

## Taxonomia

Em 2006, a espécie foi descrita por Eduard Vives, com base num holótipo encontrado no monte Trusmadi (Bornéu).

## Distribuição

A espécie é endêmica da região do monte Trusmadi, no estado de Sabá (Malásia).
# Mosfellsbaer

Coordenadas: 64° 10' 08" N 21° 42' 47" O
Mosfellsbaer ou Mosfellsbær é uma pequena cidade no oeste da Islândia, situada a 17 km a norte da capital, Reykjavík. O município tem uma área total de 197 km² e era habitado por 8.147 pessoas em 2007.
O famoso escritor Halldor Laxness passou parte da sua infância em Mosfellsbær. Já Egill Skallagrímsson supostamente terá enterrado a sua prata nas proximidades de Mosfellsbær.

## Cidades-irmãs

* Skien, Noruega
* Uddevalla, Suécia
* Thisted, Dinamarca
* Loimaa, Finlândia
# Amélia (2000)

Amélia é um filme brasileiro do gênero comédia de 2000 dirigido por Ana Carolina, inspirado na visita da atriz francesa Sarah Bernhardt ao Brasil, em 1905. No filme, a atriz passa por uma crise profissional e pessoal, mas é induzida por sua governanta brasileira , Amélia, para começar a se apresentar no Rio de Janeiro. No entanto, a atriz é obrigada a conviver com as exóticas irmãs de Amélia.
Ana Carolina já havia escrito o roteiro do filme em 1989, mas não o produziu por falta de dinheiro. Foi rodado em Pernambuco e no Rio de Janeiro. Estreou no Festival de Cinema de Biarritz, onde Béatrice Agenin ganhou o prêmio de melhor atriz. O filme recebeu três indicações no Grande Prêmio do Cinema Brasileiro nas categorias de melhor atriz, para Miriam Muniz, melhor roteiro e melhor direção de arte.

## Sinopse

A história, fictícia, baseia-se na visita (real) que Sarah Bernhardt fez ao Brasil em 1905.

## Elenco

* Marília Pêra .... Amélia
* Béatrice Agenin .... Sarah Bernhardt
* Camila Amado .... Osvalda
* Pedro Bismarck .... Casca
* Alice Borges .... Maria Luiza
* Marcelia Cartaxo .... dona Abadia
* Betty Gofman .... Vincentine
* Xuxa Lopes .... atriz perdida
* Duda Mamberti .... Lano
* Myriam Muniz .... Francisca
* Otávio III .... porteiro do hotel
* Cristina Pereira .... hóspede do hoel
* Pedro Paulo Rangel .... Salustiano

## Prêmios e indicações

Amélia recebeu três indicações ao Grande Prêmio Cinema Brasil:
* Melhor Atriz (Miriam Muniz)
* Melhor Roteiro
* Melhor Direção de Arte.
# Mariano Friedick

Mariano Friedick (nascido em 9 de janeiro de 1975) é um ex-ciclista olímpico estadunidense. Representou sua nação nos Jogos Olímpicos de Verão de 1996 e 2000.
# Rio Buha

O Rio Buha é um rio da Romênia afluente do Rio Sterminos, localizado no distrito de Hunedoara.
# Seixo de Gatões

Seixo de Gatões é uma povoação portuguesa sede da Freguesia de Seixo de Gatões do município de Montemor-o-Velho, freguesia com 10,9 km² de área e 1344 habitantes (censo de 2021), tendo, por isso, uma densidade populacional de 123,3 hab./km².

## Geografia

Além da sede, a Freguesia de Seixo de Gatões é constituída pelas seguintes povoações: Cabeça Alta, Carapetos, Lavegada, Moita, Ninho do Grou, Pedra Branca, Porto Mieiro, Quinta de Cavaleiros, Ribeiro, São Jorge, Vale Saramago, Casal do Jagaz e Vergieira.
Está delimitada a norte pela freguesia de Arazede; a sul pela freguesia de Montemor-o-Velho; a oeste pela freguesia de Liceia; a leste pela freguesia da Carapinheira; e a sudoeste pela freguesia de Gatões.
Foi vila e sede de concelho, até ao início do século XIX, quando se denominava, ainda, somente, por Seixo, detendo os territórios de Gatões, que era um pequeno lugar desta vila. Era constituído apenas pela freguesia da vila e tinha, em 1801, 886 habitantes.
Seixo deriva da palavra latina: "saxum", o que possibilita o lugar ter sido povoado por povos romanos no passado, embora não tenham sido encontrados vestígios de ocupação, na localidade.
A sua paisagem é variada, constituída por diversos campos de cultivo (milho, trigo) e inúmeras zonas florestais e, pelas suas várias características, é considerada uma região gandaresa.
Seixo de Gatões apresenta uma escola primária, um centro cultural, um centro de saúde, um lar de dia para idosos, um centro informático, uma farmácia, um centro polidesportivo, utilizado em vários desportos organizados pela freguesia, e uma Igreja Matriz, datada do século XVIII, dedicada ao seu orago, São João Baptista.

## Demografia

Nota: Nos censos de 1911 a 1930 tinha anexada a freguesia de Gatões. Pelo decreto-lei nº 27.424, de 31 de dezembro de 1936, passaram a constituir freguesias autónomas (Fonte: INE)
A população registada nos censos foi:
Distribuição da População por Grupos Etários :
| Ano | 0-14 Anos | 15-24 Anos | 25-64 Anos | > 65 Anos |
| 2001 | 204 | 184 | 747 | 294 |
| 2011 | 205 | 141 | 785 | 318 |
| 2021 | 155 | 136 | 702 | 351 |

## Património

* Igreja de São João Baptista (matriz)
* Cruzeiros

## Brasão

Armas - Escudo de verde, uma roca de linho de ouro, com o cabo vergueteado de vermelho e ouro, posta em banda e acompanhada em chefe de uma espiga de milho, desfolhada, de ouro e em campanha de uma batateira de prata, tuberculada de negro. Coroa mural de prata de três torres. Listel branco, com a legenda a negro, em maiúsculas: “SEIXO DE GATÕES“.
# Acianthus oxyglossus

Acianthus oxyglossus é uma espécie de orquídea terrestre pertencente à subtribo Acianthinae, originária do sudeste da Nova Caledônia. É planta anual, dotada de raízes compostas quase que exclusivamente por pares de pequenos tubérculos ovoides, com caules curtos e uma única folha basal disposta horizontalmente. A inflorescência comporta pequenas flores terminais ressupinadas de cores discretas, com sépalas e pétalas livres. O labelo é simples e plano, de tamanho muito diferente dos segmentos restantes. A coluna é delicada, sem apêndices acentuados, curvada próximo do ápice, apoda, com antera terminal e quatro polínias amarelas.
# Psathyrotopsis

Psathyrotopsis é um género botânico pertencente à família Asteraceae, presente nos Estados Unidos e México.

## Espécies

O género Psathyrotopsis inclui três espécies:
* Psathyrotopsis hintoniorum B.L.Turner
* Psathyrotopsis purpusii (Brandegee) Rydb.
* Psathyrotopsis scaposa (A.Gray) H.Rob.
# Mosfellsdalur

Mosfellsdalur é uma localidade na Islândia. Em 2018 tinha uma população de cerca de 224 habitantes.
# Maxime Bôcher

Maxime Bôcher (Boston, 28 de agosto de 1867 — Cambridge, 12 de setembro de 1918) foi um matemático estadunidense.
Publicou aproximadamente 100 artigos sobre equações diferenciais, séries e álgebra.
Apresentou uma Colloquium Lecture em 1896.

## Prêmio Bôcher

O Prêmio Memorial Bôcher é concedido pela American Mathematical Society a cada três anos, por pesquisa notável em análise publicada em uma revista estadunidense de destaque.
Dentre os laureados estão: James Waddell Alexander (1928), Eric Temple Bell (1924), George David Birkhoff (1923), Paul Cohen (matemático) (1964), Solomon Lefschetz (1924), Marston Morse e Norbert Wiener (1933), e John von Neumann (1938).
# Oedipina fortunensis

Oedipina fortunensis é uma espécie de salamandra da família Plethodontidae. Foi encontrada primeiramente em 2006 por uma expedição liderada pelo Dr. Gunther Koehler à oeste da Cordilheira Central, no Panamá, próximo à Costa Rica, e não ainda não é confirmado sua localização em outro lugar. Bastante semelhante à Oedipina savagei.
# Relações entre Cuba e Namíbia

As relações entre Cuba e Namíbia referem-se às relações atuais e históricas entre Cuba e Namíbia. Cuba apoiou politica, militar e diplomaticamente a Organização do Povo do Sudoeste Africano (em inglês: South West African People's Organisation, SWAPO) durante a Guerra da Independência da Namíbia. Cuba providenciou treinamento militar para o Exército Popular de Libertação da Namíbia (PLAN), a ala armada da SWAPO. Como resultado desse envolvimento, a Namíbia geralmente apóia as políticas cubanas a nível internacional, como no caso da solicitação de libertação dos Cinco Cubanos.
Desde a independência em 1990, Namíbia e Cuba realizam reuniões conjuntas a cada dois anos de cooperação econômica, científica-técnica e comercial. Em 2005, informou-se que 1.460 profissionais cubanos trabalhavam na Namíbia, incluindo 208 em 2005.

## Ajuda

A política de ajuda cubana centra-se no envio de médicos e outros profissionais para ajudar o desenvolvimento em outros países, particularmente na África. Em 1998, cinquenta e cinco médicos cubanos estavam trabalhando como parte deste programa de ajuda na Namíbia. Cuba também foi o lar de vários estudantes namibianos, tanto antes quanto depois da independência. A partir de 2010, pelo menos 2.000 namibianos se formaram em uma instituição cubana. Em junho de 2007, The Namibian informou que onze médicos cubanos enviados para a Namíbia como parte do programa de ajuda estavam tentando obter documentos de viagem de emergência da embaixada dos Estados Unidos e se mudar permanentemente para esse país.

## Arca de Noé II

Em agosto de 2012, foi anunciado que a Namíbia estava se preparando para enviar 146 animais selvagens, incluindo leões e elefantes, para um zoológico cubano.
# Sebastián Rosano

Sebastián Rosano Escobar (Rivera, 25 de maio de 1987) é um futebolista uruguaio que joga como meia. Atualmente joga pelo Juventud, do Uruguai.

## Títulos
### CD Olimpia

* Campeonato Argentino (2): 2008–08 (Apertura) - vice-campeão
# Acalypha zollingeri

Acalypha zollingeri é uma espécie de flor do gênero Acalypha, pertencente à família Euphorbiaceae.
# Probainognathia

Probainognathia é um dos dois clados da infraordem Eucynodontia, o outro é Cynognathians. Eram em sua maioria carnívoros, embora algumas espécies podem ter evoluído para onívoros. A forma de Probainognathia estão dividas em quatro grupos: Probainognathidae, Chiniquodontidae, Trithelodontidae e mamaliaformes. O mais antigo e mais basal Probainognathiano é Lumkuia, da África do Sul. Probainognathia não mamíferos viveram do Triássico ao Jurássico, tornando esta uma das mais longas vidas de um clado da família terapsida.

## Taxonomia

* Subordem Cynodontia
** Infraordem Eucynodontia
*** (indefinido) Probainognathia
**** Família Probainognathidae
***** Probainognathus
**** Superfamília Chiniquodontoidea
***** Família Chiniquodontidae
***** (indefinido) Ictidosauria
****** Riograndia
****** Família Trithelodontidae
******* Trithelodon
***** Mamaliamorpha
****** Prozostrodon
****** Mammaliaformes *
******* Classe Mammalia

### Filogenia

Segue abaixo uma análise filogenética de Probainognathia de Ruta, Botha-Brink, Mitchell e Benton (2013).
# Oedipina gracilis

Oedipina gracilis é uma espécie de salamandra da família Plethodontidae.
Pode ser encontrada nos seguintes países: Costa Rica e Panamá.
Os seus habitats naturais são: florestas subtropicais ou tropicais húmidas de baixa altitude.
Está ameaçada por perda de habitat.