{
 "query": {
  "kind": "event",
  "series": [
   "s109anq"
  ],
  "country": [
   "US"
  ],
  "page": 1
 },
 "total": 9,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e1014pb",
   "iri": "https://id.confref.org/event/e1014pb",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-06-09",
   "end": "2013-06-14",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q192700",
   "country": "US",
   "lat": 44.2856,
   "lon": -73.9853,
   "mode": null
  },
  {
   "id": "e12hzt5",
   "iri": "https://id.confref.org/event/e12hzt5",
   "kind": "event",
   "label": "International Conference on Automated Deduction (CADE)",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-08-17",
   "end": "2006-08-20",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": null
  },
  {
   "id": "e1014hn",
   "iri": "https://id.confref.org/event/e1014hn",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2003,
   "start": "2003-07-28",
   "end": "2003-08-02",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q201516",
   "country": "US",
   "lat": 25.8139,
   "lon": -80.1325,
   "mode": null
  },
  {
   "id": "e1014ft",
   "iri": "https://id.confref.org/event/e1014ft",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2000,
   "start": "2000-06-17",
   "end": "2000-06-20",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q1342",
   "country": "US",
   "lat": 40.4417,
   "lon": -80.0,
   "mode": null
  },
  {
   "id": "e1014b2",
   "iri": "https://id.confref.org/event/e1014b2",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1996,
   "start": "1996-07-30",
   "end": "1996-08-03",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q138338",
   "country": "US",
   "lat": 40.4867,
   "lon": -74.4444,
   "mode": null
  },
  {
   "id": "e101496",
   "iri": "https://id.confref.org/event/e101496",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1992,
   "start": "1992-06-15",
   "end": "1992-06-18",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q1144357",
   "country": "US",
   "lat": 43.0753,
   "lon": -73.7825,
   "mode": null
  },
  {
   "id": "e10147a",
   "iri": "https://id.confref.org/event/e10147a",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1988,
   "start": "1988-05-23",
   "end": "1988-05-26",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q1658833",
   "country": "US",
   "lat": 45.6597,
   "lon": -88.8792,
   "mode": null
  },
  {
   "id": "e10145e",
   "iri": "https://id.confref.org/event/e10145e",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1984,
   "start": "1984-05-14",
   "end": "1984-05-16",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q60537",
   "country": "US",
   "lat": 38.3,
   "lon": -122.3,
   "mode": null
  },
  {
   "id": "e10144g",
   "iri": "https://id.confref.org/event/e10144g",
   "kind": "event",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1982,
   "start": "1982-06-07",
   "end": "1982-06-09",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q60",
   "country": "US",
   "lat": 40.7128,
   "lon": -74.0061,
   "mode": null
  }
 ]
}