This HTML5 document contains 11 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://dbpedia.org/resource/Robert_S.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:ACL2
rdfs:comment
ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and a mechanical theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are built on Common Lisp.
foaf:name
ACL2
dbpedia-owl:designer
n4:_Boyer dbpedia:Matt_Kaufmann dbpedia:J_Strother_Moore
dbpedia-owl:developer
dbpedia:Matt_Kaufmann dbpedia:J_Strother_Moore
dbpedia-owl:influencedBy
dbpedia:Nqthm dbpedia:Common_Lisp
dbpedia-owl:latestReleaseVersion
7.1
dbpedia-owl:license
dbpedia:BSD_licenses