{"id":"https://openalex.org/W1606290932","doi":null,"title":"Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010","display_name":"Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1606290932","mag":"1606290932"},"language":"en","primary_location":{"id":"pmh:oai:westminsterresearch.westminster.ac.uk:90428","doi":null,"is_oa":false,"landing_page_url":"https://westminsterresearch.westminster.ac.uk/item/90428/proceedings-of-the-automated-reasoning-workshop-2010-bridging-the-gap-between-theory-and-practice-arw-2010","pdf_url":null,"source":{"id":"https://openalex.org/S4306400277","display_name":"WestminsterResearch (University of Westminster)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I94951947","host_organization_name":"University of Westminster","host_organization_lineage":["https://openalex.org/I94951947"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"book"},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113911870","display_name":"Alexander Bolotov","orcid":"https://orcid.org/0000-0001-9966-7558","observed_orcids":["https://orcid.org/0000-0001-9966-7558"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alexander Bolotov","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5113911870"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.45239999890327454,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.45239999890327454,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.36820000410079956,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.10989999771118164,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"automated reasoning","score":0.9879999756813049},{"id":"https://openalex.org/keywords/theory-and-practice","display_name":"theory and practice","score":0.6679999828338623},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.6610000133514404}],"concepts":[{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.9514265060424805},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5006794929504395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46363943815231323},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3332270681858063},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20158657431602478},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16719502210617065},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:westminsterresearch.westminster.ac.uk:90428","doi":null,"is_oa":false,"landing_page_url":"https://westminsterresearch.westminster.ac.uk/item/90428/proceedings-of-the-automated-reasoning-workshop-2010-bridging-the-gap-between-theory-and-practice-arw-2010","pdf_url":null,"source":{"id":"https://openalex.org/S4306400277","display_name":"WestminsterResearch (University of Westminster)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I94951947","host_organization_name":"University of Westminster","host_organization_lineage":["https://openalex.org/I94951947"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"book"},{"id":"mag:1606290932","doi":null,"is_oa":false,"landing_page_url":"https://westminsterresearch.westminster.ac.uk/item/90428/proceedings-of-the-automated-reasoning-workshop-2010-bridging-the-gap-between-theory-and-practice-arw-2010","pdf_url":null,"source":{"id":"https://openalex.org/S4306481953","display_name":"University of Westminster eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319790","host_organization_name":"University of Westminster","host_organization_lineage":["https://openalex.org/P4310319790"],"host_organization_lineage_names":["University of Westminster"],"type":"ebook platform"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"University of Westminster eBooks","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W22657303","https://openalex.org/W62321990","https://openalex.org/W80684329","https://openalex.org/W154560715","https://openalex.org/W211518107","https://openalex.org/W1482494082","https://openalex.org/W1485594735","https://openalex.org/W1489391022","https://openalex.org/W1493648217","https://openalex.org/W1499438245","https://openalex.org/W1507112684","https://openalex.org/W1520118813","https://openalex.org/W1524257410","https://openalex.org/W1527688737","https://openalex.org/W1538137835","https://openalex.org/W1539737809","https://openalex.org/W1540040626","https://openalex.org/W1571390060","https://openalex.org/W1571434026","https://openalex.org/W1587990038","https://openalex.org/W1589870140","https://openalex.org/W1590315663","https://openalex.org/W1591094652","https://openalex.org/W1603153151","https://openalex.org/W1679534293","https://openalex.org/W1785492489","https://openalex.org/W1821199070","https://openalex.org/W1963926865","https://openalex.org/W1969550103","https://openalex.org/W1976486181","https://openalex.org/W1979014177","https://openalex.org/W1982339894","https://openalex.org/W1990625148","https://openalex.org/W1999021815","https://openalex.org/W2026352253","https://openalex.org/W2056042252","https://openalex.org/W2057175746","https://openalex.org/W2060095702","https://openalex.org/W2069437351","https://openalex.org/W2069865403","https://openalex.org/W2072887965","https://openalex.org/W2074209229","https://openalex.org/W2076828459","https://openalex.org/W2097726813","https://openalex.org/W2099143991","https://openalex.org/W2103338765","https://openalex.org/W2103883247","https://openalex.org/W2106304233","https://openalex.org/W2111038026","https://openalex.org/W2116392449","https://openalex.org/W2119478850","https://openalex.org/W2120926795","https://openalex.org/W2121375212","https://openalex.org/W2123576015","https://openalex.org/W2125330525","https://openalex.org/W2130762096","https://openalex.org/W2132851185","https://openalex.org/W2137834458","https://openalex.org/W2138079527","https://openalex.org/W2140320019","https://openalex.org/W2143792293","https://openalex.org/W2146659698","https://openalex.org/W2147573597","https://openalex.org/W2153737593","https://openalex.org/W2160197556","https://openalex.org/W2171798962","https://openalex.org/W2529956207","https://openalex.org/W2583833536","https://openalex.org/W2678934292","https://openalex.org/W2908436493","https://openalex.org/W2913459036"],"related_works":["https://openalex.org/W2189194931","https://openalex.org/W1566851484","https://openalex.org/W2596669253","https://openalex.org/W3046120165","https://openalex.org/W1567243393","https://openalex.org/W4254676670","https://openalex.org/W2998651819","https://openalex.org/W574846296","https://openalex.org/W4252041461","https://openalex.org/W7095117748"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}