Matches in Wikidata for { <http://www.wikidata.org/entity/Q855192> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- Q855192 description "formal system in mathematical logic" @default.
- Q855192 name "Cálculo lambda simplemente tipado" @default.
- Q855192 name "cálculo lambda simplesmente tipado" @default.
- Q855192 name "simply typed lambda calculus" @default.
- Q855192 name "Λ-λογισμός με απλούς τύπους" @default.
- Q855192 name "Просто типизированное лямбда-исчисление" @default.
- Q855192 name "简单类型λ演算" @default.
- Q855192 name "简单类型λ演算" @default.
- Q855192 name "簡單類型λ演算" @default.
- Q855192 name "簡單類型λ演算" @default.
- Q855192 type Item @default.
- Q855192 label "Cálculo lambda simplemente tipado" @default.
- Q855192 label "cálculo lambda simplesmente tipado" @default.
- Q855192 label "simply typed lambda calculus" @default.
- Q855192 label "Λ-λογισμός με απλούς τύπους" @default.
- Q855192 label "Просто типизированное лямбда-исчисление" @default.
- Q855192 label "简单类型λ演算" @default.
- Q855192 label "简单类型λ演算" @default.
- Q855192 label "簡單類型λ演算" @default.
- Q855192 label "簡單類型λ演算" @default.
- Q855192 altLabel "Cálculo lambda simplesmente tipificado" @default.
- Q855192 altLabel "STLC" @default.
- Q855192 altLabel "λ→" @default.
- Q855192 altLabel "简单类型 lambda 演算" @default.
- Q855192 altLabel "简单类型lambda演算" @default.
- Q855192 altLabel "简单类型化λ演算" @default.
- Q855192 altLabel "簡單類型lambda演算" @default.
- Q855192 prefLabel "Cálculo lambda simplemente tipado" @default.
- Q855192 prefLabel "cálculo lambda simplesmente tipado" @default.
- Q855192 prefLabel "simply typed lambda calculus" @default.
- Q855192 prefLabel "Λ-λογισμός με απλούς τύπους" @default.
- Q855192 prefLabel "Просто типизированное лямбда-исчисление" @default.
- Q855192 prefLabel "简单类型λ演算" @default.
- Q855192 prefLabel "简单类型λ演算" @default.
- Q855192 prefLabel "簡單類型λ演算" @default.
- Q855192 prefLabel "簡單類型λ演算" @default.
- Q855192 P10283 Q855192-AE285671-EB61-45F6-8EC3-16CCC031320A @default.
- Q855192 P31 Q855192-57320b0e-49c9-12f2-6930-760677943130 @default.
- Q855192 P31 Q855192-5d1ff856-4efd-832c-6393-6c47f06bb4f2 @default.
- Q855192 P61 Q855192-7c39de49-474e-4dbf-297a-0d64992d328f @default.
- Q855192 P6366 Q855192-7E8B9489-DABA-4DBD-B5D0-AF877E56956C @default.
- Q855192 P646 Q855192-0CE783BA-74FF-4953-B542-D3BBEA3F69F8 @default.
- Q855192 P6366 61237538 @default.
- Q855192 P10283 "C61237538" @default.
- Q855192 P31 Q242028 @default.
- Q855192 P31 Q2607208 @default.
- Q855192 P61 Q92741 @default.
- Q855192 P6366 "61237538" @default.
- Q855192 P646 "/m/06c09x" @default.