{
 "query": {
  "discipline": [
   "Q21198"
  ],
  "series": [
   "s10anr4"
  ],
  "page": 2
 },
 "total": 29,
 "sort": "newest",
 "page": 2,
 "per_page": 25,
 "results": [
  {
   "id": "e10885w",
   "iri": "https://id.confref.org/event/e10885w",
   "kind": "event",
   "label": "International Workshop on Theorem Proving with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1995,
   "start": "1995-05-07",
   "end": "1995-05-10",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q186037",
   "country": "DE",
   "lat": 50.15,
   "lon": 7.7167,
   "mode": null
  },
  {
   "id": "e12nzm9",
   "iri": "https://id.confref.org/event/e12nzm9",
   "kind": "event",
   "label": "Analytic Tableaux and Related Methods (TABLEAUX)",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1994,
   "start": "1994-01-01",
   "end": "1994-01-01",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q145",
   "country": "GB",
   "lat": 54.6,
   "lon": -2.0,
   "mode": null
  },
  {
   "id": "e12nzkb",
   "iri": "https://id.confref.org/event/e12nzkb",
   "kind": "event",
   "label": "Analytic Tableaux and Related Methods (TABLEAUX)",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1993,
   "start": "1993-01-01",
   "end": "1993-01-01",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q23482",
   "country": "FR",
   "lat": 43.2967,
   "lon": 5.3764,
   "mode": null
  },
  {
   "id": "e11wr9t",
   "iri": "https://id.confref.org/event/e11wr9t",
   "kind": "event",
   "label": "Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1992,
   "start": "1992-03-18",
   "end": "1992-03-20",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q183",
   "country": "DE",
   "lat": 51.0,
   "lon": 10.0,
   "mode": null
  }
 ]
}