{"id":"https://openalex.org/W2893979209","doi":"https://doi.org/10.1007/s10817-018-9482-4","title":"Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF","display_name":"Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF","publication_year":2018,"publication_date":"2018-09-24","ids":{"openalex":"https://openalex.org/W2893979209","doi":"https://doi.org/10.1007/s10817-018-9482-4","mag":"2893979209","pmid":"https://pubmed.ncbi.nlm.nih.gov/31496547"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-018-9482-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-018-9482-4","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-018-9482-4.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-018-9482-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042128349","display_name":"Olaf Beyersdorff","orcid":"https://orcid.org/0000-0002-2870-1648"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Olaf Beyersdorff","raw_affiliation_strings":["1School of Computing, University of Leeds, Leeds, UK","School of Computing, University of Leeds, Leeds, UK"],"affiliations":[{"raw_affiliation_string":"1School of Computing, University of Leeds, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"School of Computing, University of Leeds, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048382806","display_name":"Joshua Blinkhorn","orcid":"https://orcid.org/0000-0001-7452-6521"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Joshua Blinkhorn","raw_affiliation_strings":["1School of Computing, University of Leeds, Leeds, UK","School of Computing, University of Leeds, Leeds, UK"],"affiliations":[{"raw_affiliation_string":"1School of Computing, University of Leeds, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"School of Computing, University of Leeds, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083294974","display_name":"Leroy Chew","orcid":"https://orcid.org/0000-0003-0226-2832"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Leroy Chew","raw_affiliation_strings":["1School of Computing, University of Leeds, Leeds, UK","School of Computing, University of Leeds, Leeds, UK"],"affiliations":[{"raw_affiliation_string":"1School of Computing, University of Leeds, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"School of Computing, University of Leeds, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037583341","display_name":"Renate A. Schmidt","orcid":"https://orcid.org/0000-0002-6673-3333"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Renate Schmidt","raw_affiliation_strings":["2School of Computer Science, University of Manchester, Manchester, UK","School of Computer Science, University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"2School of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"School of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065681566","display_name":"Martin Suda","orcid":"https://orcid.org/0000-0003-0989-5800"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Suda","raw_affiliation_strings":["3Institute of Information Systems, Vienna University of Technology, Vienna, Austria","Institute of Information Systems, Vienna University of Technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"3Institute of Information Systems, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075","https://openalex.org/I129774422"]},{"raw_affiliation_string":"Institute of Information Systems, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5042128349"],"corresponding_institution_ids":["https://openalex.org/I130828816"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.0685,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80094325,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"63","issue":"3","first_page":"597","last_page":"623"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9975000023841858,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9775999784469604,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.94972825050354},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.5867469310760498},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5375170111656189},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5055356025695801},{"id":"https://openalex.org/keywords/path-dependency","display_name":"Path dependency","score":0.44917577505111694},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.4274737238883972},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3965674042701721},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37812063097953796},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3467419743537903},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11071926355361938},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07251083850860596}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.94972825050354},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.5867469310760498},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5375170111656189},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5055356025695801},{"id":"https://openalex.org/C2992749281","wikidata":"https://www.wikidata.org/wiki/Q1093521","display_name":"Path dependency","level":2,"score":0.44917577505111694},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.4274737238883972},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3965674042701721},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37812063097953796},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3467419743537903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11071926355361938},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07251083850860596},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C74363100","wikidata":"https://www.wikidata.org/wiki/Q273005","display_name":"Economic system","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s10817-018-9482-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-018-9482-4","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-018-9482-4.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmid:31496547","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/31496547","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of automated reasoning","raw_type":null},{"id":"pmh:oai:eprints.whiterose.ac.uk:138399","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:europepmc.org:5686768","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/6710225","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/c21330aa-c463-4cf7-b62a-9963d26aaad7","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/c21330aa-c463-4cf7-b62a-9963d26aaad7","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"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":"Beyersdorff, O, Blinkhorn, J, Leroy Chew, , Schmidt, R & Suda, M 2018, 'Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF', Journal of Automated Reasoning, vol. 63, no. 0, pp. 597\u2013623. https://doi.org/10.1007/s10817-018-9482-4","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/c21330aa-c463-4cf7-b62a-9963d26aaad7","is_oa":true,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/reinterpreting-dependency-schemes-soundness-meets-incompleteness-in-dqbf(c21330aa-c463-4cf7-b62a-9963d26aaad7).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"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":"Beyersdorff, O, Blinkhorn, J, Leroy Chew, , Schmidt, R & Suda, M 2018, 'Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF', Journal of Automated Reasoning, vol. 63, no. 0, pp. 597\u2013623. https://doi.org/10.1007/s10817-018-9482-4","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s10817-018-9482-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-018-9482-4","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-018-9482-4.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1361938442","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2242748115","display_name":null,"funder_award_id":"SYMCAR 639270","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G2584402869","display_name":null,"funder_award_id":"48138","funder_id":"https://openalex.org/F4320306193","funder_display_name":"John Templeton Foundation"},{"id":"https://openalex.org/G4001337559","display_name":"Parameterized Proof Complexity","funder_award_id":"EP/L024233/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4794090369","display_name":null,"funder_award_id":"60842","funder_id":"https://openalex.org/F4320306193","funder_display_name":"John Templeton Foundation"},{"id":"https://openalex.org/G6991017272","display_name":null,"funder_award_id":"S11409-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7155175004","display_name":null,"funder_award_id":"Doctoral Prize","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8161785929","display_name":null,"funder_award_id":"EP/L024233/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306193","display_name":"John Templeton Foundation","ror":"https://ror.org/035tnyy05"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320324720","display_name":"Soochow University","ror":"https://ror.org/05t8y2r12"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2893979209.pdf","grobid_xml":"https://content.openalex.org/works/W2893979209.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W25993968","https://openalex.org/W182482375","https://openalex.org/W1480301700","https://openalex.org/W1489151559","https://openalex.org/W1492210508","https://openalex.org/W1513576223","https://openalex.org/W1525848078","https://openalex.org/W1575955626","https://openalex.org/W1851471023","https://openalex.org/W1852359712","https://openalex.org/W1922664086","https://openalex.org/W1973302434","https://openalex.org/W1976876676","https://openalex.org/W1988083342","https://openalex.org/W1998084650","https://openalex.org/W2036265926","https://openalex.org/W2039585983","https://openalex.org/W2048051309","https://openalex.org/W2051846104","https://openalex.org/W2054701903","https://openalex.org/W2080220005","https://openalex.org/W2102022086","https://openalex.org/W2108637261","https://openalex.org/W2131550405","https://openalex.org/W2187347509","https://openalex.org/W2189084874","https://openalex.org/W2191125414","https://openalex.org/W2217260363","https://openalex.org/W2233304325","https://openalex.org/W2296736231","https://openalex.org/W2335976662","https://openalex.org/W2426939917","https://openalex.org/W2482896395","https://openalex.org/W2496663035","https://openalex.org/W2730075656","https://openalex.org/W2734351583","https://openalex.org/W2743440074","https://openalex.org/W2744714759","https://openalex.org/W2946715090","https://openalex.org/W2962943581","https://openalex.org/W4229617267","https://openalex.org/W4235795581"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W4302559785","https://openalex.org/W4226437312","https://openalex.org/W1983807243","https://openalex.org/W2953978934","https://openalex.org/W2893979209"],"abstract_inverted_index":{"Dependency":[0],"quantified":[1],"Boolean":[2],"formulas":[3],"(DQBF)":[4],"and":[5,97,140],"QBF":[6,21,50,68,87,117],"dependency":[7,44,70,119,146,156],"schemes":[8],"have":[9],"been":[10],"treated":[11],"separately":[12],"in":[13,64,72,112],"the":[14,24,28,39,60,125,152],"literature,":[15],"even":[16],"though":[17],"both":[18],"treatments":[19],"extend":[20],"by":[22,41,135],"replacing":[23],"linear":[25],"order":[26],"of":[27,62,145,165],"quantifier":[29],"prefix":[30],"with":[31,69,118],"a":[32,43,47,56,74,163],"partial":[33],"order.":[34],"We":[35,82,100,131],"propose":[36],"to":[37,86],"merge":[38],"two,":[40],"reinterpreting":[42],"scheme":[45,157],"as":[46],"mapping":[48],"from":[49,90],"into":[51],"DQBF.":[52],"Our":[53],"approach":[54,85],"offers":[55],"fresh":[57],"insight":[58],"on":[59],"nature":[61],"soundness":[63,111,129],"proof":[65,88,138],"systems":[66,89,115,124],"for":[67,110,116,122],"schemes,":[71,120],"which":[73],"natural":[75],"property":[76,127],"called":[77],"'full":[78],"exhibition'":[79],"is":[80,105,158],"central.":[81],"apply":[83],"our":[84,133,143],"two":[91],"distinct":[92],"paradigms,":[93],"termed":[94],"'universal":[95,98],"reduction'":[96],"expansion'.":[99],"show":[101,150],"that":[102,151],"full":[103],"exhibition":[104],"sufficient":[106],"(but":[107],"not":[108],"necessary)":[109],"universal":[113],"reduction":[114],"whereas":[121],"expansion":[123],"same":[126],"characterises":[128],"exactly.":[130],"prove":[132],"results":[134],"investigating":[136],"DQBF":[137],"systems,":[139],"then":[141],"employing":[142],"reinterpretation":[144],"schemes.":[147],"Finally,":[148],"we":[149],"reflexive":[153],"resolution":[154],"path":[155],"fully":[159],"exhibited,":[160],"thereby":[161],"proving":[162],"conjecture":[164],"Slivovsky.":[166]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}