About: McCarthy 91 function

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Recursive functions studied in computer science

Property	Value
dbo:description	particolare funzione ricorsiva (it) recursive functions studied in computer science (en)
dbo:wikiPageWikiLink	dbr:Continuation dbr:Formal_methods dbc:Formal_methods dbr:Strong_induction dbr:Extensionality dbr:C_(programming_language) dbr:Computer_science dbr:Donald_Knuth dbr:Recursion_(computer_science) dbc:Recurrence_relations dbr:Computer_scientist dbr:Amir_Pnueli dbr:John_McCarthy_(computer_scientist) dbr:Zohar_Manna dbr:Lisp_(programming_language) dbr:Mutual_recursion dbr:Formal_verification dbr:Mitchell_Wand dbr:Python_(programming_language) dbr:ACL2 dbr:Tail_recursion dbr:Haskell_(programming_language) dbr:OCaml_(programming_language) dbr:John_Cowles_(mathematician) dbr:Termination_proof dbr:Single_recursion
dbp:wikiPageUsesTemplate	dbt:John_McCarthy dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:No_footnotes
dct:subject	dbc:Articles_with_example_Python_(programming_language)_code dbc:Articles_with_example_Lisp_(programming_language)_code dbc:Formal_methods dbc:Articles_with_example_C_code dbc:Articles_with_example_OCaml_code dbc:Recurrence_relations dbc:Articles_with_example_Haskell_code
rdfs:label	McCarthy 91 function (en) Función 91 de McCarthy (es) Fonction 91 de McCarthy (fr) マッカーシーの91関数 (ja) Funzione 91 di McCarthy (it)
owl:sameAs	yago-res:McCarthy 91 function freebase:McCarthy 91 function wikidata:McCarthy 91 function dbpedia-it:McCarthy 91 function dbpedia-fr:McCarthy 91 function dbpedia-ja:McCarthy 91 function dbpedia-es:McCarthy 91 function dbpedia-global:McCarthy 91 function
prov:wasDerivedFrom	wikipedia-en:McCarthy_91_function?oldid=1275563156&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:McCarthy_91_function
is dbo:wikiPageRedirects of	dbr:McCarthy_91 dbr:Mccarthy_91-function
is dbo:wikiPageWikiLink of	dbr:91_(number) dbr:F91 dbr:Recursion_(computer_science) dbr:John_McCarthy_(computer_scientist) dbr:M91 dbr:General_recursive_function dbr:McCarthy_91 dbr:Mccarthy_91-function
is foaf:primaryTopic of	wikipedia-en:McCarthy_91_function