@prefix foaf: . @prefix wikipedia-en: . @prefix dbr: . wikipedia-en:ACL2 foaf:primaryTopic dbr:ACL2 . @prefix dbo: . dbr:ACL2_theorem_prover dbo:wikiPageWikiLink dbr:ACL2 ; dbo:wikiPageRedirects dbr:ACL2 . dbr:J_Strother_Moore dbo:wikiPageWikiLink dbr:ACL2 . dbr:Formal_verification dbo:wikiPageWikiLink dbr:ACL2 . dbr:Symbolic_artificial_intelligence dbo:wikiPageWikiLink dbr:ACL2 . dbr:First-order_logic dbo:wikiPageWikiLink dbr:ACL2 . dbo:wikiPageWikiLink dbr:ACL2 . dbr:List_of_University_of_Texas_at_Austin_faculty dbo:wikiPageWikiLink dbr:ACL2 . dbr:Common_Lisp dbo:wikiPageWikiLink dbr:ACL2 . dbr:Prover9 dbo:wikiPageWikiLink dbr:ACL2 . dbo:wikiPageWikiLink dbr:ACL2 . @prefix dbp: . dbp:knownFor dbr:ACL2 ; dbo:knownFor dbr:ACL2 . dbr:List_of_Lisp-family_programming_languages dbo:wikiPageWikiLink dbr:ACL2 . dbr:GNU_Common_Lisp dbo:wikiPageWikiLink dbr:ACL2 . @prefix rdf: . @prefix wikidata: . dbr:ACL2 rdf:type wikidata:Q315 . @prefix schema: . dbr:ACL2 rdf:type schema:Language , wikidata:Q9143 , dbo:Language . @prefix owl: . dbr:ACL2 rdf:type owl:Thing , dbo:ProgrammingLanguage . @prefix dbpedia-zh: . dbr:ACL2 owl:sameAs dbpedia-zh:ACL2 , , dbr:ACL2 , . @prefix dbpedia-es: . dbr:ACL2 owl:sameAs dbpedia-es:ACL2 , wikidata:Q4650692 ; foaf:name "ACL2"@en . @prefix rdfs: . dbr:ACL2 rdfs:label "ACL2"@zh , "ACL2"@en , "ACL2"@es . @prefix dct: . dbr:ACL2 dct:subject . @prefix dbc: . dbr:ACL2 dct:subject dbc:Free_theorem_provers , , dbc:Software_using_the_BSD_license , dbc:Proof_assistants , dbc:Lisp_programming_language_family . @prefix ns14: . dbr:ACL2 foaf:homepage ns14:acl2 ; foaf:depiction ; foaf:page ns14:acl2 . @prefix prov: . dbr:ACL2 prov:wasDerivedFrom . @prefix gold: . dbr:ACL2 gold:hypernym dbr:System ; foaf:isPrimaryTopicOf wikipedia-en:ACL2 ; dbo:wikiPageWikiLink dbr:J_Strother_Moore , dbr:Metaprogramming , dbr:Conjecture , dbr:Common_Lisp , dbr:Nqthm , dbr:Free_and_open-source_software , dbr:Compiler , dbr:Software , dbc:Proof_assistants , dbr:BSD_licenses , dbr:AMD_K5 , , dbr:Term_rewriting , dbc:Software_using_the_BSD_license , dbr:ACM_Software_System_Award , dbr:Mathematical_proof , dbr:Matt_Kaufmann , dbr:Cross-platform_software , dbr:Axiom , , dbr:Native_code , dbr:Pentium_FDIV_bug , dbr:Dynamic_typing , dbr:Programming_language , dbr:Subroutine , dbc:Lisp_programming_language_family , dbr:Semantics , dbr:Total_function , dbc:Free_theorem_provers , , , dbr:First-order_logic , dbr:Automated_reasoning , dbr:Automated_theorem_prover , , dbr:Applicative_programming_language , dbr:Consistency_proof , dbr:Hardware_verification , dbr:Functional_programming , dbr:Theorem ; dbo:description "programmeringssprog"@da , "linguagem de programa\u00E7\u00E3o"@pt , "yezh programmi\u00F1"@br , "langage de programmation"@fr , "llenguatge de programaci\u00F3"@ca , "programovac\u00ED jazyk"@cs , "limbaj de programare"@ro , "Programmiersprache"@de , "programmeringsspr\u00E5k"@nn , "programmeertaal"@nl , "\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37"@ml , "linguaggio di programmazione"@it , "\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA"@iw , "\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E"@hi , "ohjelmointikieli"@fi , "programspr\u00E5k"@sv , "programovac\u00ED jazyk"@sk , "j\u0119zyk programowania"@pl , "software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover"@en , "lenguaje de programaci\u00F3n"@es , "\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E"@pa . @prefix dbt: . dbr:ACL2 dbp:wikiPageUsesTemplate dbt:Webarchive , dbt:Short_description , dbt:Reflist , dbt:Release_date , dbt:Infobox_programming_language ; dbp:name "ACL2"@en ; dbp:website ns14:acl2 ; dbp:year 19901996 ; dbp:bodystyle "width:320px"@en ; dbp:developer "Matt Kaufmann and J Strother Moore"@en ; dbo:developer dbr:J_Strother_Moore , dbr:Matt_Kaufmann ; dbp:logo "ACL2 Logo 2014 transparent.png"@en . @prefix xsd: . dbr:ACL2 dbp:date "2010-11-16"^^xsd:date ; dbp:url ; dbo:license dbr:BSD_licenses ; dbp:designer "Robert S. Boyer, J Strother Moore and Matt Kaufmann"@en ; dbo:influencedBy dbr:Nqthm , dbr:Common_Lisp ; dbo:wikiPageExternalLink , ns14:acl2 , , ; dbp:influencedBy dbr:Common_Lisp , dbr:Nqthm ; dbp:paradigm dbr:Functional_programming , dbr:Metaprogramming ; dbp:typing dbr:Type_system ; dbo:designer dbr:Matt_Kaufmann , dbr:J_Strother_Moore , ; dbo:thumbnail ; dbo:latestReleaseVersion "8.6" ; dbp:latestReleaseVersion "8.6"^^xsd:double ; dbp:license dbr:BSD_licenses ; dbp:operatingSystem dbr:Cross-platform_software . dbo:wikiPageWikiLink dbr:ACL2 . dbr:McCarthy_91_function dbo:wikiPageWikiLink dbr:ACL2 . dbr:Nqthm dbo:wikiPageWikiLink dbr:ACL2 . dbo:wikiPageWikiLink dbr:ACL2 . dbr:Proof_assistant dbo:wikiPageWikiLink dbr:ACL2 . dbr:Metamath dbo:wikiPageWikiLink dbr:ACL2 . dbr:Automated_theorem_proving dbo:wikiPageWikiLink dbr:ACL2 . dbr:Formal_methods dbo:wikiPageWikiLink dbr:ACL2 . dbr:ACL dbo:wikiPageWikiLink dbr:ACL2 ; dbo:wikiPageDisambiguates dbr:ACL2 .