Matches in Wikidata for { <http://www.wikidata.org/entity/Q20479> ?p ?o ?g. }
- Q20479 description "Programmiersprache" @default.
- Q20479 description "Programméiersprooch" @default.
- Q20479 description "dependently typed, purely functional programming language and proof assistant" @default.
- Q20479 description "język programowania" @default.
- Q20479 description "langage de programmation" @default.
- Q20479 description "lenguaje de programación" @default.
- Q20479 description "limbaj de programare" @default.
- Q20479 description "linguagem de programação" @default.
- Q20479 description "linguaggio di programmazione" @default.
- Q20479 description "llenguatge de programació" @default.
- Q20479 description "ohjelmointikieli" @default.
- Q20479 description "programmeertaal" @default.
- Q20479 description "programmeringssprog" @default.
- Q20479 description "programmeringsspråk" @default.
- Q20479 description "programovací jazyk" @default.
- Q20479 description "programovací jazyk" @default.
- Q20479 description "programozási nyelv" @default.
- Q20479 description "programspråk" @default.
- Q20479 description "yezh programmiñ" @default.
- Q20479 description "язык программирования" @default.
- Q20479 description "שפת תכנות" @default.
- Q20479 description "प्रोग्रामिंग भाषा" @default.
- Q20479 description "ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ" @default.
- Q20479 description "പ്രോഗ്രാമിങ് ഭാഷ" @default.
- Q20479 description "対話的システム、関数型プログラミング言語" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "Agda" @default.
- Q20479 name "آگدا (زبان برنامهنویسی)" @default.
- Q20479 type Item @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "Agda" @default.
- Q20479 label "آگدا (زبان برنامهنویسی)" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.
- Q20479 prefLabel "Agda" @default.