This HTML5 document contains 203 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | IRI |
|---|---|
| n40 | http://www.ub-net.de/cms/ |
| n24 | http://mcs.open.ac.uk/pp2464/ |
| n45 | http://theseed.uchicago.edu/FIG/Html/ |
| n22 | http://symbolaris.com/logic/ |
| n27 | http://www-unix.mcs.anl.gov/~mccune/ |
| n48 | http://comet.lehman.cuny.edu/fitting/ |
| n13 | http://www.fitelson.org/ |
| n46 | http://nevidal.org/ |
| n17 | http://ja.wikipedia.org/wiki/ |
| n33 | http://logic.stanford.edu/people/genesereth/ |
| n8 | http://www.cs.man.ac.uk/~voronkov/ |
| n9 | http://ja.dbpedia.org/resource/Category: |
| n38 | http://www.cis.upenn.edu/~jean/gbooks/ |
| n39 | http://commons.wikimedia.org/wiki/Special:FilePath/ |
| n6 | http:// |
| n30 | http://www.neiu.edu/~rjswartz/Theorem%20Checker/ |
| 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# |
| n37 | http://www.cs.unm.edu/~veroff/ |
| n44 | http://www.voronkov.com/ |
| n7 | http://www.cs.man.ac.uk/~hoderk/ |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| n25 | http://ja.dbpedia.org/resource/ファイル: |
| dbo | http://dbpedia.org/ontology/ |
| n47 | http://www.freewebs.com/riazanov/ |
| dbpedia-wikidata | http://wikidata.dbpedia.org/resource/ |
| dbpedia-ja | http://ja.dbpedia.org/resource/ |
| n4 | http://www.philipp.ruemmer.org/ |
| n20 | http://www.acumenbusiness.com/ |
| n23 | http://www.cs.duke.edu/~dwl/ |
| n18 | http://www.symbolaris.com/info/ |
| n49 | http://www.prover.com/products/prover_plugin/ |
| n28 | http://www-unix.mcs.anl.gov/~wos/ |
| n19 | http://www.lsv.ens-cachan.fr/~comon/ |
| template-en | http://ja.dbpedia.org/resource/Template: |
| n31 | http://www.tptp.org/ |
| n15 | http://metaprl.org/ |
| n32 | http://www.cs.miami.edu/~tptp/ |
| prop-en | http://ja.dbpedia.org/property/ |
| n26 | http://www.idsia.ch/~juergen/ |
| prov | http://www.w3.org/ns/prov# |
| foaf | http://xmlns.com/foaf/0.1/ |
| n29 | http://www.irit.fr/ACTIVITES/LILaC/Lotrec/ |
| n41 | http://www.mpi-inf.mpg.de/~hillen/waldmeister/ |
| n50 | http://web.ics.purdue.edu/~dulrich/ |
| n12 | http://www.tptp.org/CASC/J2/ |
| n43 | http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/kiv/ |
| n5 | http://www.gilith.com/software/metis/ |
| freebase | http://rdf.freebase.com/ns/ |
| owl | http://www.w3.org/2002/07/owl# |
