cvb.acronym: SOQE 2021
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3009.zip
cvb.ceurpubdate: '2021-11-14'
cvb.city: null
cvb.cityWikidataId: null
cvb.colocated: KR 2021
cvb.country: null
cvb.countryWikidataId: null
cvb.dateFrom: '2021-11-04'
cvb.dateTo: '2021-11-04'
cvb.desc: '?'
cvb.editors: Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao
cvb.fromLine: 13303
cvb.h1: SOQE 2021 Second-Order Quantifier Elimination and Related Topics 2021
cvb.h3: Proceedings of the Second Workshop on Second-Order Quantifier Elimination
  and Related Topics (SOQE 2021) associated with the 18th International Conference
  on Principles of Knowledge Representation and Reasoning (KR 2021)
cvb.homepage: http://2021.soqe.org/
cvb.loc_city: null
cvb.loc_country: null
cvb.loc_days: '4'
cvb.loc_locs: null
cvb.loc_month: November
cvb.loc_other: Event
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Online Event, November 4, 2021
cvb.number: 3009
cvb.pubDate: '2021-11-14T00:00:00'
cvb.published: '2021-11-14'
cvb.seealso: Vol-2013
cvb.submittedBy: Christoph Wernhard
cvb.tdtitle: Proceedings of the Second Workshop on Second-Order Quantifier Elimination
  and Related Topics (SOQE 2021),Online Event, November 4, 2021.
cvb.title: Proceedings of the Second Workshop on Second-Order Quantifier Elimination
  and Related Topics (SOQE 2021)
cvb.toLine: 13322
cvb.url: http://ceur-ws.org/Vol-3009/
cvb.urn: urn:nbn:de:0074-3009-1
cvb.urn_check_digit: 1
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: 1
cvb.vol_number: null
cvb.volname: Second-Order Quantifier Elimination and Related Topics 2021
cvb.voltitle: Second-Order Quantifier Elimination and Related Topics 2021
cvb.volume_number: Vol-3009
cvb.year: '2021'
spt.acronym: SOQE 2021
spt.date: '2021-11-14'
spt.dblp: conf/kr/2021soqe
spt.description: Proceedings of SOQE 2021 workshop
spt.html_url: /Vol-3009.html
spt.k10plus: '1786130580'
spt.number: 3009
spt.title: Proceedings of the Second Workshop on Second-Order Quantifier Elimination
  and Related Topics (SOQE 2021)
spt.url: http://ceur-ws.org/Vol-3009/
spt.urn: urn:nbn:de:0074-3009-1
spt.wikidataid: Q113541844
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3009-1
wd.Volume: null
wd.dblpEventId: conf/kr/soqe2021
wd.dblpProceedingsId: conf/kr/2021soqe
wd.described_at_URL: http://ceur-ws.org/Vol-3009/
wd.event: http://www.wikidata.org/entity/Q113580027
wd.eventLabel: Second Workshop on Second-Order Quantifier Elimination and Related
  Topics (SOQE 2021)
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3009/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113541844
wd.itemDescription: Proceedings of SOQE 2021 workshop
wd.itemLabel: Proceedings of the Second Workshop on Second-Order Quantifier Elimination
  and Related Topics (SOQE 2021)
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1786130580'
wd.publication_date: '2021-11-14T00:00:00'
wd.sVolume: 3009
wd.short_name: SOQE 2021
wd.title: Proceedings of the Second Workshop on Second-Order Quantifier Elimination
  and Related Topics (SOQE 2021)
