About: ACL2

Property	Value
dbo:description	Programmiersprache (de) langage de programmation (fr) linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover (en)
dbo:designer	dbr:Matt_Kaufmann dbr:J_Strother_Moore dbr:Robert_S._Boyer
dbo:developer	dbr:Matt_Kaufmann dbr:J_Strother_Moore
dbo:influencedBy	dbr:Common_Lisp dbr:Nqthm
dbo:latestReleaseVersion	8.6
dbo:license	dbr:BSD_licenses
dbo:thumbnail	wiki-commons:Special:FilePath/ACL2_Logo_2014_transparent.png?width=300
dbo:wikiPageExternalLink	http://www.cs.utexas.edu/users/moore/acl2 http://acl2s.ccs.neu.edu/ http://www.cs.utexas.edu/users/moore/acl2/ http://www.cs.utexas.edu/users/moore/acl2/current/manual/index.html%3Ftopic=ACL2____INTERESTING-APPLICATIONS
dbo:wikiPageWikiLink	dbr:Automated_reasoning dbr:Functional_programming dbr:Compiler dbc:Lisp_programming_language_family dbr:Universe_(mathematics) dbr:ACM_Software_System_Award dbr:Mathematical_proof dbr:First-order_logic dbr:AMD_K5 dbr:Conjecture dbr:Matt_Kaufmann dbr:BSD_licenses dbr:Pentium_FDIV_bug dbr:Programming_language dbr:Software dbc:Lisp_(programming_language) dbr:Cross-platform_software dbr:Free_and_open-source_software dbr:Axiom dbc:Software_using_the_BSD_license dbr:Applicative_programming_language dbr:Metaprogramming dbr:Common_Lisp dbr:Nqthm dbr:Theorem dbc:Free_theorem_provers dbr:Semantics dbr:J_Strother_Moore dbc:Proof_assistants dbc:Common_Lisp_(programming_language)_software dbr:Robert_S._Boyer dbr:Automated_theorem_prover dbr:Dynamic_typing dbr:Subroutine dbr:Term_rewriting dbr:Hardware_verification dbr:Total_function dbr:Side-effect_(computer_science) dbr:Consistency_proof dbr:Native_code
dbp:bodystyle	width:320px (en)
dbp:designer	Robert S. Boyer, J Strother Moore and Matt Kaufmann (en)
dbp:developer	Matt Kaufmann and J Strother Moore (en)
dbp:influencedBy	dbr:Common_Lisp dbr:Nqthm
dbp:latestReleaseVersion	8.600000 (xsd:double)
dbp:license	dbr:BSD_licenses
dbp:logo	ACL2 Logo 2014 transparent.png (en)
dbp:name	ACL2 (en)
dbp:operatingSystem	dbr:Cross-platform_software
dbp:paradigm	dbr:Functional_programming dbr:Metaprogramming
dbp:typing	dbr:Type_system
dbp:website	http://www.cs.utexas.edu/users/moore/acl2
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Infobox_programming_language dbt:Release_date dbt:Short_description
dbp:year	19901996 (xsd:integer)
dct:subject	dbc:Lisp_programming_language_family dbc:Lisp_(programming_language) dbc:Software_using_the_BSD_license dbc:Free_theorem_provers dbc:Proof_assistants dbc:Common_Lisp_(programming_language)_software
gold:hypernym	dbr:System
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 schema:Language
rdfs:label	ACL2 (en) ACL2 (es) ACL2 (zh)
owl:sameAs	freebase:ACL2 wikidata:ACL2 dbpedia-zh:ACL2 dbpedia-es:ACL2 dbpedia-global:ACL2
prov:wasDerivedFrom	wikipedia-en:ACL2?oldid=1251136985&ns=0
foaf:depiction	wiki-commons:Special:FilePath/ACL2_Logo_2014_transparent.png
foaf:homepage	http://www.cs.utexas.edu/users/moore/acl2 http://www.cs.utexas.edu/users/moore/acl2
foaf:isPrimaryTopicOf	wikipedia-en:ACL2
foaf:name	ACL2 (en)
foaf:page	http://www.cs.utexas.edu/users/moore/acl2
is dbo:knownFor of	dbr:Robert_S._Boyer
is dbo:wikiPageDisambiguates of	dbr:ACL
is dbo:wikiPageRedirects of	dbr:ACL2_theorem_prover
is dbo:wikiPageWikiLink of	dbr:List_of_Lisp-family_programming_languages dbr:Formal_methods dbr:First-order_logic dbr:Automated_theorem_proving dbr:Proof_assistant dbr:GNU_Common_Lisp dbr:Interactive_Theorem_Proving_(conference) dbr:Symbolic_artificial_intelligence dbr:Prover9 dbr:Lisp_(programming_language) dbr:Common_Lisp dbr:Nqthm dbr:Formal_verification dbr:Axiom_(computer_algebra_system) dbr:J_Strother_Moore dbr:List_of_University_of_Texas_at_Austin_faculty dbr:ACL dbr:Metamath dbr:McCarthy_91_function dbr:Robert_S._Boyer dbr:ACL2_theorem_prover
is dbp:knownFor of	dbr:Robert_S._Boyer
is foaf:primaryTopic of	wikipedia-en:ACL2