{"id":"https://openalex.org/W2921299359","doi":"https://doi.org/10.23638/lmcs-15(3:17)2019","title":"On the Succinctness of Atoms of Dependency","display_name":"On the Succinctness of Atoms of Dependency","publication_year":2019,"publication_date":"2019-08-20","ids":{"openalex":"https://openalex.org/W2921299359","doi":"https://doi.org/10.23638/lmcs-15(3:17)2019","mag":"2921299359"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(3:17)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:17)2019","pdf_url":"https://lmcs.episciences.org/5698/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5698/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062261702","display_name":"Martin L\u00fcck","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin L\u00fcck","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043870399","display_name":"Miikka Vilander","orcid":"https://orcid.org/0000-0002-7301-939X"},"institutions":[{"id":"https://openalex.org/I166825849","display_name":"Tampere University","ror":"https://ror.org/033003e23","country_code":"FI","type":"education","lineage":["https://openalex.org/I166825849"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Miikka Vilander","raw_affiliation_strings":["Tampere University"],"raw_orcid":"https://orcid.org/0000-0002-7301-939X","affiliations":[{"raw_affiliation_string":"Tampere University","institution_ids":["https://openalex.org/I166825849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043870399"],"corresponding_institution_ids":["https://openalex.org/I166825849"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.02092209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"Volume 15, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13297","display_name":"History and advancements in chemistry","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9894000291824341,"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/succinctness","display_name":"Succinctness","score":0.9572192430496216},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.7683786153793335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43328678607940674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2846154272556305},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1238764226436615}],"concepts":[{"id":"https://openalex.org/C2776493592","wikidata":"https://www.wikidata.org/wiki/Q5158717","display_name":"Succinctness","level":2,"score":0.9572192430496216},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.7683786153793335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43328678607940674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2846154272556305},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1238764226436615}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23638/lmcs-15(3:17)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:17)2019","pdf_url":"https://lmcs.episciences.org/5698/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1903.02344","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.02344","pdf_url":"https://arxiv.org/pdf/1903.02344","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:38077f15a9294bce9ca44f115a06a4eb","is_oa":true,"landing_page_url":"https://doaj.org/article/38077f15a9294bce9ca44f115a06a4eb","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(3:17)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:17)2019","pdf_url":"https://lmcs.episciences.org/5698/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.8199999928474426,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3243802007","display_name":null,"funder_award_id":"57348395","funder_id":"https://openalex.org/F4320320875","funder_display_name":"Deutscher Akademischer Austauschdienst"},{"id":"https://openalex.org/G4427733293","display_name":null,"funder_award_id":"308099","funder_id":"https://openalex.org/F4320321108","funder_display_name":"Academy of Finland"}],"funders":[{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320321108","display_name":"Academy of Finland","ror":"https://ror.org/05k73zm37"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2921299359.pdf","grobid_xml":"https://content.openalex.org/works/W2921299359.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W83792636","https://openalex.org/W84120850","https://openalex.org/W582265660","https://openalex.org/W1489630028","https://openalex.org/W1518114393","https://openalex.org/W1542111937","https://openalex.org/W1618831014","https://openalex.org/W1765233549","https://openalex.org/W1866049941","https://openalex.org/W1926269500","https://openalex.org/W1948516912","https://openalex.org/W1990514682","https://openalex.org/W2034690236","https://openalex.org/W2094001511","https://openalex.org/W2109725814","https://openalex.org/W2131159347","https://openalex.org/W2161892027","https://openalex.org/W2175748456","https://openalex.org/W2238398106","https://openalex.org/W2285760602","https://openalex.org/W2294994226","https://openalex.org/W2342510951","https://openalex.org/W2399173794","https://openalex.org/W2403386217","https://openalex.org/W2405405439","https://openalex.org/W2441642482","https://openalex.org/W2486610651","https://openalex.org/W2520196027","https://openalex.org/W2612211757","https://openalex.org/W2616686541","https://openalex.org/W2913593017","https://openalex.org/W2936550983","https://openalex.org/W2950144551","https://openalex.org/W2952431426","https://openalex.org/W2962791617","https://openalex.org/W2962988080","https://openalex.org/W2963377543","https://openalex.org/W2963671673","https://openalex.org/W2963829406","https://openalex.org/W2963866037","https://openalex.org/W2964051209","https://openalex.org/W2964143660","https://openalex.org/W2964245453","https://openalex.org/W3092653590","https://openalex.org/W4214821889","https://openalex.org/W4247915068","https://openalex.org/W4251068495"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2359995945","https://openalex.org/W1609236127","https://openalex.org/W1581583767","https://openalex.org/W1999147218","https://openalex.org/W2170813354","https://openalex.org/W302213122","https://openalex.org/W2109725814"],"abstract_inverted_index":{"Propositional":[0],"team":[1,9,59,77],"logic":[2,60],"is":[3],"the":[4,45,49,69,85,92],"propositional":[5,58],"analog":[6],"to":[7],"first-order":[8],"logic.":[10],"Non-classical":[11],"atoms":[12,28],"of":[13,68],"dependence,":[14],"independence,":[15],"inclusion,":[16],"exclusion":[17],"and":[18,55],"anonymity":[19],"can":[20],"be":[21],"expressed":[22],"in":[23,44,56,84],"it,":[24],"but":[25],"for":[26,88,101],"all":[27,89,102],"except":[29],"dependence":[30],"only":[31,52],"exponential":[32,81],"translations":[33],"are":[34],"known.":[35],"In":[36,91],"this":[37],"paper,":[38],"we":[39,79,95],"systematically":[40],"compare":[41],"their":[42],"succinctness":[43],"existential":[46,86],"fragment,":[47,94],"where":[48],"splitting":[50],"disjunction":[51],"occurs":[53],"positively,":[54],"full":[57,93],"with":[61],"unrestricted":[62],"negation.":[63],"By":[64],"introducing":[65],"a":[66],"variant":[67],"Ehrenfeucht-Fra\\"{i}ss\\'{e}":[70],"game":[71,75],"called":[72],"formula":[73],"size":[74],"into":[76],"logic,":[78],"obtain":[80],"lower":[82],"bounds":[83,99],"fragment":[87],"atoms.":[90,103],"present":[96],"polynomial":[97],"upper":[98],"also":[100]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}