Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q7391799)
Watch
English
SNARK
computer program
SRI's New Automated Reasoning Kit
In more languages
edit
Statements
instance of
software
0 references
has use
science
1 reference
imported from Wikimedia project
English Wikipedia
automated theorem proving
1 reference
reference URL
http://www.ai.sri.com/~stickel/snark.html
retrieved
30 April 2018
developer
SRI International
0 references
programmed in
Common Lisp
1 reference
reference URL
http://www.ai.sri.com/~stickel/snark.html
retrieved
30 April 2018
official website
http://www.ai.sri.com/~stickel/snark.html
0 references
described at URL
http://www.ai.sri.com/snark/tutorial/tutorial.html
0 references
copyright license
Mozilla Public License
1 reference
reference URL
http://www.ai.sri.com/~stickel/snark.html
retrieved
30 April 2018
Identifiers
Freebase ID
/m/02rlq6b
0 references
Pro-Linux.de DBApp ID
6150
0 references
Sitelinks
Wikipedia
(1 entry)
edit
enwiki
SNARK (theorem prover)
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit