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": "",
"query": {
"searchinfo": {
"totalhits": 9
},
"search": [
{
"ns": 0,
"title": "Meeting Minutes - March 25, 2010",
"snippet": "All have drawbacks. (A) is verbose. (B) overloads the <span class='searchmatch'>meaning</span> of +. (C) requires construction of an intermediate PLUS-kinded Node. (D) \n",
"size": 3395,
"wordcount": 529,
"timestamp": "2010-03-25T16:36:03Z"
},
{
"ns": 0,
"title": "Meeting Minutes - April 15, 2010",
"snippet": "..."I am normal." ''Nodes'' that rewrite to themselves are marked this way, <span class='searchmatch'>meaning</span> they don't have to cyclically reference themselves (making them uncollectib\n",
"size": 2817,
"wordcount": 414,
"timestamp": "2010-04-15T20:25:25Z"
},
{
"ns": 0,
"title": "Leaderboard",
"snippet": "Most things are "tool-tippable," <span class='searchmatch'>meaning</span> you can hover the mouse pointer over them for additional information.\n",
"size": 3072,
"wordcount": 514,
"timestamp": "2017-02-01T18:26:44Z"
},
{
"ns": 0,
"title": "Meeting Minutes - October 21, 2011",
"snippet": " * "Spend" a "resource." The <span class='searchmatch'>meaning</span> is specific to the context in\n * intended <span class='searchmatch'>meaning</span> is that if the user has set a limit on the "units\n",
"size": 4512,
"wordcount": 586,
"timestamp": "2011-10-21T16:07:40Z"
},
{
"ns": 0,
"title": "Meeting Minutes - April 15, 2011",
"snippet": "...because TheoryDatatypes registered all the constructors, selectors, etc.---<span class='searchmatch'>meaning</span> that if you wanted to see what constructors composed a datatype, you had to\n",
"size": 6292,
"wordcount": 932,
"timestamp": "2011-04-19T18:26:20Z"
},
{
"ns": 0,
"title": "Meeting Minutes - May 27, 2011",
"snippet": "Tim's SMT paper accepted!! <span class='searchmatch'>meaning</span> we have a CVC4 tool paper at CAV, Dejan's presentation at SMT, and Tim's pa\n",
"size": 4103,
"wordcount": 612,
"timestamp": "2011-05-27T19:09:52Z"
},
{
"ns": 0,
"title": "CVC4's native language",
"snippet": "Patterns have no logical <span class='searchmatch'>meaning</span>: \n",
"size": 45679,
"wordcount": 7162,
"timestamp": "2016-01-08T06:07:46Z"
},
{
"ns": 0,
"title": "Separation Logic",
"snippet": "...the arguments of "emp" are used to denote the type of the heap and have no <span class='searchmatch'>meaning</span> otherwise.\n",
"size": 4793,
"wordcount": 789,
"timestamp": "2018-08-02T16:59:34Z"
},
{
"ns": 0,
"title": "CVC4's native language Draft",
"snippet": "Patterns have no logical <span class='searchmatch'>meaning</span>: \n",
"size": 64319,
"wordcount": 10251,
"timestamp": "2017-09-25T17:17:23Z"
}
]
}
}