Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Q_zero> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples 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 wikiPageLength "7109".
- Q_zero wikiPageOutDegree "5".
- Q_zero wikiPageRevisionID "607910534".
- Q_zero wikiPageWikiLink Category:Logic_in_computer_science.
- Q_zero wikiPageWikiLink HOL_(proof_assistant).
- Q_zero wikiPageWikiLink Higher-order_logic.
- Q_zero wikiPageWikiLink Simply_typed_lambda_calculus.
- Q_zero wikiPageWikiLink Springer_Science+Business_Media.
- Q_zero wikiPageWikiLinkText "Q zero".
- Q_zero wikiPageUsesTemplate Template:=.
- Q_zero wikiPageUsesTemplate Template:Cite_book.
- Q_zero wikiPageUsesTemplate Template:Cite_journal.
- Q_zero wikiPageUsesTemplate Template:Harvnb.
- Q_zero wikiPageUsesTemplate Template:Math.
- Q_zero wikiPageUsesTemplate Template:Reflist.
- Q_zero subject Category:Logic_in_computer_science.
- Q_zero hypernym Andrews.
- Q_zero type Person.
- Q_zero type Redirect.
- 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 Q7265672.
- Q_zero sameAs m.0gff6t6.
- Q_zero sameAs Q7265672.
- Q_zero wasDerivedFrom Q_zero?oldid=607910534.
- Q_zero isPrimaryTopicOf Q_zero.