About: QED manifesto

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

Proposal for a computer-based database of all mathematical knowledge

Property	Value
dbo:description	proposal for a computer-based database of all mathematical knowledge (en)
dbo:wikiPageExternalLink	https://www.ams.org/notices/200811/%7Cwork=Notices https://github.com/UniMath/UniMath http://fm.mizar.org/ http://www.jsoftware.us/vol11/185-ID55.pdf http://www.cl.cam.ac.uk/~jrh13/papers/form-math3.html http://www1.cs.columbia.edu/~angelos/Misc/p271-de_millo.pdf https://coq.inria.fr/opam/www/ http://afp.sourceforge.net/ https://www.cs.ru.nl/~freek/100/ https://www.cs.ru.nl/~freek/comparison/ https://www.cs.ru.nl/~freek/notes/RSpaper.pdf
dbo:wikiPageWikiLink	dbr:Communications_of_the_ACM dbc:Mathematics_literature dbr:Turku_Centre_for_Computer_Science dbc:Formal_methods dbr:Square_root_of_2 dbr:Proof_assistant dbr:Mathematical_knowledge_management dbr:Latin dbr:Mathematics dbr:Warsaw dbr:Coq dbr:Q.E.D. dbr:Mizar_system dbr:Vienna_Summer_of_Logic dbc:Educational_projects dbc:Proof_assistants dbr:Metamath dbr:Richard_DeMillo dbr:Programming_language_theory dbr:Lean_(proof_assistant) dbr:Robert_S._Boyer dbr:Univalent_foundations dbr:Argonne_National_Laboratories dbr:Automated_theorem_prover dbr:Richard_J._Lipton dbr:Automated_proof_checking dbr:Formalism_(mathematics) dbr:HOL_theorem_prover_family dbr:POPLmark dbr:Alan_J._Perlis dbr:Formalized_mathematics dbr:H._Barendregt
dbp:wikiPageUsesTemplate	dbt:Cite_web dbt:Reflist dbt:Short_description
dct:subject	dbc:Mathematics_literature dbc:Formal_methods dbc:Educational_projects dbc:Proof_assistants
gold:hypernym	dbr:Proposal
rdfs:label	QED manifesto (en) Manifesto QED (it)
owl:sameAs	freebase:QED manifesto wikidata:QED manifesto dbpedia-it:QED manifesto dbpedia-global:QED manifesto yago-res:QED manifesto dbr:QED manifesto
prov:wasDerivedFrom	wikipedia-en:QED_manifesto?oldid=1184811713&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:QED_manifesto
is dbo:wikiPageDisambiguates of	dbr:QED
is dbo:wikiPageRedirects of	dbr:QED_Manifesto dbr:QED_Project dbr:QED_project dbr:The_QED_Project dbr:Project_QED
is dbo:wikiPageWikiLink of	dbr:QED dbr:Proof_assistant dbr:Mathematical_knowledge_management dbr:Automath dbr:Mizar_system dbr:POPLmark_challenge dbr:Robert_S._Boyer dbr:QED_Manifesto dbr:QED_Project dbr:QED_project dbr:The_QED_Project dbr:Project_QED
is foaf:primaryTopic of	wikipedia-en:QED_manifesto