stanford-oval/wikipedia huggingface dataset:
Singa haddooensis

| Singa haddooensis |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Animalia
Filum:: Arthropoda
Kelas:: Arachnida
Ordo:: Araneae
Famili:: Araneidae
Spesies:: Singa haddooensis
Nama binomial
Singa haddooensis Tikader, 1977

Singa haddooensis adalah spesies laba-laba yang tergolong famili Araneidae. Spesies ini juga merupakan bagian dari ordo Araneae. Nama ilmiah dari spesies ini pertama kali diterbitkan pada tahun 1977 oleh Tikader.
Laba-laba ini biasanya banyak ditemui di Kapulauan Andaman.
Kradenan, Mrebet, Purbalingga

| Kradenan |
| --- | --- |
Desa
Negara:  Indonesia
Provinsi: Jawa Tengah
Kabupaten: Purbalingga
Kecamatan: Mrebet
Kode pos: 53352
Kode Kemendagri: 33.03.08.2005 
Luas: 105,632 ha
Jumlah penduduk: 2632jiwa
Kepadatan: 2461jiwa/km²
Kradenan adalah desa di kecamatan Mrebet, Purbalingga, Jawa Tengah, Indonesia.Desa Kradenan memiliki luas 105,732 ha.Desa Kradenan terbagi dalam 11 RT dan 3 RW/Dusun.Desa Kradenan memiliki beberapa pedukuhan yaitu Dusun I Kradenan Wetan,Dukuh Waler,Dukuh Pagedangan,Dukuh Parungbongas,Dusun III Gendengan.
Batas wilayah Sebelah barat dengan desa Lambur dan Selaganggeng,Selatan dengan desa Onje,timur dengan desa Tangkisan,Utara dengan desa Gandasuli dan Kalapacung kec.Bobotsari.
Jarak Desa Kradenan dengan ibukota kec.Mrebet di Mangunegara 4KM,Jarak dengan ibukota Kabupaten Purbalingga 12KM,Jarak ke ibukota Provinsi Jawa Tengah di Semarang 207KM.Jarak ke ibukota Negara di Jakarta 367KM
A.Fasilitas Pendidikan: 1 unit SD Negeri,1 unit TK,1 unit PAUD,2 unit TPQ
B.Fasilitas Olahraga:GOR Sarajaya Kradenan
C.Fasilitas Kesehatan:Poliklinik Kesehatan Desa(PKD)
D.Fasilitas Peribadatan:2 Masjid,8Musholla
E.Fasilitas Air Bersih:PAMSIMAS TIRTA LOKA JAYA
F.Fasilitas Transportasi:
Angkudes Jalur B(Bobotsari-Kradenan-Tangkisan Sindang).
Angkot Jalur 1(Bobotsari-Kota)
Micro bus Purwokerto-Bobotsari
Medium bus Pekalongan-Pemalang-Purwokerto
Big bus Jabodetabek,Yogyakarta,Bandung dan Surabaya .
Desa Kradenan dilalui jalur Jalan Provinsi yang menghubungkan Purbalingga-Pemalang.
G.Fasilitas Irigasi:Desa Kradenan dilalui Aliran Sungai Soso,dan Anak sungainya Kali Cideng dan selokan saluran irigasi pertanian.
| l b Kecamatan Mrebet, Kabupaten Purbalingga, Jawa Tengah |
| --- | --- |
Desa:  Binangun  Bojong  Campakoah  Cipaku  Karang Nangka  Karangturi  Kradenan  Lambur  Mangunegara  Mrebet  Onje  Pager Andong  Pengalusan  Sangkanayu  Selaganggeng  Serayu Karanganyar  Serayu Larangan  Sindang  Tangkisan
Sistem kabel Surabaya-Ujung Pandang-Banjarmasin

| --- | --- |
Jenis kabel: Fibre-optic
Mulai dibangun: 1996
Selesai dibangun: 1998
Kapasitas maksimum: 5 gbit/dtk
Pembangun: KDD Submarine Cable Systems
Titik pendaratan: Sulawesi, Jawa, Kalimantan
Jangkauan: Surabaya-Ujung Pandang-Banjarmasin
Pemilik: Telkom Indonesia
Kabel sistem Surabaya – Ujung Pandang - Banjarmasin (bahasa Inggris: Surabaya-Ujung Pandang-Banjarmasin cable system, disingkat SUB)adalah kabel komunikasi bawah laut sepanjang 2200 km yang menghubungkan tiga pulau Jawa, Sulawesi dan Kalimantan. Kabel ini dibangun dan dimiliki oleh PT Telkom Indonesia. Kabel ini dibuat pada tahun 1996 dan selesai dikerjakan pada tahun 1998.
Perusahaan perkabelan yang bertanggung jawab membangun kabel SUB adalah KDD Submarine Cable Systems dari Jepang dan TOMEN Corporation. Lalu, Biaya yang digelontorkan untuk proyek pembuatan kabel SUB berjumlah 6.8 miliar yen. Dana tersebut diperoleh dari Bank Dunia.
Kapasitas bawaan yang dimiliki oleh kabel SUB berjumlah 5 gigabit per detik atau setara dengan pengendalian 60.000 aktivitas panggilan telepon secara simultan. Kabel serat optik ini juga dilenkapi dengan teknologi OS-A 5G System yang hanya dimiliki oleh KDD. Meski demikian, layanan yang dapat ditangani juga mencakup komunikasi data dan internet. Kabel ini memiliki durasi kerja sekitar 25 tahun.
Rujukan

1 2 3 4  (Inggris) KDDI. "SUB Cable System".
↑  (Inggris) Repeatered Submarine Fiber Optics Systems (Information Gatekeepers Inc.). "SUB Cable System (hal. 100)".
1 2 3  (Inggris) Telecompaper. "Telkoms Fibre Optic Cable System Launched".
Parulohan, Lintong Nihuta, Humbang Hasundutan

| Parulohan |
| --- | --- |
Desa
Negara:  Indonesia
Provinsi: Sumatera Utara
Kabupaten: Humbang Hasundutan
Kecamatan: Lintong Nihuta
Kode pos: -
Kode Kemendagri: 12.16.05.2017 
Luas: ... km²
Jumlah penduduk: ... jiwa
Kepadatan: ... jiwa/km²
Parulohan merupakan sebuah desa di Kecamatan Lintong Nihuta, Kabupaten Humbang Hasundutan, Provinsi Sumatera Utara, Indonesia.
Edera, Mappi

| Edera |
| --- | --- |
Distrik
Negara:  Indonesia
Provinsi: Papua Selatan
Kabupaten: Mappi
Pemerintahan
 • Kepala distrik: -
Populasi
 • Total: - jiwa
Kode Kemendagri: 93.03.04 
Kode BPS: 9414020 
Luas: - km²
Kampung/kelurahan: 6 Kampung/ 1 Kelurahan
Edera adalah sebuah distrik di Kabupaten Mappi, Papua Selatan, Indonesia. Distrik ini memiliki ibukota di Bade.
Pranala luar

(Indonesia) Keputusan Menteri Dalam Negeri Nomor 050-145 Tahun 2022 tentang Pemberian dan Pemutakhiran Kode, Data Wilayah Administrasi Pemerintahan, dan Pulau tahun 2021
(Indonesia) Peraturan Menteri Dalam Negeri Nomor 72 Tahun 2019 tentang Perubahan atas Peraturan Menteri Dalam Negeri Nomor 137 Tahun 2017 tentang Kode dan Data Wilayah Administrasi Pemerintahan
(Indonesia) Peraturan Menteri Dalam Negeri Nomor 137 Tahun 2017 tentang Kode dan Data Wilayah Administrasi Pemerintahan
| l b Distrik Edera, Kabupaten Mappi, Papua Selatan |
| --- | --- |
Kelurahan:  Bade 
Kampung:  Banamepe  Geturki  Gimikya  Isyaman  Mememu  Yodom 
| l b Kabupaten Mappi, Papua Selatan |
| --- | --- | --- |
 Bupati: Michael Gomar (Pj.)  Wakil Bupati: Tidak ada  Dewan Perwakilan Rakyat Daerah 
| Distrik |  Assue  Bamgi  Citak Mitak  Edera  Haju  Kaibar  Mambioman Bapai  Minyamur  Obaa  Passue  Passue Bawah  Syahcame  Ti Zain  Venaha  Yakomi  |  |
Lihat juga: Daftar distrik, kelurahan, dan kampung di Kabupaten Mappi
Deçan

Halaman ini berisi artikel tentang kota di Kosovo. Untuk untuk kegunaan lain, lihat Deçan (disambiguasi).
| Deçan |
| --- | --- |
Kota
Biara Visoki Dečani
  Lambang
DeçanTampilkan peta KosovoDeçanTampilkan peta Eropa
Koordinat: Templat:Xb_type:city(3803) 42°32′N 20°17′E﻿ / ﻿42.533°N 20.283°E﻿ / 42.533; 20.283
Negara: Kosovo
Distrik: Gjakova
Munisipalitas: Deçan
Ketinggian: 550 m (1,800 ft)
Populasi (2011)
 • Total: 3.803
Zona waktu: UTC+1 (CET)
 • Musim panas (DST): UTC+1 (CEST)
Kode area telepon: +383
Pelat kendaraan: 03
Situs web: kk.rks-gov.net/decan
Deçan adalah sebuah kota di Munisipalitas Deçan, Kosovo. Menurut sensus tahun 2011, kota ini dihuni oleh 3.803 penduduk, sedangkan 40.019 penduduk menghuni di seluruh munisipalitas.
Sejarah

Pada tahun 1330, seorang bangsawan di Deçan mengatakan bahwa banyak keturunan Albania di Kosovo yang tinggal di kawasan ini, termasuk desa-desa seperti Isniq dan Gramaçel. Seorang bangsawan Serbia yang diberikan mandat oleh Tsar Stefan Dušan dari Serbia untuk Biara Saint Mihail dan Gavril di Prizren antara tahun 1348-1353, menyatakan bahwa adanya etnis Albania di dataran Dukagjin, dan etnis Albania disebut sebagai petani dan penggembala di Deçan. Gereja Ortodoks Serbia diberikan mandat atas desa-desa dengan etnis Albania di kawasan ini  dan juga di Prizren dan Tetova oleh raja-raja Serbia, terutama Stefan Dušan. Sejarawan Serbia, Stanojević, menemukan bahwa pada suatu masa terdapat seorang ayah mempunyai nama Albania dan anaknya mempunyai nama Serbia. Hal ini menunjukkan proses asimiliasi Slavic terhadap Albania di kawasan ini pada masa pendudukan oleh kaisar-kaisar Serbia.
Setelah migrasi besar-besaran bangsa Serbia pada abad ke-17 dan 18, banyak etnis Serbia meninggalkan kawasan Deçan. Populasi etnis Albania tetap bermukim di kawasan ini di bawah perlindungan Biara Visoki Dečani.
Ketika Perang Kosovo pada tahun 1998–1999, Deçan adalah markas Tentara Pembebasan Kosovo dan mengalami kerusakan infrastruktur yang parah akibat serangan kepolisian Serbian dan paramiliter. Tentara Pembebasan sering menyelundupkan senjata melalui kota ini. Pada Agustus 1995, pada insiden sebelum Perang Kosovo, kantor polisi Serbia diserang dan dibakar oleh kelompok bersenjata. Pembangunan ulang besar-besaran dilakukan dengan bantuan internasional serta dukungan dari etnis Albania Kosovo.
Pranala luar

Situs web resmi Munisipalitas Deçan
| l b Kotamadya di Republik Kosovo  |
| --- | --- |
Distrik Ferizaj:  Ferizaj  Hani i Elezit  Kaçanik  Shtime  Štrpce 
Distrik Gjakova:  Deçan  Gjakova  Junik  Rahovec 
Distrik Gjilan:  Gjilan  Kamenica  Klokot  Parteš  Ranilug  Vitia 
Distrik Mitrovica:  Leposavić  Mitrovica  Mitrovica Utara  Skenderaj  Vushtrri  Zubin Potok  Zvečan 
Distrik Peja:  Peja  Istog  Klina 
Distrik Pristina:  Drenas  Fushë Kosovë (Kosovo Polje)  Gračanica  Obiliq  Lipjan  Novo Brdo  Podujevo  Pristina 
Distrik Prizren:  Dragash  Malisheva  Mamusha  Prizren  Suva Reka
Carex retrorsa

| Carex retrorsa |
| --- | --- |


Klasifikasi ilmiah
Kerajaan:: Plantae
(tanpa takson):: Tracheophyta
(tanpa takson):: Angiospermae
(tanpa takson):: Monokotil
(tanpa takson):: Komelinid
Ordo:: Poales
Famili:: Cyperaceae
Genus:: Carex
Spesies:: Carex retrorsa
Nama binomial
Carex retrorsa Schwein.

Carex retrorsa adalah spesies tumbuhan seperti rumput yang tergolong ke dalam famili Cyperaceae. Spesies ini juga merupakan bagian dari ordo Poales. Spesies Carex retrorsa sendiri merupakan bagian dari genus Carex. Nama ilmiah dari spesies ini pertama kali diterbitkan oleh Schwein..
Parumasan, Sodonghilir, Tasikmalaya

| Parumasan |
| --- | --- |
Desa
Negara:  Indonesia
Provinsi: Jawa Barat
Kabupaten: Tasikmalaya
Kecamatan: Sodonghilir
Kode Kemendagri: 32.06.12.2001 
Luas: -
Jumlah penduduk: -
Kepadatan: -
Parumasan adalah desa di kecamatan Sodonghilir, Tasikmalaya, Jawa Barat, Indonesia.
Pranala luar

(Indonesia) Keputusan Menteri Dalam Negeri Nomor 050-145 Tahun 2022 tentang Pemberian dan Pemutakhiran Kode, Data Wilayah Administrasi Pemerintahan, dan Pulau tahun 2021
(Indonesia) Peraturan Menteri Dalam Negeri Nomor 72 Tahun 2019 tentang Perubahan atas Peraturan Menteri Dalam Negeri Nomor 137 Tahun 2017 tentang Kode dan Data Wilayah Administrasi Pemerintahan
(Indonesia) Peraturan Menteri Dalam Negeri Nomor 137 Tahun 2017 tentang Kode dan Data Wilayah Administrasi Pemerintahan
| l b Kecamatan Sodonghilir, Kabupaten Tasikmalaya, Jawa Barat |
| --- | --- |
Desa:  Cikalong  Cipaingeun  Cukangjayaguna  Cukangkawung  Leuwidulang  Muncang  Pakalongan  Parumasan  Raksajaya  Sepatnunggal  Sodonghilir  Sukabakti
Kokkoku

Kokkoku (Jepang: 刻刻 Kokkoku) adalah film anime adaptasi seri manga Jepang bergenre horror, drama, dan misteri yang ditulis serta diilustrasikan oleh Seita Horio. Manga-nya sendiri diserialisasikan di koran Kodansha Morning Two mulai 21 Agustus 2009 sampai 23 Oktober 2014 dan dikompilasi ke dalam 8 bolume tankobon.
Sinopsis

Juri Yukawa adalah seorang gadis yang tinggal bersama ayah dan kakak laki-lakinya yang pengangguran, kakak perempuan yang sudah memiliki anak, keponakannya, serta kakeknya. Selama 30 menit, Juri dituntut untuk menyediakan uang yang banyak untuk menebus kakak dan keponakannya dari tangan penculik. Karena waktu yang disediakan sangat terbatas, Juri memutuskan untuk pergi menyelamatkan mereka dengan bermodalkan sebuah pisau. Namun, tindakannya dihentikan oleh kakeknya. Sang kakek mengeluarkan sebuah batu misterius yang telah diwariskan dari generasi ke generasi. Karena batu misterius itu, seketika waktu di dunia ini berhenti kecuali mereka yang menggunakannya.
Karakter

| Karakter | Pengisi Suara |
| --- | --- |
Juri Yukawa (佑河樹里 Yukawa Juri): Chika Anzai
Shoko Majima (間島翔子 Majima Shōko): Asami Seto
Kakek (じいさん Jii-san): Kazuhiro Yamaji
Junji Sagawa (佐河順治 Sagawa Junji): Hozumi Goda
Takafumi Yukawa (佑河貴文 Yukawa Takafumi): Koji Tsujitani
Tsubasa Yukawa (佑河翼 Yukawa Tsubasa): Hirofumi Nojima
Makoto Yukawa (佑河真 Yukawa Makoto): Ryuto Iwata
Shiomi (潮見 Shiomi): Yuya Uchida
Sako (迫 Sako): Hiroyuki Yoshino
Pranala luar

http://kokkoku-anime.com/
Sohn Won-pyung

| Sohn Won-pyung |
| --- | --- |
Nama asli: 손원평
Lahir: 21 April 1979 (umur 45) Seoul, Korea Selatan
Pekerjaan: Penulis sutradara penulis skenario
Almamater: Universitas Sogang
Karya terkenal: Intruder
Orang tua: Sohn Hak-kyu (papa)

Nama Korea
Hangul: 손원평 
Hanja: 孫元平 
Alih Aksara: Son Wonpyeong
McCune–Reischauer: Son Wŏnpyŏng
 
Sohn Won-pyung (lahir 21 April 1979
; bahasa Korea: 손원평) adalah seorang novelis dan pembuat film asal Korea Selatan. Dia telah memenangkan dua penghargaan sastra: pada tahun 2016 untuk Amondeu (아몬드 Almond) dan pada tahun 2017 untuk Seoreunui bangyeok (서른의 반격 Counterattack of the Thirty). Karya-karya Sohn mengeksplorasi makna keberadaan dan pertumbuhan manusia, dan dicirikan oleh penggunaan karakter unik dan perkembangan plot yang cepat.
Carex resectans

| Carex resectans |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Plantae
(tanpa takson):: Tracheophyta
(tanpa takson):: Angiospermae
(tanpa takson):: Monokotil
(tanpa takson):: Komelinid
Ordo:: Poales
Famili:: Cyperaceae
Genus:: Carex
Spesies:: Carex resectans
Nama binomial
Carex resectans Cheeseman

Carex resectans adalah spesies tumbuhan seperti rumput yang tergolong ke dalam famili Cyperaceae. Spesies ini juga merupakan bagian dari ordo Poales. Spesies Carex resectans sendiri merupakan bagian dari genus Carex. Nama ilmiah dari spesies ini pertama kali diterbitkan oleh Cheeseman.
Gelanggang Boolean

Dalam matematika, sebuah gelanggang Boolean R adalah gelanggang x2 = x untuk semua x di R, yaitu, gelanggang yang terdiri dari elemen idempoten. Contohnya adalah gelanggang dari bilangan bulat modulo 2.
Setiap gelanggang Boolean menghasilkan aljabar Boolean, dengan perkalian gelanggang yang sesuai dengan konjungsi atau bertemu ∧, dan penambahan ring ke disjungsi eksklusif atau perbedaan simetris (bukan disjungsi ∨, dalam bentuk semigelanggang). Gelanggang Boolean dinamai menurut penemu aljabar Boolean, George Boole.
Notasi

Setidaknya ada empat sistem notasi yang berbeda dan tidak kompatibel untuk gelanggang dan aljabar Boolean:
Dalam aljabar komutatif notasi standarnya adalah menggunakan x + y = (x ∧ ¬ y) ∨ (¬ x ∧ y) untuk jumlah gelanggang x dan y, dan menggunakangunakan xy = x ∧ y untuk produknya.
Dalam logika, notasi yang umum adalah menggunakan x ∧ y untuk pertemuan (sama seperti produk gelanggang) dan menggunakan x ∨ y untuk sambungan, diberikan dalam notasi gelanggang (diberikan di atas) oleh x + y + xy.
Dalam teori himpunan dan logika, juga umum untuk menggunakan x · y untuk pertemuan, dan x + y untuk sambungan x ∨ y. Penggunaan + ini berbeda dengan penggunaan dalam teori gelanggang.
Sebuah konvensi langka adalah menggunakan xy untuk produk dan x ⊕ y untuk jumlah gelanggang, dalam upaya untuk menghindari ambiguitas +.
Secara historis, istilah "gelanggang Boolean" telah digunakan untuk mengartikan "menggunakan gelanggang Boolean tanpa identitas", dan "aljabar Boolean" telah digunakan untuk mengartikan gelanggang Boolean dengan identitas. Keberadaan identitas diperlukan untuk mempertimbangkan gelanggang sebagai aljabar pada bidang dua elemen: jika tidak, tidak mungkin ada homomorfisme gelanggang (unital) dari medan dua elemen dalam gelanggang Boolean (ini sama dengan penggunaan lama istilah "gelanggang" dan "aljabar" dalam teori pengukuran).
Contoh

Salah satu contoh ring Boolean adalah himpunan kuasa dari sembarang himpunan X, dimana penjumlahan pada ring adalah perbedaan simetris, dan perkaliannya adalah irisan/persimpangan. Sebagai contoh lain, apabila mempertimbangkan himpunan semua hingga atau himpunan bagian kohingga dari X, dengan perbedaan simetris dan irisan sebagai operasi. Lebih umum dengan operasi ini setiap medan himpunan adalah gelanggang Boolean. Dengan teorema wakilan Stone setiap gelanggang Boolean isomorfik pada medan himpunan (sebagai gelanggang dengan operasi ini).
Relasi dengan aljabar Boolean

Karena operasi sambungan ∨ dalam aljabar Boolean ditulis secara aditif, maka dalam konteks ini untuk menyatakan penambahan gelanggang dengan ⊕, sebuah simbol yang sering digunakan untuk menyatakan eksklusif atau.
Diberikan gelanggang Boolean R, untuk x dan y di R maka didefinisikan
Operasi ini kemudian memenuhi semua aksioma untuk pertemuan, sambungan, dan melengkapi dalam aljabar Boolean. Jadi setiap gelanggang Boolean sebagai aljabar Boolean. Demikian pula, setiap aljabar Boolean sebagai gelanggang Boolean sebagai berikut:
Jika gelanggang Boolean ditranslasikan dalam aljabar Boolean dengan cara ini, dan kemudian aljabar Boolean ditranslasikan dalam gelanggang, hasilnya adalah gelanggang asli. Hasil analogi dimulai dengan aljabar Boolean.
Peta antara dua gelanggang Boolean adalah [gelanggang [homomorfisme]] jika dan hanya jika adalah homomorfisme dari aljabar Boolean yang sesuai. Selanjutnya, sebuah himpunan bagian dari gelanggang Boolean adalah gelanggang ideal (ideal gelanggang prima, gelanggang ideal maksimal) jika dan hanya jika adalah urutan ideal (urutan ideal prima, urutan ideal maksimal) dari aljabar Boolean. Gelanggang hasil bagi dari modulo gelanggang ideal Boolean sesuai dengan aljabar faktor dari modulo aljabar Boolean urutan ideal yang sesuai.
Sifat gelanggang Boolean

Setiap gelanggang Boolean R memenuhi x ⊕ x = 0 untuk semua x dalam R, maka
dan karena (R,⊕) adalah grup abelian, apabila mengurangkan x ⊕ x dari kedua ruas persamaan ini, yang menghasilkan x ⊕ x = 0. Bukti serupa menunjukkan bahwa setiap gelanggang Boolean adalah komutatif:
dan ini menghasilkan xy ⊕ yx = 0, yang berarti xy = yx (menggunakan sifat pertama di atas).
Properti x ⊕ x = 0 menunjukkan bahwa sembarang gelanggang Boolean adalah aljabar asosiatif atas medan F 2 dengan dua elemen, dengan tepat satu cara. Secara khusus, setiap ring Boolean berhingga memiliki kardinalitas dari sebuah dua pangkat. Tidak setiap aljabar asosiatif satuan atas F2 adalah gelanggang Boolean: misalnya gelanggang polinomial F2[X].
Gelanggang hasil bagi R/I dari setiap gelanggang Boolean R modulo setiap ideal I salah satu dari gelanggang Boolean. Demikian pula, setiap subgelanggang dari gelanggang Boolean adalah ring Boolean.
Setiap lokalisasi  RS^{-1} dari gelanggang Boolean R dengan himpunan  S\subseteq R adalah gelanggang Boolean, karena setiap elemen dalam lokalisasi adalah idempoten.
Gelanggang maksimal hasil bagi  Q(R) (dalam pengertian Utumi dan Lambek) dari gelanggang Boolean R adalah gelanggang Boolean, karena setiap endomorfisme parsial dengan sifat idempoten.
Setiap ideal prima P dalam gelanggang Boolean R adalah maksimal: gelanggang hasil bagi R/P adalah domain integral dan juga gelanggang Boolean, jadi isomorfik ke medan F2, yang menunjukkan maksimum P. Karena ideal maksimal adalah prima, ideal prima dan ideal maksimal bertepatan dalam gelanggang Boolean.
Gelanggang Boolean adalah cincin beraturan von Neumann.
Gelanggang Boolean memiliki sifat datar: ini berarti bahwa setiap modul di atasnya adalah datar.
Setiap ideal gelanggang Boolean dibangun hingga adalah prinsipal (bahkan, (x,y) = (x + y + xy )).
Unifikasi/Penyatuan

Unifikasi pada gelanggang Boolean adalah desidabilitas, yaitu, algoritma untuk menyelesaikan persamaan arbitrer pada gelanggang Boolean. Baik penyatuan dan pencocokan dalam hingga gelanggang Boolean bebas adalah kelengkapan-NP, dan keduanya NP-hard dalam kesajian-hingga ring Boolean. (faktanya, karena setiap masalah penyatuan f(X) = g(X) dalam gelanggang Boolean apabila ditulis sebagai masalah pencocokan f(' 'X) + g(X) = 0, soalnya ekuivalen).
Unifikasi dalam gelanggang Boolean adalah satuan jika semua simbol fungsi yang tidak diinterpretasikan adalah nullari dan finiter jika tidak (yaitu jika simbol fungsi yang tidak muncul dalam tanda tangan gelanggang Boolean semuanya adalah konstanta, maka apabila unifikasi generalisasi umum, dan jika tidak, himpunan kelengkapan minimal unifikasi hingga).
Lihat pula

Gelanggang bentuk normal jumlah
Pranala luar

John Armstrong, Gelanggang Boolean Diarsipkan 2022-12-05 di Wayback Machine.
| Pengawasan otoritas  |
| --- | --- |
Perpustakaan nasional:  Amerika Serikat 
Lain-lain:  Faceted Application of Subject Terminology  Microsoft Academic 
Diagram Venn untuk operasi Boolean dari konjungsi, disjungsi, dan komplemen
Komando Distrik Militer 0321

| Komando Distrik Militer 0321 |
| --- | --- |
Lambang Korem 031/WB
Dibentuk: 22 Februari 2016
Negara:  Indonesia
Cabang: TNI Angkatan Darat
Tipe unit: Kodim
Peran: Satuan Teritorial
Bagian dari: Kodam I/BB
Markas: Rokan Hilir
Julukan: Kodim 0321/Rohil
Pelindung: Tentara Nasional Indonesia
Baret:  H I J A U 
Maskot: Gajah
Tokoh
Komandan: Letkol Kav Nugraha Yudha Perwiranegara S.IP
Kepala Staf: Mayor
Komando Distrik Militer 0321/Rokan Hilir atau Kodim 0321/Rokan Hilir atau juga biasa disingkat Kodim 0321/Rohil adalah satuan teritorial yang berada di bawah komando dan kendali Korem 031/WB, Kodam I/BB. Peresmian Kodim 0321/Rohil dilakukan pada tanggal 22 Februari 2016 oleh Pangdam I/BB Mayjen TNI Lodewyk Pusung di Kabupaten Rokan Hilir, Provinsi Riau.
Satuan

Berikut ini satuan Komando Rayon Militer (Koramil) yang ada di bawah komando dan kendali Kodim 0321/Rohil:
Koramil 0321-01/Bangko
Koramil 0321-02/Tanah Putih
Koramil 0321-03/Bagan Sinembah
Koramil 0321-04/Kubu
Koramil 0321-05/Rimba Melintang
Koramil 0321-06/Tanjung Medan
Komandan

Berikut ini adalah daftar nama Komandan Kodim (Dandim) 0321/Rohil yang pernah menjabat:
Letkol Arh. Bambang Sukisworo, S.I.P. (23 Februari 2016 — 8 Desember 2017) - Dandim pertama
Letkol Inf. Didik Efendi, S.I.P. (8 Desember 2017 — 20 September 2019)
Letkol Arh. Agung Rachman Wahyudi, S.I.P., M.I.Pol. (20 September 2019 — 21 Januari 2022)
Letkol Inf. Muhammad Erfani, S.H., M.Tr.(Han) (21 Januari 2022 — Juni 2023)
Letkol Kav Nugraha Yudha Perwiranegara S.IP (Juni 2023 - 2023)
Eight Thousand Li of Cloud and Moon (film)

| Eight Thousand Li of Cloud and Moon |
| --- | --- |

Nama lain: 
Tradisional: 八千里路雲和月
Sederhana: 八千里路云和月
Mandarin: Bāqiān lǐ lù yún hé yuè
 
Sutradara: Shi Dongshan Wang Weiyi
Ditulis oleh: Shi Dongshan
Pemeran: Bai Yang Tao Jin
Sinematografer: Wu Tingfang
Penyunting: Han Zhongxia
Perusahaan produksi: Kunlun Film Studio
Tanggal rilis:  1947 (1947)    
Durasi: 124 menit
Bahasa: Mandarin
Eight Thousand Li of Cloud and Moon adalah sebuah film Tiongkok tahun 1947 garapan Shi Dongshan dan Wang Weiyi, yang menampilkan Bai Yang dan Tao Jin, dua pemeran yang tampil dalam The Spring River Flows East yang dirilis pada tahun yang sama. Film tersebut terpilih sebagai salah satu dari 100 film berbahasa Tionghoa terbesar yang dipilih oleh Asia Weekly.
Pranala luar

Eight Thousand Li of Cloud and Moon di IMDb (dalam bahasa Inggris)
Carex reznicekii

| Carex reznicekii |
| --- | --- |

Klasifikasi ilmiah
Kerajaan:: Plantae
(tanpa takson):: Tracheophyta
(tanpa takson):: Angiospermae
(tanpa takson):: Monokotil
(tanpa takson):: Komelinid
Ordo:: Poales
Famili:: Cyperaceae
Genus:: Carex
Spesies:: Carex reznicekii
Nama binomial
Carex reznicekii Werier

Carex reznicekii adalah spesies tumbuhan seperti rumput yang tergolong ke dalam famili Cyperaceae. Spesies ini juga merupakan bagian dari ordo Poales. Spesies Carex reznicekii sendiri merupakan bagian dari genus Carex. Nama ilmiah dari spesies ini pertama kali diterbitkan oleh Werier.
Fra Diavolo (opera)

Templat:Otherusesof
Fra Diavolo, ou L'hôtellerie de Terracine (Fra Diavolo, atau Penginapan Terracina) adalah sebuah opéra comique dalam tiga bagian karya komponis Prancis Daniel Auber, dari sebuah libretto karya kolaborator reguler Auber Eugène Scribe. Karya tersebut berdasarkan pada kehidupan pemimpin gerilya Itrani Michele Pezza, yang aktif di selatan Italia pada periode 1800-1806, yang mengambil nama Fra Diavolo ("Saudara Iblis").