Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Q_zero> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Q_zero abstract "Q0 is Peter Andrews' formulation of the simply-typed lambda calculus,and provides a foundation for mathematics comparable to first-order logic plus set theory.It is a form of higher-order logic and closely related to the logics of the HOL theorem prover family.The theorem proving systems TPS and ETPSare based on Q0. In August 2009, TPS won the first-ever competitionamong higher-order theorem proving systems.".
- Q_zero wikiPageExternalLink tps.html.
- Q_zero wikiPageExternalLink type-theory-church.
- Q_zero wikiPageExternalLink ForBasEqu.
- Q_zero wikiPageExternalLink 978-1-4020-0763-7..
- Q_zero wikiPageID "30698100".
- Q_zero wikiPageRevisionID "599149234".
- Q_zero hasPhotoCollection Q_zero.
- Q_zero subject Category:Logic_in_computer_science.
- Q_zero comment "Q0 is Peter Andrews' formulation of the simply-typed lambda calculus,and provides a foundation for mathematics comparable to first-order logic plus set theory.It is a form of higher-order logic and closely related to the logics of the HOL theorem prover family.The theorem proving systems TPS and ETPSare based on Q0. In August 2009, TPS won the first-ever competitionamong higher-order theorem proving systems.".
- Q_zero label "Q zero".
- Q_zero sameAs m.0gff6t6.
- Q_zero sameAs Q7265672.
- Q_zero sameAs Q7265672.
- Q_zero wasDerivedFrom Q_zero?oldid=599149234.
- Q_zero isPrimaryTopicOf Q_zero.