@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q242028 rdfs:label "حسابات اللامدا"@ar,
        "lambda hesablaması"@az,
        "лямбда-вылічэньне"@be-tarask,
        "ল্যাম্ডা ক্যালকুলাস"@bn,
        "lambda račun"@bs,
        "càlcul lambda"@ca,
        "лямбда-ларар"@ce,
        "جیاکاری و تەواوکاری لامدا"@ckb,
        "lambda kalkul"@cs,
        "lambdakalkyle"@da,
        "Lambda-Kalkül"@de,
        "λογισμός λάμδα"@el,
        "lambda calculus"@en,
        "lambda-kalkulo"@eo,
        "cálculo lambda"@es,
        "lambda-arvutus"@et,
        "جبر لاندا"@fa,
        "lambdakalkyyli"@fi,
        "lambda-calcul"@fr,
        "תחשיב למדא"@he,
        "lambda račun"@hr,
        "lambda-kalkulus"@hu,
        "Լամբդա արտահայտություն"@hy,
        "kalkulus lambda"@id,
        "lambda-kalkulo"@io,
        "lambda-reikningur"@is,
        "lambda calcolo"@it,
        "ラムダ計算"@ja,
        "람다 대수"@ko,
        "ламбда-пресметка"@mk,
        "lambdakalkyle"@nb,
        "lambdacalculus"@nl,
        "rachunek lambda"@pl,
        "cálculo lambda"@pt,
        "calculul lambda"@ro,
        "лямбда-исчисление"@ru,
        "lambda račun"@sh,
        "lambda kalkul"@sk,
        "lambda račun"@sl,
        "ламбда рачун"@sr,
        "lambdakalkyl"@sv,
        "லாம்டா நுண்கணிதம்"@ta,
        "แคลคูลัสแลมบ์ดา"@th,
        "kalkulong lambda"@tl,
        "lamda kalkülüs"@tr,
        "лямбда-числення"@uk,
        "phép tính lambda"@vi,
        "λ 演算"@yue,
        "λ演算"@zh,
        "λ演算"@zh-cn,
        "λ演算"@zh-hans,
        "λ演算"@zh-hant,
        "λ演算"@zh-hk,
        "λ演算"@zh-sg,
        "λ演算"@zh-tw ;
    schema1:dateModified "2026-07-21T11:03:16+00:00"^^xsd:dateTime ;
    schema1:description "фармальная сыстэма ў матэматычнай лёгіцы"@be-tarask,
        "sistema formal de lògica matemàtica"@ca,
        "formální systém a výpočetní model používaný v teoretické informatice a matematice"@cs,
        "et formelt system indenfor den matematiske logik"@da,
        "formale Sprache zur Untersuchung von Funktionen"@de,
        "formal system in mathematical logic"@en,
        "formala komputa sistemo"@eo,
        "sistema formal en lógica matemática"@es,
        "مبدا"@fa,
        "formaalin laskennan malli"@fi,
        "système formel de la logique mathématique"@fr,
        "ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար"@hy,
        "sistem formal dalam logika matematika"@id,
        "sistema formale definito nel 1936 dal matematico Alonzo Church"@it,
        "計算の実行を関数への引数評価としてモデル化した計算体系"@ja,
        "추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계"@ko,
        "формален систем во математичката логика"@mk,
        "een formeel systeem in de logische rekenkunde"@nl,
        "Формализм в математической логике"@ru,
        "ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์"@th ;
    schema1:version 2520617444 ;
    wikibase:identifiers 24 ;
    wikibase:sitelinks 47 ;
    wikibase:statements 38 ;
    skos:altLabel "Càlcul λ"@ca,
        "lambda kalkulus"@cs,
        "λ-kalkul"@cs,
        "Alpha-Konversion"@de,
        "Churchscher Lambda-Kalkül"@de,
        "Lambda-Ausdruck"@de,
        "Lambda-Notation"@de,
        "Lambda-Operator"@de,
        "Lambdakalkül"@de,
        "Λάμβδα λογισμό"@el,
        "λ-λογισμος"@el,
        "λ-λογισμός"@el,
        "λάμδα λογισμός"@el,
        "λογισμός λ"@el,
        "lambda calculi"@en,
        "type-free lambda calculus"@en,
        "untyped lambda calculus"@en,
        "λ-calculi"@en,
        "λ-calculus"@en,
        "lambda kalkulo"@eo,
        "lambda-abstraktado"@eo,
        "lambdokalkulo"@eo,
        "λ abstraktado"@eo,
        "λ-abstraktado"@eo,
        "calculo lambda"@es,
        "cálculo λ"@es,
        "cálculo-λ"@es,
        "lambda Calculo"@es,
        "lambda Cálculo"@es,
        "lambda calculus"@es,
        "lambda-calculo"@es,
        "lambda-cálculo"@es,
        "حساب لامبدا"@fa,
        "lambda-kalkyyli"@fi,
        "lambda calcul"@fr,
        "λ-calcul"@fr,
        "למבדה קלקולוס"@he,
        "תחשיב למבדא"@he,
        "netipizirani lambda račun"@hr,
        "λ-հաշվում"@hy,
        "lambda reikningur"@is,
        "λ-reikningur"@is,
        "calcolo lambda"@it,
        "calcolo lambdae"@it,
        "lambda-calcolo"@it,
        "λ計算"@ja,
        "ラムダ式"@ja,
        "ラムダ算法"@ja,
        "λ-칼큘러스"@ko,
        "람다 계산법"@ko,
        "람다 셈법"@ko,
        "람다대수"@ko,
        "λ-пресметка"@mk,
        "ламбда пресметка"@mk,
        "Lambda Calculus"@nl,
        "λ-calculus"@nl,
        "lambda-wyrażenia"@pl,
        "wyrażenia lambda"@pl,
        "lambda cálculo"@pt,
        "calculul λ"@ro,
        "λ-calcul"@ro,
        "λ-исчисление"@ru,
        "ламбда-исчисление"@ru,
        "лямбда исчисление"@ru,
        "லம்டா நுண்கணிதம்"@ta,
        "λ-แคลคูลัส"@th,
        "แลมบ์ดาแคลคูลัส"@th,
        "лямбда числення"@uk,
        "giải tích lambda"@vi,
        "tính toán lambda"@vi,
        "lambda 演算"@zh,
        "lambda可定义函数"@zh,
        "lambda演算"@zh,
        "lambda递归函数"@zh,
        "λ-递归函数"@zh,
        "无类型 lambda 演算"@zh,
        "无类型lambda演算"@zh ;
    p:P10283 wds:Q242028-5239A06F-950E-4F5D-B4BF-D86BB2EC98FF ;
    p:P10376 wds:Q242028-96ba0059-422a-6ff5-b3fb-93e79459e95e ;
    p:P10565 wds:Q242028-68F7DBF7-6A2A-4206-A818-D3B576AA1DED ;
    p:P13591 wds:Q242028-26435DD1-5318-420B-B19F-F56E71E07658 ;
    p:P1368 wds:Q242028-036f889e-48e5-9d34-b8f9-53e3d4e4b175 ;
    p:P138 wds:Q242028-bf39b9a9-47ab-7417-6cb2-eee24e1bb8fd ;
    p:P1417 wds:Q242028-E47E878B-B827-4B4D-99C5-F834813DB3E1 ;
    p:P14541 wds:Q242028-70DD9AD2-ADA7-4E86-8910-38FEC6FAFE1E ;
    p:P1482 wds:Q242028-a16b9f27-4d62-5f65-2b10-dfcf9bc19cc9,
        wds:Q242028-d05fbf45-4b0b-b09f-1c88-bf7030ac126e,
        wds:Q242028-db40a571-45c4-df6f-d6aa-77d3c686457d ;
    p:P1552 wds:Q242028-1f01738b-4d75-77a0-6349-1727d9a4676c ;
    p:P18 wds:Q242028-c62aeec4-462e-ab1b-a62e-2eb900949208 ;
    p:P227 wds:Q242028-3220578b-429c-24d2-7a8c-8980f2d908c1 ;
    p:P244 wds:Q242028-59f192ca-49e1-8b68-97a2-17c710046552 ;
    p:P268 wds:Q242028-4f94dfa0-48e3-4bcf-ebcd-673d412903b7 ;
    p:P269 wds:Q242028-1EC891C6-1E7E-44EE-B04F-57B1AF8DFA14 ;
    p:P279 wds:Q242028-7f89dc7a-4021-f1de-34c4-4df187ad4915 ;
    p:P2812 wds:Q242028-c6d4262d-4e87-1d32-c6e2-9509c6c5aef1 ;
    p:P31 wds:Q242028-0d26bb3f-4a58-50f1-0f90-d6d0ce80ce53 ;
    p:P3123 wds:Q242028-1EFB4AD5-A9BA-47F3-88F6-13688049803E ;
    p:P3417 wds:Q242028-9AA0C1C7-860A-4FFA-AA3C-9C056D868277 ;
    p:P361 wds:Q242028-c71d14d7-4fa5-b6f1-43a5-f578cecbaa28 ;
    p:P366 wds:Q242028-221fb4b3-47ed-7490-853f-0a44ec791434 ;
    p:P373 wds:Q242028-7859F3B9-7DCB-45A0-B283-A3838EFB4BEF ;
    p:P3827 wds:Q242028-D6A474B6-5FFA-45A9-9601-032EA66C6FFE ;
    p:P5088 wds:Q242028-6A57BEB3-E325-48F9-A482-E4E88B9FDA43 ;
    p:P61 wds:Q242028-ed464604-4091-ef7f-e391-4a290ba7b976 ;
    p:P6104 wds:Q242028-BDDB67EC-24C7-4A77-A03B-6CF6B5B13E4A ;
    p:P6366 wds:Q242028-F57F952A-BAD8-47C8-89E0-851ABF79B65C ;
    p:P646 wds:Q242028-74108936-652C-45AA-9F22-CE196EE5EFAA ;
    p:P6564 wds:Q242028-76ef7d88-4759-0d48-d99a-91e0c0588d92 ;
    p:P8189 wds:Q242028-9EBAF2B9-E81E-455C-B1D2-F9425DBDF7C7 ;
    p:P8313 wds:Q242028-26EA89BB-4775-426C-BFF0-434B7910D587 ;
    p:P8408 wds:Q242028-E05B8A1C-7637-4258-84DB-4C57015DB5B3 ;
    p:P863 wds:Q242028-1aa8da41-4bdd-f2bf-4d08-4a05bb464deb ;
    p:P910 wds:Q242028-F8495FBF-4832-4316-AD4F-533A250B9DB3 ;
    p:P9100 wds:Q242028-c170ef40-4f1b-ec32-0aa8-a7c6912c4ff4 ;
    wdtn:P227 <https://d-nb.info/gnd/4166495-4> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85074174> ;
    wdtn:P268 <http://data.bnf.fr/ark:/12148/cb119586908#about> ;
    wdtn:P269 <http://www.idref.fr/027576345/id> ;
    wdtn:P6366 <https://makg.org/entity/135790938> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/LambdaCalculus> ;
    wdt:P10283 "C135790938" ;
    wdt:P10376 "computer-science/lambda-calculus" ;
    wdt:P10565 "122562" ;
    wdt:P13591 "concept/ae006aa0-0108-4e82-b3ee-c99e39e6b2b4" ;
    wdt:P1368 "000131277" ;
    wdt:P138 wd:Q10897 ;
    wdt:P1417 "topic/lambda-calculus" ;
    wdt:P14541 "3TKTFL" ;
    wdt:P1482 <https://cstheory.stackexchange.com/tags/lambda-calculus>,
        <https://mathoverflow.net/tags/lambda-calculus>,
        <https://stackoverflow.com/tags/lambda-calculus> ;
    wdt:P1552 wd:Q197970 ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Un%20terme%20avec%20liens%20version%202.png> ;
    wdt:P227 "4166495-4" ;
    wdt:P244 "sh85074174" ;
    wdt:P268 "119586908" ;
    wdt:P269 "027576345" ;
    wdt:P279 wd:Q649732 ;
    wdt:P2812 "LambdaCalculus" ;
    wdt:P31 wd:Q486902 ;
    wdt:P3123 "lambda-calculus" ;
    wdt:P3417 "Lambda-Calculus" ;
    wdt:P361 wd:Q844718 ;
    wdt:P366 wd:Q2651576 ;
    wdt:P373 "Lambda calculus" ;
    wdt:P3827 "lambda-calculus" ;
    wdt:P5088 "lambda-calculi" ;
    wdt:P61 wd:Q92741 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "135790938" ;
    wdt:P646 "/m/04mg4" ;
    wdt:P6564 "lambda-calculus" ;
    wdt:P8189 "987007553113905171" ;
    wdt:P8313 "lambdakalkyle" ;
    wdt:P8408 "LambdaCalculus" ;
    wdt:P863 "idea/5512" ;
    wdt:P910 wd:Q8581097 ;
    wdt:P9100 "lambda-calculus" .