About: http://webisa.webdatacommons.org/353261726

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	In mathematical logic and computer science, lambda calculus, also written as ??-calculus, is a formal system for function definition, function application and ...IS element... .
http://www.w3.org/ns/prov#wasQuotedFrom	bio-medicine.org