{"id":"https://openalex.org/W4393828492","doi":"https://doi.org/10.5281/zenodo.1226892","title":"Datset Of Automated Economic Reasoning Problems For Qe / Smt","display_name":"Datset Of Automated Economic Reasoning Problems For Qe / Smt","publication_year":2018,"publication_date":"2018-04-23","ids":{"openalex":"https://openalex.org/W4393828492","doi":"https://doi.org/10.5281/zenodo.1226892"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:1226892","is_oa":true,"landing_page_url":"https://zenodo.org/record/1226892","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/1226892","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076609974","display_name":"Casey B. Mulligan","orcid":"https://orcid.org/0000-0001-9357-3446"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mulligan, Casey","raw_affiliation_strings":["University of Chicago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073640180","display_name":"Russell Bradford","orcid":"https://orcid.org/0009-0003-3251-2051"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bradford, Russell","raw_affiliation_strings":["University of Bath"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043054372","display_name":"James H. Davenport","orcid":"https://orcid.org/0000-0002-3982-7545"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Davenport, James H.","raw_affiliation_strings":["University of Bath"],"raw_orcid":"https://orcid.org/0000-0002-3982-7545","affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052550722","display_name":"Matthew England","orcid":"https://orcid.org/0000-0001-5729-3420"},"institutions":[{"id":"https://openalex.org/I73417466","display_name":"Coventry University","ror":"https://ror.org/01tgmhj36","country_code":"GB","type":"education","lineage":["https://openalex.org/I73417466"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"England, Matthew","raw_affiliation_strings":["Coventry University"],"raw_orcid":"https://orcid.org/0000-0001-5729-3420","affiliations":[{"raw_affiliation_string":"Coventry University","institution_ids":["https://openalex.org/I73417466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008846130","display_name":"Zak Tonks","orcid":"https://orcid.org/0000-0001-6019-1775"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tonks, Zak","raw_affiliation_strings":["University of Bath"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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/T13370","display_name":"Diverse Scientific and Economic Studies","score":0.25189998745918274,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13370","display_name":"Diverse Scientific and Economic Studies","score":0.25189998745918274,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.22059999406337738,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.5549670457839966},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.506463885307312},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2748357951641083}],"concepts":[{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5549670457839966},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.506463885307312},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2748357951641083}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:1226892","is_oa":true,"landing_page_url":"https://zenodo.org/record/1226892","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},{"id":"doi:10.5281/zenodo.1226892","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.1226892","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:1226892","is_oa":true,"landing_page_url":"https://zenodo.org/record/1226892","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5548776230","display_name":"SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems","funder_award_id":"712689","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"This":[0,81,121,158],"dataset":[1],"is":[2,162],"generated":[3],"by":[4],"45":[5,90,154],"economics":[6],"theorems":[7],"\"A":[8],"implies":[9],"H\"":[10],"where":[11],"A":[12],"are":[13,20,49,76,108,190],"assumptions":[14],"and":[15,24,26,67,141,206],"H":[16],"a":[17,73,87,150,186,193],"hypothesis.":[18],"These":[19],"taken":[21],"from":[22],"textbooks":[23],"papers":[25],"chosen":[27],"for":[28,31,58,69,93,110,132,149,152,163,185],"their":[29],"suitability":[30],"automatic":[32],"solution":[33],"with":[34,89,112,128,165,197],"Quantifier":[35],"Elimination":[36],"(QE)":[37],"or":[38],"Satisfiability":[39],"Modulo":[40],"Theory":[41],"(SMT)":[42],"technology.":[43],"For":[44,171],"each":[45,94,172,207],"theorem":[46,95,173],"three":[47,77,98],"problems":[48],"generated:":[50],"checking":[51,57,68],"the":[52,55,59,65,70,97,102,117,129,133,166,176,180,198],"compatibility":[53],"of":[54,61,64,72,195],"assumptions;":[56],"existence":[60,71,99],"an":[62],"example":[63],"theorem;":[66],"counterexample.":[74,187],"There":[75],"files:":[78],"1.":[79],"EconomicReasoningBenchmarks-Apr18-SMT2.zip":[80],"zip":[82],"file":[83,124,161],"will":[84],"uncompress":[85],"into":[86],"directory":[88],"files,":[91],"one":[92],"stating":[96],"checks":[100],"within":[101],"SMT2":[103],"format.":[104],"Thus":[105],"these":[106],"files":[107],"suitable":[109],"use":[111,164],"any":[113],"SMT":[114],"solver":[115],"supporting":[116],"theory.":[118],"2.":[119],"EconomicReasoningBenchmarks-Apr20-Redlog.txt":[120],"plain":[122,159],"text":[123,160],"can":[125],"be":[126],"run":[127],"Redlog":[130],"Package":[131],"Computer":[134,168],"Algebra":[135,169],"System":[136],"Reduce.":[137],"It":[138],"contains":[139],"definitions":[140],"calls":[142],"to":[143,147,183],"Redlog's":[144],"QE":[145],"command":[146],"check":[148,184],"counterexample":[151],"all":[153],"theorems.":[155],"3.":[156],"EconomicReasoningBenchmarks-Apr23-Maple.txt":[157],"Maple":[167],"System.":[170],"it":[174],"provides":[175],"polynomials":[177,189],"used":[178],"in":[179],"Tarski":[181],"formula":[182],"The":[188],"given":[191],"as":[192],"list":[194,200,209],"lists":[196],"outer":[199],"representing":[201],"logical":[202,210],"OR":[203],"between":[204],"entries":[205],"inner":[208],"AND.":[211]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}