About: ACL2     Goto   Sponge   NotDistinct   Permalink

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

software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover

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)
  • langage de programmation (fr)
  • lenguaje de programación (es)
  • limbaj de programare (ro)
  • linguaggio di programmazione (it)
  • programovací jazyk (cs)
  • software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover (en)
rdfs:label
  • ACL2 (ca)
  • ACL2 (da)
  • ACL2 (de)
  • ACL2 (en)
  • ACL2 (es)
  • ACL2 (fi)
  • ACL2 (fr)
  • ACL2 (ga)
  • ACL2 (it)
  • ACL2 (nl)
  • ACL2 (nn)
  • ACL2 (pt)
  • ACL2 (ro)
  • ACL2 (sv)
  • ACL2 (zh)
  • ACL2 (vec)
  • ACL2 (yue)
skos:prefLabel
  • ACL2 (ca)
  • ACL2 (da)
  • ACL2 (de)
  • ACL2 (en)
  • ACL2 (es)
  • ACL2 (fi)
  • ACL2 (fr)
  • ACL2 (ga)
  • ACL2 (it)
  • ACL2 (nl)
  • ACL2 (nn)
  • ACL2 (pt)
  • ACL2 (ro)
  • ACL2 (sv)
  • ACL2 (zh)
  • ACL2 (vec)
  • ACL2 (yue)
name
  • ACL2 (ca)
  • ACL2 (da)
  • ACL2 (de)
  • ACL2 (en)
  • ACL2 (es)
  • ACL2 (fi)
  • ACL2 (fr)
  • ACL2 (ga)
  • ACL2 (it)
  • ACL2 (nl)
  • ACL2 (nn)
  • ACL2 (pt)
  • ACL2 (ro)
  • ACL2 (sv)
  • ACL2 (zh)
  • ACL2 (vec)
  • ACL2 (yue)
Freebase ID
Freebase ID
  • /m/015hl_
instance of
instance of
designed by
designed by
logo image
logo image
  • http://commons.wikimedia.org/wiki/Special:FilePath/ACL2%20Logo%202014%20transparent.png
inception
inception
operating system
operating system
programming paradigm
typing discipline
Homebrew formula name
programming paradigm
typing discipline
Homebrew formula name
  • acl2
skos:altLabel
  • Acl2 (es)
developer
copyright license
maintained by WikiProject
copyright status
Microsoft Academic ID
official website
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