This HTML5 document contains 84 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | Namespace IRI |
|---|---|
| dbr | http://dbpedia.org/resource/ |
| n16 | http://comet.lehman.cuny.edu/fitting/ |
| n36 | https://web.archive.org/web/20081006142033/http:/www.acumenbusiness.com/Components/ComponentsDetail.htm%23 |
| n38 | https://web.archive.org/web/20080612103458/http:/spass.mpi-sb.mpg.de/ |
| prop-es | http://es.dbpedia.org/property/ |
| n22 | http://www.cs.man.ac.uk/~voronkov/ |
| dct | http://purl.org/dc/terms/ |
| rdfs | http://www.w3.org/2000/01/rdf-schema# |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| dbo | http://dbpedia.org/ontology/ |
| n5 | https://web.archive.org/web/20090302112038/http:/www.cs.miami.edu/~tptp/CASC/ |
| n31 | http://www.waldmeister.org/ |
| n20 | http://www.cs.ubc.ca/~babic/index_spear. |
| n15 | http://www.freewebs.com/riazanov/ |
| n17 | http://www.cis.upenn.edu/~jean/gbooks/logic. |
| n27 | http://www.ub-net.de/cms/proverbox. |
| n13 | http://www.ags.uni-sb.de/~chris/ |
| n30 | http://es.dbpedia.org/resource/Springer_Science+ |
| wikipedia-es | http://es.wikipedia.org/wiki/ |
| n35 | http://mcs.open.ac.uk/pp2464/alligator/ |
| n18 | http://es.dbpedia.org/resource/Harper_& |
| n4 | https://web.archive.org/web/20061207044650/http:/www.cs.miami.edu/~tptp/CASC/ |
| n9 | http://rdf.freebase.com/ns/m. |
| n33 | http://www.prover.com/products/prover_plugin/ |
| n19 | http://www.cl.cam.ac.uk/research/hvg/Isabelle/index. |
| n7 | http://metaprl.org/ |
| n29 | http://www.lemma-one.com/ProofPower/index/index. |
| n26 | http://es.wikipedia.org/wiki/Demostración_automática_de_teoremas?oldid=125263230&ns= |
| n12 | http://es.dbpedia.org/resource/John_Wiley_& |
| prov | http://www.w3.org/ns/prov# |
| foaf | http://xmlns.com/foaf/0.1/ |
| n28 | https://web.archive.org/web/20081126113058/http:/www.irit.fr/ACTIVITES/LILaC/Lotrec/ |
| category-es | http://es.dbpedia.org/resource/CategorÃa: |
| n37 | http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/kiv/ |
| n21 | http://www.manchester.ac.uk/ |
| dbpedia-es | http://es.dbpedia.org/resource/ |
| n32 | http://www.idsia.ch/~juergen/goedelmachine. |
| owl | http://www.w3.org/2002/07/owl# |