stanford-oval/wikipedia huggingface dataset:
Freycinetia regina

| Freycinetia regina> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Pandanales
Họ (familia): Pandanaceae
Chi (genus): Freycinetia
Loài (species): F. regina
Danh pháp hai phần
Freycinetia regina B.C.Stone, 1970 
Freycinetia regina là một loài thực vật có hoa trong họ Dứa dại. Loài này được B.C.Stone miêu tả khoa học đầu tiên năm 1970.
Chú thích

↑  The Plant List (2010). “Freycinetia regina”. Truy cập ngày 8 tháng 6 năm 2013.
Malpulutta kretseri

| Malpulutta kretseri |
| --- | --- |

Tình trạng bảo tồn
 Phụ thuộc bảo tồn  (IUCN 2.3)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Actinopterygii
Bộ (ordo): Perciformes
Họ (familia): Belontiidae
Chi (genus): Malpulutta
Loài (species): M. kretseri
Danh pháp hai phần
Malpulutta kretseri Deraniyagala, 1937 
Malpulutta kretseri là một loài cá trong họ Belontiidae. Chúng là loài đặc hữu của Sri Lanka.
Žehušice

| Žehušice |
| --- | --- |
—  Chợ huyện  —
 

 
Žehušice
Quốc gia:  Cộng hòa Séc
Vùng: Středočeský
Huyện: Kutná Hora
Múi giờ: CET (UTC+1)
 • Mùa hè (DST): CEST (UTC+2)
NUTS 5: CZ0205 534650
Žehušice là một chợ huyện thuộc huyện Kutná Hora, vùng Středočeský, Cộng hòa Séc.
Lạt Hầu

Lạt Hầu (chữ Hán: 剌侯) hoặc Thích Hầu, là thụy hiệu của một số vị quân chủ chư hầu trong lịch sử Trung Quốc.
Danh sách

Tây Hán Nghi Thành Lạt hầu
Tây Hán Đương Đồ Lạt hầu
Tây Hán Phạm Hương Lạt hầu
Tây Hán Bình A Lạt hầu
Poa rajbhandarii

| Poa rajbhandarii> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Poales
Họ (familia): Poaceae
Chi (genus): Poa
Loài (species): P. rajbhandarii
Danh pháp hai phần
Poa rajbhandarii Noltie 
Poa rajbhandarii là một loài thực vật có hoa trong họ Hòa thảo. Loài này được Noltie mô tả khoa học đầu tiên năm 2000.
Chú thích

↑  The Plant List (2010). “Poa rajbhandarii”. Truy cập ngày 8 tháng 6 năm 2013.
Araneus favorabilis

| Araneus favorabilis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Araneidae
Chi (genus): Araneus
Loài (species): A. favorabilis
Danh pháp hai phần
Araneus favorabilis Rainbow, 1916 
Araneus favorabilis là một loài nhện trong họ Araneidae.
Loài này thuộc chi Araneus. Araneus favorabilis được William Joseph Rainbow miêu tả năm 1916.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Bidens sandvicensis

| Bidens sandvicensis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Asterales
Họ (familia): Asteraceae
Chi (genus): Bidens
Loài (species): B. sandvicensis
Danh pháp hai phần
Bidens sandvicensis Less., 1831 
Bidens sandvicensis là một loài thực vật có hoa trong họ Cúc. Loài này được Less. mô tả khoa học đầu tiên năm 1831.
Chú thích

↑  The Plant List (2010). “Bidens sandvicensis”. Truy cập ngày 4 tháng 6 năm 2013.
Želenice, Kladno

| Želenice |
| --- | --- |
—  Làng  —
 

 

Želenice
Quốc gia:  Cộng hòa Séc
Vùng: Středočeský
Huyện: Kladno
Múi giờ: CET (UTC+1)
 • Mùa hè (DST): CEST (UTC+2)
NUTS 5: CZ0203 599425
Želenice là một làng thuộc huyện Kladno, vùng Středočeský, Cộng hòa Séc.
Iris xiphium

| Iris xiphium |
| --- | --- |

Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Iridaceae
Chi (genus): Iris
Loài (species): I. xiphium
Danh pháp hai phần
Iris xiphium L., 1753 
Iris xiphium là một loài thực vật có hoa trong họ Diên vĩ. Loài này được Carl von Linné miêu tả khoa học đầu tiên năm 1753.
Chú thích

↑  The Plant List (2010). “Iris xiphium”. Truy cập ngày 25 tháng 6 năm 2013.
Polioptila lactea

| Polioptila lactea |
| --- | --- |

Tình trạng bảo tồn
 Sắp bị đe dọa  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Aves
Bộ (ordo): Passeriformes
Họ (familia): Polioptilidae
Chi (genus): Polioptila
Loài (species): P. lactea
Danh pháp hai phần
Polioptila lactea
Polioptila lactea là một loài chim trong họ Polioptilidae.
Chú thích

↑  Clements, J. F.; Schulenberg, T. S.; Iliff, M. J.; Wood, C. L.; Roberson, D.; Sullivan, B.L. (2012). “The eBird/Clements checklist of birds of the world: Version 6.7”. Truy cập ngày 19 tháng 12 năm 2012.
Bidens schimperi

| Bidens schimperi> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Asterales
Họ (familia): Asteraceae
Chi (genus): Bidens
Loài (species): B. schimperi
Danh pháp hai phần
Bidens schimperi Sch.Bip. ex Walp., 1846 
Bidens schimperi là một loài thực vật có hoa trong họ Cúc. Loài này được Sch.Bip. ex Walp. mô tả khoa học đầu tiên năm 1846.
Chú thích

↑  The Plant List (2010). “Bidens schimperi”. Truy cập ngày 4 tháng 6 năm 2013.
Psychotria tenuissima

| Psychotria tenuissima> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Gentianales
Họ (familia): Rubiaceae
Chi (genus): Psychotria
Loài (species): P. tenuissima
Danh pháp hai phần
Psychotria tenuissima E.M.A.Petit 
Psychotria tenuissima là một loài thực vật có hoa trong họ Thiến thảo. Loài này được E.M.A.Petit miêu tả khoa học đầu tiên năm 1966.
Chú thích

↑  The Plant List (2010). “Psychotria tenuissima”. Truy cập ngày 3 tháng 6 năm 2013.
Romanèche-Thorins

| --- | --- |
 Romanèche-Thorins


Hành chính
Quốc gia:  Pháp
Vùng: Bourgogne-Franche-Comté
Tỉnh: Saône-et-Loire
Quận: Mâcon
Tổng: Chapelle-de-Guinchay
Thống kê
Độ cao: 168–262 m (551–860 ft) (bình quân 187 m (614 ft)[chuyển đổi: tùy chọn không hợp lệ])
INSEE/Mã bưu chính: 71372/ 71570

Romanèche-Thorins là một xã trong tỉnh Saône-et-Loire, thuộc vùng Bourgogne-Franche-Comté của nước Pháp, có dân số là 1.717 người (thời điểm 1999).
Nhân khẩu học

| 1962 | 1968 | 1975 | 1982 | 1990 | 1999 |
| --- | --- | --- | --- | --- | --- |
| 1 825 | 1 915 | 1 801 | 1 699 | 1 710 | 1 717 |
Araneus excavatus

| Araneus excavatus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Araneidae
Chi (genus): Araneus
Loài (species): A. excavatus
Danh pháp hai phần
Araneus excavatus Franganillo-Balboa, 1930 
Araneus excavatus là một loài nhện trong họ Araneidae.
Loài này thuộc chi Araneus. Araneus excavatus được Pelegrin Franganillo-Balboa miêu tả năm 1930.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Xã Ash Grove, Quận Iroquois, Illinois

| Xã Ash Grove Ash Grove Township |
| --- | --- |
—  Xã  —
 
 
 Vị trí trong Quận Iroquois, Illinois
 Vị trí quận Iroquois trong tiểu bang Illinois ở Hoa Kỷ
Xã Ash Grove
Quốc gia: Hoa Kỳ
Tiểu bang: Illinois
Quận: Quận Iroquois
Dân số (2010)
 • Tổng cộng: 731
Múi giờ: CST (UTC-6)
 • Mùa hè (DST): CDT (UTC-5)
Xã Ash Grove (tiếng Anh: Ash Grove Township) là một xã thuộc quận Iroquois, tiểu bang Illinois, Hoa Kỳ. Năm 2010, dân số của xã này là 731 người.
Imperata condensata

| Imperata condensata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Poales
Họ (familia): Poaceae
Chi (genus): Imperata
Loài (species): I. condensata
Danh pháp hai phần
Imperata condensata Steud. 
Imperata condensata là một loài thực vật có hoa trong họ Hòa thảo. Loài này được Steud. mô tả khoa học đầu tiên năm 1854.
Chú thích

↑  The Plant List (2010). “Imperata condensata”. Truy cập ngày 6 tháng 6 năm 2013.
Frullania neosheana

| Frullania neosheana> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Marchantiophyta
Lớp (class): Jungermanniopsida
Bộ (ordo): Jungermanniales
Họ (familia): Jubulaceae
Chi (genus): Frullania
Loài (species): F. neosheana
Danh pháp hai phần
Frullania neosheana S. Hatt., 1979 
Frullania neosheana là một loài Rêu trong họ Jubulaceae. Loài này được S. Hatt. mô tả khoa học đầu tiên năm 1979.
Chú thích

↑  The Plant List (2010). “Frullania neosheana”. Truy cập ngày 1 tháng 6 năm 2014.
Želatovice

| Želatovice |
| --- | --- |
—  Làng  —
 

  Hiệu kỳ Huy hiệu
Želatovice
Quốc gia:  Cộng hòa Séc
Vùng: Olomoucký
Huyện: Přerov
Diện tích
 • Tổng cộng: 4,44 km2 (171 mi2)
Độ cao: 226 m (741 ft)
Dân số (2012)
 • Tổng cộng: 568
 • Mật độ: 1,3/km2 (3,3/mi2)
Múi giờ: CET (UTC+1)
 • Mùa hè (DST): CEST (UTC+2)
NUTS 5: CZ0714 523640
Želatovice là một làng thuộc huyện Přerov, vùng Olomoucký, Cộng hòa Séc.
Xã Walnut, Quận Reno, Kansas

| Xã Walnut Walnut Township |
| --- | --- |
—  Xã  —
 
Vị trí trong Quận Reno, Kansas Vị trí trong Quận Reno, Kansas
 Vị trí quận Reno trong tiểu bang Kansas ở Hoa Kỳ
Xã Walnut
Quốc gia: Hoa Kỳ
Tiểu bang: Kansas
Quận: Quận Reno
Dân số (2010)
 • Tổng cộng: 103
Múi giờ: CST (UTC-6)
 • Mùa hè (DST): CDT (UTC-5)
Xã Walnut (tiếng Anh: Walnut Township) là một xã thuộc quận Reno, tiểu bang Kansas, Hoa Kỳ. Năm 2010, dân số của xã này là 103 người.
Polioptila dumicola

| Polioptila dumicola> Tình trạng bảo tồn |
| --- | --- |
 Ít quan tâm  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Aves
Bộ (ordo): Passeriformes
Họ (familia): Polioptilidae
Chi (genus): Polioptila
Loài (species): P. dumicola
Danh pháp hai phần
Polioptila dumicola
Polioptila dumicola là một loài chim trong họ Polioptilidae.
Chú thích

↑  Clements, J. F.; Schulenberg, T. S.; Iliff, M. J.; Wood, C. L.; Roberson, D.; Sullivan, B.L. (2012). “The eBird/Clements checklist of birds of the world: Version 6.7”. Truy cập ngày 19 tháng 12 năm 2012.
Pteleon brevicornis

| Pteleon brevicornis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Họ (familia): Chrysomelidae
Chi (genus): Pteleon
Loài (species): P. brevicornis
Danh pháp hai phần
Pteleon brevicornis (Jacoby, 1887) 
Pteleon brevicornis là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Jacoby miêu tả khoa học năm 1887.
Chú thích

↑  Chrysomelidae in Synopsis of the described Coleoptera of the World ngày 13 tháng 12 năm 2008
Pteleopsis myrtifolia

| Pteleopsis myrtifolia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Myrtales
Họ (familia): Combretaceae
Chi (genus): Quisqualis
Loài (species): P. myrtifolia
Danh pháp hai phần
Pteleopsis myrtifolia (M.A.Lawson) Engl. & Diels, 1900 
Pteleopsis myrtifolia là một loài thực vật có hoa trong họ Trâm bầu. Loài này được (M.A.Lawson) Engl. & Diels miêu tả khoa học đầu tiên năm 1900.
Chú thích

↑  The Plant List (2010). “Pteleopsis myrtifolia”. Truy cập ngày 6 tháng 8 năm 2013.
Xã Asbury, Quận Gallatin, Illinois

| Xã Asbury Asbury Township |
| --- | --- |
—  Xã  —
 

 
 Vị trí trong Quận Gallatin, Illinois
 Vị trí quận Gallatin trong tiểu bang Illinois ở Hoa Kỷ
Xã Asbury
Quốc gia: Hoa Kỳ
Tiểu bang: Illinois
Quận: Quận Gallatin
Dân số (2010)
 • Tổng cộng: 105
Múi giờ: CST (UTC-6)
 • Mùa hè (DST): CDT (UTC-5)
Xã Asbury (tiếng Anh: Asbury Township) là một xã thuộc quận Gallatin, tiểu bang Illinois, Hoa Kỳ. Năm 2010, dân số của xã này là 105 người.
Araneus exsertus

| Araneus exsertus |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Araneidae
Chi (genus): Araneus
Loài (species): A. exsertus
Danh pháp hai phần
Araneus exsertus Rainbow, 1904 
Araneus exsertus là một loài nhện trong họ Araneidae.
Loài này thuộc chi Araneus. Araneus exsertus được William Joseph Rainbow miêu tả năm 1904.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Bidens rubifolia

| Bidens rubifolia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Asterales
Họ (familia): Asteraceae
Chi (genus): Bidens
Loài (species): B. rubifolia
Danh pháp hai phần
Bidens rubifolia Kunth, 
Bidens rubifolia là một loài thực vật có hoa trong họ Cúc. Loài này được Kunth mô tả khoa học đầu tiên.
Chú thích

↑  The Plant List (2010). “Bidens rubifolia”. Truy cập ngày 4 tháng 6 năm 2013.
Frullania neocaledonica

| Frullania neocaledonica> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Marchantiophyta
Lớp (class): Jungermanniopsida
Bộ (ordo): Jungermanniales
Họ (familia): Jubulaceae
Chi (genus): Frullania
Loài (species): F. neocaledonica
Danh pháp hai phần
Frullania neocaledonica J.J. Engel, 1999 
Frullania neocaledonica là một loài Rêu trong họ Jubulaceae. Loài này được J.J. Engel mô tả khoa học đầu tiên năm 1999.
Chú thích

↑  The Plant List (2010). “Frullania neocaledonica”. Truy cập ngày 1 tháng 6 năm 2014.
Bidens ruyigiensis

| Bidens ruyigiensis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Asterales
Họ (familia): Asteraceae
Chi (genus): Bidens
Loài (species): B. ruyigiensis
Danh pháp hai phần
Bidens ruyigiensis T.G.J.Rayner, 1993 
Bidens ruyigiensis là một loài thực vật có hoa trong họ Cúc. Loài này được T.G.J.Rayner mô tả khoa học đầu tiên năm 1993.
Chú thích

↑  The Plant List (2010). “Bidens ruyigiensis”. Truy cập ngày 4 tháng 6 năm 2013.
Piper cirratum

| Piper cirratum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Magnoliidae
Bộ (ordo): Piperales
Họ (familia): Piperaceae
Chi (genus): Piper
Loài (species): P. cirratum
Danh pháp hai phần
Piper cirratum Trel., 1936 
Piper cirratum là một loài thực vật có hoa trong họ Hồ tiêu. Loài này được Trel. miêu tả khoa học đầu tiên năm 1936.
Chú thích

↑  The Plant List (2010). “Piper cirratum”. Truy cập ngày 9 tháng 6 năm 2013.
Architis amazonica

| Architis amazonica> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Pisauridae
Chi (genus): Architis
Loài (species): A. amazonica
Danh pháp hai phần
Architis amazonica (Simon, 1898) 
Danh pháp đồng nghĩa
 Nilus amazonicus Simon, 1898 
Architis amazonica là một loài nhện trong họ Pisauridae. Chúng được Eugène Simon miêu tả năm 1898.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Psychotria evenia

| Psychotria evenia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Gentianales
Họ (familia): Rubiaceae
Chi (genus): Psychotria
Loài (species): P. evenia
Danh pháp hai phần
Psychotria evenia C.Wright ex Griseb. 
Psychotria evenia là một loài thực vật có hoa trong họ Thiến thảo. Loài này được C.Wright ex Griseb. miêu tả khoa học đầu tiên năm 1866.
Chú thích

↑  The Plant List (2010). “Psychotria evenia”. Truy cập ngày 3 tháng 6 năm 2013.
Imperata flavida

| Imperata flavida> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Poales
Họ (familia): Poaceae
Chi (genus): Imperata
Loài (species): I. flavida
Danh pháp hai phần
Imperata flavida S.M.Phillips & S.L.Chen 
Imperata flavida là một loài thực vật có hoa trong họ Hòa thảo. Loài này được S.M.Phillips & S.L.Chen mô tả khoa học đầu tiên năm 2005.
Chú thích

↑  The Plant List (2010). “Imperata flavida”. Truy cập ngày 6 tháng 6 năm 2013.
Serapicamptis ducoroniae

| Serapicamptis ducoroniae> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Orchidaceae
Chi (genus): Serapicamptis
Loài (species): S. ducoroniae
Danh pháp hai phần
Serapicamptis ducoroniae (P.Delforge) J.M.H.Shaw 
Serapicamptis ducoroniae là một loài thực vật có hoa trong họ Lan. Loài này được (P.Delforge) J.M.H.Shaw mô tả khoa học đầu tiên năm 2005.
Chú thích

↑  The Plant List (2010). “Serapicamptis ducoroniae”. Truy cập ngày 7 tháng 6 năm 2013.
Architis cymatilis

| Architis cymatilis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Pisauridae
Chi (genus): Architis
Loài (species): A. cymatilis
Danh pháp hai phần
Architis cymatilis Carico, 1981 
Architis cymatilis là một loài nhện trong họ Pisauridae.
Loài này thuộc chi Architis. Architis cymatilis được miêu tả năm 1981 bởi Carico.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Bidens schaffneri

| Bidens schaffneri> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Asterales
Họ (familia): Asteraceae
Chi (genus): Bidens
Loài (species): B. schaffneri
Danh pháp hai phần
Bidens schaffneri (A.Gray) Sherff, 1913 
Bidens schaffneri là một loài thực vật có hoa trong họ Cúc. Loài này được (A.Gray) Sherff mô tả khoa học đầu tiên năm 1913.
Chú thích

↑  The Plant List (2010). “Bidens schaffneri”. Truy cập ngày 4 tháng 6 năm 2013.
Định lý Church–Rosser

Trong Toán học và khoa học máy tính lý thuyết, định lý Church-Rosser phát biểu: khi áp dụng các quy tắc rút gọn cho các số hạng trong một số biến thể được gõ của phép tính lambda, thứ tự rút gọn được chọn không tạo ra sự khác biệt đối với kết quả cuối cùng. Chính xác hơn, nếu có hai cách rút gọn hoặc một chuỗi các cách rút gọn riêng biệt áp dụng trên cùng một số hạng, thì tồn tại một số hạng có thể đạt được từ cả hai kết quả, bằng cách áp dụng (hoặc không) thêm các bước rút gọn. Định lý được chứng minh vào năm 1936 bởi Alonzo Church và J. Barkley Rosser, và sau đó tên của định lý lấy tên của hai nhà logic học này.
Định lý được ký hiệu bằng sơ đồ trên: Nếu số hạng  a có thể được rút gọn thành cả  b và  c, thì sẽ phải có một số hạng  d nữa (có khả năng bằng với một trong hai  b hoặc  c) mà cả  b và  c đều có thể rút gọn thành  d. Xem tính toán lambda như một hệ thống viết lại trừu tượng, định lý Church-Rosser phát biểu rằng, các quy tắc rút gọn của tính toán lambda là hợp lưu (đưa ra kết quả cuối cùng giống nhau). Hệ quả là, một số hạng trong tính toán lambda có nhiều nhất một dạng thường, chứng minh tham chiếu đến "dạng thường" của một số hạng được bình thướng hóa đã cho.
Định lý Church-Rosser cũng áp dụng cho nhiều biến thể của tính toán lambda, chẳng hạn như tính toán lambda được gõ đơn giản, nhiều phép tính với các hệ thống tiên tiến và phép tính giá trị beta của Gordon Plotkin. Plotskin cũng sử dụng định lý Church-Rosser để chứng minh rằng việc đánh giá các chương trình chức năng (đối với cả cách đánh giá lazy evaluation và eager evaluation) là một chức năng từ các chương trình đến các giá trị (một tập hợp con của các số hạng lambda).
Trong các tài liệu nghiên cứu cũ hơn, một hệ thống viết lại được cho là định lý Church-Rosser, hoặc có tính chất của định lý Church-Rosser, khi nó hợp lưu.
Pocinhos

| Pocinhos |
| --- | --- |
—  Đô thị  —
 

  Hiệu kỳ

PocinhosVị trí ở Brasil
Quốc gia:  Brasil
Bang: Paraíba
Vùng thuộc bang: Agreste Paraibano
Tiểu vùng: Curimataú Ocidental
Diện tích
 • Tổng cộng: 629,521 km2 (243,059 mi2)
Dân số (2007)
 • Tổng cộng: 15.956
 • Mật độ: 23,3/km2 (60/mi2)
Múi giờ: BRT (UTC-3)
58150-000 
Mã điện thoại: 83 
Pocinhos là một đô thị thuộc bang Paraíba, Brasil. Đô thị này có diện tích 629,521 km², dân số năm 2007 là 15956 người, mật độ 23,3 người/km².
Seleucidis melanoleucus

| Seleucidis melanoleucus> Tình trạng bảo tồn |
| --- | --- |
 Ít quan tâm  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Aves
Bộ (ordo): Passeriformes
Họ (familia): Paradisaeidae
Chi (genus): Seleucidis
Loài (species): S. melanoleucus
Danh pháp hai phần
Seleucidis melanoleucus
Seleucidis melanoleucus là một loài chim trong họ Paradisaeidae.
Chú thích

↑  Clements, J. F.; Schulenberg, T. S.; Iliff, M. J.; Wood, C. L.; Roberson, D.; Sullivan, B.L. (2012). “The eBird/Clements checklist of birds of the world: Version 6.7”. Truy cập ngày 19 tháng 12 năm 2012.
Ẩm thực Moldova

Văn hóa ẩm thực của MoldovaBản mẫu:SHORTDESC:Văn hóa ẩm thực của Moldova
Một món ăn phổ biến của Moldova gồm sarmale (bắp cải cuộn), đi kèm với dưa cải bắp và mămăligă
Ẩm thực Moldova là một phong cách nấu ăn gắn liền với người dân nơi đây, chủ yếu bao gồm thịt, khoai tây, bắp cải và nhiều loại ngũ cốc. Moldova có nền ẩm thực rất giống với România, đồng thời cũng lấy cảm hứng và yếu tố từ các nền ẩm thực khác trong khu vực, bao gồm Hy Lạp, Ba Lan, Ukraina và Nga, với ảnh hưởng lớn do Đế quốc Ottoman để lại.
Bối cảnh

Chernozem, đất đen màu mỡ của Moldova có thể tạo ra nho, trái cây, rau, hạt ngũ cốc, thịt và các chế phẩm sữa, tất cả đều được sử dụng trong nền ẩm thực của quốc gia. Đất đai màu mỡ kết hợp với việc sử dụng các phương pháp nông nghiệp truyền thống cho phép phát triển nhiều loại thực phẩm ở Moldova.
Các món ăn đặc trưng

Có lẽ, mămăligă (bột bắp, bột nhão hoặc cháo), là món ăn nổi tiếng của cả România và Moldova. Đây là món ăn giống chủ yếu trên bàn ăn của người Moldova, dùng làm món ăn kèm cho các món hầm và món thịt, hoặc trang trí với pho mát, kem chua hoặc bì lợn. Đặc sản bao gồm brânză (pho mát ngâm nước muối) và friptură (món thịt dê hoặc cừu hầm). Rượu vang địa phương đi kèm với hầu hết các bữa ăn.
Các món ăn truyền thống của Moldova cũng kết hợp nhiều loại rau, chẳng hạn như cà chua, ớt chuông, cà tím, bắp cải, đậu, hành tây, tỏi và tỏi tây. Rau được sử dụng trong món salad trộn và nước xốt, đồng thời cũng được nướng, hấp, ngâm chua (gọi là murături), muối hoặc ướp.
Các loại borș (ciorbă) bao gồm nhiều loại xúp có vị chua đặc trưng. Đây có thể là xúp thịt và rau, hoặc xúp cá, tất cả đều được làm chua bằng borș (theo truyền thống được làm từ cám), hoặc nước chanh. Xúp gà với thịt, được gọi là zeamă, rất phổ biến.
Theo truyền thống, thịt được phục vụ như món khai vị. Thịt nướng, thịt viên (được gọi là pârjoale và chiftele), cùng thịt cừu hấp rất phổ biến. Thịt và cá thường được ướp rồi nướng.
Các món ăn truyền thống ngày lễ bao gồm bắp cải cuộn với thịt băm (ở Moldova hoặc România được gọi là "sarmale" và ở Thổ Nhĩ Kỳ là "dolma"), pilaf (món ăn từ gạo), thịt ba chỉ, mì và thịt gà, cùng nhiều món khác. Bàn tiệc ngày lễ thường được trang trí bằng các món bánh, chẳng hạn như pastry, bánh ngọt, bánh cuộn và bánh bao, với nhiều loại nhân (chẳng hạn như pho mát, trái cây, rau và hạt óc chó), được biết đến ở România là cozonac, pască, brânzoaice (poale-n brâu), sfințișori, papanași, colaci, plăcinte và cornulețe.
Ở một số khu vực, ẩm thực của các dân tộc thiểu số khác nhau chiếm ưu thế. Ở miền đông Moldova, người Ukraine ăn borscht; ở phía nam, Bessarabian Bulgarians phục vụ món mangea (gà với nước sốt) truyền thống, trong khi Gagauz chế biến shorpa, một món súp thịt cừu dày dặn; trong cộng đồng người Nga, pelmeni (bánh bao nhân thịt) rất phổ biến. Nhiều món ăn khác nhau được phục vụ tại bàn đêm giao thừa bao gồm hầu hết các món ăn chịu ảnh hưởng của Nga như shuba và salată de boeuf.
Các món ăn rất phổ biến khác bao gồm một biến thể của pierogi được gọi là colțunași nhân pho mát (colțunași cu brînză), thịt (colțunași cu carne), hoặc cherry.
Hình ảnh

Borș de burechiușe
Mămăligă với pho mát và tóp mỡ
Thịt viên (chiftele)
Tochitură
Mămăligă