PropertyValue
?:appearsInJournal
?:citationCount
  • 21 ()
is ?:cites of
?:created
  • 2016-06-24 ()
?:creator
?:estimatedCitationCount
  • 21 ()
is ?:hasCitedEntity of
?:hasDiscipline
?:publicationDate
  • 1994-01-01 ()
?:rank
  • 21647 ()
?:referenceCount
  • 0 ()
?:title
  • Design Goals for ACL2 ()
?:type

Metadata

Anon_0  
expand all