About: Nqthm

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Software system

Property	Value
dbo:description	software system (en) Software-System (de) Système de logiciel (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/ACM_2005_Software_System_Award.jpg?width=300
dbo:wikiPageExternalLink	http://www.cs.utexas.edu/users/moore/best-ideas/nqthm/index.html http://www.computationallogic.com/software/nqthm/ https://github.com/John-Nagle/nqthm https://web.archive.org/web/20170706040333/ftp:/ftp.cs.utexas.edu/pub/boyer/nqthm
dbo:wikiPageWikiLink	dbr:LaTeX dbr:University_of_Texas_at_Austin dbr:ACM_Software_System_Award dbr:Paris–Harrington_theorem dbr:Automated_theorem_proving dbr:Matt_Kaufmann dbr:GitHub dbr:Scotland dbr:Mathematical_induction dbr:Recursion_(computer_science) dbc:Theorem_proving_software_systems dbr:Lisp_(programming_language) dbr:Rewriting dbr:J_Strother_Moore dbr:Edinburgh dbc:Common_Lisp_(programming_language)_software dbr:Kenneth_Kunen dbr:ACL2 dbr:Robert_S._Boyer dbr:Purely_functional_programming dbr:Bootstrapping_(computing) dbr:File:ACM_2005_Software_System_Award.jpg dbr:Debora_Weber-Wulff
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Mono dbt:Short_description
dct:subject	dbc:Theorem_proving_software_systems dbc:Common_Lisp_(programming_language)_software
gold:hypernym	dbr:Prover
rdfs:label	Nqthm (en)
owl:sameAs	freebase:Nqthm wikidata:Nqthm dbpedia-global:Nqthm dbr:Nqthm
prov:wasDerivedFrom	wikipedia-en:Nqthm?oldid=1292961798&ns=0
foaf:depiction	wiki-commons:Special:FilePath/ACM_2005_Software_System_Award.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Nqthm
is dbo:influencedBy of	dbr:ACL2
is dbo:knownFor of	dbr:Matt_Kaufmann dbr:J_Strother_Moore dbr:Robert_S._Boyer
is dbo:wikiPageRedirects of	dbr:Boyer-Moore_theorem_prover dbr:Boyer–Moore_theorem_prover
is dbo:wikiPageWikiLink of	dbr:Automated_reasoning dbr:ACM_Software_System_Award dbr:Gödel's_incompleteness_theorems dbr:Matt_Kaufmann dbr:Symbolic_artificial_intelligence dbr:Boyer-Moore_theorem_prover dbr:Mutilated_chessboard_problem dbr:J_Strother_Moore dbr:List_of_University_of_Texas_at_Austin_faculty dbr:Metamath dbr:ACL2 dbr:Robert_S._Boyer dbr:Boyer–Moore_theorem_prover
is dbp:influencedBy of	dbr:ACL2
is dbp:knownFor of	dbr:Matt_Kaufmann dbr:J_Strother_Moore dbr:Robert_S._Boyer
is foaf:primaryTopic of	wikipedia-en:Nqthm