Matches in Wikidata for { <http://www.wikidata.org/entity/Q242028> ?p ?o ?g. }
- Q242028 description "een formeel systeem in de logische rekenkunde" @default.
- Q242028 description "et formelt system indenfor den matematiske logik" @default.
- Q242028 description "formaalin laskennan malli" @default.
- Q242028 description "formal system in mathematical logic" @default.
- Q242028 description "formala komputa sistemo" @default.
- Q242028 description "formale Sprache zur Untersuchung von Funktionen" @default.
- Q242028 description "formální systém a výpočetní model používaný v teoretické informatice a matematice" @default.
- Q242028 description "sistema formal de lògica matemàtica" @default.
- Q242028 description "sistema formale definito nel 1936 dal matematico Alonzo Church" @default.
- Q242028 description "système formel de la logique mathématique" @default.
- Q242028 description "фармальная сыстэма ў матэматычнай лёгіцы" @default.
- Q242028 description "формален систем во математичката логика" @default.
- Q242028 description "ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար" @default.
- Q242028 description "مبدا" @default.
- Q242028 description "ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์" @default.
- Q242028 description "計算の実行を関数への引数評価としてモデル化した計算体系" @default.
- Q242028 description "추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계" @default.
- Q242028 name "Càlcul lambda" @default.
- Q242028 name "Lambda hesablaması" @default.
- Q242028 name "Lambda račun" @default.
- Q242028 name "Lambda-Kalkül" @default.
- Q242028 name "Lambda-kalkulo" @default.
- Q242028 name "Phép tính lambda" @default.
- Q242028 name "calculul lambda" @default.
- Q242028 name "cálculo lambda" @default.
- Q242028 name "cálculo lambda" @default.
- Q242028 name "kalkulong lambda" @default.
- Q242028 name "lambda calcolo" @default.
- Q242028 name "lambda calculus" @default.
- Q242028 name "lambda kalkul" @default.
- Q242028 name "lambda kalkul" @default.
- Q242028 name "lambda račun" @default.
- Q242028 name "lambda račun" @default.
- Q242028 name "lambda račun" @default.
- Q242028 name "lambda-arvutus" @default.
- Q242028 name "lambda-calcul" @default.
- Q242028 name "lambda-kalkulo" @default.
- Q242028 name "lambda-kalkulus" @default.
- Q242028 name "lambda-reikningur" @default.
- Q242028 name "lambdacalculus" @default.
- Q242028 name "lambdakalkyl" @default.
- Q242028 name "lambdakalkyle" @default.
- Q242028 name "lambdakalkyle" @default.
- Q242028 name "lambdakalkyyli" @default.
- Q242028 name "lamda Kalkülüs" @default.
- Q242028 name "rachunek lambda" @default.
- Q242028 name "λ 演算" @default.
- Q242028 name "λογισμός λάμδα" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "λ演算" @default.
- Q242028 name "Лямбда-ларар" @default.
- Q242028 name "ламбда рачун" @default.
- Q242028 name "ламбда-пресметка" @default.
- Q242028 name "лямбда-вылічэньне" @default.
- Q242028 name "лямбда-исчисление" @default.
- Q242028 name "лямбда-числення" @default.
- Q242028 name "Լամբդա արտահայտություն" @default.
- Q242028 name "תחשיב למדא" @default.
- Q242028 name "جبر لاندا" @default.
- Q242028 name "جیاکاری و تەواوکاری لامدا" @default.
- Q242028 name "حسابات اللامدا" @default.
- Q242028 name "ল্যাম্ডা ক্যালকুলাস" @default.
- Q242028 name "லாம்டா நுண்கணிதம்" @default.
- Q242028 name "แคลคูลัสแลมบ์ดา" @default.
- Q242028 name "ラムダ計算" @default.
- Q242028 name "람다 대수" @default.
- Q242028 type Item @default.
- Q242028 label "Càlcul lambda" @default.
- Q242028 label "Lambda hesablaması" @default.
- Q242028 label "Lambda račun" @default.
- Q242028 label "Lambda-Kalkül" @default.
- Q242028 label "Lambda-kalkulo" @default.
- Q242028 label "Phép tính lambda" @default.
- Q242028 label "calculul lambda" @default.
- Q242028 label "cálculo lambda" @default.
- Q242028 label "cálculo lambda" @default.
- Q242028 label "kalkulong lambda" @default.
- Q242028 label "lambda calcolo" @default.
- Q242028 label "lambda calculus" @default.
- Q242028 label "lambda kalkul" @default.
- Q242028 label "lambda kalkul" @default.
- Q242028 label "lambda račun" @default.
- Q242028 label "lambda račun" @default.
- Q242028 label "lambda račun" @default.
- Q242028 label "lambda-arvutus" @default.
- Q242028 label "lambda-calcul" @default.
- Q242028 label "lambda-kalkulo" @default.
- Q242028 label "lambda-kalkulus" @default.
- Q242028 label "lambda-reikningur" @default.
- Q242028 label "lambdacalculus" @default.
- Q242028 label "lambdakalkyl" @default.
- Q242028 label "lambdakalkyle" @default.
- Q242028 label "lambdakalkyle" @default.
- Q242028 label "lambdakalkyyli" @default.
- Q242028 label "lamda Kalkülüs" @default.