Yazılı delil başlangıcı, senetle ispat kuralının bir istisnasıdır. Kesin delil ile ispat olunabilecek bir hususun, takdiri bir delilin başka bir takdiri delil ile kuvvetlendirilmesi ile ispat olunabilmesidir.
Pisagor teoremi veya Pisagor bağıntısı, Öklid geometrisinde üçgenin kenarları arasındaki temel ilişkiyi kuran ilk teoremlerden biridir. Teoreme gerçek hayattan örnek olarak telli çalgıları gösterilebilir; 'telin uzunluğu arttıkça titreşim artar' prensibine dayanır. Pisagor'un denklemi olarak da isimlendirilen bu teorem, a, b ve c kenarlarının arasındaki ilişkiyi şu şekilde açıklar:
Allah (Arapça: الله, romanize:
Geometri, matematiğin uzamsal ilişkiler ile ilgilenen alt dalıdır. Yunanca Γεωμετρία "Geo" (yer) ve "metro" (ölçüm) birleşiminden türetilmiş bir isimdir.
Cantor, tamsayılar kümesinin kardinalitesinin reel sayılar kümesinin kardinalitesinden büyük olduğunu, paradokslu olarak söyleyecek olursak, reel sayılar sonsuz kümesinin, tam sayılar sonsuz kümesinden büyük olduğunu ispat etmiştir.
Temyiz, ayırt etme, seçme, ayırma; hukukta, doğruyu yanlıştan ayıran kuruldur.
Âyet ya da Âyet-i Kerime, Kur'an surelerini oluşturan harf, kelime veya cümlelerdir.
Barak Baba, ünlü bir Babai dervişidir. Kesin olarak nerede doğduğu bilinmemektedir. Anadolu'nun Selçuklu Türklerinin eline geçmesinden sonra Müslümanlaştırılması görevini bu büyük zatlara vermesi ile Anadolu'daki çeşitli tekke ve zaviyeler bu insanlar tarafından devamlı dolaşılır olmuştur. Tüm Anadoluda bunların izleri ve saygınlıkları sürdürülmüştür. Afyonun Sandıklı ilçesinde de bir türbesi yer almaktadır. Burada yalnız Barak'ın değil Sarı Saltuk'un ve Taptuk Emre'nin de mezarlarının olması acaba Barak'ın hocalarının yanında mı olmak arzusundan dolayı mı, yoksa Babailik hareketinin merkezi olmasından mı burayı tercih ettiği kesinlik kazanamamıştır. Barak Baba böylesi bir düşünsel siyasal birikimin tam merkezinde olan biridir. Bu durum onun düşünsel ve siyasal kimliğinin oluşmasında belirleyicidir.
Medeni hukuk, kişilerin birbiriyle ya da belirli ölçülerde kişilerle devletin doğrudan veya dolaylı özel ilişkilerinin kamu hukuku gibi başka bir hukuk dalının konusuna girmeyen hukuk dalına verilen addır. Temeli Roma hukukuna dayanır ve Cermen halkları tarafından geliştirilmiştir. Tüm Kara Avrupası'nda ve onlardan etkilenen birçok ülkede uygulanan bir hukuk dalıdır.
Delil hukuki işlemlerde bir şeyi teyit etmeye yönelik kullanılan ipuçlarıdır. Bu ipuçları, karara varılırken hangi ispatların dikkate alınması veya hangilerinin dikkate alınmaması gerektiğini belirler. Deliller belgesel delil, maddi delil, dijital delil, aklayıcı delil, suçlayıcı delil, uydurma delil türlerinde olabilir.
Sigorta poliçesi, bir sigorta sözleşmesinin koşullarını içeren belge.
Krank miline bağlı krankın hareketi ile direkt dönen ve ateşleme zamanında aldığı gücü diğer zamanlarda motorun dönmesi için harcayarak hareketinin devamlılığını sağlayan büyük silindirik dişlidir.Krank mili ile birlikte motorun dengesini sağlar.
Hukukta senet, bir vakanın delilini teşkil etmek üzere bir kişi tarafından imzalanan ve imzalayanın aleyhine delil teşkil eden yazılı belgedir. Bu anlamda senet, iki tarafın da imza atarak onayladığı bir kontrat (akit)'ten farklıdır. Senet genelde bir mali (borçlanma) veya mülkiyet ilişkisinin kabulü şeklindedir.
Medeni usûl hukuku, özel hukuk yargılama usulünü konu alan hukuk dalıdır. Çekişmeli ve çekişmesiz yargı şeklinde ikiye ayrılmaktadır. Çekişmeli yargının konusu davadır. Çekişmesiz yargı ise genel anlamda taraflar arasında uyuşmazlık konusu olmayan, kişinin daha çok malvarlığı ve şahısvarlığına etki eden işleri konu edinen bir yargılama türüdür.
Kitabü'ş-Şifa, İbn-i Sina'nın yazmış olduğu İyileşme Kitabı anlamına gelen bir eserdir. Başta mantık, matematik, fizik ve metafizik olmak üzere tüm bilim dalları hakkında yazılmıştır ve 11 cilttir. Birçok kere Latinceye çevrilmiş ve ders kitabı olarak okutulmuştur.
Vizeden muaf ülkelerden birinden gelinmediği sürece Mikronezya ziyaretçileri vize almak zorundadır. Ülkeye giriş tarihinden sonra pasaportun en az 120 gün süreyle geçerli olmalıdır. Mikronezya Federal Devletleri gelen tüm ziyaretçilerin geçerli bir pasaporta sahip olması gerekmektedir. Bu kuralın istisnası vatandaşlar, ayrıca nüfus cüzdanı veya giriş izni ile vatandaşlık ya da milliyetini ispat edebilen, Palau, Marshall Adaları Cumhuriyeti ya da Amerika Birleşik Devletleri'nin vatandaşlarıdır. Bu ülkelerin vatandaşlarına bir yıla kadar geçerli giriş izni verilir. Diğer milletlerin vatandaşlarına 30 gün kalış izin verilir ya da kalış sürelerini 60 güne kadar uzatılabilirler. Kalkışa vergi uygulanır.
Debian Özgür Yazılım Yönergeleri, Debian Projesinin bir yazılım lisansının özgür yazılım lisansı olup olmadığını belirlemek için kullandığı bir dizi yönergedir. Bir yazılım parçasının Debian'a dahil edilip edilemeyeceğini belirlemek için kullanılır. DFSG, Debian Sosyal Sözleşmesinin bir parçasıdır.
Hisse ispatı, (PoS) bir kripto para blok zinciri ağının dağıtık fikir birliğine ulaşmayı amaçladığı bir algoritma türüdür. PoS tabanlı kripto para birimlerinde, bir sonraki bloğu oluşturan, rassal seçim ve zenginliğin ya da yaşın çeşitli kombinasyonları yoluyla seçilir. Aksine, bitcoin gibi emek ispatınadayanan kripto paraların algoritması, madencilik kullanır. Yani, kayıtları (transaction) doğrulamak ve yeni bloklar oluşturmak için yoğun hesaplamalı bulmacaların çözümünü gerektirir.
Emek ispatı , denial-of-service saldırıları ve bir ağ üzerinde bulunan spam mesajlar ile servislerin kötüye kullanımını, istemciden bir miktar iş yapmasını isteyerek önleme amaçlı ekonomik bir ölçüdür. Bu kavram, Cynthia Dwork ve Moni Naor tarafından 1993 tarihli bir dergi makalesiyle ilk kez ortaya konmuştur. "Emek İspatı" terimi ya da POW ilk kez Markus Jakobsson ve Ari Juels tarafından 1999 tarihli bir yayında literatüre kazandırılarak resmîleştirilmiştir. Emek ispatı sisteminin bir para birimine değer kazandırmak amacıyla kullanıldığı ilk örneklerden biri Solomon Adalarında kullanılan shell moneydir.
Karine, bir şeyin varlığını gösteren işaret, emare anlamına gelen bir kelimedir. Arapçadaki karn kelimesinden türemiştir. Bu kelimenin yakınlık, yaklaşma, yakınlaşma, bir araya gelme/getirme, birleşme, yanında olma gibi anlamları vardır. Hukuk terimi olarak karine ise, bir yakınlığa bağlı olarak bir durumu, varsayımı işaret eden ipucu, bulgu, emare anlamına gelir.
Yetki ispatı ya da otorite ispatı, blockchain ağlarına pratik ve verimli bir çözüm sunan, itibar bazlı bir mutabakat algoritmasıdır. Bu terim 2017 yılında Ethereum kurucu ortağı ve eski Teknolojiden Sorumlu Başkan’ı Gavin Wood tarafından öne sürülmüştür.