OpenLLM-France/wikimedia huggingface dataset:
# Language, Proof and Logic

Language, Proof and Logic (Linguagem, Prova e Lógica, em tradução livre) é um pacote de software educacional criado e escrito por Dave Barker-Plummer, Jon Barwise e John Etchemendy, gerado para ensinar lógica formal através do uso de uma integração entre o livro-texto (de mesmo nome do pacote) e quatro programas, onde três deles são relacionados a lógica (Boole, Fitch e Tarki’s World) e o outro (Submit) é um serviço de submissão de respostas através da internet ao Grade Grinder, o avaliador das respostas submetidas. O nome do pacote é uma paranomásia derivada de Language, Truth and Logic (Linguagem, Veracidade e Lógica, em tradução livre), o livro de filosofia de A. J. Ayer.

## Pequena descrição dos programas

* Boole (em homenagem a George Boole) – um programa que facilita a construção e análise de tabelas-verdade e noções relacionadas ao assunto (tautologia, consequência lógica, dentre outras);
* Fitch (em homenagem a Frederic Brenton Fitch) – um ambiente de provas de dedução natural para emitir e analisar provas em lógica de primeira ordem;
* Tarski’s World (em homenagem a Alfred Tarski) – programa que ensina a linguagem básica de primeira ordem e sua semântica utilizando uma aproximação teórica e prática do modelo. Nele, é solicitado ao usuário criar, modificar e/ou descrever mundos (tabuleiros que contêm alguns objetos - nomeados ou não - organizados sobre ele) utilizando a lógica de predicados;
* Submit – programa que permite aos estudantes submeter seus exercícios feitos nos programas acima ao Grade Grinder, o serviço online de graduação de notas que envia um feedback para o email cadastrado (email do aluno que é cadastrado com o número serial durante o primeiro envio dos exercícios).

## Versões

O livro Language, Proof and Logic foi traduzido para o português, alemão e japonês.
# Langue

Langue é uma cidade hondurenha do departamento de Valle.
# CDC40

O fator de pré-processamento de mRNA 17 é uma proteína que em humanos é codificada pelo gene CDC40.
A junção pré-mRNA ocorre em duas etapas de transesterificação sequenciais. A proteína codificada por este gene é considerada essencial para a etapa catalítica II no processo de emenda do pré-mRNA. É encontrado no spliceossomo e contém sete repetições WD, que funcionam nas interações proteína-proteína.
# Ermida da Memória

* 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.
Ermida da Memória pode referir-se aos seguintes templos católicos de Portugal:
* Ermida da Memória (Sesimbra) — no conjunto do Santuário de Nossa Senhora do Cabo Espichel
* Ermida da Memória (Nazaré)
# La Carolina (Córdova)

La Carolina é uma comuna da província de Córdoba, na Argentina.
# Lampa (distrito de Paucar del Sara Sara)

Lampa é um distrito do Peru, departamento de Ayacucho, localizada na província de Paucar del Sara Sara.

## Transporte

O distrito de Lampa é servido pela seguinte rodovia:
* AY-116, que liga a cidade de Coracora ao distrito de Pausa
# Burke (Dacota do Sul)

Coordenadas: 43° 10' 58" N 99° 17' 27" O
Burke é uma cidade localizada no estado norte-americano de Dacota do Sul, no Condado de Gregory.

## Demografia

Segundo o censo norte-americano de 2000, a sua população era de 676 habitantes. Em 2006, foi estimada uma população de 600, um decréscimo de 76 (-11.2%).

## Geografia

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

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 32 km ao redor de Burke.
# La Tour-de-Sçay

La Tour-de-Sçay é uma comuna francesa na região administrativa de Borgonha-Franco-Condado, no departamento de Doubs. Estende-se por uma área de 8,82 km². Em 2010 a comuna tinha 303 habitantes (densidade: 34,4 hab./km²).
# Cabazitaxel

Cabazitaxel (XRP6258) é um fármaco taxano de nova geração semi-sintético utilizado no tratamento de câncer de próstata metastático hormônio-resistente. É um inibidor de microtúbulos, que fazem parte do citoesqueleto nas células. Foi aprovado pelo FDA em 17 de junho de 2010.
É utilizado junto com prednisona em pacientes que não obtiveram resultados positivos com docetaxel.
# Cabazon

Coordenadas: 33° 54' N, 116° 45' W
Cabazon é uma Região censo-designada localizada no estado americano da Califórnia, no Condado de Riverside.

## Demografia

Segundo o censo americano de 2000, a sua população era de 2229 habitantes.

## Geografia

De acordo com o United States Census Bureau tem uma área de 10,3 km², dos quais 10,2 km² cobertos por terra e 0,1 km² cobertos por água. Cabazon localiza-se a aproximadamente 559 m acima do nível do mar.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 24 km ao redor de Cabazon.
# Christine Mummhardt

Christine Walther-Mummhardt (Dresden, 27 de dezembro de 1951) é uma ex-jogadora de voleibol da Alemanha que competiu pela Alemanha Oriental nos Jogos Olímpicos de 1976 e 1980.
Em 1976, ela participou de cinco jogos e o time alemão finalizou na sexta colocação no campeonato olímpico. Quatro anos depois, ela fez parte da equipe alemã que conquistou a medalha de prata no torneio olímpico de 1980, no qual atuou em três partidas.
# Cirurgia endovascular

A cirurgia endovascular, como o próprio nome indica, é a cirurgia por dentro dos vasos. É uma subespecialidade da Cirurgia Vascular e Radiologia que dura mais dois anos na formação médica. Desta forma, é usada para o tratamento das doenças circulatórias - dos vasos sanguíneos, arteriais ou venosos. A maior diferença entre a cirurgia vascular e a endovascular - posto que ambas são indicadas para o tratamento das mesmas enfermidades - é a forma de acesso aos vasos que necessitam de intervenção. A cirurgia vascular usa de incisões que se iniciam na superfície do organismo - na pele - e se prolongam por entre o interior do organismo, aonde se localiza o vaso a ser tratado. Já a cirurgia endovascular alcança o local acometido por punções - penetracão de uma agulha de menos de 3 mm - de artérias ou veias em local superficial. Através deste pequeno furo na pele, se posicionam cateteres (tubos ocos de material plástico), fios guias (fios de metal ou outros materiais que funcionam como trilhos para os cateteres), balões para dilatação, stents (dispositivos metálicos que são posicionados dentro dos vasos para os manterem com o interior - lúmen - aberto. Desta forma, para se tratar um vaso no abdome ou no tórax, realiza-se a punção com uma agulha de um vaso à distância, usualmente na virilha ou no braço. Deste local, cateteres, balões, stents ou outros dispositivos são levados ao local a ser tratado sobre os fios guias. Todo este trajeto é percorrido dentro dos vasos, com a ajuda de um arco cirurgico, que são aparelhos de raio-x. Estes aparelhos emitem raios-x que são processados e enviados a um monitor em tempo real. Através destas imagens nos monitores, o médico posiciona os diferentes dispositivos no local a ser tratado. A principal vantagem da cirurgia endovascular é o menor trauma cirúrgico, devido serem desnecessárias as grandes incisões. Desta forma, é possível diminuir o tempo da cirurgia - intervenção, reduzir o tempo de internação, acelerar o tempo de recuperaçao, reduzir os riscos da cirurgia e as complicações inerentes ao ato cirúrgico. Tudo isto favorece um retorno mais rápido às atividades habituais, de lazer e de trabalho. A maioria dos procedimento são feitos sob anestesia local. Entretanto, outras técnicas anestésicas - como anestesia peridural, raqui-anestesia, sedção ou anestesia geral - podem ser necessárias de acordo com particularidades do caso.
# Ciobanu

Ciobanu é uma comuna romena localizada no distrito de Constanţa, na região de Dobruja. A comuna possui uma área de 91.77 km² e sua população era de 3479 habitantes segundo o censo de 2007.
# Chugwater

Coordenadas: 41° 45' 20" N 104° 49' 31" O
Chugwater é uma cidade localizada no estado norte-americano de Wyoming, no Condado de Platte.

## Demografia

Segundo o censo norte-americano de 2000, a sua população era de 244 habitantes. Em 2006, foi estimada uma população de 230, um decréscimo de 14 (-5.7%).

## Geografia

De acordo com o United States Census Bureau tem uma área de 7,9 km², dos quais 7,9 km² cobertos por terra e 0,0 km² cobertos por água.

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 68 km ao redor de Chugwater.
# Chuichu

Coordenadas: 32° 44' 41" N 111° 47' 52" O
Chuichu é uma Região censo-designada localizada no estado americano de Arizona, no Condado de Pinal.

## Demografia

Segundo o censo americano de 2000, a sua população era de 339 habitantes.

## Geografia

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

## Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 40 km ao redor de Chuichu.
# Cinema Quarteto

O Cinema Quarteto era um edifício situado na Rua Flores do Lima, nº16, em Lisboa, Portugal. Desenhado pelo arquiteto Nuno San-Payo e idealizado pelo escritor e cineasta Pedro Bandeira Freire, abriu portas ao público em 21 de novembro de 1975, tornando-se na primeira sala de cinema multiplex em Portugal. Encerrou em 16 de novembro 2007.

## História

Com o intuito de albergar filmes do cinema alternativo, o Cinema Quarteto, que era constituído por quatro pequenas salas de cinema, com lotação de 716 lugares, distribuídos por dois andares (cave e piso térreo), abriu portas em 21 de novembro de 1975, com a exibição dos filmes "Um Filme Doce" (Sweet Movie, 1974) de Dusan Makavejev, "E Deram-lhe uma Espingarda" (Johnny Got His Gun, 1971) de Dalton Trumbo, "Amor em Tons Eróticos" (Älskande Par, 1964) de Mai Zetterling e "São Miguel Tinha um Galo" (San Michele Aveva Un Gallo, 1972) dos irmãos Vittorio e Paolo Taviani.
Distinguindo-se pela sua seleção de filmes, o seu público era essencialmente composto por universitários e cinéfilos que também frequentavam os cineclubes da capital portuguesa ou ainda os ciclos de cinema da Fundação Calouste Gulbenkian e da Cinemateca Portuguesa, sendo no seu espaço realizadas mostras de cinema soviético e francês, semanas de realizadores, maratonas de filmes pela noite dentro ou ainda peças de teatro, como "A Verdadeira História de Jack, o Estripador", encenada por Carlos Avillez, com Ana Zanatti e Zita Duarte no elenco principal, que no dia de estreia contou com a presença de Isabelle Huppert na plateia.
Foi ainda o local de estreia de vários filmes portugueses, como "Uma Tragédia Portuguesa" (1979) de Luís Filipe Rocha, "Kilas, o Mau da Fita" (1981) de José Fonseca e Costa, "Um Filme no Feminino" (1983) de Monique Rutler e "Adeus Princesa" (1991) de Jorge Paixão da Costa.
Necessitando de grandes obras, o cinema começou a entrar em declínio nos anos 90, sendo explorado pela distribuidora Castello Lopes e posteriormente, em 2006, pela Associação Cine-Cultural da Amadora. Após uma vistoria da Inspeção Geral das Actividades Culturais, o cinema encerrou portas a 16 de novembro de 2007 por não apresentar condições de segurança em caso de incêndio.
Em 2013, o edifício foi comprado pela Igreja Plenitude de Cristo, que no entanto nunca utilizou o espaço. Após anos em estado devoluto, foi convertido num espaço de coworking para startups em 2019.
# Citotoxicidade mediada por células dependente de anticorpos

A Citotoxicidade mediada por células dependente de anticorpos (ADCC) é um mecanismo de defesa imune mediada por células no qual uma células efetora do sistema imune provoca a lise ativamente de uma célula alvo cuja superfície da membrana foi recoberta por anticorpos específicos. É um dos mecanismos pelos quais os anticorpos, através da resposta humoral, podem agir contendo infecções. A ADCC clássica é mediada por células NK, mas macrófagos, neutrófilos e eosinófilos podem também mediar ADCC. Por exemplo, eosinófilos podem matar certos parasitas helmintos através de ADCC mediada por IgE. ADCC é parte da resposta imune adaptativa devido à sua dependência de uma resposta com anticorpos prévia.

## ADCC por células NK

A ADCC típica envolve a ativação de células NK por anticorpos. A célula NK expressa CD16 (chamado também FcγRIII), que é um receptor Fc. Esse receptor reconhece e se liga à porção Fc de um anticorpo, como IgG, que tenha ligado-se à superfície de uma célula alvo infectada por patógeno. Uma vez que o receptor se liga ao anticorpo, a célula NK libera citocinas como FN-γ
Durante a replicação, algumas proteínas virais são expressas na superfície da célula infectada. Anticorpos podem, então, se ligar a essas proteínas virais. Após isso, as células NK com receptores Fc ligarão-se aos anticorpos, induzindo a liberação de proteínas como perforina e proteases conhecidas como granzimas, que levam à lise da célula e limitam a disseminação do vírus

## Anticorpos monoclonais contra tumores

Experimentos em camundongo indicam que a ADCC é um mecanismo de ação importante de anticorpos monoclonais terapêuticos, incluindotrastuzumab e rituximab,contra tumores. Na clínica, o polimorfismo FcgRIII 158V/F interfere na capacidade de gerar respostas ADCC, prejudicando o tratamento com trastuzumab.
# Citov

Citov é uma comuna checa localizada na região de Olomouc, distrito de Přerov.
# Chvalíkovice

Chvalíkovice é uma comuna checa localizada na região de Morávia-Silésia, distrito de Opava.
# Chvalovice (Boêmia do Sul)

Chvalovice é uma comuna checa localizada na região da Boêmia do Sul, distrito de Prachatice.
# Claude Chevalley

Claude Chevalley (Joanesburgo, 11 de fevereiro de 1909 – Paris, 28 de junho de 1984) foi um matemático francês. Contribuiu para a teoria dos números, geometria algébrica, teoria dos corpos de classes, teoria dos grupos finitos e teoria dos grupos algébricos. Foi membro fundador do grupo Nicolas Bourbaki.

## Vida

Seu pai foi um diplomata francês que, junto com sua mulher Marguerite, escreveu o The Concise Oxford French Dictionary. Chevalley obteve a graduação na Escola Normal Superior de Paris em 1929, onde foi aluno de Charles Émile Picard. Estudou em seguida na Universidade de Hamburgo, aluno de Emil Artin, e na Universidade de Marburgo, aluno de Helmut Hasse. Na Alemanha Chevalley teve conhecimento da matemática no Japão através de Shokichi Iyanaga. Chevalley obteve um doutorado em 1933 na Universidade de Paris com uma tese sobre teoria dos corpos de classes.

## Publicações selecionadas

* 1936. L'Arithmetique dans les Algèbres de Matrices. Hermann, Paris.
* 1940. "La théorie du corps de classes," Annals of Mathematics 41: 394–418.
* 1946. Theory of Lie groups. Princeton University Press.
* 1951. "Théorie des groupes de Lie, tome II, Groupes algébriques", Hermann, Paris.
* 1951. Introduction to the theory of algebraic functions of one variable, A.M.S. Math. Surveys VI.
* 1954. The algebraic theory of spinors, Columbia Univ. Press; new edition, Springer-Verlag, 1997.
* 1953-1954. Class field theory, Nagoya Univ.
* 1955. "Théorie des groupes de Lie, tome III, Théorèmes généraux sur les algèbres de Lie", Hermann, Paris.
* 1955, "Sur certains groupes simples," Tôhoku Mathematical Journal 7: 14–66.
* 1955. The construction and study of certain important algebras, Publ. Math. Soc. Japan.
* 1956. Fundamental concepts of algebra, Acad. Press.
* 1956-1958. "Classification des groupes de Lie algébriques", Séminaire Chevalley, Secrétariat Math., 11 rue P. Curie, Paris; revised edition by P.Cartier, Springer-Verlag, 2005.
* 1958. Fondements de la géométrie algébrique, Secrétariat Math., 11 rue P. Curie, Paris.
# Citrobacter

Citrobacter é um gênero de bactérias Gram-negativas da família Enterobacteriaceae. São observáveis nos solos, águas, alimentos e esgotos. Estas bactérias são isoladas de análises clínicas como agentes patogénicos - causadores de doença, podendo ser encontradas nas fezes dos humanos e animais (presumivelmente fazem parte da flora normal dos intestinos).
As espécies C. amalonaticus, C. koseri e C. freundii podem usar o citrato como única fonte de carbono. As espécies do gênero Citrobacter são diferenciadas a partir de sua capacidade de converter triptofano em indol, fermentar lactose e utilizar malonato. Uma destas bactérias desta família é a responsável por meningites neonatais.
# Cinquefrondi

Cinquefrondi é uma comuna italiana da região da Calábria, província de Reggio Calabria, com cerca de 6.446 habitantes. Estende-se por uma área de 29 km², tendo uma densidade populacional de 222 hab/km². Faz fronteira com Anoia, Giffone, Mammola, Polistena, San Giorgio Morgeto.

## Demografia

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

O Citroën BX foi o primeiro automóvel da Citroën 100% concebido sob a tutela do Grupo PSA. Apesar da influência do grupo na criação, este preservou a tração às rodas dianteiras, a suspensão hidropneumática e 4 travões de disco assistidos a alta pressão.
# Citroën Ami (veículo elétrico)

O Citroën Ami é um quadriciclo elétrico de dois passageiros comercializado pela fabricante francesa Citroën, produzido a partir de 2020 e comercializado a partir de junho de 2020. O veículo foi desenvolvido pelo Groupe PSA (agora incluído na Stellantis) em colaboração com a Altran, uma subsidiária de consultoria de engenharia da Capgemini.
Foi anunciado em 2019 como o carro-conceito Ami One. Seu nome é derivado do do Citroën Ami original, que foi comercializado de 1961 a 1978.

## Visão geral

O Citroën Ami foi apresentado em 27 de fevereiro de 2020 na Paris La Défense Arena e sua comercialização começou em junho do mesmo ano na cor exclusiva "Ami Blue" (azul-cinza) personalizável com adesivos. Para reduzir o preço, é produzido no Marrocos na fábrica da PSA em Kenitra.
Em junho de 2022, a Citroën lançou o My Ami Buggy, uma edição limitada (50) inspirada no conceito My Ami Buggy.
Em maio de 2023, 1.000 Ami Buggys de segunda geração foram produzidos para venda na Europa, Turquia e Marrocos.
* Visão traseira
* Interior
* Conceito Citroën My Ami Buggy

### Opel Rocks-e

Em agosto de 2021, a Opel apresentou publicamente o modelo Opel Rocks-e, uma versão idêntica do veículo apenas para a Alemanha. Foi colocado à venda em novembro de 2021. A partir de 2023, foi renomeado Opel Rocks Electric, em linha com a eliminação progressiva do sufixo "-e" nos modelos elétricos pela Opel.
Desde 2022, o Opel Rocks Electric também é oferecido também na Holanda, onde coabita com o modelo Citroën.

### Fiat Topolino

A versão elétrica do Fiat Topolino é uma versão rebatizada do Citroën Ami e do Opel Rocks. É o único veículo dos três tipos que possui design dianteiro e traseiro diferentes. Na frente lembra o design do Fiat 500, e na traseira traz lanternas traseiras verticais.

## Características técnicas

Para baratear, o corpo do carro é totalmente simétrico; não apenas simétrico esquerda-direita, mas também simétrico dianteiro-traseiro, com exceção das portas e do teto. As portas abrem em direções opostas, sendo que o motorista possui uma porta do tipo "suicida" enquanto a porta do passageiro abre de forma convencional.
O veículo mede 2,41 metros de comprimento, 1,39 metros (excluindo espelhos) de largura e 1,52 metros de altura. Seu peso total incluindo bateria é 485 quilos .
O quadriciclo Ami é equipado com um motor de 6 kW operando a 48 V. O veículo aceita bateria de íons de lítio com capacidade de 5,5 kWh, recarregável até 80% em três horas em uma tomada doméstica de 230 V, proporcionando alcance máximo de 75 km (47 mi) WMTC.

## Brasil

No Brasil, o carro enfrentou dificuldades para autorização a circular nas ruas, devido a diferenças legislativas com a Europa. Em 2023, o mercado brasileiro ainda aguardava a chegada do carro.
# Coelogyne bruneiensis

Coelogyne bruneiensis é uma espécie de orquídea epífita, família Orchidaceae, originária do Brunei, em Borneu.
# Coelogyne borneensis

Coelogyne borneensis é uma espécie de orquídea epífita, família Orchidaceae, originária de Borneu.
# Coelogyne calcicola

Coelogyne calcicola é uma espécie de orquídea (Orchidaceae) do Sudeste Asiático.
# Cody Calafiore

Cody Christopher Calafiore (Howell, Nova Jersey, 13 de dezembro de 1990) é um ator e modelo norte-americano. Ele foi o vice-campeão do reality show Big Brother 16 em 2014.
Em 2014, Calafiore apareceu em uma campanha publicitária para a marca americana de roupas íntimas C-IN2. Após apareceu na Winq Magazine, Men's Fitness, Risbel Magazine, fez campanha publicitária para Swissgear e três editoriais para The Fashionisto.
Calafiore apareceu em um desfiles de moda para Malan Breton e Ricardo Seco. Em 2016, Calafiore co-estrelou o filme independente What Happened Last Night. Em 2017 ele aparecerá no filme televisivo Live To Tell e estrelar dois filmes independentes, Days Like This e Stay.
# Cabaços

* 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.
Cabaços pode referir-se a:
* Cabaços (Moimenta da Beira) - freguesia no concelho de Moimenta da Beira, Portugal
* Cabaços (Ponte de Lima) - freguesia no concelho de Ponte de Lima, Portugal
# Mpongwe

Mpongwe é uma cidade e um distrito da Zâmbia, localizados na província Copperbelt.
# Mergulhão-de-crista

O mergulhão-de-crista ou mergulhão-de-poupa (Podiceps cristatus) é um dos mais conhecidos membros da família Podicipedidae, aves das regiões húmidas européias muito frequentes nas lagunas e maristas da Península Ibérica.

## Subespécies

São reconhecidas 3 subespécies:
* P. c. cristatus (Linnaeus, 1758) – Eurásia
* P. c. infuscatus Salvadori, 1884 – África
* P. c. australis Gould, 1844 – Australia, Tasmânia, Nova Zelândia
# Coistão (distrito de Capisa)

Coistão (em persa: شهرستان کوهستان; romaniz.: Šahrestâne Kuhistân) foi um distrito da província de Capisa, no Afeganistão. Segundo dados de 1990, possuía 57 000 residentes, sendo que a maioria são tajiques.
# Red Garland

William "Red" Garland (Dallas, 13 de maio de 1923 – 23 de abril de 1984) foi um pianista estadunidense de jazz. Seu estilo block-chord, parcialmente criado por Milt Buckner, influenciou numerosos pianistas.
Embora não fosse de uma família musical, Garland mostrou desde cedo seu interesse pela música. Começou seus estudos musicais tocando clarinete e sax alto, mas em 1940 começou a tocar piano. Garland dedicou muito tempo a estudar e logo tornou-se um hábil intérprete. Sua carreira fugaz não pareceu afetar suas mãos, chegando a lutar com Sugar Ray Robinson antes de se dedicar a música.

## Discografia

* Como leader
* A Garland of Red (1956; Prestige Records)
* Red Garland's Piano (1956; Prestige Records)
* Soul Junction (1957; Prestige Records)
* High Pressure (1957; Prestige Records)
* All Mornin' Long (1957)
* Dig It! (1958)
* All Kinds of Weather (1958; Prestige Records)
* Soul Burnin' (1960; Prestige Records)
* Keystones! (1977; Xanadu Records)
* Red Alert (1977; Galaxy Records)
* Acompanhando outros músicos
* Com Miles Davis
* Miles: The New Miles Davis Quintet (1955)
* Cookin' with The Miles Davis Quintet (1956)
* Relaxin' with The Miles Davis Quintet (1956)
* Workin' with The Miles Davis Quintet (1956)
* Steamin' with The Miles Davis Quintet (1956)
* 'Round About Midnight (1957)
* Milestones (1958)
* Com John Coltrane
* Traneing In (1957)
* Lush Life (1957)
* Soultrane (1958)