{
 "query": {
  "discipline": [
   "Q431667"
  ],
  "from": 1990,
  "to": 1999,
  "page": 1
 },
 "total": 10,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s109anq",
   "iri": "https://id.confref.org/series/s109anq",
   "kind": "series",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "first": 1980,
   "last": 2025,
   "events": 37
  },
  {
   "id": "s124vhp",
   "iri": "https://id.confref.org/series/s124vhp",
   "kind": "series",
   "label": "International Conference on Automated Deduction",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "first": 1980,
   "last": 2021,
   "events": 25
  },
  {
   "id": "s10mnrf",
   "iri": "https://id.confref.org/series/s10mnrf",
   "kind": "series",
   "label": "International Workshop on First-Order Theorem Proving (FTP)",
   "acronyms": [
    "FTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q4055684",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "first": 1997,
   "last": 2012,
   "events": 11
  },
  {
   "id": "e12fr6t",
   "iri": "https://id.confref.org/event/e12fr6t",
   "kind": "event",
   "label": "e12fr6t",
   "acronyms": [
    "CADE 1999"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1999,
   "start": "1999-07-07",
   "end": null,
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q3376",
   "country": "IT",
   "lat": 46.0667,
   "lon": 11.1167,
   "mode": "on site"
  },
  {
   "id": "e12fr7r",
   "iri": "https://id.confref.org/event/e12fr7r",
   "kind": "event",
   "label": "e12fr7r",
   "acronyms": [
    "CADE 1998"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1998,
   "start": "1998-05-07",
   "end": null,
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q153969",
   "country": "DE",
   "lat": 47.5458,
   "lon": 9.6839,
   "mode": "on site"
  },
  {
   "id": "e12fr5w",
   "iri": "https://id.confref.org/event/e12fr5w",
   "kind": "event",
   "label": "e12fr5w",
   "acronyms": [
    "CADE 1997"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1997,
   "start": "1997-07-13",
   "end": "1997-07-17",
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q190021",
   "country": "AU",
   "lat": -19.2622,
   "lon": 146.8158,
   "mode": "on site"
  },
  {
   "id": "e12fr4y",
   "iri": "https://id.confref.org/event/e12fr4y",
   "kind": "event",
   "label": "e12fr4y",
   "acronyms": [
    "CADE 1996"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1996,
   "start": "1996-07-30",
   "end": null,
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q138338",
   "country": "US",
   "lat": 40.4867,
   "lon": -74.4444,
   "mode": "on site"
  },
  {
   "id": "e12fr30",
   "iri": "https://id.confref.org/event/e12fr30",
   "kind": "event",
   "label": "e12fr30",
   "acronyms": [
    "CADE 1994"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1994,
   "start": "1994-06-26",
   "end": null,
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q40898",
   "country": "FR",
   "lat": 48.6928,
   "lon": 6.1836,
   "mode": "on site"
  },
  {
   "id": "e12fr22",
   "iri": "https://id.confref.org/event/e12fr22",
   "kind": "event",
   "label": "e12fr22",
   "acronyms": [
    "CADE 1992"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1992,
   "start": "1992-06-15",
   "end": "1992-06-18",
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q1144357",
   "country": "US",
   "lat": 43.0753,
   "lon": -73.7825,
   "mode": "on site"
  },
  {
   "id": "e12fr14",
   "iri": "https://id.confref.org/event/e12fr14",
   "kind": "event",
   "label": "e12fr14",
   "acronyms": [
    "CADE 1990"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 1990,
   "start": "1990-07-24",
   "end": "1990-07-27",
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q3758",
   "country": "DE",
   "lat": 49.4447,
   "lon": 7.7689,
   "mode": "on site"
  }
 ]
}