MediaWiki API result

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.

{
    "batchcomplete": "",
    "continue": {
        "gapcontinue": "Seminars",
        "continue": "gapcontinue||"
    },
    "warnings": {
        "main": {
            "*": "Subscribe to the mediawiki-api-announce mailing list at <https://lists.wikimedia.org/mailman/listinfo/mediawiki-api-announce> for notice of API deprecations and breaking changes."
        },
        "revisions": {
            "*": "Because \"rvslots\" was not specified, a legacy format has been used for the output. This format is deprecated, and in the future the new format will always be used."
        }
    },
    "query": {
        "pages": {
            "29": {
                "pageid": 29,
                "ns": 0,
                "title": "Repositories",
                "revisions": [
                    {
                        "contentformat": "text/x-wiki",
                        "contentmodel": "wikitext",
                        "*": "STATOR's project code is split into multiple repositories.\n\nCPAchecker fork is available at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/CPAchecker.git'' (replace $login by your username).\n\nMIR LLVM conversion layer is available at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/mir.git'' (replace $login by your username).\n\nSMT Lib interface is at: ''git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/smtlibinterface.git''"
                    }
                ]
            },
            "27": {
                "pageid": 27,
                "ns": 0,
                "title": "Seminar",
                "revisions": [
                    {
                        "contentformat": "text/x-wiki",
                        "contentmodel": "wikitext",
                        "*": "==Schedule==\n* Monday, December 2, 2013: Thibault Gauthier, A higher order to first order translation\n* Tuesday, February 18, 2014: Radu Iosif, Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops (a tutorial on rigorous acceleration techniques)\n==Pool of available subjects==\n===David Monniaux===\n# (or Julien Henry) Worst-case execution time analysis of programs using SMT and a clever encoding\n# Single-cell abstraction of arrays\n\n===Radu Iosif===\n# Underapproximation of Procedure Summaries for Integer Programs + Polynomially Bounded Control Sets (higher-order acceleration or acceleration for recursive programs)\n# The Tree Width of Separation Logic with Recursive Definitions + Deciding Entailments in Inductive Separation Logic with Tree Automata (a tutorial on Separation Logic for compositional program analysis with emphasis on decidability issues)"
                    }
                ]
            }
        }
    }
}