About: Agda     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

dependently typed, purely functional programming language and proof assistant

AttributesValues
rdf:type
description
  • Programmiersprache (de)
  • שפת תכנות (he)
  • programspråk (sv)
  • programmeringssprog (da)
  • programmeringsspråk (nn)
  • പ്രോഗ്രാമിങ് ഭാഷ (ml)
  • język programowania (pl)
  • linguagem de programação (pt)
  • llenguatge de programació (ca)
  • ohjelmointikieli (fi)
  • programmeertaal (nl)
  • programovací jazyk (sk)
  • yezh programmiñ (br)
  • प्रोग्रामिंग भाषा (hi)
  • ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa)
  • Programméiersprooch (lb)
  • langage de programmation (fr)
  • lenguaje de programación (es)
  • limbaj de programare (ro)
  • linguaggio di programmazione (it)
  • programovací jazyk (cs)
  • programozási nyelv (hu)
  • язык программирования (ru)
  • 対話的システム、関数型プログラミング言語 (ja)
  • dependently typed, purely functional programming language and proof assistant (en)
rdfs:label
  • Agda (sv)
  • Agda (en)
  • Agda (ga)
  • Agda (ca)
  • Agda (da)
  • Agda (de)
  • Agda (el)
  • Agda (es)
  • Agda (eu)
  • Agda (fi)
  • Agda (fr)
  • Agda (hu)
  • Agda (it)
  • Agda (ja)
  • Agda (ko)
  • Agda (lb)
  • Agda (nl)
  • Agda (nn)
  • Agda (oc)
  • Agda (pt)
  • Agda (ro)
  • Agda (ru)
  • Agda (uk)
  • Agda (zh)
  • Agda (en-ca)
  • Agda (en-gb)
  • Agda (zh-hans)
  • Agda (vec)
  • Agda (yue)
  • آگدا (زبان برنامه‌نویسی) (fa)
skos:prefLabel
  • Agda (sv)
  • Agda (en)
  • Agda (ga)
  • Agda (ca)
  • Agda (da)
  • Agda (de)
  • Agda (el)
  • Agda (es)
  • Agda (eu)
  • Agda (fi)
  • Agda (fr)
  • Agda (hu)
  • Agda (it)
  • Agda (ja)
  • Agda (ko)
  • Agda (lb)
  • Agda (nl)
  • Agda (nn)
  • Agda (oc)
  • Agda (pt)
  • Agda (ro)
  • Agda (ru)
  • Agda (uk)
  • Agda (zh)
  • Agda (en-ca)
  • Agda (en-gb)
  • Agda (zh-hans)
  • Agda (vec)
  • Agda (yue)
  • آگدا (زبان برنامه‌نویسی) (fa)
name
  • Agda (sv)
  • Agda (en)
  • Agda (ga)
  • Agda (ca)
  • Agda (da)
  • Agda (de)
  • Agda (el)
  • Agda (es)
  • Agda (eu)
  • Agda (fi)
  • Agda (fr)
  • Agda (hu)
  • Agda (it)
  • Agda (ja)
Faceted Search & Find service v1.16.117 as of May 05 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 180 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software