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": {
"sroffset": 10,
"continue": "-||"
},
"query": {
"searchinfo": {
"totalhits": 13
},
"search": [
{
"ns": 0,
"title": "Modularisation Plug-in Composition Semantics",
"pageid": 235,
"size": 652,
"wordcount": 94,
"snippet": "==The <span class='searchmatch'>meaning</span> of module composition==\n",
"timestamp": "2009-11-10T20:58:42Z"
},
{
"ns": 0,
"title": "Old Flow Plug in page",
"pageid": 244,
"size": 10821,
"wordcount": 1869,
"snippet": "...ath>e_1 | e_2</math> is not well-formed on its own. Choice of events has a <span class='searchmatch'>meaning</span> only in a combination with operator <math>;</math>. \n...of a sequential composition with an event: <math>t_1 \\| t_2; e</math>. The <span class='searchmatch'>meaning</span> of this construct is that once <math>t_1</math> and <math>t_2</math> stoppe\n",
"timestamp": "2011-01-21T23:48:47Z"
},
{
"ns": 0,
"title": "Proof Obligation Commands",
"pageid": 266,
"size": 2824,
"wordcount": 457,
"snippet": "...f it was entirely discharged using the auto prover, else there is no mark, <span class='searchmatch'>meaning</span> that the user had to edit the proof by hand (even partially).\n",
"timestamp": "2010-03-18T10:43:43Z"
},
{
"ns": 0,
"title": "D45 Code Generation",
"pageid": 89,
"size": 11983,
"wordcount": 1818,
"snippet": ".... These translators perform the majority of the translation automatically, <span class='searchmatch'>meaning</span> that in most cases all the developer is required to do is format strings in\n...specialisation of the language is also reflected in the theory translator, <span class='searchmatch'>meaning</span> that language theories are only required for the core languages, rather tha\n",
"timestamp": "2012-04-20T08:31:32Z"
},
{
"ns": 0,
"title": "Datatype Rules",
"pageid": 100,
"size": 7754,
"wordcount": 1199,
"snippet": "<span class='searchmatch'>meaning</span> that the first argument is a member of the list.\n",
"timestamp": "2010-09-07T13:37:11Z"
},
{
"ns": 0,
"title": "Camille Editor",
"pageid": 48,
"size": 6247,
"wordcount": 945,
"snippet": "...mantic highlighting'': Identifiers are highlighted based on their semantic <span class='searchmatch'>meaning</span>, i.e., as variables, constants, parameters, sets, local variables. This hig\n",
"timestamp": "2015-01-27T12:22:38Z"
},
{
"ns": 0,
"title": "Revisiting Feasibility POs",
"pageid": 294,
"size": 8323,
"wordcount": 1284,
"snippet": "proof obligation), which is the exact <span class='searchmatch'>meaning</span> of the feasibility proof\n",
"timestamp": "2012-01-30T18:33:53Z"
},
{
"ns": 0,
"title": "Rodin Keyboard User Guide",
"pageid": 307,
"size": 14331,
"wordcount": 1930,
"snippet": "! ASCII !! LaTeX !! Math !! <span class='searchmatch'>Meaning</span> !! Unicode\n",
"timestamp": "2010-07-21T12:58:00Z"
},
{
"ns": 0,
"title": "Event-B Statemachines",
"pageid": 133,
"size": 13820,
"wordcount": 2134,
"snippet": "...here is no so-called `big-step', terms such as `run to completion' have no <span class='searchmatch'>meaning</span>. (All these things can be, and often are, modelled explicitly when required\n",
"timestamp": "2015-10-06T08:04:54Z"
},
{
"ns": 0,
"title": "D32 Provers",
"pageid": 85,
"size": 11462,
"wordcount": 1699,
"snippet": "...of predefined operators and binders, answering questions like "what is the <span class='searchmatch'>meaning</span> of&nbsp;<math>x \\div y</math> if&nbsp;<math>x</math>&nbsp;or&nbsp; <math>y<\n",
"timestamp": "2011-01-27T15:25:18Z"
}
]
}
}