Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5383976> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- Q5383976 subject Q7020589.
- Q5383976 subject Q7452060.
- Q5383976 subject Q8840630.
- Q5383976 abstract "Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The epsilon operator and epsilon substitution method are typically applied to a first-order predicate calculus, followed by a showing of consistency. The epsilon-extended calculus is further extended and generalized to cover those mathematical objects, classes, and categories for which there is a desire to show consistency, building on previously-shown consistency at earlier levels.".
- Q5383976 wikiPageWikiLink Q1319773.
- Q5383976 wikiPageWikiLink Q1361825.
- Q5383976 wikiPageWikiLink Q15631390.
- Q5383976 wikiPageWikiLink Q179692.
- Q5383976 wikiPageWikiLink Q18574964.
- Q5383976 wikiPageWikiLink Q190529.
- Q5383976 wikiPageWikiLink Q191290.
- Q5383976 wikiPageWikiLink Q192161.
- Q5383976 wikiPageWikiLink Q4055684.
- Q5383976 wikiPageWikiLink Q41585.
- Q5383976 wikiPageWikiLink Q5038627.
- Q5383976 wikiPageWikiLink Q592911.
- Q5383976 wikiPageWikiLink Q649732.
- Q5383976 wikiPageWikiLink Q7020589.
- Q5383976 wikiPageWikiLink Q7452060.
- Q5383976 wikiPageWikiLink Q8840630.
- Q5383976 comment "Hilbert's epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The epsilon operator and epsilon substitution method are typically applied to a first-order predicate calculus, followed by a showing of consistency.".
- Q5383976 label "Epsilon calculus".