{
 "query": {
  "series": [
   "s10anr4"
  ],
  "from": 1990,
  "to": 1999,
  "page": 1
 },
 "total": 9,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s10anr4",
   "iri": "https://id.confref.org/series/s10anr4",
   "kind": "series",
   "label": "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q811591"
   ],
   "first": 1992,
   "last": 2025,
   "events": 32
  },
  {
   "id": "e10889m",
   "iri": "https://id.confref.org/event/e10889m",
   "kind": "event",
   "label": "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1999,
   "start": "1999-06-07",
   "end": "1999-06-11",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q1144357",
   "country": "US",
   "lat": 43.0753,
   "lon": -73.7825,
   "mode": null
  },
  {
   "id": "e10888p",
   "iri": "https://id.confref.org/event/e10888p",
   "kind": "event",
   "label": "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1998,
   "start": "1998-05-05",
   "end": "1998-05-08",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q29999",
   "country": "NL",
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e10887r",
   "iri": "https://id.confref.org/event/e10887r",
   "kind": "event",
   "label": "International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1997,
   "start": "1997-05-13",
   "end": "1997-05-16",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q461413",
   "country": "FR",
   "lat": 48.9044,
   "lon": 6.0542,
   "mode": null
  },
  {
   "id": "e10886t",
   "iri": "https://id.confref.org/event/e10886t",
   "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": 1996,
   "start": "1996-05-15",
   "end": "1996-05-17",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q490913",
   "country": "IT",
   "lat": 38.15,
   "lon": 13.0833,
   "mode": null
  },
  {
   "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
  }
 ]
}