{
 "query": {
  "series": [
   "s10d5re"
  ],
  "page": 1
 },
 "total": 8,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e120yw5",
   "iri": "https://id.confref.org/event/e120yw5",
   "kind": "event",
   "label": "Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q1342",
   "country": "US",
   "lat": 40.4417,
   "lon": -80.0,
   "mode": null
  },
  {
   "id": "s10d5re",
   "iri": "https://id.confref.org/series/s10d5re",
   "kind": "series",
   "label": "International Workshop on Proof Exchange for Theorem Proving (PxTP)",
   "acronyms": [
    "PxTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2011,
   "last": 2021,
   "events": 7
  },
  {
   "id": "e120xv8",
   "iri": "https://id.confref.org/event/e120xv8",
   "kind": "event",
   "label": "Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019.",
   "acronyms": [
    "PXTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2019,
   "start": "2019-08-26",
   "end": "2019-08-26",
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e120wsd",
   "iri": "https://id.confref.org/event/e120wsd",
   "kind": "event",
   "label": "Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017.",
   "acronyms": [
    "PXTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-09-23",
   "end": "2017-09-24",
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q2844",
   "country": "BR",
   "lat": -15.7939,
   "lon": -47.8828,
   "mode": null
  },
  {
   "id": "e120ty5",
   "iri": "https://id.confref.org/event/e120ty5",
   "kind": "event",
   "label": "Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015.",
   "acronyms": [
    "PXTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-08-02",
   "end": "2015-08-03",
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e10tgr8",
   "iri": "https://id.confref.org/event/e10tgr8",
   "kind": "event",
   "label": "Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013",
   "acronyms": [
    "PXTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-06-09",
   "end": "2013-06-10",
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q192700",
   "country": "US",
   "lat": 44.2856,
   "lon": -73.9853,
   "mode": null
  },
  {
   "id": "e11phd5",
   "iri": "https://id.confref.org/event/e11phd5",
   "kind": "event",
   "label": "Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2012,
   "start": null,
   "end": null,
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": null
  },
  {
   "id": "e11phc7",
   "iri": "https://id.confref.org/event/e11phc7",
   "kind": "event",
   "label": "PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2011,
   "start": null,
   "end": null,
   "series": [
    "s10d5re"
   ],
   "place": "http://www.wikidata.org/entity/Q1799",
   "country": "PL",
   "lat": 51.11,
   "lon": 17.0325,
   "mode": null
  }
 ]
}