{
 "query": {
  "field": [
   "1"
  ],
  "discipline": [
   "Q431667"
  ],
  "country": [
   "DE"
  ],
  "page": 1
 },
 "total": 7,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e10tg0s",
   "iri": "https://id.confref.org/event/e10tg0s",
   "kind": "event",
   "label": "Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q1022",
   "country": "DE",
   "lat": 48.7775,
   "lon": 9.18,
   "mode": null
  },
  {
   "id": "e12frg5",
   "iri": "https://id.confref.org/event/e12frg5",
   "kind": "event",
   "label": "e12frg5",
   "acronyms": [
    "CADE 2015"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2015,
   "start": "2015-01-08",
   "end": null,
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": "on site"
  },
  {
   "id": "e12frce",
   "iri": "https://id.confref.org/event/e12frce",
   "kind": "event",
   "label": "e12frce",
   "acronyms": [
    "CADE 2007"
   ],
   "fields": [
    "1.1"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2007,
   "start": "2007-07-17",
   "end": "2007-07-20",
   "series": [
    "s124vhp"
   ],
   "place": "http://www.wikidata.org/entity/Q24879",
   "country": "DE",
   "lat": 53.0758,
   "lon": 8.8072,
   "mode": "on site"
  },
  {
   "id": "e10tg2n",
   "iri": "https://id.confref.org/event/e10tg2n",
   "kind": "event",
   "label": "Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2007,
   "start": null,
   "end": null,
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q24879",
   "country": "DE",
   "lat": 53.0758,
   "lon": 8.8072,
   "mode": null
  },
  {
   "id": "e10tgyw",
   "iri": "https://id.confref.org/event/e10tgyw",
   "kind": "event",
   "label": "Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2007,
   "start": null,
   "end": null,
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q24879",
   "country": "DE",
   "lat": 53.0758,
   "lon": 8.8072,
   "mode": null
  },
  {
   "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": "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"
  }
 ]
}