stanford-oval/wikipedia huggingface dataset:
Hát then
Các vùng hát then > Tại Việt Nam

Năm 2018 có 16 địa phương sở hữu hát then nhưng trọng tâm hát then ở 13 tỉnh miền núi phía Bắc: Hà Giang, Tuyên Quang, Cao Bằng, Bắc Kạn, Lạng Sơn, Thái Nguyên, Bắc Giang, Quảng Ninh, Yên Bái, Lào Cai, Sơn La, Điện Biên, Lai Châu. Hiện tại đã xuất hiện hát then ở các tỉnh Đắk Nông, Đắk Lắk và Thành phố Hồ Chí Minh khi người Tày và người Nùng di cư đến.
Mỗi vùng, làn điệu then lại có những nét độc đáo riêng:[cần dẫn nguồn]
Then Cao Bằng dìu dặt tha thiết
Then Lạng Sơn tươi vui, rộn ràng
Then Tuyên Quang dồn dập như thúc quân ra trận
Then Hà Giang nhấn nhá từng tiếng một
Then Bắc Kạn như chuyện kể thầm thì
Chú thích

↑  16 tỉnh tham gia Liên hoan nghệ thuật hát Then, đàn Tính các dân tộc Tày-Nùng-Thái toàn quốc lần thứ VI
Người Tày hát then
Myriopholis narirostris

| Myriopholis narirostris> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Reptilia
Bộ (ordo): Squamata
Phân bộ (subordo): Serpentes
Phân thứ bộ (infraordo): Scolecophidia
Họ (familia): Leptotyphlopidae
Chi (genus): Myriopholis
Loài (species): M. narirostris
Danh pháp hai phần
Myriopholis narirostris (Peters, 1867) 
Myriopholis narirostris là một loài rắn trong họ Leptotyphlopidae. Loài này được Peters mô tả khoa học đầu tiên năm 1867.
Paranotoreas zopyra

| Paranotoreas zopyra> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Paranotoreas
Loài (species): P. zopyra
Danh pháp hai phần
Paranotoreas zopyra (Meyrick,, 1883d) 
Paranotoreas zopyra là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Hòa ước Tôn giáo Augsburg

1555 treaty between the Holy Roman Emperor and the Schmalkaldic LeagueBản mẫu:SHORTDESC:1555 treaty between the Holy Roman Emperor and the Schmalkaldic League
| --- | --- |
Trang đầu của văn bản. Mainz, 1555.
Địa điểm: Augsburg
Nhân tố liên quan: Karl V; Liên đoàn Schmalkalden
Hệ quả: (1) Thiết lập nguyên tắc Cuius regio, eius religio.  (2) Thiết lập nguyên tắc reservatum ecclesiasticum.   (3) Đặt nền tảng pháp lý cho hai tôn giáo cùng tồn tại (Công giáo và Lutheran) trong các quốc gia nói tiếng Đức của Đế chế La Mã thần thánh.
Hòa ước Tôn giáo Augsburg hay Hòa bình của Augsburg là một hiệp ước giữa Karl V, Hoàng đế La Mã Thần thánh và Liên đoàn Schmalkalden, được ký kết vào tháng 9 năm 1555 tại Thành phố đế quốc tự do Augsburg. Nó chính thức chấm dứt cuộc đấu tranh tôn giáo giữa hai nhóm và cho phép chính thức sự phân chia Kitô giáo vĩnh viễn trong Đế chế La Mã thần thánh, cho phép các nhà cai trị chọn hoặc Lutheran hoặc Công giáo La Mã làm đạo giáo chính thức của công quốc mình. Tuy nhiên, hòa ước Tôn giáo Augsburg được cho là đánh dấu sự chấm dứt sự thống nhất Kitô giáo trên khắp châu Âu. Calvinism không được cho phép cho đến Hòa ước Westfalen.
Hòa bình của Augsburg đã được mô tả là "bước đầu tiên trên con đường hướng tới một hệ thống các Quốc gia có chủ quyền của châu Âu."  Hệ thống này, được tạo ra trên căn bản của hòa bình của Augsburg, đã sụp đổ khi bắt đầu thế kỷ 17, đó là một trong những lý do đưa đến Chiến tranh ba mươi năm.
Tổng quan

Hòa ước quy định theo nguyên tắc "Cuius Regio, Eius Religio" ("vương quốc của ai, tôn giáo của người đó"), cho phép các công tước, vua của các quốc gia thuộc Đế chế La Mã Thần thánh có quyền lựa chọn giữa Lutheran hoặc Công giáo trong các địa phận mà họ kiểm soát, như vậy khẳng định chủ quyền các khu vực đó. Những người dân, công dân hoặc cư dân, những người không muốn tuân thủ sự lựa chọn của người cai trị được cho một thời gian để họ được tự do di cư đến khu vực khác, nơi tôn giáo họ mong muốn được chấp nhận.
Điều 24 đã nêu: "Trong trường hợp các đối tượng của chúng ta, cho dù thuộc về tôn giáo cũ hay đạo ở Augsburg, nếu có ý định rời khỏi nhà với vợ con của họ để định cư ở một nơi khác, sẽ không bị cản trở trong việc bán tài sản của họ sau khi trả thuế địa phương cũng như không bị làm tổn thương danh dự của họ. "
Karl V đã đưa ra một phán quyết tạm thời, sắc lệnh tạm thời của Augsburg năm 1548, về tính hợp pháp của hai tín ngưỡng tôn giáo trong Đế chế, và điều này đã được soạn thành luật vào ngày 30 tháng 6 năm 1548, do sự nhất quyết Karl V muốn giải quyết sự khác biệt về tôn giáo, dưới sự bảo trợ của một hội đồng của Giáo hội Công giáo. Luật tạm thời chủ yếu phản ánh các nguyên tắc của hành vi tôn giáo trong 26 điều luật của nó, mặc dù nó cho phép các giáo sĩ kết hôn, và việc đưa cả bánh mì và rượu vang cho giáo dân. Điều này dẫn đến sự kháng cự của các lãnh thổ theo đạo Tin lành, tuyên bố điều luật tạm thời của riêng họ tại Leipzig vào năm sau.
Luật lệ tạm thời đã bị xóa bỏ vào năm 1552 bởi cuộc nổi dậy của tuyển hầu tước Tin lành Moritz của Sachsen và các đồng minh của ông. Trong các cuộc đàm phán tại Passau vào mùa hè năm 1552, ngay cả các công tước Công giáo cũng đã kêu gọi một nền hòa bình lâu dài, vì sợ tranh cãi tôn giáo sẽ không bao giờ được giải quyết. Hoàng đế, tuy nhiên, không sẵn lòng công nhận sự phân chia tôn giáo của Ki Tô giáo ở phương Tây là vĩnh viễn. Văn kiện này được báo trước bởi Hòa bình Passau, vào năm 1552 đã cho tự do tôn giáo Lutheran sau chiến thắng của quân đội Tin lành. Theo văn kiện của Passau, Karl V chỉ chấp nhận hòa bình cho đến cuộc họp quốc hội đế chế tới, được tổ chức vào đầu năm 1555.
Hiệp ước, được đàm phán thay mặt Karl V bởi em trai của ông, Ferdinand I của Đế quốc La Mã Thần thánh, đã thực sự cho phe Lutheran một địa vị chính thức trong các lĩnh thổ của Đế quốc La Mã Thần thánh, theo chính sách của Cuius Regio, Eius Religio. Các hiệp sĩ và thị trấn đã thực hành tôn giáo Lutheran trong một thời gian đã được miễn trừ theo Declaratio Ferdinandei, nhưng điều khoản bảo tồn giáo hội (Reservatum ecclesiasticum) được cho là ngăn chặn nguyên tắc của Cuius Regio, Eius Religio, được áp dụng nếu một thân vương giám mục chuyển đổi sang đạo Lutheran.
Các nguyên tắc chính

Hòa ước Tôn giáo Augsburg bao gồm ba nguyên tắc chính:
Nguyên tắc Cuius Regio, Eius Religio tạo sự thống nhất tôn giáo trong nội bộ một quốc gia: tôn giáo của công tước trở thành tôn giáo của nhà nước và tất cả cư dân của nó. Những cư dân không thể tuân thủ tôn giáo của công tước được phép chuyển đi nơi khác: một ý tưởng sáng tạo trong thế kỷ 16. Nguyên tắc này đã được thảo luận rất nhiều bởi các đại biểu khác nhau, cuối cùng đã đạt được thỏa thuận về các chi tiết cụ thể về từ ngữ được dùng sau khi kiểm tra vấn đề và giải pháp được đề xuất từ mọi góc độ có thể.
Nguyên tắc thứ hai, được gọi là reservatum ecclesiasticum, bao gồm tình trạng đặc biệt của giáo hội một nước. Nếu vị giám mục của một giáo hội nhà nước  thay đổi tôn giáo của mình, thì cư dân của nhà nước đó không phải làm như vậy. Thay vào đó, vị giám mục dự kiến sẽ từ chức khỏi vị trí của mình, mặc dù điều này không được viết ra trong thỏa thuận.
Nguyên tắc thứ ba, được gọi là Declaratio Ferdinandei (Tuyên bố của Ferdinand), miễn trừ các hiệp sĩ và một số thành phố khỏi yêu cầu đồng nhất tôn giáo, nếu tôn giáo cải cách đã được thực hành ở đó từ giữa những năm 1520. Điều này cho phép một vài thành phố và thị trấn hỗn hợp nơi người Công giáo và Luther đã sống cùng nhau. Nó cũng bảo vệ thẩm quyền của các gia đình hoàng tử, các hiệp sĩ và một số thành phố để xác định sự đồng nhất tôn giáo có nghĩa là gì trong lãnh thổ của họ. Ferdinand đã chèn điều này vào phút cuối, dựa vào quyền của riêng mình.
Nguyên tắc thứ ba đã miễn cho các hiệp sĩ và một số thành phố thuộc thẩm quyền của một công tước giáo phận nếu họ đã thực hành đạo Lutheran trong một thời gian (Lutheranism là nhánh duy nhất của đạo Tin lành được công nhận trong hòa ước). Điều khoản này không được công khai như một phần của hiệp ước, và được giữ bí mật trong gần hai thập kỷ.
Các vấn đề

Bản thân văn bản có vấn đề quan trọng. Mặc dù nó đã tạo cơ sở pháp lý cho việc thực hành đạo Lutheran, nhưng nó không chấp nhận bất kỳ truyền thống cải cách nào khác, như Calvinism, cũng không công nhận ra anabaptism. Mặc dù Hòa ước Tôn giáo Augsburg đã thành công vừa phải trong việc giảm căng thẳng trong đế chế và tăng sự khoan dung, nhưng nó đã để lại những điều quan trọng chưa làm được. Cả Anabaptists và người theo Calvin đều không được bảo vệ dưới hòa ước, rất nhiều nhóm Tin lành sống dưới sự cai trị của một công tước Lutheran vẫn thấy mình có nguy cơ bị kết tội dị giáo.  (Điều 17: "Tuy nhiên, tất cả những người không thuộc về hai tôn giáo được nêu tên ở trên sẽ không thuộc vào hòa ước hiện tại mà hoàn toàn bị loại trừ khỏi nó.") Những người thiểu số này đã không đạt được bất kỳ sự công nhận hợp pháp nào cho đến Hòa ước Westphalia vào năm 1648.
Sự không khoan dung đối với người Calvin khiến họ phải thực hiện các biện pháp tuyệt vọng dẫn đến cuộc chiến tranh ba mươi năm. Một trong những biện pháp đáng chú ý hơn là sự phản kháng thứ ba của Prague (1618), trong đó hai đại diện của Vua Công giáo của Bohemia đại công tước Ferdinand (Matthias là hoàng đế cho đến ngày 20 tháng 3 năm 1619) đã bị ném ra khỏi cửa sổ một lâu đài ở Praha.[cần dẫn nguồn]
Hậu quả

Nguyên tắc bảo lưu giáo hội (Reservatum ecclesiasticum) đã được thử nghiệm trong Chiến tranh Köln (1583-1588), phát triển ngoài kịch bản được Ferdinand hình dung khi ông viết điều luật tạm thời: Tuyển hầu tước giáo phận trị vì, Hermann của Wied, chuyển đổi sang Tin lành; Mặc dù ông không đòi hỏi dân chúng phải đổi đạo, ông đã đặt Calvinism tương đương với Công giáo tại khắp lãnh thổ Köln. Điều này tự nó xuất hiện như một vấn đề pháp lý hai mặt: đầu tiên, Calvinism được coi là một dị giáo; Thứ hai, tuyển hầu tước đã không từ chức, điều này khiến ông đủ điều kiện, ít nhất là về mặt lý thuyết, để bỏ phiếu bầu Hoàng đế. Cuối cùng, cuộc hôn nhân của ông đã tạo ra một tiềm năng rất thực tế để chuyển đổi lãnh thổ của một thân vương giám mục thành một công quốc triều đại, thay đổi sự cân bằng của quyền lực tôn giáo trong Đế chế.
Một tác dụng phụ của sự biến loạn tôn giáo là quyết định của Karl V về việc thoái ngôi và chia lãnh thổ Habsburg thành hai phần. Anh trai của ông, Ferdinand cai trị vùng đất Áo, và con trai Công giáo nhiệt thành của Karl V, Philip II, trở thành người cai trị Tây Ban Nha, Hà Lan thuộc Tây Ban Nha, một phần của Ý và các tổ chức ở nước ngoài khác.
Thư mục

Holborn, Hajo. A History of Modern Germany, The Reformation. Princeton: Princeton University Press, 1959 [1982], ISBN 9780691007953.
Paressisus viridipennis

| Paressisus viridipennis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Paressisus
Loài (species): P. viridipennis
Danh pháp hai phần
Paressisus viridipennis Aurivillius, 1917 
Paressisus viridipennis là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Megapenthes punctatus

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

↑  Elateridae in Synopsis of the described Coleoptera of the World 6 juni 2010
Jacamaralcyon tridactyla

| Jacamaralcyon tridactyla> Tình trạng bảo tồn |
| --- | --- |
 Sắp nguy cấp  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Aves
Bộ (ordo): Galbuliformes
Họ (familia): Galbulidae
Chi (genus): Jacamaralcyon
Loài (species): J. tridactyla
Danh pháp hai phần
Jacamaralcyon tridactyla
Jacamaralcyon tridactyla là một loài chim trong họ Galbulidae.
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.
Paramimistena subglabra

| Paramimistena subglabra> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Paramimistena
Loài (species): P. subglabra
Danh pháp hai phần
Paramimistena subglabra
Paramimistena subglabra là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Lepanthes greenwoodii

| Lepanthes greenwoodii> 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): Lepanthes
Loài (species): L. greenwoodii
Danh pháp hai phần
Lepanthes greenwoodii Salazar & Soto Arenas 
Lepanthes greenwoodii là một loài thực vật có hoa trong họ Lan. Loài này được Salazar & Soto Arenas mô tả khoa học đầu tiên năm 1996.
Chú thích

↑  The Plant List (2010). “Lepanthes greenwoodii”. Truy cập ngày 7 tháng 6 năm 2013.
Nguyên tắc định giá chi phí trung bình

Nguyên tắc định giá chi phí trung bình là một trong những cách chính phủ điều tiết một thị trường độc quyền. Các nhà độc quyền có xu hướng sản xuất ít hơn số lượng tối ưu đẩy giá lên cao. Chính phủ có thể sử dụng giá chi phí trung bình như một công cụ để điều chỉnh giá mà các nhà độc quyền có thể tính phí.
Định giá chi phí trung bình buộc các nhà độc quyền giảm giá đến nơi tổng chi phí trung bình (ATC) của công ty giao với đường cầu thị trường. Hiệu ứng trên thị trường sẽ là:
Tăng sản lượng và giảm giá.
Tăng phúc lợi xã hội (phân bổ nguồn lực hiệu quả).
Tạo lợi nhuận bình thường cho nhà độc quyền (Giá = ATC) *
La Couture-Boussey

| --- | --- |
 La Couture-Boussey
La Couture-Boussey
Vị trí trong vùng Upper Normandy La Couture-Boussey 
Hành chính
Quốc gia:  Pháp
Vùng: Normandie
Tỉnh: Eure
Quận: Évreux
Tổng: Saint-André-de-l'Eure
Xã (thị) trưởng: SYLVAIN BOREGGIO
Thống kê
Độ cao: 95–137 m (312–449 ft) (bình quân 135 m (443 ft)[chuyển đổi: tùy chọn không hợp lệ])
Diện tích đất1: 10,9 km2 (4,2 dặm vuông Anh)
Nhân khẩu2: 1.957  (1999)
 - Mật độ: 180/km2 (470/sq mi)
INSEE/Mã bưu chính: 27183/ 27750
1 Dữ liệu địa chính Pháp loại trừ các hồ và ao lớn hơn 1 km² (0.386 dặm vuông hoặc 247 acre) cũng như các cửa sông.
2 Dân số không tính hai lần: cư dân của nhiều xã (ví dụ, các sinh viên và quân nhân) chỉ tính một lần.
La Couture-Boussey  là một xã thuộc tỉnh Eure trong vùng Normandie miền bắc nước Pháp.
Lasioglossum serenum

| Lasioglossum serenum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Halictidae
Phân họ (subfamilia): Halictinae
Tông (tribus): Halictini
Chi (genus): Lasioglossum
Loài (species): L. serenum
Danh pháp hai phần
Lasioglossum serenum (Cameron, 1897) 
Lasioglossum serenum là một loài Hymenoptera trong họ Halictidae. Loài này được Cameron mô tả khoa học năm 1897.
Chú thích

↑  (2008) Integrated Taxonomic Information System (ITIS) Bee Checklist 3 oktober 2008
Monochamus latefasciatus

| Monochamus latefasciatus |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Monochamus
Loài (species): M. latefasciatus
Danh pháp hai phần
Monochamus latefasciatus Breuning, 1944 
Monochamus latefasciatus là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Megachile alata

| Megachile alata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Megachilidae
Phân họ (subfamilia): Megachilinae
Tông (tribus): Megachilini
Chi (genus): Megachile
Loài (species): M. alata
Danh pháp hai phần
Megachile alata Mitchell, 1934 
Megachile alata là một loài Hymenoptera trong họ Megachilidae. Loài này được Mitchell mô tả khoa học năm 1934.
Chú thích

↑  (2008) Integrated Taxonomic Information System (ITIS) Bee Checklist 3 oktober 2008
Nguyên tắc trang phục phương Tây

Nguyên tắc trang phục phương Tây là các quy tắc, quy định về kiểu ăn mặc các loại trang phục cho từng dịp, từng sự kiện của người phương Tây. Theo sự phân loại truyền thống thì có bốn cấp độ: trang phục trang trọng (hoặc trang phục lễ nghi), trang phục bán trang trọng (hoặc trang phục giao thiệp), trang phục xã giao (hoặc trang phục công sở) và trang phục giản dị (hoặc trang phục thường ngày). Hai cấp độ đầu tiên đôi khi có sự quy định khắt khe loại trang phục mặc vào ban ngày và buổi tối.
Limonia acutissima

| Limonia acutissima> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Diptera
Họ (familia): Limoniidae
Chi (genus): Limonia
Loài (species): L. acutissima
Danh pháp hai phần
Limonia acutissima Alexander, 1968 
Limonia acutissima là một loài ruồi trong họ Limoniidae. Chúng phân bố ở miền Ấn Độ - Mã Lai.
Hệ thống kiểu Hindley–Milner

Hệ thống kiểu Hindley–Milner (HM) là một hệ thống kiểu cổ điển cho phép tính lambda với đa hình tham số (parametric polymorphism). Nó còn được gọi là Damas–Milner hay Damas–Hindley–Milner. Nó được mô tả lần đầu tiên bởi J. Roger Hindley và sau đó được khám phá lại bởi Robin Milner. Luis Damas đã đóng góp một phân tích và bằng chứng chính thức chặt chẽ trong luận án tiến sĩ của mình.
Trong số các đặc tính đáng chú ý hơn cả của HM là tính đầy đủ và khả năng suy luận ra kiểu tổng quát nhất của một chương trình nhất định mà không cần chú thích kiểu (type annotation) hay gợi ý khác do lập trình viên cung cấp. Giải thuật W là một phương pháp suy luận kiểu (type inference) hiệu quả, thực hiện trong (gần như) thời gian tuyến tính mà vẫn bảo đảm kích thước mã nguồn, khiến nó rất hữu ích trong thực tế để suy luận kiểu của chương trình lớn. HM được sử dụng nhiều cho ngôn ngữ hàm. Nó được hiện thực lần đầu như là một phần của hệ thống kiểu trong ngôn ngữ lập trình ML. Kể từ đó, HM đã được mở rộng theo nhiều cách, đáng chú ý nhất là với các ràng buộc kiểu lớp (type class constraint) như trong Haskell.
Introduction

Bài chi tiết: Hệ thống kiểu
Horisme vitalbata

| Horisme vitalbata |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Horisme
Loài (species): H. vitalbata
Danh pháp hai phần
Horisme vitalbata Denis & Schiffermüller, 1775 
Horisme vitalbata là một loài bướm đêm thuộc họ Geometridae. The species occurs ở châu Âu.
Sải cánh dài 30–35 mm. Chiều dài cánh trước là 15–17 mm. Con trưởng thành bay làm hai đợt từ tháng 5 đến tháng 6 và một lần nữa vào tháng 8.
Ấu trùng ăn Clematis vitalba.
Myconia appendiculata

| Myconia appendiculata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Diptera
Họ (familia): Tachinidae
Chi (genus): Myconia
Loài (species): M. appendiculata
Danh pháp hai phần
Myconia appendiculata
Myconia appendiculata là một loài ruồi trong họ Tachinidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 20 tháng 6 năm 2014.
↑  James E. O’Hara WORLD GENERA OF THE TACHINIDAE (DIPTERA) AND THEIR REGIONAL OCCURRENCE; Version 7; 10 december 2012
Lepanthes grisebachiana

| Lepanthes grisebachiana> 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): Lepanthes
Loài (species): L. grisebachiana
Danh pháp hai phần
Lepanthes grisebachiana Hespenh. 
Lepanthes grisebachiana là một loài thực vật có hoa trong họ Lan. Loài này được Hespenh. mô tả khoa học đầu tiên năm 1973.
Chú thích

↑  The Plant List (2010). “Lepanthes grisebachiana”. Truy cập ngày 7 tháng 6 năm 2013.
Megachile albidula

| Megachile albidula> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Megachilidae
Phân họ (subfamilia): Megachilinae
Tông (tribus): Megachilini
Chi (genus): Megachile
Loài (species): M. albidula
Danh pháp hai phần
Megachile albidula Alfken, 1931 
Megachile albidula là một loài Hymenoptera trong họ Megachilidae. Loài này được Alfken mô tả khoa học năm 1931.
Chú thích

↑  (2008) Integrated Taxonomic Information System (ITIS) Bee Checklist 3 oktober 2008
Marina Oswald Porter

| Marina Oswald Porter Марина Освальд Портер |
| --- | --- |
Marina Oswald tại Minsk
Sinh: Marina Nikolayevna Prusakova 17 tháng 7, 1941 (83 tuổi) Molotovsk, nước Nga Xô viết, Liên Xô
Quốc tịch: American (formerly Soviet)
Nghề nghiệp: Pharmacist
Phối ngẫu: Lee Harvey Oswald (cưới 1961⁠–⁠1963) Kenneth Jess Porter  (cưới 1965)
Con cái: 3
Marina Nikolayevna Oswald Porter (nhũ danh Prusakova; tiếng Nga: Марина Николаевна Прусакова; sinh ngày 17 tháng 7 năm 1941) là góa phụ người Mỹ gốc Liên Xô của Lee Harvey Oswald, người ám sát Tổng thống Mỹ John F. Kennedy. Cô kết hôn với Oswald trong thời gian anh ta tạm thời đào tẩu sang Liên Xô và cùng anh ta di cư sang Hoa Kỳ. Cô không liên quan đến vụ ám sát trên và tái hôn hai năm sau khi Oswald bị giết.
Đầu đời

Porter tên khai sinh là Marina Nikolayevna Prusakova tại thành phố Molotovsk (nay là Severodvinsk), thuộc Arkhangelsk Oblast, ở phía tây bắc của Liên Xô. Cô sống ở đó với mẹ và cha dượng cho đến năm 1957, khi cô chuyển đến Minsk để sống với chú Ilya Prusakov, một đại tá trong Bộ Nội vụ Liên Xô, và theo học ngành dược.