OpenLLM-France/wikimedia huggingface dataset:
# Claude Noel (boxe anglaise)

Claude Noel est un boxeur trinidadien né le 25 juillet 1948 à Roxborough (en) et mort le 21 mai 2023.

## Carrière

Passé professionnel en 1975, il remporte le titre vacant de champion du monde des poids légers WBA le 12 septembre 1981 après sa victoire aux points contre Rodolfo Gonzalez. Noel perd son titre dès le combat suivant en étant battu par KO au 8e round par Arturo Frias le 5 décembre 1981. Il met un terme à sa carrière en 1984 sur un bilan de 31 victoires et 10 défaites.
# Claude Frioux

Claude Frioux, né le 12 janvier 1932 à Paris et mort le 17 avril 2017 à Nemours$^,$, est un professeur des universités français, spécialiste de la littérature et de la civilisation russes.

## Biographie

Ancien normalien, Claude Frioux obtient l'agrégation de russe en 1956. Il enseigne au lycée Kléber de Strasbourg (1957-1958), puis au lycée Jacques Decour à Paris (1958-1959). Il est ensuite maître-assistant à la faculté de lettres de Rennes, puis chargé de cours à l'École pratique des hautes études (EPHE) et à la Sorbonne, avant de devenir professeur à l'université de Paris-VIII-Vincennes-Saint-Denis, qu'il a présidée de 1971 à 1976, puis de 1981 à 1987$^,$.
Il a souvent piloté des projets de traduction, en particulier avec Elsa Triolet sur Anton Tchekhov, et son épouse Irène Sokologorsky. Traducteur, il a travaillé sur une trentaine d'ouvrages. Il est surtout connu comme traducteur de référence du poète Maïakovski auquel il avait consacré sa thèse de doctorat d'État.
Analysant l'« histoire mouvementée » de l'université Paris-VIII-Vincennes, Le Monde considère que l'université a alors « peut-être eu contre elle le "tort" d'être présidée, à plusieurs reprises, par des professeurs "marqués" politiquement, tels M. Claude Frioux (communiste) et M. Pierre Merlin (socialiste) ».
Claude Frioux est le père de Dalibor Frioux, agrégé de philosophie et écrivain, né en 1970.

## Ouvrages

* Maïakovski par lui-même, Seuil, coll. "Écrivains de toujours", Paris 1961.
* Anton Tchékhov, Œuvres, introduction, chronologie et table alphabétique des récits dans les trois tomes, Gallimard, coll. Bibliothèque de La Pléiade (1968, 1970, 1971).
* Vladimir Maïakovski, Lettres à Lili Brik (1917-1930), trad. Andrée Robel, présentation de Claude Frioux, Gallimard, 1969.
* Maïakovski, Paris, Seuil, 1978 (ISBN 2-02-000056-3)
* L’U.R.S.S. et nous (dir.), Paris, Éditions Sociales, 1978 (ISBN 2-209-05307-2).
* Vladimir Maïakovski, Poèmes 1913-1917, trad. Claude Frioux, Messidor, 1984 (rééd. L'Harmattan, coll. Poètes des cinq continents, 2000).
* Vladimir Maïakovski, Poèmes 1918-1921, trad. Claude Frioux, Messidor, 1985 (rééd. L'Harmattan, coll. Poètes des cinq continents, 2000).
* Vladimir Maïakovski, Poèmes 1922-1923, trad. Claude Frioux, Messidor, 1986 (rééd. L'Harmattan, coll. Poètes des cinq continents, 2000).
* Vladimir Maïakovski, Poèmes 1924-1930, trad. Claude Frioux, Messidor, 1987 (rééd. L'Harmattan, coll. Poètes des cinq continents, 2000).
* Velimir Khlebnikov, Créations, présentation et trad., 2 vol., éd. bilingue, L’Harmattan, 2003.
* Vie et œuvre de Youri Solntsev, Paris, L'Harmattan, coll. Poètes des cinq continents, 2005 (ISBN 2-7475-8239-6)
* Trois correspondances, Paris, 2008, L'Harmattan. (ISBN 978-2-296-05243-7)
* Alexandre Grine, Jessie et Morgane, Paris, L’Harmattan, 2008, dont la traduction a remporté une mention spéciale au Prix Russophonie (ISBN 978-2-296-05125-6).
# Clanis titan

L'espèce Clanis titan regroupe des insectes lépidoptères de la famille des Sphingidae, sous-famille des Sphinginae, de la tribu des Sphingini et du genre Clanis.

## Description

L'envergure du papillon varie de 128 à 148 mm.
* Avers de la femelle (coll.MHNT)
* Revers de la femelle (coll.MHNT)

## Réparation et habitat
### Répartition

    L'espèce est connue en Inde et au Népal, à l'est et au sud à travers la Birmanie et le sud-ouest de la Chine (Yunnan) jusqu'en Thaïlande, au Vietnam et en Malaisie péninsulaire.

### Habitat

    Forêt humide.

## Biologie

Les chenilles ont été observées se nourrissant de Pterocarpus marsupium en Inde et de Dalbergia oliveri au Laos et en Thaïlande.

## Systématique

* L'espèce a été décrite par les entomologistes britanniques Lionel Walter Rothschild et Heinrich Ernst Karl Jordan, en 1903.
* La localité type est la région de Khasia Hills, au Nord de l'Inde.
# Claude Julien Maras

Claude Julien Maras, né le 7 janvier 1764 à Chartres où il est mort le 1er mars 1831, est un homme politique français.

## Biographie

Fils unique de Julien Maras (1742-1806), receveur général du département d'Eure-et-Loir et Marie Anne Bourgeois, il élu suppléant d'Eure-et-Loir à la Convention, il remplace le 23 nivôse an II (12 janvier 1794) Brissot de Warville, guillotiné le 10 brumaire an II (31 octobre 1793).
Député au Conseil des Cinq-Cents, il siège ensuite au Corps législatif de l'an VIII à l'an XI. En 1806, il hérite de son père d'une importante fortune.
# Clark Hulings

Clark Hulings, né le 20 novembre 1922 en Floride et décédé le 2 février 2011 à Santa Fe au Nouveau-Mexique, est un peintre et illustrateur américain.

## Biographie

Clark Hulings est né en Floride et a grandi dans le New Jersey. Il a vécu en Espagne, à New York, en Louisiane et un peu partout en Europe, avant de s'installer à Santa Fe au début des années 1970. Sa formation artistique a commencé quand il était adolescent, avec Sigismund Ivanowsky et George Bridgman. Avec un diplôme en physique du Haverford College, en Pennsylvanie, Hulings a complété ses connaissances intellectuelles avec des observations émotionnelles faites pendant ses voyages de peinture partout dans l'hémisphère occidental. Après les carrières initiales en peinture de portrait et en illustration, il s'est consacré à la peinture de chevalet, et pour les quarante dernières années, son art a été, avec impatience, recherché par des collectionneurs, des musées et des sociétés.
# Clint Jones

Clint Jones (né le 5 octobre 1984) est un ancien sauteur à ski américain.

## Palmarès
### Jeux Olympiques

| Épreuve / Édition | Salt Lake City 2002 | Turin 2006 |
| Petit Tremplin | | 47e |
| Grand Tremplin | 42e | |
| Par Equipes | 11e | 14e |

### Championnats du monde

| Épreuve / Édition | Lahti 2001 | Val di Fiemme 2003 | Oberstdorf 2005 |
| Petit Tremplin | 37e | 32e | 32e |
| Grand Tremplin | 38e | 40e | |

### Championnats du monde de vol à ski

| Épreuve / Édition | Harrachov 2002 | Planica 2004 |
| Individuel | 38e | 22e |

### Coupe du monde

* Meilleur classement final: 47e en 2002.
* Meilleur résultat: 9e.

### Grand Prix d'été

* 3e du classement final en 2002.
# Claude de Sainliens

Claude de Sainliens, né à Moulins et mort au XVIe siècle, est un grammairien, phonologue, philologue et lexicographe français.
Réfugié huguenot à Londres, avant ou au plus tard en 1565, Sainliens y enseigna le français et le latin jusqu’à la fin du XVIe siècle. Tout en enseignant, Sainliens déploya une activité infatigable, publiant en l’espace de vingt-sept ans trois traités de grammaire, un traité de prononciation et, surtout, deux éditions très différentes d’A Dictionarie French and English, dictionnaire français-anglais qui sera, avec le Dictionnaire françois-latin, contenant les motz et les manières de parler françois, tournez en latin de Robert Estienne, une des sources du Dictionarie of the French and English Tongues de Cotgrave qu’un privilège de 1608 présente comme collected first by C. Holyband and augmented or altered by R. Cotgrave.
Sainliens rédigea en outre des dialogues en quatre langues, une grammaire italienne et des traductions d’ouvrages italiens et français. Très préoccupé de la situation de la lecture et de la prononciation de la langue française par les apprenants anglais, il créa son propre matériel afin de permettre à ceux-ci de reproduire correctement les sons du français et de les reconnaître sous l’orthographe en vogue.
L’inlassable activité d’écriture de Sainliens ne l’empêchait pas de vivre un protestantisme bien tempéré de gaieté car il aimait les joyeux festins, les propos assez crus et laissait percer un esprit assez démocratique. Ses qualités lui ont valu de fidèles amis ; c’était à la fois un bon compagnon, un maître consciencieux et un savant, en un mot, un véritable homme de la Renaissance.
Son influence demeura longtemps en Angleterre où ses ouvrages ne cessèrent de s’imprimer jusqu’au XVIIe siècle et s’étendit même jusqu’à la Hollande où un de ses traités fut remanié à l’usage des enfants hollandais.
Sainliens a également écrit en latin et en anglais sous le nom de plume de « Claudius Holyband » et « Sancto Vinculo ».
# Claus Tuchscherer

Claus Tuchscherer, né le 14 janvier 1955, est un ancien spécialiste allemand du combiné nordique.

## Biographie

Il termine cinquième à l'épreuve du individuel de Combiné nordique aux jeux Olympiques de 1976. Il profite de ces Jeux olympiques pour fuir la RDA.

## Dopage

Claus Tuchscherer faisait partie du programme de dopage organisé en Allemagne de l'Est (en).

## Palmarès
### Jeux olympiques

| Épreuve / Édition | Innsbruck 1976 |
| Individuel | 5e |
# Classique Paul Hunter de snooker 2014

Le Classique Paul Hunter 2014 est un tournoi de snooker classé mineur, qui s'est déroulé du 20 au 24 août 2014 au Stadthalle à Fürth en Allemagne. Il est sponsorisé par Arcaden.

## Déroulement

Il s'agit de la troisième épreuve du championnat européen des joueurs, une série de tournois disputés en Europe (6 épreuves) et en Asie (3 épreuves), lors desquels les joueurs doivent accumuler des points afin de se qualifier pour la grande finale à Bangkok.
L'événement compte un total de 220 participants, dont 128 ont atteint le tableau final. Le vainqueur remporte une prime de 25 000 €.
Le tournoi est remporté par Mark Allen 4 à 2 face à Judd Trump en finale, lui qui avait échoué sur la dernière marche un peu plus tôt ce mois-ci à l'Open de Riga. Le joueur Indien Aditya Mehta réalise un break maximum de 147 points lors du troisième tour.

## Dotation

La répartition des prix est la suivante :
* Vainqueur : 25 000 €
* Finaliste : 12 000 €
* Demi-finaliste : 6 000 €
* Quart de finaliste : 4 000 €
* 8èmes de finale : 2 300 €
* 16èmes de finale : 1 200 €
* Deuxième tour : 700 €
* Dotation totale : 125 000 €

## Phases finales

| Quarts de finale au meilleur des 7 manches | Quarts de finale au meilleur des 7 manches | Demi-finales au meilleur des 7 manches | Demi-finales au meilleur des 7 manches | Finale au meilleur des 7 manches | Finale au meilleur des 7 manches |
| Mark Selby | 3 |
| Ricky Walden | 4 |
| Ricky Walden | 4 | Ricky Walden | 1 |
| | | Judd Trump | 4 |
| Judd Trump | 4 | Judd Trump | 4 |
| Tian Pengfei | 3 | | |
| | | | | Judd Trump | 2 |
| | | | | Mark Allen | 4 |
| Dechawat Poomjaeng | 2 | | |
| Rod Lawler | 4 | | |
| Rod Lawler | 4 | Rod Lawler | 3 |
| | | Mark Allen | 4 |
| Alan McManus | 3 | Mark Allen | 4 |
| Mark Allen | 4 |

## Finale

Finale au meilleur des 7 manches Arbitre : Maike Kesseler :
| Judd Trump Angleterre | 2 - 4 ( - ) | Mark Allen Irlande du Nord |
| 0 92 | Centuries Meilleur break | 0 88 |
| Mark Allen remporte le Classique Paul Hunter 2014 |||
# Codeco

* Sigles de 2 caractères
* Sigles de 3 caractères
* Sigles de 4 caractères
* Sigles de 5 caractères
* ► Sigles de 6 caractères
* Sigles de 7 caractères
* Sigles de 8 caractères
Sur les autres projets Wikimedia :
Cette page recense les différentes significations (codes, sigles, abréviations, etc.) résultant du rapprochement des lettres C, O, D, E, C et O (liste non-exhaustive).
L'abréviation CODECO peut faire référence à:

## Belgique

* Comité de concertation : un organe réunissant des ministres fédéraux, régionaux et communautaires afin de traiter les conflits d'intérêts ou de compétences entre des composantes de l'État fédéral belge.

## République démocratique du Congo

* Coopérative pour le développement du Congo (CODECO), une association de milices lendu ayant notamment perpétré le massacre de Plaine Savo, le 2 février 2022.
# Coded orthogonal frequency-division multiplexing

Le COFDM, introduit en 1986 par Michel Alard, est un procédé qui associe un codage de canal OFDM (orthogonal frequency-division multiplexing) et une modulation numérique des signaux individualisés (sous-porteuses multiples).

## Principe

Le principe de l'OFDM consiste à diviser le canal en sous-canaux et à effectuer une transmission sur chacun d'eux par modulation numérique. Cette méthode permet de corriger des multitrajets longs mais ne suffit pas si ces multitrajets sont forts, certaines fréquences (donc certains sous-canaux) peuvent alors être très fortement atténués. Si en plus le récepteur est fixe, comme c'est le cas par exemple pour la télévision terrestre, ces interférences vont se prolonger rendant impossible l'utilisation des sous-canaux concernés.
Afin de résoudre ce problème, COFDM utilise un codage correcteur d'erreur associé à un entrelacement entre fréquences. On parvient ainsi à se rapprocher des performances d'un canal sans écho.

## Applications

Cette méthode est employée notamment par la norme DVB-T utilisée en France pour la télévision numérique terrestre.
Les systèmes de radiodiffusion numérique DAB, DAB+ et T-DMB utilisent également le procédé de codage de canal COFDM.
# Claude Langlois

Claude Langlois, né le 18 juin 1937 à Puteaux (Seine) et mort le 26 mai 2024 à Vincennes, est un historien et sociologue français, spécialiste de l'histoire du catholicisme à l'époque contemporaine (XIXe et XXe siècles).

## Biographie

Agrégé d’histoire (1963), il soutient en 1971 une thèse de 3e cycle en histoire consacrée au diocèse de Vannes au cours du premier XIXe siècle.
En 1983, sa thèse d’État, dirigée par René Rémond à l’université Paris-X Nanterre, s’intitule « Le catholicisme au féminin. Les congrégations françaises à supérieure générale au 19e siècle ».
Claude Langlois fut professeur d'histoire à l'université de Rouen (en 1988), puis chercheur au CNRS, en 1991 (Groupe de recherches d'histoire : GRHIS-URA 1274). Il inaugure en 1993 la première chaire d'histoire et de sociologie du catholicisme contemporain à l'École pratique des hautes études, section des Sciences religieuses (Ve Section), dont il fut un temps le président. Il a fondé avec Régis Debray l'Institut européen en sciences des religions. Il travaille essentiellement sur la théologie morale et la spiritualité, notamment chez Thérèse de Lisieux.
Claude Langlois meurt le 26 mai 2024$^,$ à l’âge de 86 ans.

## Publications

* Le Diocèse de Vannes au XIXe siècle, Paris, Klinsieck, 1974
* Le Catholicisme au féminin. Les congrégations françaises à supérieure générale au XIXe siècle, Éd. du Cerf, 1984
* Les Dernières Paroles de Thérèse de Lisieux, Salvator, 2000
* Le Désir de sacerdoce chez Thérèse de Lisieux, Salvator, 2002
* Le Crime d'Onan, Belles Lettres, 2005
* Profession assistante sociale, Nouvelle cité, 2007
* Thérèse de Lisieux et Marie-Madeleine. La rivalité amoureuse, Ed. Jérôme Millon, 2009
* Le Continent théologique, Presses universitaires de Rennes (ISBN 978-2-7535-4913-5)
* On savait, mais quoi ? La pédophilie dans l'Église de la Révolution à nos jours, Seuil, 2020, 240 p.
* La femme du Seigneur - Madeleine Delbrêl en ses œuvres, Cerf, coll. « Histoire », 2022, 404 p. (ISBN 978-2-204-14804-7)
* Michel de Certeau avant « Certeau » : les apprentissages de l'écriture (1954-1968), Rennes, Presses universitaires de Rennes, 2022, 298 p.
# Claude Lanthier

Claude Lanthier B.Sc. (né le 24 janvier 1933 et mort le 12 avril 2015) était un ingénieur, professeur et ancien politicien fédéral du Québec.

## Biographie

Né à Montréal, Claude Lanthier devint ingénieur et professeur d'architecture à l'Université de Montréal. il a été engagé à titre d’examinateur à l’Ordre des architectes, poste qu’il occupa jusqu’à la fin des années 1990. Membre du conseil d’administration de la SAQ de 1978 à 1984, il fut décoré du grade de chevalier de l’Ordre du mérite agricole de France pour sa contribution exceptionnelle au rayonnement des vins de France au Québec. Élu député progressiste-conservateur de la circonscription de Lasalle lors des élections fédérales de 1984, il fut secrétaire parlementaire du ministre des Finances de 1984 à 1985, du ministre d'État chargé des Sciences et de la Technologies de 1985 à 1986 ainsi que du ministre des Travaux publics de 1986 à 1987. Par la suite, il est nommé commissaire, puis président de la section canadienne de la Commission mixte internationale.
En 1988, il doit tenter de se faire réélire dans la nouvelle circonscription de LaSalle—Émard, mais il échoue face au candidat libéral Paul Martin.
# Coalition de l'État de droit

La Coalition de l'État de droit est une coalition de partis politiques irakiens conservateurs, formée par le Premier ministre Nouri al-Maliki en vue des élections provinciales de 2009. Elle remporte environ 26 % des voix, et 89 sièges, durant les élections législatives irakiennes de 2010. Majoritaire dans le sud du pays, son électorat provient surtout de la majorité chiite.
Le 4 mai 2010 deux mois après les élections légisiatives du 7 mars, l'Alliance nationale irakienne et l'État de Droit du premier ministre Nouri Al Maliki se mettent d'accord pour faire alliance et former une seule et même coalition au parlement irakien.
# Coalition de l'unité magyare

La Coalition de l'unité magyare (en serbe : Коалиција Мађарска слога et Koalicija Mađarska sloga ; en hongrois : Magyar Összefogás Koalíció) était une coalition politique serbe de la province autonome de Voïvodine. Elle était dirigée par András Ágoston.
Formée par l'alliance de la Communauté démocratique des Magyars de Voïvodine de Sándor Páll et du Parti démocrate magyar de Voïvodine, la coalition a participé aux élections législatives serbes de 2007, où elle a présenté 88 candidats. Elle a obtenu 12 940 voix, soit 0,32 % des suffrages, score qui ne lui a pas permis de remporter de sièges au Parlement de Serbie.
# Claudine Roy

Claudine Roy, née à Pointe-à-la-Frégate (Municipalité du Canton de Cloridorme) en Gaspésie, est une femme d'affaires québécoise.

## Biographie

Pendant plusieurs années, elle organise les Traversées de la Gaspésie (TDLG), un événement qui permet à des centaines de participants de faire le tour de la région en ski de fond, en raquette et à « bottine ».
En 2007, elle préside la campagne de financement pour la fondation Cornelius-Brotherton dont le but est d'amasser 1 million de dollars afin d'offrir des bourses aux étudiants du Cégep de la Gaspésie et des Îles.
En 2009, elle préside la Corporation des fêtes de Gaspé qui vise à célébrer le 475e anniversaire de l'arrivée de Jacques Cartier à Gaspé. Elle a été propriétaire durant près de 30 ans du Bistro-bar Brise-Bise, un resto-bar de Gaspé.
Elle achète l'Auberge sous les arbres en 2015, à Gaspé et procède à la passation de l'entreprise du Brise-Bise à un entrepreneur gaspésien, Simon Poirier (ex-gérant de La Vieille usine de L'Anse-à-Beaufils).
Elle est présidente directrice générale de Gestion immobilière Gaspé, possédant divers immeubles à revenus. Elle est administratrice de société certifiée et siège sur plusieurs conseils d'administration dont celui d'Investissement Québec et de Desjardins. Elle est également très active dans l'entrepreneuriat féminin en servant de mentors pour des groupes de femmes dans divers projets. Elle donne également des conférences sur son expérience professionnelle et personnelle.
Elle est présidente d'honneur de la campagne de financement pour la reconstruction du théâtre de la Vieille Forge à Petite-Vallée, détruit par les flammes en août 2017.
En 2019, elle est nommée au conseil d'administration de l'ITHQ et du CTEQ. Elle est aussi nommée présidente du conseil d'administration de l'ARQ (Association des restaurateurs du Québec).

## Honneurs

* 2010 - Chevalière de l'Ordre national du Québec.
* 2018 - Prix d’excellence 2018 des diplômés de l’Université du Québec à Rimouski.
* 2018 - Membre de l'Ordre du Canada.
* 2020 - Médaille du lieutenant-gouverneur du Québec pour mérite exceptionnel.
# Blood and Truth

Blood and Truth est un jeu vidéo de tir à la première personne en réalité virtuelle développé par SIE London Studio et édité par Sony Interactive Entertainment, sorti en 2019 sur Playstation 4, via le PlayStation VR.

## Accueil

* Jeuxvideo.com : 16/20
# Avenue Clemenceau (Colmar)

L'avenue Clemenceau, est une voie de circulation de la ville de Colmar, en France.

## Situation et accès

Cette voie de circulation, d'une longueur de 545 m, se trouve majoritairement dans le quartier sud.
On y accède par les avenues Raymond-Poincaré, Joffre, Foch, de Fribourg, la route de Bâle, les rues des Américains, de la Concorde, Franklin Roosevelt et Serpentine.
Bus de la TRACE, lignes   4   22   23 , arrêt Clemenceau.

## Origine du nom

Elle doit son nom à l'homme d'État Georges Clemenceau (1841-1929).

## Bâtiments remarquables et lieux de mémoire

Dans cette rue se trouvent des édifices remarquables.
* Temple maçonnique (1906) au n$^o$ 37 Inscrit MH (2007)
# Fort Frederik

Le fort Frederik, également connu sous le nom de Frederiksfort, est un fort colonial danois situé à Frederiksted, aux Îles Vierges des États-Unis. Il abrite un musée et une galerie d'art.

## Historique

fort Frederik a été construit, entre 1752 et 1760, par l'union Danemark-Norvège, pour défendre les intérêts économiques du port en eaux profondes de Frederiksted et pour éloigner les pirates.
En 1776, le premier salut maritime venant d'un pays à la nouvelle nation des États-Unis d'Amérique a été tiré du fort lorsqu'un brigantin américain a arboré les couleurs du drapeau.
C'est de ce fort que le gouverneur général danois, Peter von Scholten, proclama l'abolition de l'esclavage le 3 juillet 1848. John Gottliff (également connu sous le nom de Moses Gottlieb ou le général Buddhoe) avait dirigé 6 000 esclaves lors d'une marche libre vers Frederiksted.

## Situation géographique

Le fort Frederik se situe à proximité de la tour de l'horloge Eliza James-McBean et du parc Buddhoe, un parc municipal qui rend hommage au général Buddhoe, chef de la révolte des esclaves, et sert également à rappeler et à honorer la proclamation du gouverneur Peter von Scholten en 1848 concernant l'abolition de l'esclavage.

## Architecture

Le fort Frederik a des murs peints en rouge et blanc, ce qui le rend très différent du jaune et du blanc du fort Christiansvaern situé à Christiansted.
# Propriété de Church-Rosser

En informatique théorique et en logique mathématique, la propriété de Church-Rosser est une propriété des systèmes de réécriture. Elle est nommée ainsi d'après les mathématiciens Alonzo Church et John Barkley Rosser.

## Définition

Soit $R$ un système de réécriture, et notons $\rightarrow _{R}$ la relation de réduction, $\rightarrow _{R}^{*}$ sa clôture réflexive transitive, et enfin $\longleftrightarrow _{R}^{*}$ sa clôture réflexive, transitive et symétrique.
On dit que $R$ a la propriété de Church-Rosser si, pour toute paire de termes $M_{1},M_{2}$ tels que $M_{1}\longleftrightarrow _{R}^{*}M_{2}$, il existe un terme $M$ tel que $M_{1}\rightarrow _{R}^{*}M$ et $M_{2}\rightarrow _{R}^{*}M$.

## Théorème de Church-Rosser

Le théorème de Church-Rosser est un résultat du lambda-calcul. Il énonce que la bêta-réduction possède la propriété de Church-Rosser$^,$.
Ce théorème a été établi par Church et Rosser en 1936. Le résultat reste vrai dans diverses variantes et extensions du lambda-calcul.

## Exemple d'application

Pour les systèmes de réécriture, la propriété de Church-Rosser est équivalente à la propriété de confluence, notion de première importance dans la théorie des bases de Gröbner (en particulier dans la définition même de ces bases).