Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Bar_recursion> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Bar_recursion abstract "Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper. It is related to bar induction in the same fashion that primitive recursion is related to ordinary induction, or transfinite recursion is related to transfinite induction.".
- Bar_recursion wikiPageID "29726755".
- Bar_recursion wikiPageLength "3390".
- Bar_recursion wikiPageOutDegree "9".
- Bar_recursion wikiPageRevisionID "679869721".
- Bar_recursion wikiPageWikiLink Axiom_of_dependent_choice.
- Bar_recursion wikiPageWikiLink Bar_induction.
- Bar_recursion wikiPageWikiLink Category:Recursion.
- Bar_recursion wikiPageWikiLink Concatenation.
- Bar_recursion wikiPageWikiLink Mathematical_induction.
- Bar_recursion wikiPageWikiLink Primitive_recursive_function.
- Bar_recursion wikiPageWikiLink Transfinite_induction.
- Bar_recursion wikiPageWikiLink Type_theory.
- Bar_recursion wikiPageWikiLinkText "bar recursion".
- Bar_recursion subject Category:Recursion.
- Bar_recursion hypernym Form.
- Bar_recursion type Algorithm.
- Bar_recursion comment "Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper. It is related to bar induction in the same fashion that primitive recursion is related to ordinary induction, or transfinite recursion is related to transfinite induction.".
- Bar_recursion label "Bar recursion".
- Bar_recursion sameAs Q4857993.
- Bar_recursion sameAs m.0fq18q6.
- Bar_recursion sameAs Q4857993.
- Bar_recursion wasDerivedFrom Bar_recursion?oldid=679869721.
- Bar_recursion isPrimaryTopicOf Bar_recursion.