{"version.version":"0.1.1","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4241.html","spt.number":4241,"spt.acronym":"PAAR 2026","spt.wikidataid":"Q141603267","spt.title":"Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR 2026)","spt.description":"Proceedings of PAAR 2026 workshop","spt.url":"https://ceur-ws.org/Vol-4241/","spt.date":"2026-08-20","spt.dblp":null,"spt.k10plus":null,"spt.urn":"urn:nbn:de:0074-4241-x","cvb.number":4241,"cvb.url":"https://ceur-ws.org/Vol-4241/","cvb.title":"Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR 2026)","cvb.fullTitle":null,"cvb.acronym":"PAAR 2026","cvb.lang":null,"cvb.location":null,"cvb.country":"Portugal","cvb.countryWikidataId":"Q45","cvb.region":null,"cvb.city":"Lisbon","cvb.cityWikidataId":"Q597","cvb.ordinal":null,"cvb.date":null,"cvb.dateFrom":"2026-07-25","cvb.dateTo":"2026-07-25","cvb.pubYear":null,"cvb.pubDate":"2026-08-20T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Márton Hajdu, Cláudia Nalon, Martin Suda","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Márton Hajdu","cvb.fromLine":942,"cvb.toLine":959,"cvb.loctime":"Lisbon, Portugal, July 25, 2026","cvb.tdtitle":"Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR 2026),Lisbon, Portugal, July 25, 2026.","cvb.seealso":"","cvb.volname":"https://ceur-ws.org/Vol-4241/","cvb.published":"2026-08-20","cvb.year":"2026","cvb.urn":"urn:nbn:de:0074-4241-x","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-4241.zip","cvb.desc":"?","cvb.h1":"PAAR 2026 Practical Aspects of Automated Reasoning 2026","cvb.volume_number":"Vol-4241","cvb.ceurpubdate":"2026-08-20","cvb.voltitle":"Practical Aspects of Automated Reasoning 2026","cvb.colocated":"FLoC 2026","cvb.homepage":"https://paar2026.github.io/","cvb.h3":"Márton Hajdu * Cláudia Nalon ** Martin Suda ***","cvb.urn_check_digit":3,"cvb.urn_ok":false,"wd.item":"http://www.wikidata.org/entity/Q141603267","wd.itemLabel":"Proceedings of the Workshop on Practical Aspects of Automated Reasoning","wd.itemDescription":"Proceedings of PAAR 2026 workshop","wd.sVolume":4241,"wd.Volume":null,"wd.short_name":"PAAR 2026","wd.dblpProceedingsId":null,"wd.title":"Proceedings of the Workshop on Practical Aspects of Automated Reasoning","wd.language_of_work_or_name":null,"wd.language_of_work_or_nameLabel":null,"wd.URN_NBN":"urn:nbn:de:0074-4241-x","wd.publication_date":"2026-08-20T00:00:00","wd.described_at_URL":"https://ceur-ws.org/Vol-4241/","wd.event":null,"wd.eventLabel":null,"wd.eventSeries":null,"wd.eventSeriesLabel":null,"wd.eventSeriesOrdinal":null,"wd.dblpEventId":null,"wd.fullWorkUrl":"https://ceur-ws.org/Vol-4241/","wd.homePage":null,"wd.ppnId":null}