This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
Prefix | Namespace IRI |
---|---|
category-es | http://es.dbpedia.org/resource/CategorÃa: |
dct | http://purl.org/dc/terms/ |
wikipedia-es | http://es.wikipedia.org/wiki/ |
n22 | http://es.wikipedia.org/wiki/Cálculo_lambda?oldid=129906160&ns= |
dbo | http://dbpedia.org/ontology/ |
foaf | http://xmlns.com/foaf/0.1/ |
n24 | http://www.lambda-bound.com/book/lambdacalc/lcalconl. |
n13 | https://web.archive.org/web/20070927180227/http:/www.masoftware.es/descargas/herramientas. |
n4 | https://web.archive.org/web/20070608221009/http:/docs.python.org/ref/function. |
dbpedia-es | http://es.dbpedia.org/resource/ |
prop-es | http://es.dbpedia.org/property/ |
n7 | https://web.archive.org/web/20070609115201/http:/docs.python.org/ref/lambdas.html%23 |
n29 | http://portal.acm.org/citation.cfm%3Fid=363749&coll=portal&dl= |
rdfs | http://www.w3.org/2000/01/rdf-schema# |
n11 | https://web.archive.org/web/20011206080336/http:/www.jetcafe.org/~jim/lambda. |
n5 | https://www.researchgate.net/publication/ |
n28 | http://rdf.freebase.com/ns/m. |
n14 | http://citeseer.ist.psu.edu/barendregt94introduction. |
rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
n17 | http://www.pcs.usp.br/~coin-aamas06/10_commitment-43_16pages. |
owl | http://www.w3.org/2002/07/owl# |
n16 | http://pauillac.inria.fr/~levy/pubs/88icot. |
n23 | http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Examples/ |
n18 | https://web.archive.org/web/20070612034519/http:/users.bigpond.net.au/d.keenan/Lambda/ |
n15 | http://worrydream.com/AlligatorEggs/ |
n10 | http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda. |
prov | http://www.w3.org/ns/prov# |
xsdh | http://www.w3.org/2001/XMLSchema# |
n27 | http://homepages.nyu.edu/~cb125/Lambda/ |
dbr | http://dbpedia.org/resource/ |
n6 | https://web.archive.org/web/20040823174002/http:/www.elsevier.com/wps/find/bookdescription.cws_home/501727/description%23 |