Resultado de la API de MediaWiki
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"compare": {
"fromid": 1,
"fromrevid": 1,
"fromns": 0,
"fromtitle": "Portada",
"toid": 1,
"torevid": 2,
"tons": 0,
"totitle": "Portada",
"*": "<tr><td colspan=\"2\" class=\"diff-lineno\" id=\"mw-diff-left-l1\" >L\u00ednea 1:</td>\n<td colspan=\"2\" class=\"diff-lineno\">L\u00ednea 1:</td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">Software wiki instalado con \u00e9xito</del>.</div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">The research activities of our group in the area of [http://www.cs.miami.edu/~tptp/OverviewOfATP.html automated theorem proving] begun at the end of the eighties, mainly focused on the application of algebraic methods (Gr\u00f6bner basis) to deduction in multivalued logics</ins>.</div></td></tr>\n<tr><td class='diff-marker'> </td><td class='diff-context'></td><td class='diff-marker'> </td><td class='diff-context'></td></tr>\n<tr><td class='diff-marker'>\u2212</td><td class='diff-deletedline'><div><del class=\"diffchange diffchange-inline\">Por favor</del>, <del class=\"diffchange diffchange-inline\">lee </del>[http://<del class=\"diffchange diffchange-inline\">meta</del>.<del class=\"diffchange diffchange-inline\">wikimedia</del>.<del class=\"diffchange diffchange-inline\">org</del>/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">MediaWiki_i18n documentation on customizing </del>the <del class=\"diffchange diffchange-inline\">interface</del>] <del class=\"diffchange diffchange-inline\">y </del>[http://<del class=\"diffchange diffchange-inline\">meta</del>.<del class=\"diffchange diffchange-inline\">wikimedia</del>.org/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">MediaWiki_User%27s_Guide User's Guide</del>] <del class=\"diffchange diffchange-inline\">para conocer su configuraci\u00f3n y uso</del>.</div></td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">In the first half of the nineties</ins>, <ins class=\"diffchange diffchange-inline\">our work was centred around the [http://www-unix.mcs.anl.gov/AR/otter/ OTTER] theorem prover, [http://rewriting.loria.fr/ term rewriting systems] and [http://www.afm.sbu.ac.uk/logic-prog/ logic programming].</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">In the second half of the nineties, we started to apply algebraic methods to the [http://www.csd.abdn.ac.uk/~apreece/Research/KQpage.html verification of knowledge-based systems]. In 1997, we begun our project to apply [http://www.afm.sbu.ac.uk/ formal methods] to the verification of [http://www-formal.stanford.edu/clt/ARS/systems.html reasoning systems]. Using </ins>[http://<ins class=\"diffchange diffchange-inline\">www</ins>.<ins class=\"diffchange diffchange-inline\">cs</ins>.<ins class=\"diffchange diffchange-inline\">utexas.edu/users/moore</ins>/<ins class=\"diffchange diffchange-inline\">acl2</ins>/ <ins class=\"diffchange diffchange-inline\">ACL2] we have developed a number of basic [[computational theories]] for automated deduction.</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">Currently, </ins>the <ins class=\"diffchange diffchange-inline\">group is formed by seven [[members</ins>]<ins class=\"diffchange diffchange-inline\">]. Our main research interests are:</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">* the study of techniques allowing to increase the efficiency of the algorithms of the computational theories previously developed,</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">* the application of the techniques developed to the verification, with the </ins>[http://<ins class=\"diffchange diffchange-inline\">pvs</ins>.<ins class=\"diffchange diffchange-inline\">csl.sri.com/ PVS] verification system, of other intelligent systems (like [http://www.upriss</ins>.org<ins class=\"diffchange diffchange-inline\">.uk</ins>/<ins class=\"diffchange diffchange-inline\">fca</ins>/<ins class=\"diffchange diffchange-inline\">fca.html formal concept analysis]), and</ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">* the study of the validation of knowledge bases in complex ontologies and its applications to the [http://www.semanticweb.org/ Semantic Web]. </ins></div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div> </div></td></tr>\n<tr><td colspan=\"2\"> </td><td class='diff-marker'>+</td><td class='diff-addedline'><div><ins class=\"diffchange diffchange-inline\">During all these years, the group has been involved in several [[research projects]] with public financial support. At the same time, [[education in Computational Logic|teaching]</ins>] <ins class=\"diffchange diffchange-inline\">has been one of our major concerns</ins>.</div></td></tr>\n"
}
}