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.

{
    "continue": {
        "plcontinue": "1|0|Lean_theorem_prover/Foundations/Terms,_types_and_judgments",
        "continue": "||"
    },
    "query": {
        "pages": {
            "1": {
                "pageid": 1,
                "ns": 0,
                "title": "Main Page",
                "links": [
                    {
                        "ns": 0,
                        "title": "Hamilton's principle"
                    },
                    {
                        "ns": 0,
                        "title": "Hamilton's principle/Applications/The Feynman path integral"
                    },
                    {
                        "ns": 0,
                        "title": "Hamilton's principle/Explainers/Comparing paths"
                    },
                    {
                        "ns": 0,
                        "title": "Hamilton's principle/Mathematics/Noether's first theorem"
                    },
                    {
                        "ns": 0,
                        "title": "Hamilton's principle/Mathematics/The Jacobi condition and conjugate points"
                    },
                    {
                        "ns": 0,
                        "title": "Introduction"
                    },
                    {
                        "ns": 0,
                        "title": "Lagrangian mechanics"
                    },
                    {
                        "ns": 0,
                        "title": "Lean theorem prover"
                    },
                    {
                        "ns": 0,
                        "title": "Lean theorem prover/Explainers/What a proof assistant does"
                    },
                    {
                        "ns": 0,
                        "title": "Lean theorem prover/Explainers/What has to be trusted"
                    }
                ]
            }
        }
    }
}