About: Q0 (mathematical logic)

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

unknown

Property	Value
dbo:wikiPageExternalLink	http://gtps.math.cmu.edu/tps.html http://plato.stanford.edu/entries/type-theory-church/ http://www.owlofminerva.net/files/fom.pdf https://web.archive.org/web/20100224074552/http:/www.springer.com/mathematics/book/978-1-4020-0763-7 https://web.archive.org/web/20190112232531/https:/pdfs.semanticscholar.org/28bf/123690205ae5bbd9f8c84b1330025e8476e4.pdf https://pdfs.semanticscholar.org/28bf/123690205ae5bbd9f8c84b1330025e8476e4.pdf http://plato.stanford.edu/entries/type-theory-church/%23ForBasEqu
dbo:wikiPageWikiLink	dbr:Conservative_extension dbc:Logic_in_computer_science dbr:Peter_B._Andrews dbr:Higher-order_logic dbr:Simply_typed_lambda_calculus dbr:HOL_theorem_prover dbr:Kluwer_Academic_Publishers dbr:Doi:10.4444/100.111
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Math dbt:= dbt:Cite_journal dbt:Harvnb
dct:subject	dbc:Logic_in_computer_science
rdfs:label	Q0 (mathematical logic) (en)
owl:sameAs	wikidata:Q0 (mathematical logic) dbpedia-global:Q0 (mathematical logic) dbr:Q0 (mathematical logic)
prov:wasDerivedFrom	wikipedia-en:Q0_(mathematical_logic)?oldid=1282970793&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Q0_(mathematical_logic)
is dbo:wikiPageRedirects of	dbr:Q_zero dbr:Q0_(Mathematical_Logic) dbr:Q0_Logic dbr:Q0_logic
is dbo:wikiPageWikiLink of	dbr:Peter_B._Andrews dbr:Q_zero dbr:Q0_(Mathematical_Logic) dbr:Q0_Logic dbr:Q0_logic
is dbp:knownFor of	dbr:Peter_B._Andrews
is foaf:primaryTopic of	wikipedia-en:Q0_(mathematical_logic)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International